Thesis (Selection of subject)Thesis (Selection of subject)(version: 368)
List of theses
   Login via CAS
--:--
 
 List of theses
 
 
 
 
Change order to code - title
 
               
results per page
sort in descending ordersort in ascending orderThesis title sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Thesis type Thesis discipline sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail Area mapping by an autonomous drone 2017/2018 diploma thesis IUI, IUIA prof. RNDr. Roman Barták, Ph.D.   12.08.2014 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Constraint satisfaction for HW/SW verification 2006/2007 2007/2008 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 06.11.2006 08.11.2006 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Scheduling alternative processes 2011/2012 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 22.09.2011 24.10.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Constraint solvers 2006/2007 2008/2009 Bachelor's thesis 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 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
detail 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
detail 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
detail 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
detail 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
detail AI Planning with Time and Resource Constraints 2007/2008 2008/2009 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 09.10.2007 25.10.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Automated planing 2014/2015 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 24.10.2014 24.10.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Ř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
detail Interactive Planning and Visualisation 2011/2012 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 23.10.2011 26.10.2011 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Learning for Classical Planning 2005/2006 2008/2009 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 02.05.2005 01.10.2005 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Lifelong localization of robots 2015/2016 2017/2018 diploma thesis IUI prof. RNDr. Roman Barták, Ph.D. hidden 28.07.2016 28.07.2016 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Search Strategies for Scheduling Problems 2007/2008 2011/2012 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 16.11.2007 16.11.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Optimalizace v rozvrhování 2007/2008 dissertation I1 prof. RNDr. Roman Barták, Ph.D. hidden 30.04.2007 08.11.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Robust multi-agent path finding 2019/2020 2019/2020 diploma thesis IUI prof. RNDr. Roman Barták, Ph.D. hidden 14.12.2019 18.12.2019 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Detection of inconsistencies during multi-agent plans’ execution 2021/2022 2020/2021 Bachelor's thesis ISDI prof. RNDr. Roman Barták, Ph.D. hidden 08.04.2021 07.06.2021 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Hierarchical Modeling of Planning Problems 2012/2013 2015/2016 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 05.05.2013 21.01.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Hierarchical Plan Recognition 2023/2024 Bachelor's thesis 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 Visualisation of solutions to multi-criteria optimisation problems 2009/2010 school year task prof. RNDr. Roman Barták, Ph.D.   31.03.2009 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Interaktivní tvorba rozvrhů 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
detail Trajectory Planning for Drone Swarm 2024/2025 Bachelor's thesis prof. RNDr. Roman Barták, Ph.D.   09.11.2022 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Domain knowledge in planning 2014/2015 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 17.09.2015 29.09.2015 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Constrained activity sequencing 2008/2009 2009/2010 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 13.11.2008 13.11.2008 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Plan Execution and Monitoring for AR.Drone 2017/2018 Bachelor's thesis I prof. RNDr. Roman Barták, Ph.D.   13.01.2012 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Autonomous Planning for Multi-Robot Systems 2021/2022 dissertation P4I1, P4I1A prof. RNDr. Roman Barták, Ph.D.   20.12.2019 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Global Constraints 2007/2008 2007/2008 Bachelor's thesis IP prof. RNDr. Roman Barták, Ph.D. hidden 09.10.2007 04.12.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Controlled Landing of an Autonomous Drone 2012/2013 2012/2013 Bachelor's thesis IP prof. RNDr. Roman Barták, Ph.D. hidden 26.10.2012 29.10.2012 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail Visual tracking of multiple robots 2018/2019 2018/2019 Bachelor's thesis IPSS prof. RNDr. Roman Barták, Ph.D. hidden 01.12.2018 03.12.2018 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Algorithms for automated logistics 2013/2014 2013/2014 diploma thesis 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 Multi-agent picker routing problem 2019/2020 2020/2021 Bachelor's thesis IOI prof. RNDr. Roman Barták, Ph.D. hidden 20.07.2020 22.07.2020 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Solving over-constrained problems 1999/2000 2005/2006 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
detail Algoritmy splňování omezující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
detail Algorithms for Multi-Agent Pickup-and-Delivery Problems 2022/2023 2022/2023 Bachelor's thesis 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 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
detail Co-ordinated Path Finding for a Robot Swarm 2019/2020 2019/2020 Bachelor's thesis IOI prof. RNDr. Roman Barták, Ph.D. hidden 03.11.2019 29.11.2019 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Constraint-based Timetabling 2001/2002 2005/2006 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
detail Project portfolio optimisation with time and resources 2008/2009 2011/2012 diploma thesis ISS prof. RNDr. Roman Barták, Ph.D. hidden 09.11.2008 11.11.2008 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Learning planning models 2013/2014 2016/2017 Bachelor's thesis IP prof. RNDr. Roman Barták, Ph.D. hidden 11.01.2014 14.01.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail 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
detail 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
detail 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
Results 1-50 of 136 1 2 3 next
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html