Hledat
Zobrazují se záznamy 1-10 z 84
Automatická konstrukce modelů
Automated model building
Diplomová práce (OBHÁJENO)
Vedoucí práce: Stanovský, David
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci implementujeme metodu MACE pro hledání konečných modelů v klasické logice prvního řádu bez sort. Kromě známých modifikací metody MACE jsou popsány a implementovány i úplně nové modifikace, například: odzplošťování, ...
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: ...
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: ...
Prostorová ekonometrie
Spatial econometrics
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pawlas, Zbyněk
Datum publikování: 2015
Datum obhajoby: 15. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá modely vhodnými k popisu prostorových dat. K tomuto účelu jsou použita náhodná pole s konečnou indexovou množinou, na které je definována relace sousedství, pomocí níž se zavádí matice prostorových vah ...
This thesis is devoted to the models that are suitable for modelling spatial data. For this purpose, random fields with finite index set are used. Based on the neighbourhood relationship a spatial weight matrix is introduced ...
This thesis is devoted to the models that are suitable for modelling spatial data. For this purpose, random fields with finite index set are used. Based on the neighbourhood relationship a spatial weight matrix is introduced ...
Modely časových řad s exogenními proměnnými a jejich aplikace na ekonomická data
Time series models with exogenous variables and their application to economical data
Diplomová práce (OBHÁJENO)
Vedoucí práce: Zichová, Jitka
Datum publikování: 2015
Datum obhajoby: 05. 02. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce pojednává o analýze vícerozměrných finančních a ekonomických dat. V první části je vyložena teorie mnohorozměrných časových řad a ARMA modelu. Druhá část se věnuje modelům s exogenními proměnnými, konkrétně ...
This thesis deals with analyzing multivariate financial and economical data. The first section describes the theory of multivariate time series and multivariate ARMA models. The second part deals with some models with ...
This thesis deals with analyzing multivariate financial and economical data. The first section describes the theory of multivariate time series and multivariate ARMA models. The second part deals with some models with ...
Zhášení tripletních stavů chlorofylů karotenoidy v tylakoidních membránách
Quenching of chlorophyll triplet states by carotenoids in thylakoid membranes
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pšenčík, Jakub
Datum publikování: 2015
Datum obhajoby: 14. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Mezi jeden z nejdůležitějších biologických procesů, zajímavých i z fyzikálního hlediska, patří fotosyntéza. Fotosyntetický aparát musí být chráněn před vznikem reaktivního singletního kyslíku a tuto funkci zajišt'ují ...
Photosynthesis is one of the most important biological processes. The photosynthetic apparatus is protected against formation of reactive singlet oxygen by carotenoids. In this work, thylakoid membranes from spinach were ...
Photosynthesis is one of the most important biological processes. The photosynthetic apparatus is protected against formation of reactive singlet oxygen by carotenoids. In this work, thylakoid membranes from spinach were ...
Férovost didaktických testů a jejich položek
Test and Item Fairness
Diplomová práce (OBHÁJENO)
Vedoucí práce: Martinková, Patrícia
Datum publikování: 2015
Datum obhajoby: 26. 01. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Panelová data a detekce změn
Panel data and change-point problem
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hušková, Marie
Datum publikování: 2015
Datum obhajoby: 08. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Počátky teorie pravděpodobnosti
The beginnings of probability theory
Diplomová práce (NEOBHÁJENO)
Vedoucí práce: Staněk, Jakub
Datum publikování: 2015
Datum obhajoby: 15. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem této diplomové práce je shrnutí historického vývoje základních myšlenek teorie pravděpodobnosti spolu s jejich vysvětlením. Popisuje rané systematické úvahy, vznik klasické Laplaceovy, geometrické a statistické ...
The purpose of this thesis is to give a summary of historical development and explain fundamentals of the probability theory. Early systematic thoughts, emergence of classical Laplace, geometric and statistical definition ...
The purpose of this thesis is to give a summary of historical development and explain fundamentals of the probability theory. Early systematic thoughts, emergence of classical Laplace, geometric and statistical definition ...
Studium tvrdých procesů ve srážkách těžkých iontů na detektoru ATLAS
Study of hard processes in heavy ion collisions at ATLAS
Diplomová práce (OBHÁJENO)
Vedoucí práce: Spousta, Martin
Datum publikování: 2015
Datum obhajoby: 03. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Bola študovaná produkcia jetov v zrážkach jadier olova pri 'ažiskovej energii na jeden nukleón 2,76 TeV použitím detektoru ATLAS na urých©ovači LHC. Predpokladá sa, že in- terakcie partónov s ve©kou priečnou hybnos'ou s ...
Jet production in PbPb collisions at a per-nucleon center-of-mass energy of 2.76 TeV has been studied using the ATLAS detector at the LHC. Interactions between the high- pT partons and the hot, dense medium, produced in ...
Jet production in PbPb collisions at a per-nucleon center-of-mass energy of 2.76 TeV has been studied using the ATLAS detector at the LHC. Interactions between the high- pT partons and the hot, dense medium, produced in ...
Rozložitelnost grafů na souvislé podgrafy
Decompositions of graphs into connected subgraphs
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2015
Datum obhajoby: 15. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V roce 2003 prezentovali J. Barát a C. Thomassen na konferenci Eurocomb definici a základní výsledky z oblasti hranové rozložitelnosti grafů. Rozložitelností rozumíme možnost pokrytí množiny hran grafu disjunktními souvislými ...
In 2003 at Eurocomb conference J. Barát and C. Thomassen presented definition and basic results in edge partitioning of graphs. Edge partitioning is basically possibility to cover edges of the graph using connected subgraphs ...
In 2003 at Eurocomb conference J. Barát and C. Thomassen presented definition and basic results in edge partitioning of graphs. Edge partitioning is basically possibility to cover edges of the graph using connected subgraphs ...
Molekulární simulace interakcí nanočástic CdS s montmorillonitem
Molecular simulations of interactions among CdS nanoparticles and montmorillonite
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pospíšil, Miroslav
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá studiem struktury nanočástic sulfidu kademnatého (CdS) stabilizovaného pomocí povrchově aktivní látky - cetyltrimetylamonného kationtu CTA+ a dále interakcí mezi nanočásticemi CdS a povrchem jílového ...
This thesis investigate the structure of cadmium sulfide (CdS) nanoparticles and its stabilization by a surfactant - cetyltrimethylamonnium cation CTA+ and further describe interactions among stabilized CdS nanoparticles ...
This thesis investigate the structure of cadmium sulfide (CdS) nanoparticles and its stabilization by a surfactant - cetyltrimethylamonnium cation CTA+ and further describe interactions among stabilized CdS nanoparticles ...