Thesis (Selection of subject)Thesis (Selection of subject)(version: 368)
List of theses
   Login via CAS
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 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
detail 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
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 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
detail 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
detail 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
detail 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
detail 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
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 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 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 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
detail 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
detail Ř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
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 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 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
detail 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
detail 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
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 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
detail 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
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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
detail 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
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 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
detail 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
detail 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
detail 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
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 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 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
detail 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
detail 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
detail 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
detail 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
detail 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
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 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 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 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 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
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 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
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html