Thesis (Selection of subject)Thesis (Selection of subject)(version: 285)
List of assignments
   Login via CAS
  
                  
results per page
sort in descending ordersort in ascending orderTitle sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Type of assignment Specialization 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 Generating planning models 2017/2018 diploma thesis IUI, IUIA prof. RNDr. Roman Barták, Ph.D.   09.11.2008 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
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 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 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 operations of space probes 2012/2013 2013/2014 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 17.09.2012 18.09.2012 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 Constraint modelling 2006/2007 2006/2007 Bachelor's thesis IOI prof. RNDr. Roman Barták, Ph.D. hidden 13.10.2006 08.11.2006 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 Portfolio Optimisation 2007/2008 2007/2008 Bachelor's thesis IP prof. RNDr. Roman Barták, Ph.D. hidden 31.10.2007 23.11.2007 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 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 Konzistenční techniky pro omezující podmínky 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 Planning for container terminals 2017/2018 Bachelor's thesis I prof. RNDr. Roman Barták, Ph.D.   04.11.2009 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Hierarchical Planning 2018/2019 dissertation 4I1, 4I1A prof. RNDr. Roman Barták, Ph.D.   13.02.2018 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail User Interfaces for Planning 2018/2019 Bachelor's thesis I prof. RNDr. Roman Barták, Ph.D.   14.02.2018 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Compilation Approaches to Multi-agent Path Finding 2018/2019 Bachelor's thesis I prof. RNDr. Roman Barták, Ph.D.   14.02.2018 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Process Editor 2006/2007 school year task prof. RNDr. Roman Barták, Ph.D. hidden 14.02.2007 12.04.2007 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 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 Visualisation of container terminals 2009/2010 school year task prof. RNDr. Roman Barták, Ph.D.   04.11.2009 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Integrating Planning and Scheduling 2010/2011 2013/2014 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 04.05.2010 10.10.2010 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Dynamické aspekty rozvrhování 2013/2014 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 02.05.2013 26.09.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Constraint satisfaction for inductive logic programming 2010/2011 2010/2011 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 06.10.2009 21.10.2010 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Automated Drone Boomeranging 2013/2014 2016/2017 diploma thesis ITI prof. RNDr. Roman Barták, Ph.D. hidden 12.01.2014 21.01.2014 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Visual Localization of an Object in 3D Space 2016/2017 2017/2018 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 Optimizing personal timetables 2006/2007 school year task prof. RNDr. Roman Barták, Ph.D. hidden 14.02.2007 14.02.2007 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Automated Planning via Compilation 2018/2019 diploma thesis IUI, IUIA prof. RNDr. Roman Barták, Ph.D.   13.02.2018 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Path planning for multiple robots 2018/2019 Bachelor's thesis I prof. RNDr. Roman Barták, Ph.D.   14.02.2018 Ne Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Learning for Classical Planning 2009/2010 2009/2010 rigorosum thesis prof. RNDr. Roman Barták, Ph.D. hidden 15.10.2009 15.10.2009 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 Filtering Algorithms for Tabular Constraints 2008/2009 2009/2010 diploma thesis prof. RNDr. Roman Barták, Ph.D. hidden 01.10.2007 11.11.2008 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Multi-agent Path Finding on Ozobots 2017/2018 2017/2018 Bachelor's thesis IPSS prof. RNDr. Roman Barták, Ph.D. hidden 29.06.2018 29.06.2018 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 Visual tracking of multiple robots 2018/2019 Bachelor's thesis prof. RNDr. Roman Barták, Ph.D. hidden 01.12.2018 03.12.2018 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail From abstract to executable plans 2018/2019 Bachelor's thesis prof. RNDr. Roman Barták, Ph.D.   28.03.2019 Ne 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 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 Ř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 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 Smart Traffic Intersection 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 Constraint solvers 2006/2007 2008/2009 Bachelor's thesis IOI prof. RNDr. Roman Barták, Ph.D. Mgr. et Mgr. Michal Tuláček 13.10.2006 27.11.2006 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 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 Omezující podmínky v grafických uživatelských rozhraních vedoucí DP - Mgr. Roman Barták, Dr.- KTI 1996/1997 1998/1999 diploma thesis UMI prof. RNDr. Roman Barták, Ph.D. hidden 11.11.1998 28.04.1999 Katedra teoretické informatiky a matematické logiky (32-KTIML) MFF
detail Modelling and Solving Problems Using SAT Techniques 2010/2011 2013/2014 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 12.04.2010 10.10.2010 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 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 Teorie argumentace s prvky umělé inteligence 2011/2012 dissertation 4I1 prof. RNDr. Roman Barták, Ph.D. hidden 01.06.2011 01.10.2011 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 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
Results 1-50 of 114 1 2 3 next
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html