• Úvod
    • →
  • MÚ
    • →
  • RIV - aktuální sběr

Matematický ústav AV ČR, v. v. i.

RIV - aktuální sběr

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 187

Abstrakt

0604291 - MÚ 2025 RIV CH eng A - Abstrakt
Jeřábek, Emil
Disjunction-free disjunction property.
Unity of Logic and Computation. Cham: Springer, 2023 - (Della Vedova, G.; Dundua, B.; Lempp, S.; Manea, F.). xli-xlii. ISBN 978-3-031-36977-3. ISSN 0302-9743.
[19th Conference on Computability in Europe, CiE 2023. 24.07.2023-28.07.2023, Batumi]
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * intuitionistic implicational logic * feasible disjunction property
Obor OECD: Pure mathematics
https://link.springer.com/content/pdf/bfm:978-3-031-36978-0/1
Jeřábek, Emil
Trvalý odkaz: https://hdl.handle.net/11104/0361646
Uložit do RIV jako O

Monografie

0604566 - MÚ 2025 RIV CH eng B - Monografie kniha jako celek
Bodnár, T. (Redaktor, editor) - Galdi, G. P. (Redaktor, editor) - Nečasová, Šárka (Redaktor, editor)
Fluids Under Control.
Cham: Springer, 2024. 368 s. Advances in Mathematical Fluid Mechanics. ISBN 978-3-031-47354-8. ISSN 2297-0320
Institucionální podpora: RVO:67985840
Klíčová slova: mathematical fluid mechanics * fluids flows control * numerical simulation
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-031-47355-5
Trvalý odkaz: https://hdl.handle.net/11104/0362008
Uložit do RIV jako O

0603078 - MÚ 2025 RIV US eng B - Monografie kniha jako celek
Kaufmann, R. M. (Redaktor, editor) - Markl, Martin (Redaktor, editor) - Voronov, A.A. (Redaktor, editor)
Higher Structures in Topology, Geometry, and Physics.
Providence: American Mathematical Society, 2024. 323 s. Contemporary Mathematics, 802. ISBN 978-1-4704-7142-2. ISSN 0271-4132
Institucionální podpora: RVO:67985840
Klíčová slova: higher structures * topology * geometry
Obor OECD: Pure mathematics
https://doi.org/10.1090/conm/802
Trvalý odkaz: https://hdl.handle.net/11104/0360363
Uložit do RIV jako O

Konferenční příspěvek (mezinárodní konf.)

0588537 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Arteche, N. - Khaniki, Erfan - Pich, J. - Santhanamz, R.
From proof complexity to circuit complexity via interactive protocols.
51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Bringmann, K.; Grohe, M.; Puppis, G.; Svensson, O.), č. článku 12. Leibniz International Proceedings in Informatics (LIPIcs), 297. ISBN 978-3-95977-322-5. E-ISSN 1868-8969.
[51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Tallin (EE), 08.07.2024-12.07.2024]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: circuit complexity * interactive protocols * proof complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.ICALP.2024.12
Trvalý odkaz: https://hdl.handle.net/11104/0355403

0600608 - MÚ 2025 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Atlasiuk, Olena - Mikhailets, Volodymyr
On differential systems in Sobolev spaces with generic inhomogeneous boundary conditions.
Women in Analysis and PDE. Cham: Springer, 2024 - (Chatzakou, M.; Ruzhansky, M.; Stoeva, D.), s. 37-47. Trends in Mathematics, 5. ISBN 978-3-031-57004-9. ISSN 2297-0215.
[Women in Generalised Functions. Wien (AT), 12.05.2023-12.05.2023]
Institucionální podpora: RVO:67985840
Klíčová slova: boundary-value problem * continuity in parameter * differential system
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-031-57005-6_5
Trvalý odkaz: https://hdl.handle.net/11104/0357918

0585522 - MÚ 2025 RIV SG eng C - Konferenční příspěvek (zahraniční konf.)
Blaschke, P. - Engliš, Miroslav
M-harmonic Szegö Kernel on the ball.
The Bergman Kernel and Related Topics. Singapore: Springer, 2024 - (Hirachi, K.; Ohsawa, T.; Takayama, S.; Kamimoto, J.), s. 105-120. Springer Proceedings in Mathematics & Statistics, 447. ISBN 978-981-99-9505-9. ISSN 2194-1009. E-ISSN 2194-1017.
[23rd Hayama Symposium on Complex Analysis of Several Variables. Tokyo (JP), 23.07.2022-28.07.2022]
Institucionální podpora: RVO:67985840
Klíčová slova: hypergeometric functions * invariant Laplacian * M-harmonic function * Szegö kernel
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-981-99-9506-6_2
Engliš, Miroslav
Trvalý odkaz: https://hdl.handle.net/11104/0353204

0583290 - MÚ 2025 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Bodnár, Tomáš - Fraunié, P.
Numerical evaluation of mass-diffusive compressible fluids flows models.
Topical Problems of Fluid Mechanics. Prague: Institute of Thermomechanics AS CR, v. v. i., 2024 - (Šimurda, D.; Bodnár, T.), s. 23-30. ISBN 978-80-87012-88-8. ISSN 2336-5781.
[Topical Problems of Fluid Mechanics 2024. Prague (CZ), 21.02.2024-23.02.2024]
Grant CEP: GA ČR(CZ) GA22-01591S
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: compressible Navier-Stokes * nearly incompressible flow * mass diffusion * compact finite-difference
Obor OECD: Pure mathematics
https://doi.org/10.14311/TPFM.2024.004
Trvalý odkaz: https://hdl.handle.net/11104/0351290

0604006 - MÚ 2025 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Bodnár, Tomáš - Fraunié, P.
Computational assessment of mass-diffusive compressible fluids flows models.
Journal of Physics: Conference series. Vol. 2899. Bristol: IOP, 2024 - (Gepner, S.; Kubacki, S.; Wacławczyk, T.), č. článku 012006. ISSN 1742-6588.
[26th Fluid Mechanics Conference. Warsaw (PL), 10.09.2024-13.09.2024]
Grant CEP: GA ČR(CZ) GA22-01591S
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: compressible flow * Fourier optics * compressible Navier-Stokes
Obor OECD: Pure mathematics
https://doi.org/10.1088/1742-6596/2899/1/012006
Trvalý odkaz: https://hdl.handle.net/11104/0361323

0599137 - MÚ 2025 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Clemente, C. S. - Loschiavo, V. - Davino, D. - Monteiro, Giselle Antunes - Al Saaideh, M. - Krejčí, P. - Al Janaideh, M.
Output feedback control of a nonlinear Galfenol-based actuator for active vibration control systems.
American Control Conference (ACC). Philadelphia: IEEE, 2024, s. 4102-4107. ISBN 979-8-3503-8266-2. ISSN 0743-1619.
[American Control Conference (ACC) 2024. Toronto (CA), 10.07.2024-12.07.2024]
Institucionální podpora: RVO:67985840
Klíčová slova: adaptive control systems * magnetostrictive devices * nonlinear control systems
Obor OECD: Pure mathematics
https://doi.org/10.23919/ACC60939.2024.10644880
Trvalý odkaz: https://hdl.handle.net/11104/0356672

0587699 - MÚ 2025 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Feireisl, Eduard
Euler equations in fluid dynamics: Good and bad news.
Hyperbolic Problems: Theory, Numerics, Applications. Volume I. Cham: Springer, 2024 - (Parés, C.; Castro, M.; Morales de Luna, T.; Luz Muñoz-Ruiz, M.), s. 27-40. SEMA SIMAI Springer Series, 34. ISBN 978-3-031-55259-5. ISSN 2199-3041.
[XVI International Conference on Hyperbolic Problems: Theory, Numerics, Applications. Málaga (ES), 20.06.2022-24.06.2022]
Grant CEP: GA ČR(CZ) GA21-02411S
Institucionální podpora: RVO:67985840
Klíčová slova: convex integration * Euler system * semigroup selection
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-031-55260-1_2
Feireisl, Eduard
Trvalý odkaz: https://hdl.handle.net/11104/0354791

0583273 - ÚT 2025 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Filimonova, N. - Kellnerová, Radka - Bodnár, Tomáš - Friedmann, E.
Synchronization of Airflows at Varying Heights.
Topical Problems of Fluid Mechanics. Prague: Institute of Thermomechanics AS CR, v. v. i., 2024 - (Šimurda, D.; Bodnár, T.), s. 38-45. ISBN 978-80-87012-88-8. ISSN 2336-5781.
[Topical Problems of Fluid Mechanics 2024. Prague (CZ), 21.02.2024-23.02.2024]
Institucionální podpora: RVO:61388998 ; RVO:67985840
Klíčová slova: Krawtchouk functions * wavelet * turbulent flow * uncertainty principle
Obor OECD: Applied mechanics; Applied mechanics (MU-W)
http://www2.it.cas.cz/fm2015/im/admin/showfile/data/my/Papers/2024/06-TPFM2024.pdf
Filimonova, N.
Trvalý odkaz: https://hdl.handle.net/11104/0360540

0582267 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Folwarczný, Lukáš - Göös, M. - Hubáček, Pavel - Maystre, G. - Yuan, W.
One-way functions vs. TFNP: Simpler and improved.
15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Guruswami, V.), č. článku 50. Leibniz International Proceedings in Informatics (LIPIcs), 287. ISBN 978-3-95977-309-6.
[15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Berkeley (US), 30.01.2024-02.02.2024]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: TFNP * one-way functions * Oracle * Black-Box
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: https://hdl.handle.net/11104/0350366

0604285 - MÚ 2025 RIV HR eng C - Konferenční příspěvek (zahraniční konf.)
Gogatishvili, Amiran - Ünver, T.
On weighted Cesàro function spaces.
Conference Proceedings 'The 50, 70, 80, . ∞ Conference in Mathematics'. Zagreb: Element, 2024 - (Barza, S.; Varošanec, S.), s. 93-102. ISBN 978-953-250-257-2.
[The 50, 70, 80, . ∞ Conference in Mathematics. Karlstad (SE), 19.08.2024-23.08.2024]
Grant CEP: GA ČR(CZ) GA23-04720S
Institucionální podpora: RVO:67985840
Klíčová slova: Cesàro function spaces * copson function spaces * embeddings
Obor OECD: Pure mathematics
Ünver, T.
Trvalý odkaz: https://hdl.handle.net/11104/0361640

0588526 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Gurumukhani, M. - Paturi, R. - Pudlák, Pavel - Saks, M. - Talebanfard, Navid
Local enumeration and majority lower bounds.
39th Computational Complexity Conference (CCC 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Santhanam, S.), č. článku 17. Leibniz International Proceedings in Informatics, 300. ISBN 978-3-95977-331-7. E-ISSN 1868-8969.
[39th Computational Complexity Conference (CCC 2024). Ann Arbor (US), 22.07.2024-25.07.2024]
Grant CEP: GA ČR(CZ) GX19-27871X
GRANT EU: European Commission(XE) 101106684 - EXCICO
Institucionální podpora: RVO:67985840
Klíčová slova: circuit lower bounds * depth 3 circuits * k-CNF satisfiability * majority function
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.CCC.2024.17
Trvalý odkaz: https://hdl.handle.net/11104/0355395

0582957 - MÚ 2025 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Hanek, Martin - Šístek, Jakub - Brandner, M.
Reynolds-Blended Weights for BDDC in Applications to Incompressible Flows.
Domain Decomposition Methods in Science and Engineering XXVII. Cham: Springer, 2024 - (Dostál, Z.; Kozubek, T.; Klawonn, A.; Langer, U.; Pavarino, L.; Šístek, J.; Widlund, O.), s. 263-270. Lecture Notes in Computational Science and Engineering, 149. ISBN 978-3-031-50768-7. ISSN 1439-7358.
[27th International Conference on Domain Decomposition Methods. Prague (CZ), 25.07.2022-29.07.2022]
Grant CEP: GA ČR(CZ) GA20-01074S; GA ČR(CZ) GA23-06159S
Institucionální podpora: RVO:67985840
Klíčová slova: domain decomposition methods * numerical methods * balancing domain decomposition
Obor OECD: Applied mathematics
https://doi.org/10.1007/978-3-031-50769-4_31
Hanek, Martin
Trvalý odkaz: https://hdl.handle.net/11104/0350997

0599139 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hrubeš, Pavel
A subquadratic upper bound on sum-of-squares composition formulas.
39th Computational Complexity Conference (CCC 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Santhanam, S.), č. článku 12. Leibniz International Proceedings in Informatics, 300. ISBN 978-3-95977-331-7. E-ISSN 1868-8969.
[39th Computational Complexity Conference (CCC 2024). Ann Arbor (US), 22.07.2024-25.07.2024]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: Hurwitz’s problem * non-commutative arithmetic circuit * sum-of-squares composition formulas
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.CCC.2024.12
Hrubeš, Pavel
Trvalý odkaz: https://hdl.handle.net/11104/0356674

0599140 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hrubeš, Pavel
Hard submatrices for non-negative rank and communication complexity.
39th Computational Complexity Conference (CCC 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Santhanam, S.), č. článku 13. Leibniz International Proceedings in Informatics, 300. ISBN 978-3-95977-331-7. E-ISSN 1868-8969.
[39th Computational Complexity Conference (CCC 2024). Ann Arbor (US), 22.07.2024-25.07.2024]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: communication complexity * extension complexity * non-negative rank
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.CCC.2024.13
Hrubeš, Pavel
Trvalý odkaz: https://hdl.handle.net/11104/0356676

0582265 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hubáček, Pavel - Khaniki, Erfan - Thapen, Neil
TFNP intersections through the lens of feasible disjunction.
15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Guruswami, V.), č. článku 63. Leibniz International Proceedings in Informatics (LIPIcs), 287. ISBN 978-3-95977-309-6.
[15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Berkeley (US), 30.01.2024-02.02.2024]
Grant CEP: GA ČR(CZ) GX19-27871X; GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: TFNP * feasible disjunction * proof complexity * TFNP intersection classes
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: https://hdl.handle.net/11104/0350365

0604013 - MÚ 2025 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Khaniki, Erfan
Jump operators, interactive proofs and proof complexity generators.
2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS). Philadelphia: IEEE, 2024, s. 573-593. ISBN 979-833151674-1. ISSN 0272-5428.
[65th Annual Symposium on Foundations of Computer Science (FOCS). Chicago (US), 27.10.2024-30.10.2024]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: automatability * bounded arithmetic * feasible disjunction property
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1109/FOCS61266.2024.00044
Khaniki, Erfan
Trvalý odkaz: https://hdl.handle.net/11104/0361328

0598225 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Kołodziejczyk, L. A. - Thapen, Neil
The strength of the dominance rule.
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Chakraborty, S.; Jiang, J.), č. článku 20. Leibniz International Proceedings in Informatics (LIPIcs), 305. ISBN 978-3-95977-334-8.
[27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024). Pune (IN), 21.08.2024-24.08.2024]
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: dominance * DRAT * proof complexity * symmetry breaking
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.SAT.2024.20
Trvalý odkaz: https://hdl.handle.net/11104/0355953

0598504 - MÚ 2025 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Parrot, R. - Roux, O. H.
Weakly strong semantics of Time Petri Nets for performance evaluations.
IFAC-PapersOnLine. Volume 58, Issue 1 - 17th IFAC Workshop on discrete Event Systems WODES 2024. Amsterdam: Elsevier, 2024 - (Basilio, J.), s. 66-71. ISSN 2405-8963.
[17th IFAC Workshop on discrete Event Systems WODES 2024. Rio de Janeiro (BR), 29.04.2024-01.05.2024]
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) * Interval Weighted Automata * reachability * Time Petri Net
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2024.07.012
Trvalý odkaz: https://hdl.handle.net/11104/0356167

0586679 - MÚ 2025 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Korotov, S. - Křížek, Michal
Mathematical and computational modeling of a nonlinear elliptic problem in divergence form.
Large-Scale Scientific Computations. Vol. 13952. Cham: Springer Nature Switzerland AG, 2024 - (Lirkov, I.; Margenov, S.), s. 343-353. ISBN 978-3-031-56207-5. ISSN 0302-9743. E-ISSN 1611-3349.
[LSSC 2023: International Conference on Large-Scale Scientific Computations /14./. Sozopol (BG), 05.06.2023-09.06.2023]
Grant CEP: GA ČR(CZ) GA23-06159S; GA ČR(CZ) GA24-10586S
Institucionální podpora: RVO:67985840
Klíčová slova: heat conduction problem * radiation * finite element method
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-031-56208-2_35
Korotov, S.
Trvalý odkaz: https://hdl.handle.net/11104/0354108

0583293 - MÚ 2025 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Lancmanová, Anna - Bodnár, Tomáš
Numerical study of the steady airflow in the human respiratory system during inhaling and exhaling.
Topical Problems of Fluid Mechanics. Prague: Institute of Thermomechanics AS CR, v. v. i., 2024 - (Šimurda, D.; Bodnár, T.), s. 124-131. ISBN 978-80-87012-88-8. ISSN 2336-5781.
[Topical Problems of Fluid Mechanics 2024. Prague (CZ), 21.02.2024-23.02.2024]
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: human airways * incompressible Navier-Stokes * OpenFOAM
Obor OECD: Pure mathematics
https://doi.org/10.14311/TPFM.2024.017
Trvalý odkaz: https://hdl.handle.net/11104/0351296

0598495 - MÚ 2025 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Lefebvre, D. - Komenda, Jan
On clock interval automata for a class of distributed timed DESs with time intervals.
IFAC-PapersOnLine. Volume 58, Issue 1 - 17th IFAC Workshop on discrete Event Systems WODES 2024. Amsterdam: Elsevier, 2024 - (Basilio, J.), s. 204-209. ISSN 2405-8963.
[17th IFAC Workshop on discrete Event Systems WODES 2024. Rio de Janeiro (BR), 29.04.2024-01.05.2024]
Institucionální podpora: RVO:67985840
Klíčová slova: distributed systems * tick automata * Time Petri Nets * timed automata
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2024.07.035
Trvalý odkaz: https://hdl.handle.net/11104/0356155

0588511 - MÚ 2025 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Murwanashyaka, Juvenal - Kristiansen, L.
A weak first-order theory of sequences.
Twenty Years of Theoretical and Practical Synergies. Cham: Springer, 2024 - (Levy Patey, L.; Pimentel, E.; Galeotti, L.; Manea, F.), s. 390-404. Lecture Notes in Computer Science, 14773. ISBN 978-3-031-64308-8. ISSN 0302-9743.
[20th Conference on Computability in Europe. Amsterdam (NL), 08.07.2024-12.07.2024]
Institucionální podpora: RVO:67985840
Klíčová slova: first order theories * Robinson * sets theory
Obor OECD: Pure mathematics
https://doi.org/10.1007/978-3-031-64309-5_31
Kristiansen, L.
Trvalý odkaz: https://hdl.handle.net/11104/0355381

0583299 - MÚ 2025 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Nečasová, Šárka
Motion of fluids in the moving domain.
Topical Problems of Fluid Mechanics. Prague: Institute of Thermomechanics AS CR, v. v. i., 2024 - (Šimurda, D.; Bodnár, T.), s. 142-149. ISBN 978-80-87012-88-8. ISSN 2336-5781.
[Topical Problems of Fluid Mechanics 2024. Prague (CZ), 21.02.2024-23.02.2024]
Grant CEP: GA ČR(CZ) GA22-01591S
Institucionální podpora: RVO:67985840
Klíčová slova: compressible fluid * moving domain * weak solutions
Obor OECD: Pure mathematics
https://doi.org/10.14311/TPFM.2024.019
Nečasová, Šárka
Trvalý odkaz: https://hdl.handle.net/11104/0351297

0602329 - MÚ 2025 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Shen, L. - Miao, S. - Lai, A. - Komenda, Jan - Lahaye, S.
Initial-and-final-state detectability of nondeterministic finite-state automata.
14th Asian Control Conference (ASCC). Los Alamitos: IEEE, 2024 - (Li, S.; Zhao, J.; Zhao, Y.), s. 509-514. ISBN 979-8-3315-4084-5. ISSN 2770-8365.
[14th Asian Control Conference (ASCC). Dalian (CN), 05.07.2024-08.07.2024]
Institucionální podpora: RVO:67985840
Klíčová slova: I-labeled observer * initial-and-final-state detectability * nondeterministic finite-state automaton
Obor OECD: Automation and control systems
https://ieeexplore.ieee.org/abstract/document/10665365
Lai, A.
Trvalý odkaz: https://hdl.handle.net/11104/0359469

0583300 - MÚ 2025 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Vacek, Karel - Sváček, P.
Finite element approximation of fluid structure interaction using Taylor-Hood and Scott-Vogelius elements.
Topical Problems of Fluid Mechanics. Prague: Institute of Thermomechanics AS CR, v. v. i., 2024 - (Šimurda, D.; Bodnár, T.), s. 232-239. ISBN 978-80-87012-88-8. ISSN 2336-5781.
[Topical Problems of Fluid Mechanics 2024. Prague (CZ), 21.02.2024-23.02.2024]
Grant CEP: GA ČR(CZ) GA22-01591S
Institucionální podpora: RVO:67985840
Klíčová slova: finite element method * arbitrary Lagrangian-Eulerian method * Scott-Vogelius element * Taylor-Hood element
Obor OECD: Pure mathematics
https://doi.org/10.14311/TPFM.2024.031
Trvalý odkaz: https://hdl.handle.net/11104/0351299

0603999 - MÚ 2025 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Valášek, Jan - Sváček, P.
Dynamic mode decompositions of phonation onset – Comparison of different methods.
Proceedings of Topical Problems of Fluid Mechanics 2022. Prague: Institute of Thermomechanics AS CR, 2022 - (Šimurda, D.; Bodnár, T.), s. 181-189. ISBN 978-80-87012-77-2. ISSN 2336-5781.
[Topical Problems of Fluid Mechanics 2022. Prague (CZ), 16.02.2022-18.02.2022]
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: dynamic mode decomposition * recursive DMD * otal least-square DMD
Obor OECD: Pure mathematics
https://doi.org/10.14311/TPFM.2022.024
Trvalý odkaz: https://hdl.handle.net/11104/0361316

0604242 - MÚ 2025 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Zuevsky, Alexander
Invariant families of multiple bundles complexes.
Journal of Physics: Conference Series. Vol. 2912. Bristol: IoP Publishing, 2024, č. článku 012025. ISSN 1742-6588.
[XXVIII International Conference on Integrable Systems and Quantum Symmetries (ISQS28). Prague (CZ), 01.07.2024-05.07.2024]
Institucionální podpora: RVO:67985840
Klíčová slova: cohomology * exactly solvable model * natural extension
Obor OECD: Pure mathematics
https://doi.org/10.1088/1742-6596/2912/1/012025
Zuevsky, Alexander
Trvalý odkaz: https://hdl.handle.net/11104/0361588

Článek v odborném periodiku

0583472 - MÚ 2025 RIV US eng J - Článek v odborném periodiku
Abbatiello, A. - Feireisl, Eduard
On the motion of a compressible viscous fluid driven by time periodic inflow/outflow boundary conditions.
Journal of Dynamics and Differential Equations. Roč. 36, 1 Supplement (2024), s. 105-126. ISSN 1040-7294. E-ISSN 1572-9222
Grant CEP: GA ČR(CZ) GA21-02411S
Institucionální podpora: RVO:67985840
Klíčová slova: compressible fluid * inhomogeneous boundary conditions * Navier-Stokes system
Obor OECD: Pure mathematics
Impakt faktor: 1.3, rok: 2024 ; AIS: 0.898, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10884-021-10004-6
Feireisl, Eduard
Trvalý odkaz: https://hdl.handle.net/11104/0351441

0600351 - MÚ 2025 RIV DE eng J - Článek v odborném periodiku
Abels, H. - Liu, Y. - Nečasová, Šárka
Low Mach number limit of a diffuse interface model for two-phase flows of compressible viscous fluids.
GAMM Mitteilungen. Roč. 47, č. 4 (2024), č. článku e202470008. ISSN 0936-7195
Grant CEP: GA ČR(CZ) GA22-01591S
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: Cahn-Hilliard * diffuse interface model * low Mach number limit
Obor OECD: Pure mathematics
Způsob publikování: Open access
https://doi.org/10.1002/gamm.202470008
Abels, H.
Trvalý odkaz: https://hdl.handle.net/11104/0357659

0582707 - MÚ 2025 RIV US eng J - Článek v odborném periodiku
Adamo, M. S. - Archey, D. E. - Forough, Marzieh - Georgescu, M. C. - Jeong, J. A. - Strung, Karen Ruth - Viola, M. G.
C*-algebras associated to homeomorphisms twisted by vector bundles over finite dimensional spaces.
American Mathematical Society. Transactions. Roč. 377, č. 3 (2024), s. 1597-1640. ISSN 0002-9947. E-ISSN 1088-6850
Grant CEP: GA ČR(CZ) GJ19-05271Y; GA ČR(CZ) GJ20-17488Y
Institucionální podpora: RVO:67985840
Klíčová slova: minimal homeomorphisms * C*-correspondences * classification of nuclear C*-algebras
Obor OECD: Pure mathematics
Impakt faktor: 1.2, rok: 2024 ; AIS: 1.344, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1090/tran/8900
Strung, Karen Ruth
Trvalý odkaz: https://hdl.handle.net/11104/0350791

0600354 - MÚ 2025 RIV PL eng J - Článek v odborném periodiku
Ahmed, I. - Fiorenza, A. - Gogatishvili, Amiran
A generalized version of Holmstedt’s formula for the K-functional.
Colloquium Mathematicum. Roč. 176, č. 1 (2024), s. 77-85. ISSN 0010-1354. E-ISSN 1730-6302
Grant CEP: GA ČR(CZ) GA23-04720S
Institucionální podpora: RVO:67985840
Klíčová slova: K-functional * K-interpolation spaces * Holmstedt's formula
Obor OECD: Pure mathematics
Impakt faktor: 0.4, rok: 2024 ; AIS: 0.304, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.4064/cm9388-7-2024
Trvalý odkaz: https://hdl.handle.net/11104/0357663

0601777 - MÚ 2025 RIV GB eng J - Článek v odborném periodiku
Akbar Tabatabai, Seyed Amirhossein
Witnessing flows in arithmetic.
Mathematical Structures in Computer Science. Roč. 34, č. 7 (2024), s. 578-614. ISSN 0960-1295. E-ISSN 1469-8072
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * local search programs * ordinal analysis * Total search problems
Obor OECD: Pure mathematics
Impakt faktor: 0.9, rok: 2024 ; AIS: 0.443, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1017/S0960129524000185
Akbar Tabatabai, Seyed Amirhossein
Trvalý odkaz: https://hdl.handle.net/11104/0359079

0582938 - MÚ 2025 RIV NL eng J - Článek v odborném periodiku
Al Janaideh, M. - Krejčí, P. - Monteiro, Giselle Antunes
Memory reduction of rate-dependent Prandtl-Ishlinskii compensators in applications on high-precision motion systems.
Physica B-Condensed Matter. Roč. 677, 15 March (2024), č. článku 415595. ISSN 0921-4526. E-ISSN 1873-2135
Grant CEP: GA ČR(CZ) GA20-14736S
Institucionální podpora: RVO:67985840
Klíčová slova: actuators * hysteresis * modeling * Prandtl-Ishlinskii
Obor OECD: Pure mathematics
Impakt faktor: 2.8, rok: 2024 ; AIS: 0.379, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.physb.2023.415595
Al Janaideh, M.
Trvalý odkaz: https://hdl.handle.net/11104/0350982

0585183 - MÚ 2025 RIV RO eng J - Článek v odborném periodiku
Asadi-Vasfi, M. Ali
Weakly tracially approximately representable actions.
Journal of Operator Theory. Roč. 91, č. 1 (2024), s. 3-25. ISSN 0379-4024. E-ISSN 1841-7744
Grant CEP: GA ČR(CZ) GJ20-17488Y
Institucionální podpora: RVO:67985840
Klíčová slova: crossed product * duality * C-algebras
Obor OECD: Pure mathematics
Impakt faktor: 1, rok: 2024 ; AIS: 0.675, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.7900/jot.2021dec07.2430
Asadi-Vasfi, M. Ali
Trvalý odkaz: https://hdl.handle.net/11104/0352927

0586501 - MÚ 2025 RIV DE eng J - Článek v odborném periodiku
Bargetz, C. - Bartoš, Adam - Kubiś, Wieslaw - Luggin, F.
Homogeneous isosceles-free spaces.
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Roč. 118, č. 3 (2024), č. článku 118. ISSN 1578-7303. E-ISSN 1579-1505
Grant CEP: GA ČR(CZ) GX20-31529X
Institucionální podpora: RVO:67985840
Klíčová slova: homogeneity * isometry group * isosceles-free metric space
Obor OECD: Pure mathematics
Impakt faktor: 1.6, rok: 2024 ; AIS: 0.625, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1007/s13398-024-01587-y
Luggin, F.
Trvalý odkaz: https://hdl.handle.net/11104/0353967

0582703 - MÚ 2025 RIV DE eng J - Článek v odborném periodiku
Bargetz, Ch. - Kąkol, Jerzy - Sobota, D.
On complemented copies of the space c0 in spaces Cp(X,E)C_p(X,E).
Mathematische Nachrichten. Roč. 297, č. 2 (2024), s. 644-656. ISSN 0025-584X. E-ISSN 1522-2616
Grant CEP: GA ČR(CZ) GF20-22230L
Institucionální podpora: RVO:67985840
Klíčová slova: Josefson-Nissenzweig Theorem * locally convex spaces * separately continuous functions
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2024 ; AIS: 0.584, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1002/mana.202300026
Bargetz, Ch.
Trvalý odkaz: https://hdl.handle.net/11104/0350787

0599956 - MÚ 2025 RIV DE eng J - Článek v odborném periodiku
Barrientos, José - Cisterna, A. - Hassaine, M. - Oliva, J.
Revisiting Buchdahl transformations: new static and rotating black holes in vacuum, double copy, and hairy extensions.
European Physical Journal C. Roč. 84, č. 10 (2024), č. článku 1011. ISSN 1434-6044. E-ISSN 1434-6052
Institucionální podpora: RVO:67985840
Klíčová slova: black holes * mathematical transformations * black-hole spacetimes
Obor OECD: Particles and field physics
Impakt faktor: 4.8, rok: 2024 ; AIS: 1.044, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1140/epjc/s10052-024-13383-4
Barrientos, José
Trvalý odkaz: https://hdl.handle.net/11104/0357353

0599016 - MÚ 2025 RIV DE eng J - Článek v odborném periodiku
Barrientos, José - Cisterna, A. - Pallikaris, K.
Plebanśki-Demiański à la Ehlers-Harrison: Exact rotating and accelerating type I black holes.
General Relativity and Gravitation. Roč. 56, č. 9 (2024), č. článku 111. ISSN 0001-7701. E-ISSN 1572-9532
Institucionální podpora: RVO:67985840
Klíčová slova: algebraic classification * Ernst equations * exact solutions * type I black holes
Obor OECD: Particles and field physics
Impakt faktor: 2.8, rok: 2024 ; AIS: 0.668, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10714-024-03304-x
Barrientos, José
Trvalý odkaz: https://hdl.handle.net/11104/0356585

0599022 - MÚ 2025 RIV DE eng J - Článek v odborném periodiku
Barrientos, José - Cisterna, A. - Kolář, I. - Müller, K. - Oyarzo, M. - Pallikaris, K.
Mixing “Magnetic” and “Electric” Ehlers-Harrison transformations: The electromagnetic swirling spacetime and novel type I backgrounds.
European Physical Journal C. Roč. 84, č. 7 (2024), č. článku 724. ISSN 1434-6044. E-ISSN 1434-6052
Institucionální podpora: RVO:67985840
Klíčová slova: gravitation * black holes * cosmological constants
Obor OECD: Particles and field physics
Impakt faktor: 4.8, rok: 2024 ; AIS: 1.044, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1140/epjc/s10052-024-13093-x
Barrientos, José
Trvalý odkaz: https://hdl.handle.net/11104/0356590

0601681 - MÚ 2025 RIV GB eng J - Článek v odborném periodiku
Bartoš, Adam - Bice, Tristan - Dasilva Barbosa, K. - Kubiś, Wieslaw
The weak Ramsey property and extreme amenability.
Forum of Mathematics, Sigma. Roč. 12, November (2024), č. článku e96. ISSN 2050-5094. E-ISSN 2050-5094
Grant CEP: GA ČR(CZ) GX20-31529X
Institucionální podpora: RVO:67985840
Klíčová slova: Fraïssé categories * weak Ramsey property
Obor OECD: Pure mathematics
Impakt faktor: 1.2, rok: 2024 ; AIS: 1.745, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1017/fms.2024.64
Kubiś, Wieslaw
Trvalý odkaz: https://hdl.handle.net/11104/0359010

0582722 - MÚ 2025 RIV DE eng J - Článek v odborném periodiku
Batanin, Michael - Markl, Martin
Operads, operadic categories and the blob complex.
Applied Categorical Structures. Roč. 32, č. 1 (2024), č. článku 6. ISSN 0927-2852. E-ISSN 1572-9095
AV ČR(CZ) AP1801
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: blob complex * operadic category * bar resolution
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2024 ; AIS: 0.474, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1007/s10485-023-09759-4
Markl, Martin
Trvalý odkaz: https://hdl.handle.net/11104/0350802

0579294 - MÚ 2025 RIV NL eng J - Článek v odborném periodiku
Batanin, Michael - White, D.
Left Bousfield localization without left properness.
Journal of Pure and Applied Algebra. Roč. 228, č. 6 (2024), č. článku 107570. ISSN 0022-4049. E-ISSN 1873-1376
AV ČR(CZ) AP1801
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: homotopy theory of algebras * left Bousfield localisation
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2024 ; AIS: 0.717, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.jpaa.2023.107570
Trvalý odkaz: https://hdl.handle.net/11104/0348137

0575080 - MÚ 2025 RIV NL eng J - Článek v odborném periodiku
Bazzoni, S. - Hrbek, Michal - Positselski, Leonid
fp-projective periodicity.
Journal of Pure and Applied Algebra. Roč. 228, č. 3 (2024), č. článku 107497. ISSN 0022-4049. E-ISSN 1873-1376
Grant CEP: GA ČR(CZ) GA20-13778S
Institucionální podpora: RVO:67985840
Klíčová slova: fp-injective modules * fp-projective modules * locally finitely presentable abelian categories
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2024 ; AIS: 0.717, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.jpaa.2023.107497
Positselski, Leonid
Trvalý odkaz: https://hdl.handle.net/11104/0344935

0575752 - MÚ 2025 RIV US eng J - Článek v odborném periodiku
Bermúdez, T. - Matinón, A. - Müller, Vladimír
Local spectral properties of m-isometric operators.
Journal of Mathematical Analysis and Applications. Roč. 530, č. 1 (2024), č. článku 127717. ISSN 0022-247X. E-ISSN 1096-0813
Grant CEP: GA ČR(CZ) GF20-22230L
Institucionální podpora: RVO:67985840
Klíčová slova: decomposable * generalized subscalar operator * local spectral theory
Obor OECD: Pure mathematics
Impakt faktor: 1.2, rok: 2024 ; AIS: 0.632, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.jmaa.2023.127717
Bermúdez, T.
Trvalý odkaz: https://hdl.handle.net/11104/0345483

0578002 - MÚ 2025 RIV GB eng J - Článek v odborném periodiku
Bhandari, Kuntal
Insensitizing control problem for the Hirota–Satsuma system of KdV–KdV type.
Nonlinear Analysis: Theory, Methods & Applications. Roč. 239, February (2024), č. článku 113422. ISSN 0362-546X. E-ISSN 1873-5215
Grant CEP: GA ČR(CZ) GC22-08633J
Institucionální podpora: RVO:67985840
Klíčová slova: Korteweg-de Vries system * insensitizing control * Carleman estimate * inverse mapping theorem
Obor OECD: Pure mathematics
Impakt faktor: 1.3, rok: 2024 ; AIS: 0.97, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.na.2023.113422
Bhandari, Kuntal
Trvalý odkaz: https://hdl.handle.net/11104/0347057

0583247 - MÚ 2025 RIV US eng J - Článek v odborném periodiku
Bhandari, Kuntal - Kumbhakar, J. - Majumdar, S.
Local null-controllability of a two-parabolic nonlinear system with coupled boundary conditions by a Neumann control.
Evolution Equations and Control Theory. Roč. 13, č. 2 (2024), s. 587-615. ISSN 2163-2480. E-ISSN 2163-2480
Grant CEP: GA ČR(CZ) GC22-08633J
Institucionální podpora: RVO:67985840
Klíčová slova: fixed point theorem * local null-controllability * moments method * Neumann boundary control
Obor OECD: Pure mathematics
Impakt faktor: 1.2, rok: 2024 ; AIS: 0.554, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.3934/eect.2023059
Majumdar, S.
Trvalý odkaz: https://hdl.handle.net/11104/0351251

0584769 - MÚ 2025 RIV SG eng J - Článek v odborném periodiku
Bhandari, Kuntal - Huang, B. - Nečasová, Šárka
Weak solutions to the heat conducting compressible self-gravitating flows in time-dependent domains.
Mathematical Models and Methods in Applied Sciences. Roč. 34, č. 4 (2024), s. 659-704. ISSN 0218-2025. E-ISSN 1793-6314
Grant CEP: GA ČR(CZ) GC22-08633J
AV ČR(CZ) AP2101
Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985840
Klíčová slova: compressible fluids * Navier-Stokes-Fourier-Poisson system * non-homogeneous boundary
Obor OECD: Pure mathematics
Impakt faktor: 3, rok: 2024 ; AIS: 1.505, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1142/S0218202524500118
Nečasová, Šárka
Trvalý odkaz: https://hdl.handle.net/11104/0352618