Výsledky vyhledávání
- 1.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 - 2.0538055 - ÚFCH JH 2021 RIV CH eng J - Článek v odborném periodiku
Yang, Ch. - Brabec, Jiří - Veis, Libor - Williams-Young, D. B. - Kowalski, K.
Solving Coupled Cluster Equations by the Newton Krylov Method.
Frontiers in Chemistry. Roč. 8, DEC 2020 (2020), č. článku 590184. ISSN 2296-2646. E-ISSN 2296-2646
Grant CEP: GA ČR(CZ) GJ19-13126Y
Institucionální podpora: RVO:61388955
Klíčová slova: acceleration * epoxidation * chemistry * couple cluster approximation * Newton-Krylov method * diis * precondition * nonlinear solver
Obor OECD: Physical chemistry
Impakt faktor: 5.221, rok: 2020
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0315879Název souboru Staženo Velikost Komentář Verze Přístup 0538055.pdf 2 1.2 MB open access Vydavatelský postprint povolen