Výsledky vyhledávání

  1. 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. 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. 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.
    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. 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. 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/0349325
    Název souboruStaženoVelikostKomentářVerzePřístup
    Fabian1.pdf0681.6 KBVydavatelský postprintvyžádat
     
     
  7. 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/0348073
    Název souboruStaženoVelikostKomentářVerzePřístup
    Krutov.pdf01.1 MBVydavatelský postprintvyžádat
     
     
  8. 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/0346121
    Název souboruStaženoVelikostKomentářVerzePřístup
    0576487.pdf62.1 MBCC licenceVydavatelský postprintpovolen
     
     
  9. 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. 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
     
     

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