Výsledky vyhledávání
- 1.0536837 - ÚFCH JH 2021 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Dostál, Michal - Suchánek, Jan - Zelinger, Zdeněk - Wild, J. - Bitala, P. - Dudáček, A. - Válek, V. - Klečka, V. - Kučera, P. - Nevrlý, V.
Smart Material Serves Other Smart Materials: Comparison of Measurement of CO2 Concentration by Optical and Optoacoustic Methods.
IOP Conference Series: Materials Science and Engineering. Bristol: IOPScience, 2020, č. článku 012012. ISSN 1757-8981.
[International Conference on Smart Materials Applications /3./. Seoul (KR), 13.01.2020-16.01.2020]
Grant CEP: GA ČR(CZ) GA17-05167s; GA MV(CZ) VI20192022127; GA MŠMT EF16_019/0000778
Institucionální podpora: RVO:61388955
Klíčová slova: Photoacoustic Spectroscopy * Tuning Fork * Trace Gas
Obor OECD: Physical chemistry
Trvalý link: http://hdl.handle.net/11104/0314585Název souboru Staženo Velikost Komentář Verze Přístup 0536837.pdf 0 906.1 KB open access Vydavatelský postprint povolen - 2.0536431 - ÚI 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Savický, Petr
Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings.
Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, 2021, s. 3832-3840. ISBN 978-1-57735-866-4.
[AAAI 2021. Conference on Artificial Intelligence /35./. Vancouver / Online (CA), 02.02.2021-09.02.2021]
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: Satisfiability * Knowledge Representation Languages
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ojs.aaai.org/index.php/AAAI/article/view/16501
Trvalý link: http://hdl.handle.net/11104/0314209Název souboru Staženo Velikost Komentář Verze Přístup aaai2021.JPG 0 106.2 KB Jiná vyžádat 0536431-aoa.pdf 4 149.9 KB Vydavatelský postprint vyžádat - 3.0480888 - ÚI 2018 DE eng C - Konferenční příspěvek (zahraniční konf.)
Savický, Petr - Kučera, P.
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Freiburg: IJCAI, 2017 - (Sierra, C.), s. 5055-5059. ISBN 978-0-9992411-0-3.
[IJCAI 2017. International Joint Conference on Artificial Intelligence /26./. Melbourne (AU), 19.08.2017-25.08.2017]
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA ČR 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
https://www.ijcai.org/proceedings/2017/0721.pdf
Trvalý link: http://hdl.handle.net/11104/0276554Název souboru Staženo Velikost Komentář Verze Přístup a0480888.pdf 1 104.2 KB Vydavatelský postprint vyžádat - 4.0478486 - ÚI 2018 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Savický, Petr - Vorel, V.
A Lower Bound on CNF Encodings of the At-Most-One Constraint.
Theory and Applications of Satisfiability Testing - SAT 2017. Cham: Springer, 2017 - (Gaspers, S.; Walsh, T.), s. 412-428. Lecture Notes in Computer Science, 10491. ISBN 978-3-319-66262-6. ISSN 0302-9743.
[SAT 2017. International Conference on Theory and Applications of Satisfiability Testing /20./. Melbourne (AU), 28.08.2017-01.09.2017]
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)
Trvalý link: http://hdl.handle.net/11104/0274603Název souboru Staženo Velikost Komentář Verze Přístup 0478486.pdf 2 801.7 KB Autorský preprint povolen a0478486.pdf 4 310.6 KB Vydavatelský postprint vyžádat - 5.0376168 - ÚI 2013 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Řasová, K. - Brandejský, P. - Kučera, P. - Martinková, Patrícia
Vliv facilitační fyzioterapie na imunologický profil nemocných s roztroušenou sklerózou mozkomíšní.
[An Effect of Facilitation Physiotherapy on Immune Parameters of Patients with Multiple Sclerosis.]
Optimální působení tělesné zátěže. Hradec Králové: GAUDEAMUS, 2011 - (Jílek, M.; Šmíd, P.), s. 108-113. ISBN 978-80-7435-152-5.
[Kinantropologické dny MUDr. V. Soulka. Hradec Králové (CZ), 19.09.2011]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: multiple sclerosis * physiotherapy * facilitation * humoral and cellular immunity * immunomodulation * IgG * IgA * CD3+CD8+ * CD19+
Kód oboru RIV: FH - Neurologie, neurochirurgie, neurovědy
Trvalý link: http://hdl.handle.net/11104/0007380 - 6.0196343 - UH-J 20033059 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Skalák, Zdeněk
Generalized energy inequality for suitable weak solutions of the Navier-Stokes equations.
Seminar Topical problems of fluid mechanics 2003. Praha: Institute of Thermomechanics AS CR, 2003, s. 61-66.
[Seminar Topical problems of fluid mechanics 2003. Praha (CZ), 19.02.2003]
Výzkumný záměr: CEZ:AV0Z2060917
Klíčová slova: Navier-Stokes equations * suitable weak solution * singular point
Kód oboru RIV: BK - Mechanika tekutin
Trvalý link: http://hdl.handle.net/11104/0091980 - 7.0196272 - UH-J 20023089 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Skalák, Zdeněk
Regularity of suitable weak solutions of the Navier-Stokes equations as consequence of regularity of two velocity components.
Seminar Topical problems of fluid mechanics 2002: Proceedings. Praha: Institute of Thermomechanics AS CR, 2002 - (Příhoda, J.; Kozel, K.), s. 53-56. ISBN 80-85918-72-2.
[Seminar Topical problems of fluid mechanics 2002. Praha (CZ), 20.02.2002]
Grant CEP: GA AV ČR IAA2060803
Výzkumný záměr: CEZ:MSM 210000010
Klíčová slova: Navier-Stokes equations * velocity components * regularity
Kód oboru RIV: BK - Mechanika tekutin
Trvalý link: http://hdl.handle.net/11104/0091911 - 8.0196191 - UH-J 20013119 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Skalák, Zdeněk
Smoothness of the velocity time derivative in the vicinity of regular points of the Navier-Stokes equations.
Euler and Navier-Stokes Equations: Theory, Numerical Solution, Applications. Vol. 1 svazek. Praha: Institute of Thermodynamics AS CR, 2001, s. 83-86. ISBN 80-85918-65-X.
[Seminar Euler and Navier-Stokes equations /4./. Praha (CZ), 23.05.2001-25.05.2001]
Výzkumný záměr: CEZ:AV0Z2060917
Klíčová slova: Navier-Stokes equations * regularity * regular points
Kód oboru RIV: BK - Mechanika tekutin
Trvalý link: http://hdl.handle.net/11104/0091831 - 9.0196177 - UH-J 20013103 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Skalák, Zdeněk
Smoothness of the Velocity Time Derivative in the Vicinity of Regular Points of the Navier-Stokes Equations.
4rd Seminar Euler and Navier-Stokes equations: theory, numerical solution, applications. Praha, 2001, s. 83-86. ISBN 80-85918-65-X.
[Seminar Euler and Navier-Stokes equations /4./. Praha (CZ), 23.05.2001-25.05.2001]
Výzkumný záměr: CEZ:MSM 210000001
Klíčová slova: Navier-Stokes equations * regularity * weak solutions
Kód oboru RIV: BK - Mechanika tekutin
Trvalý link: http://hdl.handle.net/11104/0091818 - 10.0195942 - UH-J 970057 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Skalák, Zdeněk
A theoretical remark on a non-dirichlet boundary condition applied on the outlet of the tube.
Workshop '97. Biomechanical modelling and numerical simulation. Proceedings. Praha: ÚT AV ČR, 1997 - (Musil, J.; Maršík, F.), s. 47-52. ISBN 80-85918-30-7.
[Workshop '97. Biomechanical modelling and numerical simulation. Praha (CZ), 25.09.1997-26.09.1997]
Grant CEP: GA ČR GA101/96/1051
Trvalý link: http://hdl.handle.net/11104/0091592