Search results
- 1.0536837 - ÚFCH JH 2021 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA17-05167s; GA MV(CZ) VI20192022127; GA MŠMT EF16_019/0000778
Institutional support: RVO:61388955
Keywords : Photoacoustic Spectroscopy * Tuning Fork * Trace Gas
OECD category: Physical chemistry
Permanent Link: http://hdl.handle.net/11104/0314585File Download Size Commentary Version Access 0536837.pdf 0 906.1 KB open access Publisher’s postprint open-access - 2.0536431 - ÚI 2022 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA19-19463S
Institutional support: RVO:67985807
Keywords : Satisfiability * Knowledge Representation Languages
OECD category: 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
Permanent Link: http://hdl.handle.net/11104/0314209File Download Size Commentary Version Access aaai2021.JPG 0 106.2 KB Other require 0536431-aoa.pdf 4 149.9 KB Publisher’s postprint require - 3.0480888 - ÚI 2018 DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GBP202/12/G061
Grant - others:GA ČR GA15-15511S
Institutional support: RVO:67985807
Keywords : conjunctive normal form * matched formula * pure literal satisfiable formula
Subject RIV: BA - General Mathematics
https://www.ijcai.org/proceedings/2017/0721.pdf
Permanent Link: http://hdl.handle.net/11104/0276554File Download Size Commentary Version Access a0480888.pdf 1 104.2 KB Publisher’s postprint require - 4.0478486 - ÚI 2018 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GBP202/12/G061
Grant - others:GA ČR(CZ) GA15-15511S
Institutional support: RVO:67985807
Keywords : Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0274603File Download Size Commentary Version Access 0478486.pdf 2 801.7 KB Author´s preprint open-access a0478486.pdf 4 310.6 KB Publisher’s postprint require - 5.0376168 - ÚI 2013 RIV CZ cze C - Conference Paper (international conference)
Ř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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : multiple sclerosis * physiotherapy * facilitation * humoral and cellular immunity * immunomodulation * IgG * IgA * CD3+CD8+ * CD19+
Subject RIV: FH - Neurology
Permanent Link: http://hdl.handle.net/11104/0007380 - 6.0196343 - UH-J 20033059 RIV CZ eng C - Conference Paper (international conference)
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]
Institutional research plan: CEZ:AV0Z2060917
Keywords : Navier-Stokes equations * suitable weak solution * singular point
Subject RIV: BK - Fluid Dynamics
Permanent Link: http://hdl.handle.net/11104/0091980 - 7.0196272 - UH-J 20023089 RIV CZ eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA2060803
Institutional research plan: CEZ:MSM 210000010
Keywords : Navier-Stokes equations * velocity components * regularity
Subject RIV: BK - Fluid Dynamics
Permanent Link: http://hdl.handle.net/11104/0091911 - 8.0196191 - UH-J 20013119 RIV CZ eng C - Conference Paper (international conference)
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]
Institutional research plan: CEZ:AV0Z2060917
Keywords : Navier-Stokes equations * regularity * regular points
Subject RIV: BK - Fluid Dynamics
Permanent Link: http://hdl.handle.net/11104/0091831 - 9.0196177 - UH-J 20013103 RIV CZ eng C - Conference Paper (international conference)
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]
Institutional research plan: CEZ:MSM 210000001
Keywords : Navier-Stokes equations * regularity * weak solutions
Subject RIV: BK - Fluid Dynamics
Permanent Link: http://hdl.handle.net/11104/0091818 - 10.0195942 - UH-J 970057 RIV CZ eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA101/96/1051
Permanent Link: http://hdl.handle.net/11104/0091592