Search results
- 1.0542806 - MÚ 2022 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA19-04243S
Institutional support: RVO:67985840
Keywords : compressible Navier-Stokes system * mathematical fluid mechanics
OECD category: Pure mathematics
https://doi.org/10.1007/978-3-030-68144-9_5
Permanent Link: http://hdl.handle.net/11104/0320149File Download Size Commentary Version Access Kreml2.pdf 3 826.6 KB Publisher’s postprint require - 2.0518434 - MÚ 2020 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA19-05497S
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : polynomial calculus * proof complexity * resolution
OECD category: 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
Permanent Link: http://hdl.handle.net/11104/0303569File Download Size Commentary Version Access Thapen1.pdf 7 253.9 KB Publisher’s postprint require - 3.0462293 - MÚ 2017 RIV PL eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985840
Keywords : Banach-Mazur game * partially ordered set * Fraïssé limit
Subject RIV: BA - General Mathematics
http://www.impan.pl/pl/wydawnictwa/banach-center-publications/all/108//91681/banach-mazur-game-played-in-partially-ordered-sets
Permanent Link: http://hdl.handle.net/11104/0261761