Search results
- 1.0585769 - ÚI 2025 GB eng J - Journal Article
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]
Institutional support: RVO:67985807
Keywords : Implication * Kleene algebra * partial correctness * substructural logic
Impact factor: 0.5, year: 2022
Method of publishing: Limited access
https://doi.org/10.1017/S0960129524000045
Permanent Link: https://hdl.handle.net/11104/0353448 - 2.0584357 - ÚI 2025 CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA22-16111S
Institutional support: RVO:67985807
Keywords : Kleene algebra with domain * Kleene algebra with tests * Program semantics * Weakest precondition calculus * Weighted programs
Permanent Link: https://hdl.handle.net/11104/0352276 - 3.0583783 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
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 - others:AV ČR(CZ) CSIC-20-12
Program: Bilaterální spolupráce
Institutional support: RVO:67985807
Keywords : Maximum satisfiability * Satisfiability * Łukasiewicz logic * MV-algebra
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0351788File Download Size Commentary Version Access 0583783-aoa.pdf 2 379.5 KB OA CC BY 4.0 Publisher’s postprint open-access - 4.0583429 - MÚ 2024 RIV eng U - Conference, Workshop Arrangement
Bice, Tristan - Cantier, Laurent - Buachalla, R. Ó. - Strung, Karen Ruth
C*-Days in Prague.
[Prague, 30.05.2023-31.05.2023, (K-WRD 20/6)]
Institutional support: RVO:67985840
Keywords : C*-algebra * finite graph * quantum automorphism
OECD category: Pure mathematics
https://cstarday.wordpress.com/
Permanent Link: https://hdl.handle.net/11104/0351399 - 5.0582950 - MÚ 2025 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : max-plus algebra * Petri nets * scheduling * switched systems
OECD category: Automation and control systems
Impact factor: 2, year: 2022
Method of publishing: Open access
https://doi.org/10.1007/s10626-023-00389-5
Permanent Link: https://hdl.handle.net/11104/0350992File Download Size Commentary Version Access Komenda.pdf 0 1.9 MB Publisher’s postprint open-access - 6.0581857 - MÚ 2024 RIV GE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GJ20-17488Y
Institutional support: RVO:67985840
Keywords : Hamiltonian dynamical system * noncommutative algebra
OECD category: Pure mathematics
Permanent Link: https://hdl.handle.net/11104/0349989File Download Size Commentary Version Access Krutov1.pdf 0 315.9 KB Publisher’s postprint open-access - 7.0581855 - MÚ 2024 RIV GE eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985840
Keywords : C*-algebra * Lipschitz function * high dimensional geometric structure
OECD category: Pure mathematics
Permanent Link: https://hdl.handle.net/11104/0349988File Download Size Commentary Version Access Jacelon3.pdf 0 684.1 KB Publisher’s postprint open-access - 8.0581853 - MÚ 2024 RIV GE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GJ20-17488Y
Institutional support: RVO:67985840
Keywords : C*-algebra * Smale space
OECD category: Pure mathematics
Permanent Link: https://hdl.handle.net/11104/0349987File Download Size Commentary Version Access Strung2.pdf 0 486.4 KB Publisher’s postprint open-access - 9.0579156 - FLÚ 2024 RIV CH eng E - Electronic Document
Kvasz, Ladislav
Symbolic Algebra as a Semiotic System.
[textový soubor]. - Cham: Springer, 2023, 533 KB
Institutional support: RVO:67985955
Keywords : logical power * expresive power * integrative power * pictorial form * epistemic subject * symbolic algebra
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-19071-2_65-1
Permanent Link: https://hdl.handle.net/11104/0348323 - 10.0576069 - ÚTIA 2024 RIV CH eng J - Journal Article
Eidinejad, Z. - Saadati, R. - Mesiar, Radko - Raja, P.
Applications of Special Functions to Approximate Stochastic Bi-Homomorphisms and Stochastic Bi-Derivations in FB-Algebras and FC-⋄-Algebras of the Matrix Type.
Mathematics. Roč. 11, č. 6 (2023), č. článku 1329. E-ISSN 2227-7390
Institutional support: RVO:67985556
Keywords : C-⋄-algebras * FB-algebra * fuzzy inequality * optimal stability * stochastic bi-derivation * stochastic bi-homomorphism
OECD category: Pure mathematics
Impact factor: 2.4, year: 2022
Method of publishing: Open access
http://library.utia.cas.cz/separaty/2023/E/mesiar-0576069.pdf
Permanent Link: https://hdl.handle.net/11104/0346452