Součastné doktorské disertace
Archiv doktorských disertací
-
-
Thesis EDE 2015
-
Radim Hošek
-
Numerical Schemes for Equations of Viscous Compressible Flows: Analysis and Geometry
- Supervisors :
Eduard Feireisl
-
Grants : MATHEF(320078)
-
-
Defense
14/06/2017, University of West Bohemia, Pilsen
-
-
-
-
-
Thesis EDE 2017
-
Martin Michálek
-
Mathematical analysis of fluids in motion
- Supervisors :
Eduard Feireisl
-
Grants : MATHEF(320078)
-
-
Defense
13/06/2017, Charles University, Prague
-
-
-
-
-
Thesis EDE 2014
-
Marek Kobera
-
Qualitative properties of radiation magnetohydrodynamics
- Supervisors :
Šárka Nečasová
-
-
Defense
16/09/2016, Praha
-
-
These
-
-
-
Thesis MLTCS 2012
-
Michal Garlík
-
Model constructions for bounded arithmetic
- Supervisors :
Jan Krajíček
-
-
Defense
22/09/2015, MFF UK
-
-
-
-
-
Thesis BB 2010
-
Manuel Zamora
-
Boundary value problems for differential equations with singularities
- Supervisors :
Robert Hakl, Pedro J. Torres (DMA FC Universidad de Granada, Spain)
-
-
Defense
18/09/2013, Universidad de Granada, Spain
-
-
-
-
-
Thesis EDE 2003
-
Rostislav Vodák
-
Existence řešení Navierových-Stokesových rovnic pro proudění izotermálních stlačitelných tekutin a jeho kvalitativní vlastnosti
- Supervisors :
Ivan Straškraba
-
-
Defense
30/09/2003
-
-
-
-
-
Thesis EDE 2010
-
Giselle Antunes Monteiro
-
Generalized linear differential equations in a Banach space: continuous dependence on parameters and applications
- Supervisors :
Milan Tvrdý, Federson Marcia ( ICMC-USP, Sao Carlos, SP, Brazil)
-
-
Defense
14/02/2012, Sao Carlos, Brazil
-
-
-
-
-
Thesis EDE 2011
-
Jaqueline Godoy Mesquita
-
Measure functional differential equations and impulsive functional dynamic equations on time scales
- Supervisors :
Milan Tvrdý, Slavík Antonín (Charles University, FMPh), Federson Marcia ( ICMC-USP, Sao Carlos, SP, Brazil)
-
-
Defense
03/09/2012, Sao Carlos, Brazil
-
-
-
-
-
Thesis DM 2004
-
Jana Macháčková
-
Kolektivní reflexe v přípravě studentů učitelství 1. stupně v matematice
- Supervisors :
Marie Tichá
-
-
Dizertační práce se věnuje rozvíjení sebereflexe učitelů a studentů učitelství jako jedné z cest, která vede k prohlubování didaktických znalostí obsahu. Nejdříve jsou vymezeny obsahy pojmů, které patří mezi východiska práce (kompetence učitele, didaktické znalosti učitele, reflexe, sebereflexe, kolektivní reflexe). Protože experimenty byly prováděny v prostředí zlomků, ve východiscích práce jsou zmíněny i otázky spojené s interpretacemi a reprezentacemi zlomků a některé příčiny problémů se zlomky. Prvním cílem zkoumání bylo sledovat úroveň reflexí učitelů. Druhým cílem bylo na základě těchto zjištění hledat cesty, které umožní rozvíjení reflexí. Při sledování a rozvíjení reflexí byla jako hlavní metoda používána kolektivní reflexe videozáznamu z hodiny. Současně s tím byly používány i další metody (pozorování, skupinové interview). Analýza materiálů získaných z experimentů (práce studentů, výpovědi studentů, osobní poznámky z průběhu experimentů apod.) vycházela z metody zakotvené teorie. Průběh kolektivních reflexí byl v průběhu výzkumu modifikován, aby se ukázalo, za jakých podmínek při provádění kolektivní reflexe videozáznamu se u jejich účastníků objeví jevy, ukazující na vědomou sebereflexi vlastní činnosti...
-
-
Defense
25/06/2012, UK Pedagogická fakulta, Praha
-
-
-
-
-
Thesis MLTCS 2009
-
Michal Doucha
-
Forcing, deskriptivní teorie množin, analýza
- Supervisors :
Jindřich Zapletal
-
-
Defense
27/06/2013, Prague, MFF UK
-
-
-
-
-
Thesis AA 2007
-
Martin Doubek
-
Operadic resolutions of diagrams
- Supervisors :
Martin Markl
-
-
We study resolutions of the operad AC describing diagrams of a given shape C in the category of algebras of a given type A. We prove the conjecture by Markl on constructing the resolution out of resolutions of A and C, at least in a certain restricted setting. For associative algebras, we make explicit the cohomology theory for the diagrams and recover Gerstenhaber-Schack diagram cohomology. In general, we show that the operadic cohomology is Ext in the category of operadic modules.
-
-
Defense
25/10/2011, MFF UK Praha
-
-
-
-
-
Thesis CMMA 2012
-
Tomáš Málek
-
General Relativity in Higher Dimensions
- Supervisors :
Vojtěch Pravda
-
-
arXiv:1204.0291
In the first part of this thesis, Kerr–Schild metrics and extended Kerr– Schild metrics are analyzed in the context of higher dimensional general relativ- ity. Employing the higher dimensional generalizations of the Newman–Penrose formalism and the algebraic classification of spacetimes based on the existence and multiplicity of Weyl aligned null directions, we establish various geometri- cal properties of the Kerr–Schild congruences, determine compatible Weyl types and in the expanding case discuss the presence of curvature singularities. We also present known exact solutions admitting these Kerr–Schild forms and con- struct some new ones using the Brinkmann warp product. In the second part, the influence of quantum corrections consisting of quadratic curvature invariants on the Einstein–Hilbert action is considered and exact vacuum solutions of these quadratic gravities are studied in arbitrary dimension. We investigate classes of Einstein spacetimes and spacetimes with a null radiation term in the Ricci tensor satisfying the vacuum field equations of quadratic gravity and provide examples of these metrics.
-
-
Defense
16/03/2012, MFF UK Praha
-
-
-
-
-
Thesis CMMA 2011
-
Pavel Kůs
-
Automatic hp-Adaptivity on Meshes with Arbitrary-Level Hanging Nodes in 3D
- Supervisors :
Tomáš Vejchodský
-
-
Defense
21/07/2010, Praha
-
-
-
-
-
Thesis MLTCS 2011
-
Tomáš Ebenlendr
-
Combinatorial algorithms for online problems: Semi-online scheduling on related machines
- Supervisors :
Jiří Sgall
-
-
Combinatorial algorithms for online problems: Semi-online scheduling on related machines Abstract of doctoral thesis We construct a framework that gives optimal algorithms for a whole class of scheduling problems. This class covers the most studied semi-online variants of preemptive online scheduling on uniformly related machines with the objective to minimize makespan. The algorithms from our framework are deterministic, yet they are optimal even among all randomized algorithms. In addition, they are optimal for any fixed combination of speeds of the machines, and thus our results subsume all the previous work on various special cases. We provide new lower bound of 2.112 for the original online problem. The (deterministic) upper bound is e ≈ 2.718 as there was known e-competitive randomized algorithm before. Our framework applies to all semi-online variants which are based on some knowledge about the input sequence. I.e., they are restrictions of the set of valid inputs. We use our framework to study restrictions that were studied before, and we derive some new bounds. Namely we study known sum of processing times, known maximal processing time, sorted (decreasing) jobs, tightly grouped processing times, approximately known optimal makespan and few combinations. Based on the analysis of this algorithm, we derive some global relations between various semi-online restrictions. The framework uses linear programs to compute the optimal competitive...
-
-
Defense
27/06/2011, MFF UK Praha
-
-
-
-
-
Thesis EDE 2011
-
Jan Březina
-
Mathematical theory of flows of compressible fluids
- Supervisors :
Eduard Feireisl
-
-
Defense
30/04/2013
-
-
-
Thesis EDE 2004
-
Lukáš Poul
-
Mathematical analysis in thermodynamics of fluids
- Supervisors :
Eduard Feireisl
-
-
Defense
29/09/2008, Prague
-
