Výsledky vyhledávání
- 1.0542806 - MÚ 2022 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kreml, Ondřej - Nečasová, Šárka - Piasecki, T.
Compressible Navier-Stokes system on a moving domain in the Lp-Lq framework.
Waves in Flows: The 2018 Prague-Sum Workshop Lectures. Cham: Birkhäuser, 2021 - (Bodnár, T.; Galdi, G.; Nečasová, Š.), s. 127-158. Advances in Mathematical Fluid Mechanics. ISBN 978-3-030-68143-2. ISSN 2297-0320.
[Waves in Flows. Prague (CZ), 27.08.2018-31.08.2018]
Grant CEP: GA ČR(CZ) GA19-04243S
Institucionální podpora: RVO:67985840
Klíčová slova: compressible Navier-Stokes system * mathematical fluid mechanics
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-030-68144-9_5
Trvalý link: http://hdl.handle.net/11104/0320149Název souboru Staženo Velikost Komentář Verze Přístup Kreml2.pdf 3 826.6 KB Vydavatelský postprint vyžádat - 2.0518434 - MÚ 2020 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Galesi, N. - Kolodziejczyk, L. A. - Thapen, Neil
Polynomial calculus space and resolution width.
60th Annual Symposium on Foundations of Computer Science (FOCS). Piscataway: IEEE, 2019, s. 1325-1337. ISBN 978-1-7281-4952-3. ISSN 0272-5428.
[60th Annual Symposium on Foundations of Computer Science (FOCS). Baltimore (US), 09.11.2019-12.11.2019]
Grant CEP: GA ČR(CZ) GA19-05497S
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: polynomial calculus * proof complexity * resolution
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://dx.doi.org/10.1109/FOCS.2019.00081
Trvalý link: http://hdl.handle.net/11104/0303569Název souboru Staženo Velikost Komentář Verze Přístup Thapen1.pdf 7 253.9 KB Vydavatelský postprint vyžádat - 3.0462293 - MÚ 2017 RIV PL eng C - Konferenční příspěvek (zahraniční konf.)
Kubiś, Wieslaw
Banach-Mazur game played in partially ordered sets.
Algebra, Logic and Number Theory. Warszawa: Institute of Mathematics, Polish Academy of Sciences, 2016 - (Gładki, P.; Koprowski, P.; Kuhlmann, F.; Mišík, L.; Sładek, A.; Szymiczek, K.), s. 151-160. Banach Center Publications, 108. ISBN 978-83-86806-31-7. ISSN 0137-6934.
[3rd Joint Conference on Algebra, Logic and Number Theory. Będlewo (PL), 08.06.2014-13.06.2014]
Institucionální podpora: RVO:67985840
Klíčová slova: Banach-Mazur game * partially ordered set * Fraïssé limit
Kód oboru RIV: BA - Obecná matematika
http://www.impan.pl/pl/wydawnictwa/banach-center-publications/all/108//91681/banach-mazur-game-played-in-partially-ordered-sets
Trvalý link: http://hdl.handle.net/11104/0261761