E-LIB Suche - Ergebnisse für: Novotný, Petr

1

Equivalence and Similarity Refutation for Probabilistic Pro..:

Chatterjee, Krishnendu ; Goharshady, Ehsan Kafshdar ; Novotný, Petr.
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 2098-2122 , 2024

Link: https://doi.org/10.1145/..

2

Long-term impact of COVID-19 hospitalisation among individu..:

Elneima, Omer ; Hurst, John R ; Echevarria, Carlos...
ERJ Open Research. , 2024

Link: https://doi.org/10.1183/..

3

Dynamics of the Czech flora over the last 60 years: Winners..:

Klinkovská, Klára ; Glaser, Michael ; Danihelka, Jiří...
Biological Conservation. 292 (2024) - p. 110502 , 2024

Link: https://doi.org/10.1016/..

4

Biotransformation of free cyanide to formic acid by a cyani..:

Martínková, Ludmila ; Kulik, Natalia ; Rucká, Lenka...
Process Biochemistry. 142 (2024) - p. 62-67 , 2024

Link: https://doi.org/10.1016/..

5

Efficient Strategy Synthesis for MDPs With Resource Constra..:

Blahoudek, František ; Novotný, Petr ; Ornik, Melkior..
IEEE Transactions on Automatic Control. 68 (2023) 8 - p. 4586-4601 , 2023

Link: https://doi.org/10.1109/..

6

Identifying key features of digital resources used during o..:

Janštová, Vanda ; Novotný, Petr ; Chlebounová, Irena...
PLOS ONE. 18 (2023) 10 - p. e0283054 , 2023

Link: https://doi.org/10.1371/..

7

TET protein inhibitors: Potential and limitations:

Kaplánek, Robert ; Kejík, Zdeněk ; Hajduch, Jan...
Biomedicine & Pharmacotherapy. 166 (2023) - p. 115324 , 2023

Link: https://doi.org/10.1016/..

8

Evaluation of silver fir provenances at 51 years of age in ..:

Fulín, Martin ; Dostál, Jaroslav ; Čáp, Jiří.
Journal of Forest Science. 69 (2023) 2 - p. 44-59 , 2023

Link: https://doi.org/10.17221..

9

On Lexicographic Proof Rules for Probabilistic Termination:

Chatterjee, Krishnendu ; Kafshdar Goharshady, Ehsan ; Novotný, Petr..
Formal Aspects of Computing. 35 (2023) 2 - p. 1-25 , 2023

Link: https://doi.org/10.1145/..

10

Czech School Reforms: Between East and West:

, In: School Policy Reform in Europe; Educational Governance Research,

Novotný, Petr ; Dvořák, Dominik ; Dvořáková, Michaela - p. 213-235 , 2023

Link: https://doi.org/10.1007/..

11

Quantum Particle on Dual Weight Lattice in Even Weyl Alcove:

Hrivnák, Jiří ; Motlochová, Lenka ; Novotný, Petr
International Journal of Theoretical Physics. 62 (2023) 3 - p. , 2023

Link: https://doi.org/10.1007/..

12

A Fast HPLC/UV Method for Determination of Ketoprofen in Ce..:

Vozniuk, Oleksandra ; Kejík, Zdeněk ; Veselá, Kateřina...
ChemistryOpen. 13 (2023) 3 - p. , 2023

Link: https://doi.org/10.1002/..

13

Software infrastructure and data pipelines established for ..:

Novotný, Petr ; Seifert, Stefan ; Rohn, Martin...
Biodiversity Data Journal. 10 (2022) - p. , 2022

Link: https://doi.org/10.3897/..

14

Perception of Biological Disciplines by Upper Secondary Sch..:

, In: Contributions from Biology Education Research; Current Research in Biology Education,

Janštová, Vanda ; Tichá, Natálie ; Novotný, Petr - p. 219-230 , 2022

Link: https://doi.org/10.1007/..

15

The Genetic Differences and Structure of Selected Important..:

Komárková, Martina ; Novotný, Petr ; Cvrčková, Helena.
Forests. 13 (2022) 2 - p. 137 , 2022

Link: https://doi.org/10.3390/..