Theses on a related topic (having the same keywords):

formal specification, python, celldesigner, formal methods, systems biology graphical notation, systems biology, biochemical space language

Keywords ordered alphabetically | Keywords ordered by occurrence rate

251.
Skála, Dominik
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Dokončení procesu vývoje serveru otevřených dat | Theses on a related topic Display description

252.
Skopal, Jiří
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Desktopová aplikace na interaktivní dokreslování obrazu | Theses on a related topic
Bachelor's thesis defence: Desktopová aplikace na interaktivní dokreslování obrazu | Theses on a related topic

253.
Sloupová, Kateřina
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Reimplementace a konsolidace systémů podporujících výuku formálních jazyků | Theses on a related topic

254.
Smejkalová, Andrea
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Funkční model váhy pro měření kalorického příjmu | Theses on a related topic

255.
Sonnek, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Podpora skriptování v systému VRECKO | Theses on a related topic

256.
Sonnek, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Blokování tunelů v molekulách proteinů | Theses on a related topic

257.
Spišiak, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Strojové generování twitterových příspěvků pomocí rekurentních neuronových sítí | Theses on a related topic

258.
Stalmachová, Marie
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: English-language Translation / English-language Translation
Master's thesis defence: Text mining and its application in specialized translation | Theses on a related topic

259.
Stanislav, Vít
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Adaptabilní výukový systém pro učení faktických znalostí zeměpisu | Theses on a related topic

260.
Staruch, Andrej
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatizované zpracování a archivování velkého objemu dat | Theses on a related topic

261.
Straka, Jan
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Webová aplikace sloužící k orchestraci modelů umělé inteligence | Theses on a related topic

262.
Strcuľa, Zoltán
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatický parsing Windows Event Logu | Theses on a related topic

263.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic

264.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic

265.
Strnad, Milan
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Automatizovaný zavlažovací systém | Theses on a related topic

266.
Svrček, Oliver
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Custom Sequence Creator for Prototyping Alignments on Transmission Electron Microscopes | Theses on a related topic

267.
Šafránek, David
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Visual Coordination Networks | Theses on a related topic

268.
Šalagovič, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Computational analysis and model integration of biorhythmic systems | Theses on a related topic

269.
Šamajová, Kamila
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: PepperDict - Application for Accessing Dictionary Data with the Help of a Social Robot | Theses on a related topic

270.
Šanta, Marek
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Cybersecurity management
Master's thesis defence: Analysis and enhancement of remote management system | Theses on a related topic

271.
Šašinka, Radim
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Prototyp infrastruktury pro sběr a analýzu dat o PDX modelech | Theses on a related topic

272.
Šebesta, Jozef
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Vývoj softwaru pro tvorbu porot pro soutěž IYPT | Theses on a related topic

273.
Šebestík, Vít
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Computational Linguistics / Computational Linguistics
Bachelor's thesis defence: Filmové titulky: žánry a sentiment | Theses on a related topic

274.
Šeděnka, Lukáš
Faculty: Faculty of Informatics
Year: 2009, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Easydialogs pro Linux | Theses on a related topic

275.
Šeděnka, Lukáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Easydialogs pro Linux | Theses on a related topic

276.
Šimurka, Andrej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Inference of Boolean Networks | Theses on a related topic

277.
Šinoglová, Eva
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physics / Theoretical Physics and Astrophysics (combination/specialization: Astrofyzika)
Master's thesis defence: Teplotní struktura horké atmosféry eliptické galaxie | Theses on a related topic

278.
Škrabánek, Matěj
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro tvorbu pluginů pro PyMOL | Theses on a related topic

279.
Šmíd, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Počítání kroků výpočtu pro jazyk Python | Theses on a related topic

280.
Šmíd, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Textové korpusy ze závěrečných prací | Theses on a related topic

281.
Šmíd, Martin
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Automated metadata extraction | Theses on a related topic

282.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic

283.
Šoltis, Michal
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Advanced REST API Development with Django | Theses on a related topic
Bachelor's thesis defence: Vizualizácia štatistík hodnotenia pre nástroj Frag | Theses on a related topic
Bachelor's thesis defence: Vizualizácia štatistík hodnotenia pre nástroj Frag | Theses on a related topic

284.
Šoltisík, Martin
Faculty: Faculty of Informatics
Year: 2022, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Classification of Threat Intelligence via Machine Learning Methods | Theses on a related topic
Master's thesis defence: Classification of Threat Intelligence via Machine Learning Methods | Theses on a related topic

285.
Špik, Matúš
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro aktivní identifikaci služeb v síti | Theses on a related topic

286.
Šrol, Eduard
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Process Mining usage for potential insider threat identification utilizing PM4Py | Theses on a related topic

287.
Štefančik, Dominik
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Informační systém sportovních soutěží | Theses on a related topic

288.
Štefanič, Stanislav
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Návrh portálu pro integraci a analýzu klinických a molekulárně-biologických dat. | Theses on a related topic

289.
Štucka, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Automatic generation of medical reports from the RES-Q system | Theses on a related topic

290.
Talaš, Jakub
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Wiki s podporou zpracování sémantiky | Theses on a related topic

291.
Timko, Daniel
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Microservices for Situational Awareness and Security Operations | Theses on a related topic

292.
Tkáčik, Kristián
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Pattern Mining in Command Histories from Cybersecurity Training | Theses on a related topic

293.
Tkáčik, Kristián
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Predicting Student Success in Cybersecurity Training | Theses on a related topic

294.
Tokarčík, Andrej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rewriting complex biological models in stochastic process algebras: a case study | Theses on a related topic

295.
Tóth, Gabriel
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro delegaci přístupu k síťovým prvkům | Theses on a related topic

296.
Tóth, Samuel
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Design and implementation of mHealth application backend | Theses on a related topic

297.
Trčka, Štěpán
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Využití analýzy časových řad v oblasti monitorování síťového provozu | Theses on a related topic

298.
Trembaczová, Markéta
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Modelling and computations
Master's thesis defence: Simulace neuronální sítě | Theses on a related topic

299.
Trhlík, Pavel
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Framework pro automatizované kontroly webů s využitím klientského honeypotu Thug | Theses on a related topic

300.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Rule-based Modelling of Biochemical Processes: Specification and Analysis | Theses on a related topic