Efficient Strategy Synthesis for MDPs With Resource Constraints
Blahoudek, Frantisek, Novotny, Petr, Ornik, Melkior, Thangeda, Pranay, Topcu, Ufuk
Published in IEEE transactions on automatic control (01.08.2023)
Published in IEEE transactions on automatic control (01.08.2023)
Get full text
Journal Article
Identifying key features of digital resources used during online science practicals
Janstová, Vanda, Novotný, Petr, Chlebounová, Irena, Guitart, Fina, Forne, Ester, Tortosa, Montserrat
Published in PloS one (24.10.2023)
Published in PloS one (24.10.2023)
Get full text
Journal Article
Assessing the Accuracy of a Deep Learning Method to Risk Stratify Indeterminate Pulmonary Nodules
Massion, Pierre P, Antic, Sanja, Ather, Sarim, Arteta, Carlos, Brabec, Jan, Chen, Heidi, Declerck, Jerome, Dufek, David, Hickes, William, Kadir, Timor, Kunst, Jonas, Landman, Bennett A, Munden, Reginald F, Novotny, Petr, Peschl, Heiko, Pickup, Lyndsey C, Santos, Catarina, Smith, Gary T, Talwar, Ambika, Gleeson, Fergus
Published in American journal of respiratory and critical care medicine (15.07.2020)
Published in American journal of respiratory and critical care medicine (15.07.2020)
Get full text
Journal Article
Quantum Particle on Dual Weight Lattice in Even Weyl Alcove
Hrivnák, Jiří, Motlochová, Lenka, Novotný, Petr
Published in International journal of theoretical physics (15.03.2023)
Published in International journal of theoretical physics (15.03.2023)
Get full text
Journal Article
Dynamics of the Czech flora over the last 60 years: Winners, losers and causes of changes
Klinkovská, Klára, Glaser, Michael, Danihelka, Jiří, Kaplan, Zdeněk, Knollová, Ilona, Novotný, Petr, Pyšek, Petr, Řezníčková, Marcela, Wild, Jan, Chytrý, Milan
Published in Biological conservation (01.04.2024)
Published in Biological conservation (01.04.2024)
Get full text
Journal Article
Biotransformation of free cyanide to formic acid by a cyanide hydratase−formamidase cascade reaction
Martínková, Ludmila, Kulik, Natalia, Rucká, Lenka, Kotik, Michael, Křístková, Barbora, Šťastná, Katarína, Novotný, Petr, Příhodová, Romana, Bojarová, Pavla, Pátek, Miroslav
Published in Process biochemistry (1991) (01.07.2024)
Published in Process biochemistry (1991) (01.07.2024)
Get full text
Journal Article
Equivalence and Similarity Refutation for Probabilistic Programs
Chatterjee, Krishnendu, Goharshady, Ehsan Kafshdar, Novotný, Petr, Žikelić, Đorđe
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article
On Lexicographic Proof Rules for Probabilistic Termination
Chatterjee, Krishnendu, Kafshdar Goharshady, Ehsan, Novotný, Petr, Zárevúcky, Jiří, Žikelić, Đorđe
Published in Formal aspects of computing (01.06.2023)
Published in Formal aspects of computing (01.06.2023)
Get full text
Journal Article
Teaching a difficult topic using a problem-based concept resembling a computer game: development and evaluation of an e-learning application for medical molecular genetics
Prochazkova, Kamila, Novotny, Petr, Hancarova, Miroslava, Prchalova, Darina, Sedlacek, Zdenek
Published in BMC medical education (24.10.2019)
Published in BMC medical education (24.10.2019)
Get full text
Journal Article
A Fast HPLC/UV Method for Determination of Ketoprofen in Cellular Media
Vozniuk, Oleksandra, Kejík, Zdeněk, Veselá, Kateřina, Skaličková, Markéta, Novotný, Petr, Hromádka, Róbert, Hajduch, Jan, Martásek, Pavel, Jakubek, Milan
Published in ChemistryOpen (Weinheim) (01.03.2024)
Published in ChemistryOpen (Weinheim) (01.03.2024)
Get full text
Journal Article
Genetic and Functional Diversity of Nitrilases in Agaricomycotina
Rucká, Lenka, Chmátal, Martin, Kulik, Natalia, Petrásková, Lucie, Pelantová, Helena, Novotný, Petr, Příhodová, Romana, Pátek, Miroslav, Martínková, Ludmila
Published in International journal of molecular sciences (28.11.2019)
Published in International journal of molecular sciences (28.11.2019)
Get full text
Journal Article
Work Ability among Upper-Secondary School Teachers: Examining the Role of Burnout, Sense of Coherence, and Work-Related and Lifestyle Factors
Hlaďo, Petr, Dosedlová, Jaroslava, Harvánková, Klára, Novotný, Petr, Gottfried, Jaroslav, Rečka, Karel, Petrovová, Markéta, Pokorný, Bohumil, Štorová, Ilona
Published in International journal of environmental research and public health (09.12.2020)
Published in International journal of environmental research and public health (09.12.2020)
Get full text
Journal Article