Výsledky vyhledávání
- 1.0586502 - MÚ 2025 RIV US eng J - Článek v odborném periodiku
Bice, Tristan
Sections of Fell bundles over étale groupoids.
Journal of Mathematical Analysis and Applications. Roč. 539, č. 1 (2024), č. článku 128478. ISSN 0022-247X. E-ISSN 1096-0813
Grant CEP: GA ČR(CZ) GF22-07833K
Institucionální podpora: RVO:67985840
Klíčová slova: Fell bundle * reduced C*-algebra * Étale groupoid
Obor OECD: Pure mathematics
Impakt faktor: 1.3, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.jmaa.2024.128478
Trvalý link: https://hdl.handle.net/11104/0353969 - 2.0585769 - ÚI 2025 GB eng J - Článek v odborném periodiku
Sedlár, Igor
Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness.
Mathematical Structures in Computer Science. Online 04 March 2024, Special Issue WoLLIC 2022 (2024). ISSN 0960-1295. E-ISSN 1469-8072.
[WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./. Iași, 20.09.2022-23.09.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Implication * Kleene algebra * partial correctness * substructural logic
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S0960129524000045
Trvalý link: https://hdl.handle.net/11104/0353448 - 3.0584357 - ÚI 2025 CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Kleene Algebra of Weighted Programs With Domain.
Dynamic Logic. New Trends and Applications. Revised Selected Papers. Cham: Springer, 2024 - (Gierasimczuk, N.; Velázquez-Quesada, F.), s. 52-67. Lecture Notes in Computer Science, 14401. ISBN 978-3-031-51777-8. E-ISSN 1611-3349.
[DaLí 2023. International Workshop /5./. Tbilisi (GE), 15.09.2023-16.09.2023]
Grant CEP: GA ČR(CZ) GA22-16111S
Institucionální podpora: RVO:67985807
Klíčová slova: Kleene algebra with domain * Kleene algebra with tests * Program semantics * Weakest precondition calculus * Weighted programs
Trvalý link: https://hdl.handle.net/11104/0352276 - 4.0583783 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Haniková, Zuzana - Manya, F. - Vidal, A.
The MaxSAT Problem in the Real-Valued MV-Algebra.
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023 Proceedings. Cham: Springer, 2023 - (Ramanayake, R.; Urban, J.), s. 386-404. Lecture Notes in Computer Science, 14278. ISBN 978-3-031-43512-6. ISSN 0302-9743.
[TABLEAUX 2023: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /32./. Prague (CZ), 18.09.2024-21.09.2024]
Grant ostatní: AV ČR(CZ) CSIC-20-12
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807
Klíčová slova: Maximum satisfiability * Satisfiability * Łukasiewicz logic * MV-algebra
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007/978-3-031-43513-3_21
Trvalý link: https://hdl.handle.net/11104/0351788Název souboru Staženo Velikost Komentář Verze Přístup 0583783-aoa.pdf 2 379.5 KB OA CC BY 4.0 Vydavatelský postprint povolen - 5.0583429 - MÚ 2024 RIV eng U - Uspořádání akce
Bice, Tristan - Cantier, Laurent - Buachalla, R. Ó. - Strung, Karen Ruth
C*-Days in Prague.
[Prague, 30.05.2023-31.05.2023, (K-WRD 20/6)]
Institucionální podpora: RVO:67985840
Klíčová slova: C*-algebra * finite graph * quantum automorphism
Obor OECD: Pure mathematics
https://cstarday.wordpress.com/
Trvalý link: https://hdl.handle.net/11104/0351399 - 6.0582950 - MÚ 2025 RIV DE eng J - Článek v odborném periodiku
Zorzenon, D. - Komenda, Jan - Raisch, J.
Switched max-plus linear-dual inequalities: cycle time analysis and applications.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 34, č. 1 (2024), s. 199-250. ISSN 0924-6703. E-ISSN 1573-7594
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: max-plus algebra * Petri nets * scheduling * switched systems
Obor OECD: Automation and control systems
Impakt faktor: 2, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1007/s10626-023-00389-5
Trvalý link: https://hdl.handle.net/11104/0350992Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 0 1.9 MB Vydavatelský postprint povolen - 7.0581857 - MÚ 2024 RIV GE eng C - Konferenční příspěvek (zahraniční konf.)
Krutov, Andrey
Torwads to noncommutative dynamical systems.
Algebra, Topology and Analysis: C* and $A_\infty$ Algebras. Tbilisi: Ivane Javakhishvili Tbilisi State University Press, 2023 - (Bakuradze, M.; Gogatishvili, A.; Meyer, R.; Surmanidze, R.), s. 61-68. ISBN 978-9941-36-079-4.
[Summer School/Conference Algebra, Topology and Analysis: C* and $A_\infty$ Algebras. Batumi (GE), 30.08.2023-03.09.2023]
Grant CEP: GA ČR(CZ) GJ20-17488Y
Institucionální podpora: RVO:67985840
Klíčová slova: Hamiltonian dynamical system * noncommutative algebra
Obor OECD: Pure mathematics
Trvalý link: https://hdl.handle.net/11104/0349989Název souboru Staženo Velikost Komentář Verze Přístup Krutov1.pdf 0 315.9 KB Vydavatelský postprint povolen - 8.0581855 - MÚ 2024 RIV GE eng C - Konferenční příspěvek (zahraniční konf.)
Jacelon, Bhishan
Concentration of measure.
Algebra, Topology and Analysis: C* and $A_\infty$ Algebras. Tbilisi: Ivane Javakhishvili Tbilisi State University Press, 2023 - (Bakuradze, M.; Gogatishvili, A.; Meyer, R.; Surmanidze, R.), s. 8-18. ISBN 978-9941-36-079-4.
[Summer School/Conference Algebra, Topology and Analysis: C* and $A_\infty$ Algebras. Batumi (GE), 30.08.2023-03.09.2023]
Institucionální podpora: RVO:67985840
Klíčová slova: C*-algebra * Lipschitz function * high dimensional geometric structure
Obor OECD: Pure mathematics
Trvalý link: https://hdl.handle.net/11104/0349988Název souboru Staženo Velikost Komentář Verze Přístup Jacelon3.pdf 0 684.1 KB Vydavatelský postprint povolen - 9.0581853 - MÚ 2024 RIV GE eng C - Konferenční příspěvek (zahraniční konf.)
Strung, Karen Ruth
Smale spaces and their C*-algebras.
Algebra, Topology and Analysis: C* and $A_\infty$ Algebras. Tbilisi: Ivane Javakhishvili Tbilisi State University Press, 2023 - (Bakuradze, M.; Gogatishvili, A.; Meyer, R.; Surmanidze, R.), s. 73-102. ISBN 978-9941-36-079-4.
[Summer School/Conference Algebra, Topology and Analysis: C* and $A_\infty$ Algebras. Batumi (GE), 30.08.2023-03.09.2023]
Grant CEP: GA ČR(CZ) GJ20-17488Y
Institucionální podpora: RVO:67985840
Klíčová slova: C*-algebra * Smale space
Obor OECD: Pure mathematics
Trvalý link: https://hdl.handle.net/11104/0349987Název souboru Staženo Velikost Komentář Verze Přístup Strung2.pdf 0 486.4 KB Vydavatelský postprint povolen - 10.0579156 - FLÚ 2024 RIV CH eng E - Elektronický dokument
Kvasz, Ladislav
Symbolic Algebra as a Semiotic System.
[textový soubor]. - Cham: Springer, 2023, 533 KB
Institucionální podpora: RVO:67985955
Klíčová slova: logical power * expresive power * integrative power * pictorial form * epistemic subject * symbolic algebra
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-19071-2_65-1
Trvalý link: https://hdl.handle.net/11104/0348323