Výsledky vyhledávání

  1. 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
    Název souboruStaženoVelikostKomentářVerzePřístup
    Bice.pdf0604.7 KBVydavatelský postprintvyžádat
     
     
  2. 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. 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. 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/0351788
    Název souboruStaženoVelikostKomentářVerzePřístup
    0583783-aoa.pdf2379.5 KBOA CC BY 4.0Vydavatelský postprintpovolen
     
     
  5. 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. 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/0350992
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda.pdf01.9 MBVydavatelský postprintpovolen
     
     
  7. 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/0349989
    Název souboruStaženoVelikostKomentářVerzePřístup
    Krutov1.pdf0315.9 KBVydavatelský postprintpovolen
     
     
  8. 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/0349988
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jacelon3.pdf0684.1 KBVydavatelský postprintpovolen
     
     
  9. 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/0349987
    Název souboruStaženoVelikostKomentářVerzePřístup
    Strung2.pdf0486.4 KBVydavatelský postprintpovolen
     
     
  10. 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
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.