Práce na příbuzné téma (mají shodná klíčová slova):

semantic equivalence, diffkemp, python, clang, static analysis, llvm, staticka analyza, semanticka ekvivalence

Klíčová slova abecedně | Klíčová slova dle četnosti

251.
Povalová, Radoslava
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Webový nástroj/framework pro snazší analýzu malware | Práce na příbuzné téma Zobrazit popisek

252.
Procházka, Martin
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Kolaborativní editor 3D scény | Práce na příbuzné téma

253.
Punčochář, Jaromír
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatické generování městské zástavby | Práce na příbuzné téma

254.
Ranto, Boris
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Writing Graph Algorithms in Executable Pseudocode | Práce na příbuzné téma
Obhajoba bakalářské práce: Writing Graph Algorithms in Executable Pseudocode | Práce na příbuzné téma

255.
Rechtoris, Filip
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Monitorování subsystémů YSoft SafeQ | Práce na příbuzné téma

256.
Rektořík, Michael
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba diplomové práce: Síť a její aplikace pro Zoo | Práce na příbuzné téma

257.
Richtr, Lukáš
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Aplikace pro vizualizaci a datovou analýzu letových dat | Práce na příbuzné téma

258.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Software | Práce na příbuzné téma

259.
Rozkoš, Peter
Fakulta: Fakulta informatiky
Rok: 2015, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Framework pro deskové hry | Práce na příbuzné téma
Obhajoba bakalářské práce: Framework pro deskové hry | Práce na příbuzné téma

260.
Rumian, Dominik
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Detekce dynamických cyklů | Práce na příbuzné téma

261.
Rusnák, Dávid
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Detection and correction of errors in human motion data | Práce na příbuzné téma

262.
Růžička, Jaroslav
Fakulta: Filozofická fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Filozofie (čtyřleté) / Teorie a dějiny vědy
Obhajoba disertační práce: Sémantický přístup k vědeckým teoriím a jejich modelování pomocí jazyka Python | Práce na příbuzné téma

263.
Ryglová, Aneta
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografická kartografie a geoinformatika / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Automatická tvorba mapových rámů ZTM | Práce na příbuzné téma

264.
Rýpar, David
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace distribuovaného provenance modelu | Práce na příbuzné téma

265.
Řehák, Zdeněk
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Překlad a analýza VHDL programů prostřednictvím XML mezikódu | Práce na příbuzné téma

266.
Řechtáčková, Anna
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Detecting code quality defects in students’ solutions | Práce na příbuzné téma

267.
Salášek, Michal
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Lexikálna analýza linuxových príkazov z tréningu kybernetickej bezpečnosti | Práce na příbuzné téma

268.
Salavec, Tomáš
Fakulta: Přírodovědecká fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Ekonomie, Matematika
Obhajoba bakalářské práce: Python a jeho využití v matematice | Práce na příbuzné téma

269.
Saloň, Benjamin
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Nasazení a provoz softwarových systémů
Obhajoba diplomové práce: Porovnání knihoven pro tvorbu GUI v Pythonu | Práce na příbuzné téma

270.
Seďa, Marek
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Vizuální analýza průchodů hráčů lineárních bezpečnostních cvičení | Práce na příbuzné téma

271.
Sedláček, Jindřich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Práce na příbuzné téma

272.
Sedláček, Tomáš
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Pokročilé metody pro zpracování dat | Práce na příbuzné téma

273.
Shutikova, Yuliia
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Analyzing data from Jira for quarterly statistics | Práce na příbuzné téma

274.
Shyshkina, Hanna
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulace chování NMR v cloudu | Práce na příbuzné téma

275.
Skála, Dominik
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje služeb
Obhajoba diplomové práce: Dokončení procesu vývoje serveru otevřených dat | Práce na příbuzné téma

276.
Skopal, Jiří
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Desktopová aplikace na interaktivní dokreslování obrazu | Práce na příbuzné téma
Obhajoba bakalářské práce: Desktopová aplikace na interaktivní dokreslování obrazu | Práce na příbuzné téma

277.
Slabý, Jiří
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automatic Bug-finding Techniques for Large Software Projects | Práce na příbuzné téma

278.
Sloupová, Kateřina
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Reimplementace a konsolidace systémů podporujících výuku formálních jazyků | Práce na příbuzné téma

279.
Smejkalová, Andrea
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Funkční model váhy pro měření kalorického příjmu | Práce na příbuzné téma

280.
Smyčka, Matěj
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Kyberbezpečnost / Kyberbezpečnost
Obhajoba bakalářské práce: Evaluation and Application of SAST Tools | Práce na příbuzné téma

281.
Sonnek, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Podpora skriptování v systému VRECKO | Práce na příbuzné téma

282.
Sonnek, Jan
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Blokování tunelů v molekulách proteinů | Práce na příbuzné téma

283.
Spišiak, Martin
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Strojové generování twitterových příspěvků pomocí rekurentních neuronových sítí | Práce na příbuzné téma

284.
Stalmachová, Marie
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Překladatelství anglického jazyka / Překladatelství anglického jazyka
Obhajoba diplomové práce: Text mining and its application in specialized translation | Práce na příbuzné téma

285.
Stanislav, Vít
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Adaptabilní výukový systém pro učení faktických znalostí zeměpisu | Práce na příbuzné téma

286.
Stanko, Oto
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Improving Efficiency of Boolean Networks Inference | Práce na příbuzné téma

287.
Staruch, Andrej
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatizované zpracování a archivování velkého objemu dat | Práce na příbuzné téma

288.
Straka, Jan
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Webová aplikace sloužící k orchestraci modelů umělé inteligence | Práce na příbuzné téma

289.
Strcuľa, Zoltán
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatický parsing Windows Event Logu | Práce na příbuzné téma

290.
Strnad, Milan
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Automatizovaný zavlažovací systém | Práce na příbuzné téma

291.
Svrček, Oliver
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Custom Sequence Creator for Prototyping Alignments on Transmission Electron Microscopes | Práce na příbuzné téma

292.
Šamajová, Kamila
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: PepperDict - Application for Accessing Dictionary Data with the Help of a Social Robot | Práce na příbuzné téma

293.
Šanta, Marek
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení kyberbezpečnosti
Obhajoba diplomové práce: Analysis and enhancement of remote management system | Práce na příbuzné téma

294.
Šárník, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma

295.
Šašinka, Radim
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Prototyp infrastruktury pro sběr a analýzu dat o PDX modelech | Práce na příbuzné téma

296.
Šebesta, Jozef
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Vývoj softwaru pro tvorbu porot pro soutěž IYPT | Práce na příbuzné téma

297.
Šebestík, Vít
Fakulta: Filozofická fakulta
Rok: 2024, studium probíhá
Program/obor Počítačová lingvistika / Počítačová lingvistika
Obhajoba bakalářské práce: Filmové titulky: žánry a sentiment | Práce na příbuzné téma

298.
Šeděnka, Lukáš
Fakulta: Fakulta informatiky
Rok: 2009, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Easydialogs pro Linux | Práce na příbuzné téma

299.
Šeděnka, Lukáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Easydialogs pro Linux | Práce na příbuzné téma

300.
Šikyňa, Matúš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Detection of Android Malware Using Machine Learning | Práce na příbuzné téma