|
Thesis title |
Year of announcement |
Year of defence |
Thesis type |
Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department |
Faculty |
|
Elementary functions |
2008/2009 |
|
diploma thesis |
FMUSSS | doc. RNDr. Tomáš Bárta, Ph.D. |
|
23.09.2008 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Linear integral equations of convolution type |
2018/2019 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
25.04.2016 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
The Laplace transform and linear differential equations with constant coefficients |
2007/2008 |
|
Bachelor's thesis |
MOM | doc. RNDr. Tomáš Bárta, Ph.D. |
|
02.05.2007 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Effective way of computing matrix functions |
2011/2012 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
20.05.2011 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
An existence theorem for solutions of functional equations and its applications |
2011/2012 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
07.09.2011 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Functional calculus for matrices |
2009/2010 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
28.04.2008 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Effective way of computing matrix functions |
2010/2011 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
27.04.2010 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Spectrum of a perturbed operator |
2011/2012 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
20.05.2011 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Regularity of shifts on various function spaces |
2008/2009 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
28.04.2008 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Spectrum of a perturbed operator |
2010/2011 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
27.04.2010 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Functions of positive type and their importance for integral equations |
2012/2013 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
13.04.2012 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Predator-prey systems with delay |
2023/2024 |
|
diploma thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
25.04.2024 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Real and Complex exponential function |
2008/2009 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
28.04.2008 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Linear integral equations of convolution type |
2011/2012 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
07.09.2011 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
An existence theorem for solutions of functional equations and its applications |
2012/2013 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
13.04.2012 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Wave equation with general damping function |
2017/2018 |
|
diploma thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
31.10.2014 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Eigenvalues of a perturbed operator |
2009/2010 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
28.04.2008 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Linear integral equations of convolution type |
2015/2016 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
07.05.2013 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
Functions of positive type and their importance for integral equations |
2011/2012 |
|
Bachelor's thesis |
| doc. RNDr. Tomáš Bárta, Ph.D. |
|
07.09.2011 |
Ne | Katedra matematické analýzy (32-KMA) |
MFF |
|
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 |
|
Trajectory Planning for Drone Swarm |
2023/2024 |
|
Bachelor's thesis |
| prof. RNDr. Roman Barták, Ph.D. |
|
09.11.2022 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
User Interfaces for Planning |
2021/2022 |
|
Bachelor's thesis |
I | prof. RNDr. Roman Barták, Ph.D. |
|
14.02.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
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 |
|
Formal Automata and Planning |
2018/2019 |
|
diploma thesis |
IUI, IUIA | prof. RNDr. Roman Barták, Ph.D. |
|
18.03.2009 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
(Re)formulating planning problems |
2021/2022 |
|
dissertation |
P4I1, P4I1A | prof. RNDr. Roman Barták, Ph.D. |
|
13.02.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Path planning for multiple robots |
2021/2022 |
|
Bachelor's thesis |
I | prof. RNDr. Roman Barták, Ph.D. |
|
14.02.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
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 |
|
Validator of Hierarchical Plans |
2021/2022 |
|
Bachelor's thesis |
I | prof. RNDr. Roman Barták, Ph.D. |
|
14.02.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
Compilation Approaches to Automated Planning |
2021/2022 |
|
Bachelor's thesis |
I | prof. RNDr. Roman Barták, Ph.D. |
|
14.02.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Multi-agent Planning |
2021/2022 |
|
dissertation |
P4I1, P4I1A | prof. RNDr. Roman Barták, Ph.D. |
|
13.02.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Safe Fly - Drone Pilot Assistance System |
2021/2022 |
|
diploma thesis |
IUI, IUIA | prof. RNDr. Roman Barták, Ph.D. |
|
13.02.2018 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
Container Loading Optimization |
2009/2010 |
|
school year task |
| prof. RNDr. Roman Barták, Ph.D. |
|
11.10.2009 |
Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
MFF |
|
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 |
|
Mechanical properties of Ti15Mo beta titanium alloy prepared by powder metallurgy |
2017/2018 |
|
project |
| RNDr. Kristina Bartha, Ph.D. |
|
14.10.2018 |
Ne | Katedra fyziky materiálů (32-KFM) |
MFF |
|
Weighted Clones |
2017/2018 |
|
Bachelor's thesis |
| doc. Mgr. Libor Barto, Ph.D. |
|
13.10.2014 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Extensions of Constraint Satisfaction Problem |
2023/2024 |
|
dissertation |
P4M1, P4M1A | doc. Mgr. Libor Barto, Ph.D. |
|
24.04.2024 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Coconnected algebras |
2007/2008 |
|
Bachelor's thesis |
| doc. Mgr. Libor Barto, Ph.D. |
|
08.10.2007 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Extensions of Constraint Satisfaction Problem |
2023/2024 |
|
dissertation |
P4M1A | doc. Mgr. Libor Barto, Ph.D. |
|
27.04.2023 |
Ne | Katedra algebry (32-KA) |
MFF |
|
CSP over oriented trees |
2019/2020 |
|
Bachelor's thesis |
| doc. Mgr. Libor Barto, Ph.D. |
|
25.10.2016 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Coconnected algebras |
2017/2018 |
|
Bachelor's thesis |
| doc. Mgr. Libor Barto, Ph.D. |
|
13.10.2014 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Consistent systems of projections |
2019/2020 |
|
Bachelor's thesis |
| doc. Mgr. Libor Barto, Ph.D. |
|
25.10.2016 |
Ne | Katedra algebry (32-KA) |
MFF |
|
An Algebraic Approach to the Constraint Satisfaction Problem |
2007/2008 |
|
diploma thesis |
| doc. Mgr. Libor Barto, Ph.D. |
|
08.10.2007 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Finitely Related Algebras |
2016/2017 |
|
diploma thesis |
| doc. Mgr. Libor Barto, Ph.D. |
|
21.10.2013 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Coconnected algebras |
2006/2007 |
|
Bachelor's thesis |
| doc. Mgr. Libor Barto, Ph.D. |
|
02.10.2006 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Symmetry in Computational Complexity |
2021/2022 |
|
dissertation |
4M1, 4M1A | doc. Mgr. Libor Barto, Ph.D. |
|
20.04.2018 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Computational Modeling of Membrane Proteins |
2019/2020 |
|
dissertation |
4F4 | RNDr. Ivan Barvík, Ph.D. |
|
09.03.2017 |
Ne | Fyzikální ústav UK (32-FUUK) |
MFF |
|
Computational modeling of complexes consisting of modified nucleic acids and proteins |
2021/2022 |
|
dissertation |
4F4 | RNDr. Ivan Barvík, Ph.D. |
|
21.03.2018 |
Ne | Fyzikální ústav UK (32-FUUK) |
MFF |
Results 101-150 of 3738 previous 1 2 3 4 5 6 ... 75 next
|