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

301.
Š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 Zobrazit popisek

302.
Šimáček, Michael
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Symbolic-size Memory Allocation Support for Klee | Práce na příbuzné téma

303.
Šinoglová, Eva
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Teoretická fyzika a astrofyzika (kombinace/zaměření: Astrofyzika)
Obhajoba diplomové práce: Teplotní struktura horké atmosféry eliptické galaxie | Práce na příbuzné téma

304.
Škrabánek, Matěj
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Knihovna pro tvorbu pluginů pro PyMOL | Práce na příbuzné téma

305.
Šlancar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Mining usage of cryptographic primitives from executables | Práce na příbuzné téma

306.
Šmíd, Jan
Fakulta: Fakulta informatiky
Rok: 2024, 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: Počítání kroků výpočtu pro jazyk Python | Práce na příbuzné téma

307.
Šmíd, Martin
Fakulta: Fakulta informatiky
Rok: 2016, 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: Textové korpusy ze závěrečných prací | Práce na příbuzné téma

308.
Šmíd, Martin
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Softwarové systémy
Obhajoba diplomové práce: Automated metadata extraction | Práce na příbuzné téma

309.
Šoltis, Michal
Fakulta: Fakulta informatiky
Rok: 2024, 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: Advanced REST API Development with Django | Práce na příbuzné téma
Obhajoba bakalářské práce: Vizualizácia štatistík hodnotenia pre nástroj Frag | Práce na příbuzné téma
Obhajoba bakalářské práce: Vizualizácia štatistík hodnotenia pre nástroj Frag | Práce na příbuzné téma

310.
Šoltisík, Martin
Fakulta: Fakulta informatiky
Rok: 2022, studium neúspěšně ukončeno
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Classification of Threat Intelligence via Machine Learning Methods | Práce na příbuzné téma
Obhajoba diplomové práce: Classification of Threat Intelligence via Machine Learning Methods | Práce na příbuzné téma

311.
Špik, Matúš
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: Nástroj pro aktivní identifikaci služeb v síti | Práce na příbuzné téma

312.
Šrol, Eduard
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: Process Mining usage for potential insider threat identification utilizing PM4Py | Práce na příbuzné téma

313.
Štefančik, Dominik
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: Informační systém sportovních soutěží | Práce na příbuzné téma

314.
Štefanič, Stanislav
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Návrh portálu pro integraci a analýzu klinických a molekulárně-biologických dat. | Práce na příbuzné téma

315.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: LLVM Transformations for Model Checking | Práce na příbuzné téma

316.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2020, 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: Analysis of Parallel C++ Programs | Práce na příbuzné téma

317.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs | Práce na příbuzné téma

318.
Štucka, Tomáš
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: Automatic generation of medical reports from the RES-Q system | Práce na příbuzné téma

319.
Šuta, Matej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: String abstract domains | Práce na příbuzné téma

320.
Talaš, Jakub
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Wiki s podporou zpracování sémantiky | Práce na příbuzné téma

321.
Timko, Daniel
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Microservices for Situational Awareness and Security Operations | Práce na příbuzné téma

322.
Tkáčik, Kristián
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: Pattern Mining in Command Histories from Cybersecurity Training | Práce na příbuzné téma

323.
Tkáčik, Kristián
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Softwarové systémy
Obhajoba diplomové práce: Predicting Student Success in Cybersecurity Training | Práce na příbuzné téma

324.
Tóth, Gabriel
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: Systém pro delegaci přístupu k síťovým prvkům | Práce na příbuzné téma

325.
Tóth, Samuel
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Design and implementation of mHealth application backend | Práce na příbuzné téma

326.
Trčka, Štěpán
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Využití analýzy časových řad v oblasti monitorování síťového provozu | Práce na příbuzné téma

327.
Trembaczová, Markéta
Fakulta: Přírodovědecká fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná matematika / Modelování a výpočty
Obhajoba diplomové práce: Simulace neuronální sítě | Práce na příbuzné téma

328.
Trhlík, Pavel
Fakulta: Fakulta informatiky
Rok: 2017, studium neúspěšně ukončeno
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Framework pro automatizované kontroly webů s využitím klientského honeypotu Thug | Práce na příbuzné téma

329.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Umělá inteligence a zpracování dat
Obhajoba diplomové práce: Formal Analysis of Rule-Based Models in Systems Biology | Práce na příbuzné téma

330.
Tsimbazafy, Jean Dossa
Fakulta: Fakulta informatiky
Rok: 2022, 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: App and dashboard for a smart waiting room | Práce na příbuzné téma

331.
Tuchyňa, Dominik
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: Research of Fedora Status for Machine Learning | Práce na příbuzné téma

332.
Tušil, Jan
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Programovatelné technické struktury
Obhajoba bakalářské práce: Partial Order redukce pro LLVM | Práce na příbuzné téma

333.
Urban, 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: Perzistence nastavení testovacího prostředí mezi nezávislými běhy testů | Práce na příbuzné téma
Obhajoba bakalářské práce: Perzistence nastavení testovacího prostředí mezi nezávislými běhy testů | Práce na příbuzné téma

334.
Urban, Lukáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Adapting SBT-Fizzer for Test-Comp | Práce na příbuzné téma

335.
Urbánek, Petr
Fakulta: Fakulta informatiky
Rok: 2024, 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: Simulační prostředí pro robota Pepper | Práce na příbuzné téma

336.
Urbanová, Renata
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Webová aplikace na kontrolu kvality loga | Práce na příbuzné téma
Obhajoba bakalářské práce: Webová aplikace na kontrolu kvality loga | Práce na příbuzné téma

337.
Valčík, Eric Vincent
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Detection of Czech Words in Images | Práce na příbuzné téma

338.
Válek, Karel
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Informatika ve veřejné správě
Obhajoba bakalářské práce: Serializace datových struktur konfigurace datových úložišť | Práce na příbuzné téma

339.
Valchář, Filip
Fakulta: Fakulta informatiky
Rok: 2018, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Systém pro návrh a správu projektu | Práce na příbuzné téma

340.
Vávrová, Pavlína
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Systém pro řízení a správu volnočasových aktivit | Práce na příbuzné téma

341.
Velek, Martin
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Integrace nástroje Stanse do IDE NetBeans | Práce na příbuzné téma

342.
Vereš, Mário
Fakulta: Fakulta informatiky
Rok: 2019, 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: Webový simulátor Turingova stroje | Práce na příbuzné téma
Obhajoba bakalářské práce: Webový simulátor Turingova stroje | Práce na příbuzné téma

343.
Veselý, Štěpán
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: E ink Flipchart | Práce na příbuzné téma

344.
Vitovský, Petr
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: Převod LLVM bitkódu do C | Práce na příbuzné téma

345.
Vittek, Vladimír
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: Webscraping tool for automating checkout process | Práce na příbuzné téma

346.
Vorčák, Ján
Fakulta: Fakulta informatiky
Rok: 2012, 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: Nástroje pro analýzu kódu v Pythonu a vizualizace jejich výstupu | Práce na příbuzné téma

347.
Vránová, Sandra roz. Dedíková
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Český diskuzní robot pomocí AIML | Práce na příbuzné téma
Obhajoba diplomové práce: Český diskuzní robot pomocí AIML | Práce na příbuzné téma
Obhajoba diplomové práce: Český diskuzní robot pomocí AIML | Práce na příbuzné téma

348.
Wehrenberg, Petr
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Analysis and Visualization of Events from Cybersecurity Training | Práce na příbuzné téma

349.
Zapletal, Jiří
Fakulta: Fakulta informatiky
Rok: 2012, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Aplikace pro práci s formuláři ve formátu 602XML Form | Práce na příbuzné téma

350.
Zbožínková, Šárka
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 softwarových systémů
Obhajoba diplomové práce: Tvorba otevřených formálních norem: případová studie | Práce na příbuzné téma