• Finding Concurrency Errors in Software Systems Efficiently 

  Parízek, Pavel

  Date of defense: 5. 2. 2020

• Methods for Content-based Interactive Retrieval 

  Lokoč, Jakub

  Date of defense: 5. 2. 2020

• Dynamics and Instabilities in Time Series and Panel Data 

  Pešta, Michal

  Date of defense: 8. 1. 2020

• Excitation Energy Transfer in Photosynthesis: The Meaning of Quantum in Biology 

  Mančal, Tomáš

  Date of defense: 8. 1. 2020

• Combined STM/AFM on Oxide Sufraces: From TiO2 to Ternary Compounds 

  Setvín, Martin

  Date of defense: 4. 12. 2019

• Combinatorial Structures in Hypercubes 

  Gregor, Petr

  Date of defense: 4. 12. 2019

• Reactions at surfaces: from macroscopic to molecular level 

  Johánek, Viktor

  Date of defense: 6. 11. 2019

• Noise and Full Counting Statistics of electronic transport through interacting nanosystems 

  Novotný, Tomáš

  Date of defense: 6. 11. 2019

• Verification of Software 

  Kofroň, Jan

  Date of defense: 2. 10. 2019

• Advances in stochastic programming approaches to optimization under uncertainty 

  Branda, Martin

  Date of defense: 6. 3. 2019

• INTEGRATED EXPONENTIALS OF BROWNIAN MOTION AND RELATED PROCESSES WITH APPLICATIONS TO ASIAN OPTION VALUATION 

  Večeř, Jan

  Date of defense: 6. 3. 2019

• Mass Composition and Arrival Directions of the Highest Energy Cosmis Rays 

  Nosek, Dalibor

  Date of defense: 6. 2. 2019

• Performance Awareness and Observability on Modern Platforms 

  Bulej, Lubomír

  Date of defense: 6. 2. 2019

• Resonant collision of electrons and anions with molecules: from diatomics to polyatomics 

  Houfek, Karel

  Date of defense: 2. 1. 2019

• Particle dynamics in quantum turbulence 

  La Mantia, Marco

  Date of defense: 5. 12. 2018

• The continuum function and large cardinal properties 

  Honzík, Radek

  Date of defense: 5. 12. 2018

• English-to-Czech MT: Large Data and Beyond 

  Bojar, Ondřej

  Date of defense: 7. 11. 2018

• Testy křemíkových detektorů pro částicové experimenty 

  Kodyš, Peter

  Date of defense: 7. 11. 2018

• Representations of Distributive Algebraic Lattices 

  Růžička, Pavel

  Date of defense: 3. 10. 2018

• Studium okrajového plazmatu v tokamaku COMPASS 

  Pánek, Radomír

  Date of defense: 3. 10. 2018

View more