Disertační práce
| 2012 | De Silva Gayan: Network-wide Security Analysis, Brno, CZ, 2012, s. 163 |
| | Glembek Ondřej: Optimization of Gaussian Mixture Subspace Models and related scoring algorithms in speaker verification, Brno, CZ, 2012, s. 1-128 |
| | Juránek Roman: Acceleration of Object Detection Using Classifiers, Brno, CZ, FIT VUT, 2012, s. 1-77 |
| | Kockmann Marcel: Subspace modeling of prosodic features for speaker verification, Brno, CZ, 2012, s. 122 |
| | Konečný Filip: Relational Verification of Programs with Integer Data, Brno, CZ, FIT VUT, 2012, s. 153 |
| | Letko Zdeněk: Analysis and Testing of Concurrent Programs, Brno, CZ, FIT VUT, 2012, s. 139 |
| | Mikolov Tomáš: Statistical Language Models Based on Neural Networks, Brno, CZ, 2012, s. 129 |
| | Samek Jan: Důvěra a reputace v distribuovaných systémech, Brno, CZ, 2012, s. 140 |
| | Šátek Václav: Analýza stiff soustav diferenciálních rovnic, Brno, CZ, UITS FIT VUT, 2012, s. 133 |
| | Šimáček Jiří: Harnessing Forest Automata for Verification of Heap Manipulating Programs, Brno, CZ, FIT VUT, 2012, s. 128 |
| | Vašíček Zdeněk: Acceleration Methods for Evolutionary Design of Digital Circuits, Brno, CZ, 2012, s. 162 |
| 2011 | Beran Vítězslav: On-line Data Analysis Based on Visual Codebooks, Brno, CZ, 2011, s. 94 |
| | Gajda Zbyšek: Evolutionary Approach to Synthesis and Optimization of Ordinary and Polymorphic Circuits, Brno, CZ, UPSY FIT VUT, 2011, s. 92 |
| | Herrman Tomáš: Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků, Brno, CZ, 2011, s. 95 |
| | Holík Lukáš: Simulations and Antichains for Efficient Handling of Finite Automata, Brno, CZ, UITS FIT VUT, 2011, s. 128 |
| | Kadlec Jaroslav: Code Characterization for Automated User Interface Generation, Brno, CZ, FIT VUT, 2011, s. 144 |
| | Přikryl Zdeněk: Advanced Methods of Microprocessor Simulation, Brno, CZ, 2011, s. 103 |
| | Rozman Jaroslav: Navigace mobilních robotů, Brno, CZ, 2011, s. 96 |
| | Sehnalová Pavla: Stability and convergence of numerical computations, Brno, CZ, 2011, s. 108 |
| | Španěl Michal: Delaunay-based Vector Segmentation of Volumetric Medical Images, Brno, CZ, FIT VUT, 2011, s. 138 |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)