|
  Název práce |
Rok vypsání |
Rok obhájení |
Typ práce |
Obor práce | Vedoucí / školitel |
Řešitel |
Vypsáno |
Zadáno | Ústav |
Fakulta |
 |
Hledání cest pro více robotů |
2021/2022 |
|
bakalářská práce |
I | prof. RNDr. Roman Barták, Ph.D. |
|
14.02.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Ří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 |
|
Autonomní robotika |
2019/2020 |
|
disertační práce |
DP4I1A | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
23.12.2019 |
20.02.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
Visual Editing of Domain Control Knowledge for Planning |
2022/2023 |
2023/2024 |
bakalářská práce |
IPP5 | prof. RNDr. Roman Barták, Ph.D. |
Bc. Martin Gráf |
09.11.2022 |
22.11.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Hledání robustních cest pro více agentů |
2019/2020 |
|
rigorózní práce |
IUIP | prof. RNDr. Roman Barták, Ph.D. |
|
14.12.2019 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Robustní provádění MAPF plánů na grafech se spojitým prostorem |
2023/2024 |
|
bakalářská práce |
IPA5 | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
17.06.2024 |
22.07.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
Rozpoznávání hierarchických plánů |
2023/2024 |
2023/2024 |
bakalářská práce |
| prof. RNDr. Roman Barták, Ph.D. |
Bc. Benjamin Vincent Verner |
11.03.2024 |
18.03.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
Prostředí pro experimenty s multi-agentním hledáním cest |
2020/2021 |
|
bakalářská práce |
IOI | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
05.10.2020 |
30.06.2021 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
Integrating Planning and Scheduling |
2010/2011 |
2013/2014 |
disertační práce |
4I1 | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
04.05.2010 |
10.10.2010 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Timeline-based Planning |
2011/2012 |
|
diplomová práce |
ITI | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
29.11.2011 |
12.12.2011 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
Modelling and Solving Problems Using SAT Techniques |
2010/2011 |
2013/2014 |
disertační práce |
4I1 | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
12.04.2010 |
10.10.2010 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
Resolution-based methods for linear temporal reasoning |
2007/2008 |
2015/2016 |
disertační práce |
4I1 | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
26.04.2007 |
12.11.2007 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Logické programování pro plánování |
2013/2014 |
|
diplomová práce |
ITI | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
09.01.2014 |
14.01.2014 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
School Timetabling |
2011/2012 |
2012/2013 |
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 |
|
Filtering algorithms for scheduling problems |
2005/2006 |
2004/2005 |
diplomová práce |
ISS | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
01.10.2001 |
17.10.2001 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Dynamické temporální sítě |
2006/2007 |
2008/2009 |
diplomová práce |
| prof. RNDr. Roman Barták, Ph.D. |
skrytý |
09.11.2006 |
09.11.2006 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Approximate Techniques for Dynamic Vehicle Routing Problems |
2022/2023 |
2023/2024 |
bakalářská práce |
IPP1 | prof. RNDr. Roman Barták, Ph.D. |
Bc. David Zeman |
09.11.2022 |
22.11.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
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 |
|
Trajectory planning for fast moving cars |
2017/2018 |
2019/2020 |
diplomová práce |
IUI | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
03.04.2018 |
03.04.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Learning for Classical Planning |
2009/2010 |
2009/2010 |
rigorózní práce |
| prof. RNDr. Roman Barták, Ph.D. |
skrytý |
15.10.2009 |
15.10.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Constraint modelling |
2006/2007 |
2006/2007 |
bakalářská práce |
IOI | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
13.10.2006 |
08.11.2006 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Multiagentní hledání cest v reálném prostředí |
2023/2024 |
|
disertační práce |
P4I1 | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
28.04.2023 |
19.09.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
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 |
|
Plánování pohybu roje samokonfigurujích se robotů |
2024/2025 |
|
bakalářská práce |
IPP5 | prof. RNDr. Roman Barták, Ph.D. |
Jindřich Petr Kantor |
01.01.2025 |
02.01.2025 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
Incomplete Search Techniques |
2005/2006 |
2010/2011 |
diplomová práce |
ITI | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
06.10.2005 |
14.11.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Kompilační přístupy k multi-agentnímu hledání cest |
2018/2019 |
|
bakalářská práce |
| prof. RNDr. Roman Barták, Ph.D. |
skrytý |
14.02.2018 |
11.07.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
Validation and Recognition of Hierarchical Plans |
2018/2019 |
|
rigorózní práce |
IUI | prof. RNDr. Roman Barták, Ph.D. |
|
28.10.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Multiagentní hledání cest na Ozobotech |
2017/2018 |
2017/2018 |
bakalářská práce |
IPSS | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
29.06.2018 |
29.06.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Simulace davu |
2024/2025 |
|
bakalářská práce |
IPP6 | prof. RNDr. Roman Barták, Ph.D. |
Vojtěch Pröschl |
03.01.2025 |
03.01.2025 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Plánování skladů kontejnerů |
2024/2025 |
|
bakalářská práce |
IPP5 | prof. RNDr. Roman Barták, Ph.D. |
Peter Kochelka |
03.10.2024 |
03.10.2024 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Multi-agentní plánování |
2021/2022 |
|
disertační práce |
P4I1, P4I1A | prof. RNDr. Roman Barták, Ph.D. |
|
13.02.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
(Re)formulace plánovacích problémů |
2021/2022 |
|
disertační práce |
P4I1, P4I1A | prof. RNDr. Roman Barták, Ph.D. |
|
13.02.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
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 |
|
Planning operations of space probes |
2012/2013 |
2013/2014 |
diplomová práce |
ITI | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
17.09.2012 |
18.09.2012 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Klasické plánovací techniky |
2007/2008 |
2009/2010 |
bakalářská práce |
IOI | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
21.10.2007 |
16.11.2007 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Tracking of 3D Movement |
2013/2014 |
2013/2014 |
bakalářská práce |
IOI | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
12.01.2014 |
14.01.2014 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Omezující podmínky v grafických uživatelských rozhraních vedoucí DP - Mgr. Roman Barták, Dr.- KTI |
1996/1997 |
1998/1999 |
diplomová práce |
UMI | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
11.11.1998 |
28.04.1999 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Algorithms for multi-agent planning |
2023/2024 |
|
disertační práce |
P4I1A | prof. RNDr. Roman Barták, Ph.D. |
skrytý |
29.05.2023 |
16.10.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
Výsledky 1-50 z 150 1 2 3 další
|
