Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 368)
Seznam prací
   Přihlásit přes CAS
Změnit třídění na kód - název
 
               
výsledků na stránku
seřadit sestupněseřadit vzestupněNázev práce seřadit sestupněseřadit vzestupněRok vypsání seřadit sestupněseřadit vzestupněRok obhájení Typ práce Obor práce seřadit sestupněseřadit vzestupněVedoucí / školitel seřadit sestupněseřadit vzestupněŘešitel seřadit sestupněseřadit vzestupněVypsáno Zadáno Ústav Fakulta
detail Optimalizace v prostředí moderních překladačů 2022/2023 disertační práce P4I2 prof. Ing. Petr Tůma, Dr. skrytý 06.04.2023 19.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail PerfEval: Spojení unit testů s vyhodnocováním výkonu 2022/2023 bakalářská práce IPP3 prof. Ing. Petr Tůma, Dr. skrytý 25.09.2023 25.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Optimalizace plánu směn pohotovostních služeb 2022/2023 bakalářská práce IPP2 Mgr. Adam Šmelko Tomáš Arnold Tillmann 02.04.2023 03.04.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Design of LLM prompts for iterative data exploration 2023/2024 bakalářská práce Mgr. Tomáš Petříček, Ph.D. Mikoláš Fromm 24.09.2023 26.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Reconstructing the Pygmalion programming environment 2023/2024 bakalářská práce Mgr. Tomáš Petříček, Ph.D. skrytý 26.09.2023 26.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Abstract interpretation of pandas 2023/2024 bakalářská práce Mgr. Tomáš Petříček, Ph.D. skrytý 22.03.2024 25.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Dotazovací jazyk pro relační databáze 2023/2024 bakalářská práce Mgr. Tomáš Petříček, Ph.D. skrytý 28.01.2024 01.02.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Data-driven low-code programming system 2023/2024 bakalářská práce Mgr. Tomáš Petříček, Ph.D. skrytý 21.09.2023 21.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Agent-based programming language with spreadsheet-like interface 2023/2024 bakalářská práce Mgr. Tomáš Petříček, Ph.D. Tomáš Boďa 21.09.2023 21.09.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Combining effects with dependent types 2023/2024 bakalářská práce Mgr. Tomáš Petříček, Ph.D. skrytý 20.03.2024 26.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Semantics Engineering with Concrete Syntax and Theorem Proving 2023/2024 disertační práce P4I2 Mgr. Tomáš Petříček, Ph.D. skrytý 27.02.2024 28.02.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Interactive pandemic simulation to encourage critical thinking 2023/2024 bakalářská práce Mgr. Tomáš Petříček, Ph.D. skrytý 22.03.2024 25.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Rozšíření běžných programovacích jazyků pro zjednodušení vývoje spolehlivých softwarových systémů 2017/2018 disertační práce 4I2 doc. RNDr. Pavel Parízek, Ph.D. skrytý 19.04.2018 27.09.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Odstraňování chyb ve rozsáhlých a dlouho-běžících aplikacích s využitím generovaných testů 2023/2024 diplomová práce doc. RNDr. Pavel Parízek, Ph.D. skrytý 07.11.2023 09.11.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Jednotná architektura pro skenery databází v Manta Flow 2023/2024 diplomová práce doc. RNDr. Pavel Parízek, Ph.D. skrytý 23.10.2023 24.10.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Zvyšování kvality kódu pomocí statické analýzy a syntézy programů 2015/2016 disertační práce 4I2 doc. RNDr. Pavel Parízek, Ph.D. skrytý 24.03.2016 03.10.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Optimizing memory layouts of data structures designed for parallel systems 2021/2022 disertační práce P4I2 doc. RNDr. Martin Kruliš, Ph.D. skrytý 28.04.2022 19.09.2022 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Řízení robotického šachového manipulátoru 2023/2024 bakalářská práce doc. RNDr. Martin Kruliš, Ph.D. Boris Kapustík 28.02.2024 21.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Linux Kernel Live Dump 2022/2023 diplomová práce ISWSP Mgr. Michal Koutný skrytý 22.02.2023 08.03.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Applying Multilayer Modeling and Verification to All-Optical Computer Networks 2013/2014 disertační práce 4I2 doc. RNDr. Jan Kofroň, Ph.D. skrytý 30.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Predikce délky trvání datového profilování 2022/2023 bakalářská práce IPP2 doc. RNDr. Jan Kofroň, Ph.D. skrytý 05.01.2023 05.01.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Loop Analysis for LLVM IR Translation Validation Framework 2022/2023 bakalářská práce IPP1 doc. RNDr. Jan Kofroň, Ph.D. skrytý 17.03.2023 24.03.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail IncomeMate 2023/2024 bakalářská práce IPP doc. RNDr. Jan Kofroň, Ph.D. skrytý 04.03.2024 05.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Algoritmus PD-KIND v řešiči Golem 2023/2024 bakalářská práce I doc. RNDr. Jan Kofroň, Ph.D. skrytý 06.02.2024 11.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail 3D melee combat game in a medieval setting 2023/2024 bakalářská práce Mgr. Filip Kliber skrytý 14.08.2023 21.08.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Systém pro správu šachových soutěží 2023/2024 bakalářská práce Mgr. Filip Kliber skrytý 09.11.2023 16.11.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Bazar outdoorového vybavení 2023/2024 bakalářská práce Mgr. Filip Kliber skrytý 25.10.2023 31.10.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Aplikace na vytváření kytarových zpěvníku z písní dostupných na webu 2023/2024 bakalářská práce Mgr. Filip Kliber skrytý 25.10.2023 31.10.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Brooom - závodní hra na košťatech v Unity 2023/2024 diplomová práce Mgr. Pavel Ježek, Ph.D. skrytý 22.12.2023 31.12.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail L'anatra - knihovna pro interoperabilitu mezi jazyky C# a Java 2023/2024 diplomová práce Mgr. Pavel Ježek, Ph.D. skrytý 06.12.2023 07.12.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Tower defense hra v Unity 2023/2024 bakalářská práce Mgr. Pavel Ježek, Ph.D. skrytý 11.12.2023 12.12.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Multiplatformní rozšiřitelný hex editor 2023/2024 bakalářská práce Mgr. Pavel Ježek, Ph.D. Karel Chwistek 17.12.2023 29.01.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Populous-style multiplayer game in Unity 2022/2023 bakalářská práce Mgr. Pavel Ježek, Ph.D. skrytý 30.05.2023 30.05.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail RPG hra pro 2 hráče v Unity 2023/2024 bakalářská práce Mgr. Pavel Ježek, Ph.D. Samuel Juraj Koprda 17.12.2023 29.01.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Framework pro realtime realistické a interaktivní simulace shlukování zvířat 2021/2022 diplomová práce Mgr. Pavel Ježek, Ph.D. Bc. Ondřej Vaic 23.09.2022 23.09.2022 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Vylepšení typové inference v jazyce C# 2022/2023 diplomová práce Mgr. Pavel Ježek, Ph.D. skrytý 30.05.2023 30.05.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Framework pro replikaci stavu v multiplayer hrách s využitím determinismu 2023/2024 bakalářská práce Mgr. Pavel Ježek, Ph.D. skrytý 22.12.2023 31.12.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Performance evaluation in DevOps-driven software lifecycle 2023/2024 disertační práce P4I2A Mgr. Vojtěch Horký, Ph.D. skrytý 08.08.2023 03.10.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Packet capture for HelenOS 2023/2024 bakalářská práce Mgr. Vojtěch Horký, Ph.D. Nataliia Korop 29.11.2023 29.11.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Network File System server for HelenOS 2021/2022 bakalářská práce IPP3 Mgr. Vojtěch Horký, Ph.D. skrytý 10.05.2022 11.05.2022 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail GPU support in MSIM 2022/2023 bakalářská práce Mgr. Vojtěch Horký, Ph.D. Petr Tlapa 13.07.2023 20.07.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Smart modern systems in the edge-cloud environment 2018/2019 disertační práce P4I2 doc. RNDr. Petr Hnětynka, Ph.D. skrytý 12.04.2019 17.06.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Deployment in the (edge-)cloud environment 2020/2021 disertační práce P4I2 doc. RNDr. Petr Hnětynka, Ph.D. skrytý 14.05.2020 02.03.2021 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Systém pre správu športovej súťaže Liga Ultimate Frisbee 2021/2022 bakalářská práce IPP2 doc. RNDr. Petr Hnětynka, Ph.D. skrytý 02.11.2021 03.11.2021 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Návrh frameworku pro edge-cloud continuum 2023/2024 bakalářská práce doc. RNDr. Petr Hnětynka, Ph.D. Milan Lamplot 18.11.2023 21.11.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Complex experiment support through the IVIS framework 2023/2024 diplomová práce prof. RNDr. Tomáš Bureš, Ph.D. Bc. David Košťál 26.01.2024 29.01.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Novel models for self-adaptation and evolution in collective self-adaptive systems 2021/2022 disertační práce P4I2A prof. RNDr. Tomáš Bureš, Ph.D. skrytý 22.11.2021 22.11.2021 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Component-based design of smart cyber-physical systems 2014/2015 disertační práce 4I2 prof. RNDr. Tomáš Bureš, Ph.D. skrytý 26.01.2015 26.01.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Machine learning techniques in self-adaptive systems 2021/2022 disertační práce P4I2 prof. RNDr. Tomáš Bureš, Ph.D. Mgr. Michal Töpfer 05.04.2022 02.08.2022 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Streamlining Usability of Enterprise Data Quality Management Tools for Data Engineers 2023/2024 bakalářská práce IPP3 doc. Ing. Lubomír Bulej, Ph.D. Zdeněk Tomis 02.02.2024 10.02.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Výsledky 1-50 z 50 1 další
 
Univerzita Karlova | Informační systém UK