Hledat
Zobrazují se záznamy 51-60 z 1376
Automated verification of software
Automatická veri kace software
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2010
Datum obhajoby: 24. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Despite the research e ort being invested into the eld of automated veri cation of software, its adoption in industry is still rather slow. Several reasons for this hesitation may be identi ed. The thesis focuses on the ...
Přes výzkumné usilí věnované automatické veri kaci software, její pronikání do softwarového průmyslu je stále spíše pomalé. Toto váhání mělo několik důvodů 1) složitost posouzení jednotlivých nástrojů, 2) složitost použití ...
Přes výzkumné usilí věnované automatické veri kaci software, její pronikání do softwarového průmyslu je stále spíše pomalé. Toto váhání mělo několik důvodů 1) složitost posouzení jednotlivých nástrojů, 2) složitost použití ...
Elektronické a adsorpční vlastnosti modelových katalyzátorů s obsahem céru
Electronics and adsorption properties of model catalytic systems contains cerium
Dizertační práce (OBHÁJENO)
Vedoucí práce: Veltruská, Kateřina
Datum publikování: 2014
Datum obhajoby: 30. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Elektronické a adsorpční vlastnosti modelových katalyzátorů s obsahem céru Autor: Miloš Cabala Katedra: Katedra fyziky povrchů a plazmatu Vedoucí práce: RNDr. Kateřina Veltruská, CSc., Katedra fyziky povrchů ...
Title: Electronics and adsorption properties of model catalytic systems contains cerium Author: Miloš Cabala Department: Department of Surface and Plasma Science, Supervisor: RNDr. Kateřina Veltruská, Department of Surface ...
Title: Electronics and adsorption properties of model catalytic systems contains cerium Author: Miloš Cabala Department: Department of Surface and Plasma Science, Supervisor: RNDr. Kateřina Veltruská, Department of Surface ...
Study of protein structure and dynamics by means of optical spectroscopy
Studium struktury a dynamiky proteinů pomocí optické spektroskopie
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kopecký, Vladimír
Datum publikování: 2018
Datum obhajoby: 26. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název: Studium struktury a dynamiky proteinů pomocí optické spektroskopie Autor: Tomáš Pazderka Ústav: Fyzikální ústav UK Vedoucí doktorské práce: RNDr. Vladimír Kopecký, Ph.D., Fyzikální ústav UK Abstrakt: Cílem práce je ...
Title: Study of protein structure and dynamics by means of optical spectroscopy Author: Tomáš Pazderka Institute: Institute of Physics of Charles University Supervisor: RNDr. Vladimír Kopecký, Ph.D., Institute of Physics ...
Title: Study of protein structure and dynamics by means of optical spectroscopy Author: Tomáš Pazderka Institute: Institute of Physics of Charles University Supervisor: RNDr. Vladimír Kopecký, Ph.D., Institute of Physics ...
Behavior Protocols Extensions
Behavior Protocols Extensions
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2007
Datum obhajoby: 24. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Formal verification of behavior of a component application requires a suitable specification language. It is necessary that the specification language captures all important aspects of the future implementation with respect ...
d-Frames as algebraic duals of bitopological spaces
d-Framy jako algebraické duály bitopologických prostorů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pultr, Aleš
Datum publikování: 2018
Datum obhajoby: 20. 02. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Achim Jung a Drew Moshier vyvinuli dualitu pro bitopologické prostory podobnou Stoneově dualitě čímž, mimo jiné, získali praktický nástroj k vyřešení konkrétího problému v teorii stabilně kompaktních prostorů. Tímto také ...
Achim Jung and Drew Moshier developed a Stone-type duality theory for bitopological spaces, amongst others, as a practical tool for solving a particular problem in the theory of stably compact spaces. By doing so they ...
Achim Jung and Drew Moshier developed a Stone-type duality theory for bitopological spaces, amongst others, as a practical tool for solving a particular problem in the theory of stably compact spaces. By doing so they ...
Dynamics of icy satelites with a liquid phase
Modelování dynamiky ledových měsíců s kapalnou fází
Dizertační práce (OBHÁJENO)
Vedoucí práce: Čadek, Ondřej
Datum publikování: 2015
Datum obhajoby: 26. 01. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Dynamics of icy satellites with a liquid phase Author: Klára Kalousová Department: Department of Geophysics Department: Laboratoire de Planétologie et Géodynamique de Nantes Supervisors: Doc. RNDr. Ondřej Čadek, ...
Název práce: Modelování dynamiky ledových měsíců s kapalnou fází Autor: Klára Kalousová Katedra: Katedra geofyziky Katedra Laboratoire de Planétologie et Géodynamique de Nantes Vedoucí disertační práce: Doc. RNDr. Ondřej ...
Název práce: Modelování dynamiky ledových měsíců s kapalnou fází Autor: Klára Kalousová Katedra: Katedra geofyziky Katedra Laboratoire de Planétologie et Géodynamique de Nantes Vedoucí disertační práce: Doc. RNDr. Ondřej ...
Numerical Methods in Discrete Inverse Problems
Numerické metody pro řešení diskrétních inverzních úloh
Dizertační práce (OBHÁJENO)
Vedoucí práce: Hnětynková, Iveta
Datum publikování: 2018
Datum obhajoby: 26. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Numerické metody pro řešení diskrétních inverzních úloh Autor: Marie Kubínová Katedra: Katedra numerické matematiky Vedoucí disertační práce: RNDr. Iveta Hnětynková, Ph.D., Katedra numerické matematiky Abstrakt: ...
Title: Numerical Methods in Discrete Inverse Problems Author: Marie Kubínová Department: Department of Numerical Mathematics Supervisor: RNDr. Iveta Hnětynková, Ph.D., Department of Numerical Mathe- matics Abstract: Inverse ...
Title: Numerical Methods in Discrete Inverse Problems Author: Marie Kubínová Department: Department of Numerical Mathematics Supervisor: RNDr. Iveta Hnětynková, Ph.D., Department of Numerical Mathe- matics Abstract: Inverse ...
Interacting spatial particle systems
Interagující prostorové systémy částic
Dizertační práce (OBHÁJENO)
Vedoucí práce: Beneš, Viktor
Datum publikování: 2014
Datum obhajoby: 01. 12. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 1 Title: Interacting spatial particle systems Author: Markéta Zikmundová Department: Department of Probability and Mathematical Statistics Author's e-mail address: zikmundm@karlin.mff.cuni.cz Supervisor: Prof. RNDr. Viktor ...
1 Titul: Interagující prostorové systémy částic Autor: Markéta Zikmundová Katedra: Katedra prevděpodobnosti a matematické statistiky Autorova e-mailová adresa: zikmundm@karlin.mff.cuni.cz Vedoucí disertační práce: Prof. ...
1 Titul: Interagující prostorové systémy částic Autor: Markéta Zikmundová Katedra: Katedra prevděpodobnosti a matematické statistiky Autorova e-mailová adresa: zikmundm@karlin.mff.cuni.cz Vedoucí disertační práce: Prof. ...
Charge transport in semiconductor nanostructures investigated by time-resolved multi-terahertz spectroscopy
Studium transportu náboje v polovodičových nanostrukturách pomocí časově rozlišené multi-terahertzové spektroskopie
Dizertační práce (OBHÁJENO)
Vedoucí práce: Němec, Hynek
Datum publikování: 2019
Datum obhajoby: 23. 09. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Spektra terahertzové vodivosti obsahují informace o mechanismech transportu náboje na nanometrových vzdálenostech a tak i o míře omezení jejich pohybu. V této disertační práci jsme dosáhli značného pokroku v porozumění ...
Terahertz conductivity spectra contain information on charge transport mechanisms and charge confinement on nanometer distances. In this thesis, we make a substantial progress in understanding of terahertz conductivity in ...
Terahertz conductivity spectra contain information on charge transport mechanisms and charge confinement on nanometer distances. In this thesis, we make a substantial progress in understanding of terahertz conductivity in ...
Geometrie lineárního modelu
Geometry of Linear Model
Dizertační práce (OBHÁJENO)
Vedoucí práce: Hykšová, Magdalena
Datum publikování: 2016
Datum obhajoby: 24. 11. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The advantage of the geometric approach to linear model and its applications is known to many authors. In spite of that, it still remains to be rather unpopular in teaching statistics around the world and is almost missing ...
Cílem práce je ukázat možnosti využití mnohorozměrné geometrie při výkladu lineárního modelu. Východiskem je tzv. "free-coordinate approach", tj. pojetí náhodného vektoru jako geometrického objektu, jehož vlastnosti nezávisí ...
Cílem práce je ukázat možnosti využití mnohorozměrné geometrie při výkladu lineárního modelu. Východiskem je tzv. "free-coordinate approach", tj. pojetí náhodného vektoru jako geometrického objektu, jehož vlastnosti nezávisí ...