|
Thesis title |
Year of announcement |
Year of defence |
Thesis type |
Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department |
Faculty |
|
Dynamic Temporal Networks |
2006/2007 |
2008/2009 |
diploma thesis |
| prof. RNDr. Roman Barták, Ph.D. |
hidden |
09.11.2006 |
09.11.2006 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Soft Constraints |
2004/2005 |
|
dissertation |
I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
01.10.2004 |
01.10.2004 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
From abstract to executable plans |
2018/2019 |
2019/2020 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
28.03.2019 |
29.11.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Object tracking by a flying drone |
2013/2014 |
2013/2014 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
14.01.2014 |
15.01.2014 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Efektivní a rozšiřitelné implementace Prologu |
2001/2002 |
2002/2003 |
diploma thesis |
I | prof. RNDr. Roman Barták, Ph.D. |
hidden |
01.10.2001 |
17.10.2001 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
School Timetabling |
2011/2012 |
2012/2013 |
diploma thesis |
ITI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
23.10.2011 |
02.11.2011 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Modelling Planning Problems |
2009/2010 |
2011/2012 |
diploma thesis |
ITI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
18.03.2009 |
17.03.2010 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Modelování plánovacích problémů |
2012/2013 |
|
dissertation |
4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
08.06.2012 |
26.09.2012 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Optional Activities in Scheduling |
2013/2014 |
2020/2021 |
dissertation |
P4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
02.05.2013 |
26.09.2014 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Dynamic Scheduling |
2011/2012 |
2013/2014 |
diploma thesis |
ITI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
23.10.2011 |
02.11.2011 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Temporal networks |
2006/2007 |
2008/2009 |
diploma thesis |
| prof. RNDr. Roman Barták, Ph.D. |
hidden |
13.10.2006 |
08.11.2006 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Compilation Approaches to Multi-agent Path Finding |
2018/2019 |
|
Bachelor's thesis |
| prof. RNDr. Roman Barták, Ph.D. |
hidden |
14.02.2018 |
11.07.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Global Constraints in Scheduling |
2001/2002 |
2006/2007 |
dissertation |
I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
01.10.2001 |
01.10.2001 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Řešení globálních podmínek |
1999/2000 |
2000/2001 |
diploma thesis |
I | prof. RNDr. Roman Barták, Ph.D. |
hidden |
11.10.1999 |
20.11.1999 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Omezující podmínky |
2015/2016 |
|
dissertation |
4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
03.06.2015 |
25.09.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Planning of data transfers |
2009/2010 |
|
diploma thesis |
| prof. RNDr. Roman Barták, Ph.D. |
hidden |
06.10.2009 |
26.10.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Monte Carlo Techniques in Planning |
2012/2013 |
2012/2013 |
diploma thesis |
ITI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
26.10.2012 |
29.10.2012 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Monte Carlo Techniques in Planning |
2017/2018 |
2018/2019 |
rigorosum thesis |
ITI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
09.08.2018 |
09.08.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Heuristic Learning for Domain-independent Planning |
2013/2014 |
2022/2023 |
dissertation |
P4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
02.05.2013 |
27.09.2013 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Compiling Planning Problems |
2006/2007 |
2007/2008 |
diploma thesis |
| prof. RNDr. Roman Barták, Ph.D. |
hidden |
06.10.2006 |
06.02.2007 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Efficient Representations and Conversions of Planning Problems |
2008/2009 |
2014/2015 |
dissertation |
4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
30.05.2008 |
10.09.2008 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Path planning for multi-robot warehouses |
2020/2021 |
2020/2021 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
10.03.2021 |
24.03.2021 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Multi-agent Path Finding |
2021/2022 |
2021/2022 |
rigorosum thesis |
P4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
25.01.2022 |
25.01.2022 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Multi-agent Path Finding |
2015/2016 |
2019/2020 |
dissertation |
P4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
31.03.2016 |
03.10.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Logic Programming for Planning |
2013/2014 |
|
diploma thesis |
ITI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
09.01.2014 |
14.01.2014 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Timeline-based Planning |
2011/2012 |
|
diploma thesis |
ITI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
29.11.2011 |
12.12.2011 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Smart Traffic Intersection |
2018/2019 |
2018/2019 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
10.10.2018 |
11.10.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Planning for Transportation Problems |
2016/2017 |
2016/2017 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
27.11.2016 |
29.11.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Stabilisation of a flying drone in dynamic environments |
2013/2014 |
2013/2014 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
10.01.2014 |
14.01.2014 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
3D Navigation for Mobile Robots |
2016/2017 |
2016/2017 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
13.11.2016 |
14.11.2016 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Řešení dynamických problémů s podmínkami |
2001/2002 |
2003/2004 |
diploma thesis |
I | prof. RNDr. Roman Barták, Ph.D. |
hidden |
01.10.2001 |
17.10.2001 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Constraint Programming in Planning |
2005/2006 |
2007/2008 |
dissertation |
I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
09.03.2005 |
11.11.2005 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Resolution-based methods for linear temporal reasoning |
2007/2008 |
2015/2016 |
dissertation |
4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
26.04.2007 |
12.11.2007 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Algorithms for multi-agent planning |
2023/2024 |
|
dissertation |
P4I1A | prof. RNDr. Roman Barták, Ph.D. |
hidden |
29.05.2023 |
16.10.2023 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Editor of hierarchical planning models |
2019/2020 |
|
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
04.08.2020 |
18.08.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Gantt Viewer |
2006/2007 |
|
school year task |
| prof. RNDr. Roman Barták, Ph.D. |
hidden |
06.11.2006 |
06.03.2007 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Interactive scheduling and visualisation |
2009/2010 |
2011/2012 |
diploma thesis |
ISS | prof. RNDr. Roman Barták, Ph.D. |
hidden |
21.10.2009 |
26.10.2009 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Interactive Gantt Charts |
2007/2008 |
2008/2009 |
Bachelor's thesis |
IP | prof. RNDr. Roman Barták, Ph.D. |
hidden |
09.10.2007 |
25.10.2007 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Classical planning techniques |
2007/2008 |
2009/2010 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
21.10.2007 |
16.11.2007 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Trajectory planning for fast moving cars |
2017/2018 |
2019/2020 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
03.04.2018 |
03.04.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Workflow Modelling |
2009/2010 |
2010/2011 |
diploma thesis |
ISS | prof. RNDr. Roman Barták, Ph.D. |
hidden |
16.03.2010 |
23.03.2010 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Capturing, Visualizing, and Analyzing Data from Drones |
2015/2016 |
2015/2016 |
Bachelor's thesis |
IPSS | prof. RNDr. Roman Barták, Ph.D. |
hidden |
24.11.2015 |
24.11.2015 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Filtering algorithms for scheduling problems |
2005/2006 |
2004/2005 |
diploma thesis |
ISS | prof. RNDr. Roman Barták, Ph.D. |
hidden |
01.10.2001 |
17.10.2001 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Search-and-Track Techniques for Autonomous Drone |
2018/2019 |
2019/2020 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
11.10.2018 |
04.12.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Compilation-based Approaches for Automated Planning |
2019/2020 |
2019/2020 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
09.10.2019 |
16.10.2019 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Plan recognition |
2019/2020 |
|
dissertation |
P4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
20.04.2020 |
08.09.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Workforce Optimisation |
2009/2010 |
2010/2011 |
diploma thesis |
ISS | prof. RNDr. Roman Barták, Ph.D. |
hidden |
30.04.2010 |
17.05.2010 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Path planning in realistic 3D environments |
2013/2014 |
2013/2014 |
Bachelor's thesis |
IOI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
01.01.2014 |
09.01.2014 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Validation and Recognition of Hierarchical Plans |
2018/2019 |
2019/2020 |
diploma thesis |
IUI | prof. RNDr. Roman Barták, Ph.D. |
hidden |
28.10.2018 |
05.11.2018 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Hierarchical Planning |
2019/2020 |
|
dissertation |
DP4I1 | prof. RNDr. Roman Barták, Ph.D. |
hidden |
14.12.2019 |
20.02.2020 | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
Results 1-50 of 136 1 2 3 next
|