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
--:--
 
 Seznam prací
 
 
 
 
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 Constraint solvers 2006/2007 2008/2009 bakalářská práce IOI prof. RNDr. Roman Barták, Ph.D. JUDr. Michal Tuláček, Ph.D. 13.10.2006 27.11.2006 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail AI Planning with Time and Resource Constraints 2007/2008 2008/2009 diplomová práce prof. RNDr. Roman Barták, Ph.D. skrytý 09.10.2007 25.10.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Learning for Classical Planning 2005/2006 2008/2009 disertační práce 4I1 prof. RNDr. Roman Barták, Ph.D. skrytý 02.05.2005 01.10.2005 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Compiling Planning Problems 2006/2007 2007/2008 diplomová práce prof. RNDr. Roman Barták, Ph.D. skrytý 06.10.2006 06.02.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Constraint satisfaction for HW/SW verification 2006/2007 2007/2008 diplomová práce prof. RNDr. Roman Barták, Ph.D. skrytý 06.11.2006 08.11.2006 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Workforce Optimisation 2009/2010 2010/2011 diplomová práce ISS prof. RNDr. Roman Barták, Ph.D. skrytý 30.04.2010 17.05.2010 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Řešení dynamických problémů s podmínkami 2001/2002 2003/2004 diplomová práce I prof. RNDr. Roman Barták, Ph.D. skrytý 01.10.2001 17.10.2001 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Dynamic Scheduling 2011/2012 2013/2014 diplomová práce ITI prof. RNDr. Roman Barták, Ph.D. skrytý 23.10.2011 02.11.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Optional Activities in Scheduling 2013/2014 2020/2021 disertační práce P4I1 prof. RNDr. Roman Barták, Ph.D. skrytý 02.05.2013 26.09.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Vyhledávání a sledování objektů autonomním dronem 2018/2019 2019/2020 diplomová práce IUI prof. RNDr. Roman Barták, Ph.D. skrytý 11.10.2018 04.12.2018 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Od abstraktních k proveditelným plánům 2018/2019 2019/2020 bakalářská práce IOI prof. RNDr. Roman Barták, Ph.D. skrytý 28.03.2019 29.11.2019 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Mapování oblasti autonomním dronem 2017/2018 diplomová práce IUI, IUIA prof. RNDr. Roman Barták, Ph.D.   12.08.2014 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Scheduling alternative processes 2011/2012 diplomová práce prof. RNDr. Roman Barták, Ph.D. skrytý 22.09.2011 24.10.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Omezující podmínky 2015/2016 disertační práce 4I1 prof. RNDr. Roman Barták, Ph.D. skrytý 03.06.2015 25.09.2015 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Planning of data transfers 2009/2010 diplomová práce prof. RNDr. Roman Barták, Ph.D. skrytý 06.10.2009 26.10.2009 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Rozpoznávání plánů 2019/2020 disertační práce P4I1 prof. RNDr. Roman Barták, Ph.D. skrytý 20.04.2020 08.09.2020 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Automated planing 2014/2015 disertační práce 4I1 prof. RNDr. Roman Barták, Ph.D. skrytý 24.10.2014 24.10.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Interactive Planning and Visualisation 2011/2012 diplomová práce ITI prof. RNDr. Roman Barták, Ph.D. skrytý 23.10.2011 26.10.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Constrained activity sequencing 2008/2009 2009/2010 diplomová práce prof. RNDr. Roman Barták, Ph.D. skrytý 13.11.2008 13.11.2008 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Search Strategies for Scheduling Problems 2007/2008 2011/2012 diplomová práce ITI prof. RNDr. Roman Barták, Ph.D. skrytý 16.11.2007 16.11.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Interaktivní tvorba rozvrhů 1999/2000 2000/2001 diplomová práce I prof. RNDr. Roman Barták, Ph.D. skrytý 11.10.1999 20.11.1999 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Hierarchické modelování plánovacích problémů 2012/2013 2015/2016 diplomová práce ITI prof. RNDr. Roman Barták, Ph.D. skrytý 05.05.2013 21.01.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Lifelong localization of robots 2015/2016 2017/2018 diplomová práce IUI prof. RNDr. Roman Barták, Ph.D. skrytý 28.07.2016 28.07.2016 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Detekce nekonzistencí při provádění multi-agentních plánů 2021/2022 2020/2021 bakalářská práce ISDI prof. RNDr. Roman Barták, Ph.D. skrytý 08.04.2021 07.06.2021 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Hledání robustních cest pro více agentů 2019/2020 2019/2020 diplomová práce IUI prof. RNDr. Roman Barták, Ph.D. skrytý 14.12.2019 18.12.2019 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Validation and Recognition of Hierarchical Plans 2018/2019 2019/2020 diplomová práce IUI prof. RNDr. Roman Barták, Ph.D. skrytý 28.10.2018 05.11.2018 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Optimalizace v rozvrhování 2007/2008 disertační práce I1 prof. RNDr. Roman Barták, Ph.D. skrytý 30.04.2007 08.11.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Rozpoznávání hierarchických plánů 2023/2024 bakalářská práce prof. RNDr. Roman Barták, Ph.D. Benjamin Vincent Verner 11.03.2024 18.03.2024 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Vizualizace řešení problémů více-kriteriální optimalizace 2009/2010 ročníková práce prof. RNDr. Roman Barták, Ph.D.   31.03.2009 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Trajectory Planning for Drone Swarm 2024/2025 bakalářská práce prof. RNDr. Roman Barták, Ph.D.   09.11.2022 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Doménové znalosti v plánování 2014/2015 diplomová práce prof. RNDr. Roman Barták, Ph.D. skrytý 17.09.2015 29.09.2015 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Temporal networks 2006/2007 2008/2009 diplomová práce prof. RNDr. Roman Barták, Ph.D. skrytý 13.10.2006 08.11.2006 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Globální podmínky 2007/2008 2007/2008 bakalářská práce IP prof. RNDr. Roman Barták, Ph.D. skrytý 09.10.2007 04.12.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Filtering Algorithms for Tabular Constraints 2008/2009 2009/2010 diplomová práce prof. RNDr. Roman Barták, Ph.D. skrytý 01.10.2007 11.11.2008 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Interactive scheduling and visualisation 2009/2010 2011/2012 diplomová práce ISS prof. RNDr. Roman Barták, Ph.D. skrytý 21.10.2009 26.10.2009 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Optimalizace projektových portfolií s časem a zdroji 2008/2009 2011/2012 diplomová práce ISS prof. RNDr. Roman Barták, Ph.D. skrytý 09.11.2008 11.11.2008 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Algoritmy splňování omezujících podmínek 1999/2000 2000/2001 diplomová práce I prof. RNDr. Roman Barták, Ph.D. skrytý 11.10.1999 20.11.1999 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Řešení příliš omezených problémů 1999/2000 2005/2006 diplomová práce I prof. RNDr. Roman Barták, Ph.D. skrytý 11.10.1999 20.11.1999 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Constraint-based Timetabling 2001/2002 2005/2006 disertační práce I1 prof. RNDr. Roman Barták, Ph.D. skrytý 01.10.2001 01.10.2001 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Řízené přistání autonomního drona 2012/2013 2012/2013 bakalářská práce IP prof. RNDr. Roman Barták, Ph.D. skrytý 26.10.2012 29.10.2012 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Algorithms for automated logistics 2013/2014 2013/2014 diplomová práce ITI prof. RNDr. Roman Barták, Ph.D. JUDr. Michal Tuláček, Ph.D. 01.01.2014 09.01.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Stabilizace létajícího drona v dynamickém prostředí 2013/2014 2013/2014 bakalářská práce IOI prof. RNDr. Roman Barták, Ph.D. skrytý 10.01.2014 14.01.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Vizuální sledování skupiny robotů 2018/2019 2018/2019 bakalářská práce IPSS prof. RNDr. Roman Barták, Ph.D. skrytý 01.12.2018 03.12.2018 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Učení plánovacích modelů 2013/2014 2016/2017 bakalářská práce IP prof. RNDr. Roman Barták, Ph.D. skrytý 11.01.2014 14.01.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Multi-agent picker routing problem 2019/2020 2020/2021 bakalářská práce IOI prof. RNDr. Roman Barták, Ph.D. skrytý 20.07.2020 22.07.2020 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Multi-agent Path Finding 2021/2022 2021/2022 rigorózní práce P4I1 prof. RNDr. Roman Barták, Ph.D. skrytý 25.01.2022 25.01.2022 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Compilation-based Approaches for Automated Planning 2019/2020 2019/2020 diplomová práce IUI prof. RNDr. Roman Barták, Ph.D. skrytý 09.10.2019 16.10.2019 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Hledání koordinovaných cest pro skupinu robotů 2019/2020 2019/2020 bakalářská práce IOI prof. RNDr. Roman Barták, Ph.D. skrytý 03.11.2019 29.11.2019 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Algorithms for Multi-Agent Pickup-and-Delivery Problems 2022/2023 2022/2023 bakalářská práce IPP1 prof. RNDr. Roman Barták, Ph.D. Bc. Petr Šmíd 10.11.2022 29.03.2023 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Provádění a monitorování plánů pro AR.Drone 2017/2018 bakalářská práce I prof. RNDr. Roman Barták, Ph.D.   13.01.2012 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
Výsledky 1-50 z 136 1 2 3 další
 
Univerzita Karlova | Informační systém UK