Thesis

Applying formal methods to analysis of semantic differences
between versions of software

František Nečas

Applying formal methods to analysis of semantic differences between versions of software

Segmentation of logical units in text

Martin Kostelník

Segmentation of logical units in text

App Supporting Strength Sports Training

Richard Klem

App Supporting Strength Sports Training

Real-Time Concept for SmartCGMS

Petr Kocián

Real-Time Concept for SmartCGMS

Muscle interaction in the context of muscle deformation
modelling by a Position Based Dynamics method

Ondřej Havlíček

Muscle interaction in the context of muscle deformation modelling by a Position Based Dynamics method

Secure Client Server Communication Based on Post-Quantum
Cryptographic Algorithms

Jozef Šimko

Secure Client Server Communication Based on Post-Quantum Cryptographic Algorithms

Automatic speech recognition systems for applications with
child users

Richard Ševc

Automatic speech recognition systems for applications with child users

Optimization of Distributed System Architecture for
Simulations in the Heliosphere

Daniel Slanina

Optimization of Distributed System Architecture for Simulations in the Heliosphere

Use of deep learning methods for processing and analysis of
ionospheric data

Silvia Kostárová

Use of deep learning methods for processing and analysis of ionospheric data

Compact OPAQUE Protocol Implementation for Embedded
Cryptographic Applications

Patrik Zeleňák

Compact OPAQUE Protocol Implementation for Embedded Cryptographic Applications

1
…
6
7
8
9
10
…
100