Theses on a related topic (having the same keywords):
fault-tolerant, metamorphic robots, distributed, robots, modularKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Chlup, Vladimír
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Routing within RoFI Platform | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Routing within RoFI Platform | Theses on a related topic
2.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: RoFI -- Distributed Metamorphic Robots | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: RoFI -- Distributed Metamorphic Robots | Theses on a related topic
3.
Vozárová, Viktória
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Motion Planning for the RoFI Platform | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Motion Planning for the RoFI Platform | Theses on a related topic
4.
Chlup, Vladimír
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Network Manager for RoFI Platform | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Network Manager for RoFI Platform | Theses on a related topic
5.
Kumor, Kristián
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Distributed-Battery Energy-Balancing Simulator | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Distributed-Battery Energy-Balancing Simulator | Theses on a related topic
6.
Svoboda, Ondřej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Simulating RoFI Platform in GazeboSim | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Simulating RoFI Platform in GazeboSim | Theses on a related topic
7.
Tojnar, Jan
Faculty: Faculty of Informatics
Year: 2023, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Graphical editor of configurations of RoFI-based robots | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Graphical editor of configurations of RoFI-based robots | Theses on a related topic
8.
Žáček, Matěj
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Rekonfigurace pro platformu RoFI | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Rekonfigurace pro platformu RoFI | Theses on a related topic
9.
Bém, Petr
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Firmware for RoFICoM | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Firmware for RoFICoM | Theses on a related topic
10.
Čáp, Filip
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Distributed Firmware Update for RoFI | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Distributed Firmware Update for RoFI | Theses on a related topic
11.
Čekovský, Filip
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Automated Testing of Anasoft's EMANS Product Lines | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Automated Testing of Anasoft's EMANS Product Lines | Theses on a related topic
12.
Čermák, Milan
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Stream-Based IP Flow Analysis | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Stream-Based IP Flow Analysis | Theses on a related topic
13.
Dudík, Samuel
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Framework for Active Monitoring of Network Services | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Framework for Active Monitoring of Network Services | Theses on a related topic
14.
Dvořák, Roman
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Employing Symmetry in RoFIBot Reconfiguration Planning | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Employing Symmetry in RoFIBot Reconfiguration Planning | Theses on a related topic
15.
Florian, Oldřich Tristan
Faculty: Faculty of Law
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Theoretical Legal Sciences (4-years) / Theory of Law
Doctoral thesis defence: Umělá inteligence jako výzva pro justifikaci lidských práv | Theses on a related topic
Faculty: Faculty of Law
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Theoretical Legal Sciences (4-years) / Theory of Law
Doctoral thesis defence: Umělá inteligence jako výzva pro justifikaci lidských práv | Theses on a related topic
16.
Lukáš, Petr
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Přínos Gijse Gieskese v oblasti umění nových médií | Theses on a related topic
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Master's thesis defence: Přínos Gijse Gieskese v oblasti umění nových médií | Theses on a related topic
17.
Mačák, Jan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: LLL algoritmus a HNP problém | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: LLL algoritmus a HNP problém | Theses on a related topic
18.
Machová, Jitka
Faculty: Faculty of Medicine
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Physiotherapy
Master's thesis defence: Využití robotické rehabilitace v rámci rehabilitace u pacientů po cévní mozkové příhodě | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Specializations in Health Science / Physiotherapy
Master's thesis defence: Využití robotické rehabilitace v rámci rehabilitace u pacientů po cévní mozkové příhodě | Theses on a related topic
19.
Mičan, Pavel
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Trading space for time in explicit-state model checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Trading space for time in explicit-state model checking | Theses on a related topic
20.
Němec, Lukáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Introducing key extraction to secrecy amplification protocols for ad-hoc networks | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Introducing key extraction to secrecy amplification protocols for ad-hoc networks | Theses on a related topic
21.
Ondika, Patrick
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Trajectory Control for High-DOF Manipulators | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Trajectory Control for High-DOF Manipulators | Theses on a related topic
22.
Peřinová, Eliška
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Vybraná témata a otázky ohledně umělé inteligence | Theses on a related topic
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Vybraná témata a otázky ohledně umělé inteligence | Theses on a related topic
23.
Senko, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Formální návrh distribuované hašovací tabulky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Formální návrh distribuované hašovací tabulky | Theses on a related topic
24.
Svoboda, Ondřej
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Revisiting State-Space Exploration for RoFI Reconfiguration | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Revisiting State-Space Exploration for RoFI Reconfiguration | Theses on a related topic
25.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - Prostředí pro distribuovanou verifikaci | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - Prostředí pro distribuovanou verifikaci | Theses on a related topic
26.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: External Memory LTL Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: External Memory LTL Model Checking | Theses on a related topic
27.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Efficient Computing Resources Usage in Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Efficient Computing Resources Usage in Model Checking | Theses on a related topic