Publications

Dynamic Logic. New Trends and Applications

MARTINS, M. A., SEDLÁR, Igor. <em>Dynamic Logic. New Trends and Applications</em>. Cham: Springer, 2020. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743<br>Dostupné z: doi:10.1007/978-3-030-65840-3.

Autoři: M. A. Martins , Igor Sedlár

Přeplňování nemocnic jsme zabránili, do Vánoc bychom ale neměli rozvolňovat, míní Neruda z Centra pro modelování

NERUDA, Roman. <em>Přeplňování nemocnic jsme zabránili, do Vánoc bychom ale neměli rozvolňovat, míní Neruda z Centra pro modelování</em> Praha: Česká televize, 2020. Dostupné z: https://ct24.ceskatelevize.cz/domaci/3224486-preplnovani-nemocnic-jsme-zabranili-do-vanoc-bychom-ale-nemeli-rozvolnovat-mini

Autoři: Roman Neruda

Minimum Redundancy Maximum Relevance variable selection 1.0

KALINA, Jan, SCHLENKER, A. <em>Minimum Redundancy Maximum Relevance variable selection 1.0</em> [software]. Ústav informatiky AV ČR, v. v. i., České vysoké učení technické v Praze, 2020. Dostupné z: https://github.com/jankalinaUI/Minimum_Regularized_Redundancy_Maximum_Robust_Relevance_Variable_Selection

Autoři: Jan Kalina , A. Schlenker

Mikroklimatické modely a možnosti jejich využití při komplexním hodnocení adaptačních opatření ve městech

GELETIČ, Jan, RESLER, Jaroslav, KRČ, Pavel. <em>Mikroklimatické modely a možnosti jejich využití při komplexním hodnocení adaptačních opatření ve městech</em> [Prezentace]. Praha: Akademie věd České republiky, 2020.

Autoři: Jan Geletič , Jaroslav Resler , Pavel Krč

City Simulation Software (CSS) for modeling, planning, and strategic assessment of territorial city units

SVÍTEK, M., PŘIBYL, O., VOREL, J., GARLÍK, B., RESLER, Jaroslav, KOZHEVNIKOV, S., KRČ, Pavel, GELETIČ, Jan, DANIEL, Milan, DOSTÁL, R., MYŠKA, V., ARALKINA, O., PEREIRA, A. M. <em>City Simulation Software (CSS) for modeling, planning, and strategic assessment of territorial city units</em> [software]. Český institut informatiky, robotiky a kybernetiky, Ústav informatiky AV ČR, v. v. i., 2020. Dostupné z: http://95.216.78.44:8004/Home/ExternalSystems

Autoři: M. Svítek , O. Přibyl , J. Vorel , B. Garlík , Jaroslav Resler , S. Kozhevnikov , Pavel Krč , Jan Geletič , Milan Daniel , R. Dostál , V. Myška , O. Aralkina , A. M. Pereira

Perturbations both trigger and delay seizures due to generic properties of slow-fast relaxation oscillators

PEREZ-CERVERA, Alberto, HLINKA, Jaroslav. <em>Perturbations both trigger and delay seizures due to generic properties of slow-fast relaxation oscillators</em>. Cold Spring Harbor Laboratory, 2020. bioRxiv, 2020.12.02.407965<br>Dostupné z: doi:10.1101/2020.12.02.407965.

Autoři: Alberto Perez-Cervera , Jaroslav Hlinka

Liar's Domination in Unit Disk Graphs

JALLU, Ramesh Kumar, JENA, S. K., DAS, G. K. <em>Liar's Domination in Unit Disk Graphs</em>. Cornell University, 2020. arXiv.org e-Print archive, arXiv:2005.13913 [cs.CC]. Dostupné z: https://arxiv.org/abs/2005.13913

Autoři: Ramesh Kumar Jallu , S. K. Jena , G. K. Das

Special issue of the Conference Analytical Methods in Statistics (AMISTAT 2019)

KALINA, Jan, JUREČKOVÁ, Jana. Special issue of the Conference Analytical Methods in Statistics (AMISTAT 2019). <em>Applications of Mathematics. </em> 2020, <b>65</b>(3), 227-342. ISSN 0862-7940. E-ISSN 1572-9109<br>Dostupné z: doi:10.21136/AM.2020.0106-20

Autoři: Jan Kalina , Jana Jurečková

Library of Software Modules for Modelling and Analysis of Complex Systems

HLINKA, Jaroslav, JAJCAY, Lucia, BUČKOVÁ, Barbora, JIŘÍČEK, Stanislav, KOŘENEK, Jakub, PIDNEBESNA, Anna, TOMEČEK, David. <em>Library of Software Modules for Modelling and Analysis of Complex Systems</em> [software]. Ústav informatiky AV ČR, v. v. i., 2020. Dostupné z: https://github.com/cobragroup/cocoabox

Autoři: Jaroslav Hlinka , Lucia Jajcay , Barbora Bučková , Stanislav Jiříček , Jakub Kořenek , Anna Pidnebesna , David Tomeček