Výsledky vyhledávání
- 1.0586292 - ÚTIA 2025 RIV US eng J - Článek v odborném periodiku
Henrion, D. - Korda, M. - Kružík, Martin - Rios-Zertuche, R.
Occupation Measure Relaxations in Variational Problems: The Role of Convexity.
SIAM Journal on Optimization. Roč. 34, č. 2 (2024), s. 1708-1731. ISSN 1052-6234. E-ISSN 1095-7189
Grant CEP: GA MŠMT 8J20FR019
Grant ostatní: GAČR(CZ) GX19-26143X
Institucionální podpora: RVO:67985556
Klíčová slova: optimization * calculus of variations * occupation measures * polynomial optimization * semidefinite programming
Obor OECD: Pure mathematics
Impakt faktor: 3.1, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2024/MTR/kruzik-0586292.pdf https://epubs.siam.org/doi/abs/10.1137/23M1557088
Trvalý link: https://hdl.handle.net/11104/0353845 - 2.0585222 - ÚI 2025 GB eng J - Článek v odborném periodiku
Cintula, Petr - Metcalfe, G. - Tokuda, N.
One-variable fragments of first-order logics.
Bulletin of Symbolic Logic. Online 01 April 2024 (2024). ISSN 1079-8986. E-ISSN 1943-5894
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Klíčová slova: First-Order Logic * One-Variable Fragment * Modal Logic * Substructural Logic * Superamalgamation * Sequent Calculus
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1017/bsl.2024.22
Trvalý link: https://hdl.handle.net/11104/0352990 - 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.0582839 - FLÚ 2024 RIV CH eng M - Část monografie knihy
Majer, Ondrej - Punčochář, Vít - Sedlár, Igor
Truth-Maker Semantics for Some Substructural Logics.
Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Cham: Springer, 2023 - (Faroldi, F.; Van De Putte, F.), s. 207-222. Outstanding contributions to logic, 26. ISBN 978-3-031-29414-3
Grant CEP: GA ČR(CZ) GC16-07954J; GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: Kit Fine * exact truthmaker semantics * substructural loigcs * Lambek calculus
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-29415-0_11
Trvalý link: https://hdl.handle.net/11104/0351052 - 5.0580737 - ÚI 2025 RIV GB eng J - Článek v odborném periodiku
Fernández-Duque, David - Gougeon, Q.
Fixed point logics and definable topological properties.
Mathematical Structures in Computer Science. Roč. 34, č. 2 (2024), s. 81-97. ISSN 0960-1295. E-ISSN 1469-8072
Institucionální podpora: RVO:67985807
Klíčová slova: expressivity * Mu-calculus * topological semantics
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S0960129523000385
Trvalý link: https://hdl.handle.net/11104/0349498 - 6.0580563 - MÚ 2025 RIV US eng J - Článek v odborném periodiku
Fabian, Marián - Kruger, A. Y. - Mehlitz, P.
Fuzzy multiplier, sum and intersection rules in non-Lipschitzian settings: Decoupling approach revisited.
Journal of Mathematical Analysis and Applications. Roč. 532, č. 2 (2024), č. článku 127985. ISSN 0022-247X. E-ISSN 1096-0813
Grant CEP: GA ČR(CZ) GF20-22230L
Institucionální podpora: RVO:67985840
Klíčová slova: calculus * fuzzy sum rule * fuzzy multiplier rule
Obor OECD: Pure mathematics
Impakt faktor: 1.3, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.jmaa.2023.127985
Trvalý link: https://hdl.handle.net/11104/0349325Název souboru Staženo Velikost Komentář Verze Přístup Fabian1.pdf 0 681.6 KB Vydavatelský postprint vyžádat - 7.0579222 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
Krutov, Andrey - Buachalla, R. Ó. - Strung, Karen Ruth
Nichols Algebras and quantum principal bundles.
International Mathematics Research Notices. Roč. 2023, č. 23 (2023), s. 20076-20117. ISSN 1073-7928. E-ISSN 1687-0247
Grant CEP: GA ČR(CZ) GJ20-17488Y
Institucionální podpora: RVO:67985840
Klíčová slova: Yetter-Drinfeld modules * differential-calculus * Schubert calculus * Hopf modules
Obor OECD: Pure mathematics
Impakt faktor: 1, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1093/imrn/rnac366
Trvalý link: https://hdl.handle.net/11104/0348073Název souboru Staženo Velikost Komentář Verze Přístup Krutov.pdf 0 1.1 MB Vydavatelský postprint vyžádat - 8.0576487 - ÚJF 2024 RIV CZ cze J - Článek v odborném periodiku
Bíšková, Jarmila - Brychová, Veronika - Demján, Peter - Dreslerová, Dagmar - Frank Danielisová, Alžběta - Hošková, Kristýna - John, David - Koštová, Nikola - Limburský, Petr - Molnár, M. - Moravcová, Alice - Pachnerová Brabcová, Kateřina - Petrová, Markéta - Světlík, Ivo - Šneberger, Jiří - Tecl, Josef - Valášek, Vojtěch
Možnosti a limity radiouhlíkového datování se zaměřením na netypické archeologické vzorky.
[Capabilities and limits of radiocarbon dating with a focus on untypical archaeological samples.]
Archeologické rozhledy. Roč. 75, č. 1 (2023), s. 40-67. ISSN 0323-1267
Grant CEP: GA MŠMT EF16_019/0000728; GA MK DH23P03OVV003
Institucionální podpora: RVO:67985912
Klíčová slova: radiocarbon dating * lipids * charred bones * dental calculus * iron * mortar * pollen and phytolith concentrates
Obor OECD: Inorganic and nuclear chemistry; Archaeology (ARU-G)
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://doi.org/10.35686/AR.2023.4
Trvalý link: https://hdl.handle.net/11104/0346121Název souboru Staženo Velikost Komentář Verze Přístup 0576487.pdf 6 2.1 MB CC licence Vydavatelský postprint povolen - 9.0576255 - FLÚ 2024 RIV GB eng B - Monografie kniha jako celek
Crippa, Davide (ed.) - Massa-Esteve, M. R. (ed.)
The Algebrization of Mathematics during the 17th and 18th Centuries. Dwarfs and Giants, Centres and Peripheries.
London: College publication, 2023. 251 s. Dialogues and Games of Logic, 8. ISBN 978-1-84890-394-4
Grant CEP: GA ČR(CZ) GJ19-03125Y
Institucionální podpora: RVO:67985955
Klíčová slova: algebraization * mathematical education * calculus * history of education * centres * peripheries
Obor OECD: Philosophy, History and Philosophy of science and technology
https://collegepublications.co.uk/dialogues/?00008
Trvalý link: https://hdl.handle.net/11104/0346026 - 10.0563276 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Fernández-Duque, David - Gougeon, P.
Fixed Point Logics and Definable Topological Properties.
Lecture Notes in Computer Science. In: Logic, Language, Information, and Computation. Cham: Springer, 2022 - (Ciabattoni, A.; Pimentel, E.; de Queiroz, R.), Roč. 13468 (2022), s. 36-52. Lecture Notes in Computer Science, 13468. ISBN 978-3-031-15297-9. ISSN 0302-9743.
[WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./. Iași (RO), 20.09.2022-23.09.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Mu-calculus * Expressivity * Topological semantics
Obor OECD: Pure mathematics
Trvalý link: https://hdl.handle.net/11104/0337431