Výsledky vyhledávání
- 1.0559241 - ÚI 2023 RIV NL eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr
Propagation Complete Encodings of Smooth DNNF Theories.
Constraints. Roč. 27, č. 3 (2022), s. 327-359. ISSN 1383-7133. E-ISSN 1572-9354
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: knowledge compilation * constraint CNF encoding * DNNF * propagation complete encoding
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1.6, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1007/s10601-022-09331-2
Trvalý link: https://hdl.handle.net/11104/0332581 - 2.0536433 - ÚI 2021 RIV US eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr
Bounds on the Size of PC and URC Formulas.
Journal of Artificial Intelligence Research. Roč. 69, 24 December (2020), s. 1395-1420. ISSN 1076-9757. E-ISSN 1943-5037
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: automated reasoning * knowledge representation * satisfiability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.776, rok: 2020
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0314210Název souboru Staženo Velikost Komentář Verze Přístup 0536433-afin.pdf 2 294.1 KB OA casopis Vydavatelský postprint povolen - 3.0494392 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr - Vorel, V.
A Lower Bound on CNF Encodings of the At-most-one Constraint.
Theoretical Computer Science. Roč. 762, March (2019), s. 51-73. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA ČR(CZ) GA15-15511S
Institucionální podpora: RVO:67985807
Klíčová slova: Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.747, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.tcs.2018.09.003
Trvalý link: http://hdl.handle.net/11104/0287600Název souboru Staženo Velikost Komentář Verze Přístup a0494392.pdf 9 607.1 KB Vydavatelský postprint vyžádat - 4.0480807 - ÚH 2019 RIV US eng J - Článek v odborném periodiku
Guo, Z. - Kučera, P. - Skalák, Zdeněk
Regularity criterion for solutions to the Navier-Stokes equations in the whole 3D space based on two vorticity components.
Journal of Mathematical Analysis and Applications. Roč. 458, č. 1 (2018), s. 755-766. ISSN 0022-247X. E-ISSN 1096-0813
Grant CEP: GA ČR GA13-00522S
Grant ostatní: National Natural Science Foundation of China(CN) 11301394
Institucionální podpora: RVO:67985874
Klíčová slova: Navier Stokes equations * conditional regularity * regularity criteria * vorticity * Besov spaces * bony decomposition
Obor OECD: Fluids and plasma physics (including surface physics)
Impakt faktor: 1.188, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0281875 - 5.0473686 - MÚ 2018 RIV GB eng J - Článek v odborném periodiku
Kučera, P. - Neustupa, Jiří
On robustness of a strong solution to the Navier–Stokes equations with Navier's boundary conditions in the L3-norm.
Nonlinearity. Roč. 30, č. 4 (2017), s. 1564-1583. ISSN 0951-7715. E-ISSN 1361-6544
Grant CEP: GA ČR GA13-00522S
Institucionální podpora: RVO:67985840
Klíčová slova: Navier-Stokes equations * slip boundary conditions * regularity
Obor OECD: Pure mathematics
Impakt faktor: 1.926, rok: 2017
http://iopscience.iop.org/article/10.1088/1361-6544/aa6166/meta
Trvalý link: http://hdl.handle.net/11104/0270813Název souboru Staženo Velikost Komentář Verze Přístup Neustupa.pdf 1 1.1 MB Vydavatelský postprint vyžádat - 6.0450591 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
Savický, Petr - Kučera, P.
Generating Models of a Matched Formula with a Polynomial Delay.
Journal of Artificial Intelligence Research. Roč. 56, č. 6 (2016), s. 379-402. ISSN 1076-9757. E-ISSN 1943-5037
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA ČR(CZ) GA15-15511S
Institucionální podpora: RVO:67985807
Klíčová slova: conjunctive normal form * matched formula * pure literal satisfiable formula
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 2.284, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0251864Název souboru Staženo Velikost Komentář Verze Přístup a0450591.pdf 7 237 KB Vydavatelský postprint vyžádat - 7.0393111 - MÚ 2014 RIV US eng J - Článek v odborném periodiku
Kučera, P. - Neustupa, Jiří
On L3-stability of strong solutions of the Navier-Stokes equations with the Navier-type boundary conditions.
Journal of Mathematical Analysis and Applications. Roč. 405, č. 2 (2013), s. 731-737. ISSN 0022-247X. E-ISSN 1096-0813
Grant CEP: GA ČR GA13-00522S
Institucionální podpora: RVO:67985840
Klíčová slova: Navier-Stokes equations * stability * slip boundary conditions
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.119, rok: 2013
http://www.sciencedirect.com/science/article/pii/S0022247X13003466
Trvalý link: http://hdl.handle.net/11104/0221868Název souboru Staženo Velikost Komentář Verze Přístup Neustupa2.pdf 2 414.9 KB Vydavatelský postprint vyžádat - 8.0369644 - ÚI 2013 RIV SE eng J - Článek v odborném periodiku
Řasová, K. - Doležil, D. - Kalistová, H. - Kučera, P. - Juzová, O. - Zimová, D. - Medová, E. - Jandová, D. - Tintěra, J. - Ibrahim, I. - Zvára, Karel - Bičíková, M. - Martinková, Patrícia
Physiotherapy as an immunoactive therapy? A pilot study.
Neuroendocrinology Letters. Roč. 33, č. 1 (2012), s. 67-75. ISSN 0172-780X. E-ISSN 2354-4716
Grant CEP: GA MŠMT(CZ) 1M06014
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: multiple sclerosis * physiotherapy * facilitation * humoral and cellular immunity * immunomodulation * dehydroepiandrosterone
Kód oboru RIV: EC - Imunologie
Impakt faktor: 0.932, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0203660 - 9.0351382 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
Čepek, O. - Kučera, P. - Savický, Petr
Boolean Functions with a Simple Certificate for CNF Complexity.
Discrete Applied Mathematics. Roč. 160, 4-5 (2012), s. 365-382. ISSN 0166-218X. E-ISSN 1872-6771
Grant CEP: GA MŠMT(CZ) 1M0545
Grant ostatní: GA ČR(CZ) GP201/07/P168; GA ČR(CZ) GAP202/10/1188
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Boolean functions * CNF representations
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.718, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0191148 - 10.0333022 - MÚ 2010 RIV GB eng J - Článek v odborném periodiku
Kučera, P. - Neustupa, Jiří
On perturbations of solutions to the Navier-Stokes equations with large initial data and their dynamics.
[O pertubacích řešení Navierových-Stokesových rovnic s velkými počátečními daty a jejich dynamice.]
Nonlinear Analysis: Theory, Methods & Applications. Roč. 71, č. 12 (2009), s. 2690-2695. ISSN 0362-546X. E-ISSN 1873-5215
Grant CEP: GA AV ČR IAA100190905
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Navier-Stokes equations * stability * dynamics of solutions
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.487, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0178111Název souboru Staženo Velikost Komentář Verze Přístup Neustupa.pdf 1 309.5 KB Vydavatelský postprint vyžádat