Hledat
Zobrazují se záznamy 31-40 z 1249
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: ...
Pseudo-triangulace a jejich využití v aplikované výpočetní geometrii
Pseudo-triangulations and their use in applied computational geometry
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kolingerová, Ivana
Datum publikování: 2007
Datum obhajoby: 21. 05. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci jsou ukázány základní vlastnosti pseudo-triangulace, její užití jako rovinného dělení a implementace algoritmu konstrukce minimální pseudo-triangulace ze vstupní triangulace. Dále je zkoumána možnost využití ...
This thesis shows fundamental properties of pseudo-triangulation, its use as a planar tesselation and implementation of minimal pseudo-triangulation algorithm, which has triangulation as its input. Furthermore, this thesis ...
This thesis shows fundamental properties of pseudo-triangulation, its use as a planar tesselation and implementation of minimal pseudo-triangulation algorithm, which has triangulation as its input. Furthermore, this thesis ...
Stabilní rozdělení a finanční aplikace
Stable distribution and application to finance
Diplomová práce (OBHÁJENO)
Vedoucí práce: Klebanov, Lev
Datum publikování: 2007
Datum obhajoby: 13. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nazev pracc: Stabihn rozdeleni a iinancnf aplikacc Autor: Vadyni Oinclchcnko pravdipodobnosti a mateuiaticke statistiky Vedoucf diplomove praee: Prof. Lev Klebanov, DrSc. e-mail vedonci'ho: Lev.Klebanov@raff.cuni.cz Abstrakt: ...
Title: Stable distributions and application to finance Author: Vadym Omelchenko Department: Department of Probability and Mathematical Statistics Supervisor: Prof. Lev Klebanov, DrSc. Supervisor's e-mail address: ...
Title: Stable distributions and application to finance Author: Vadym Omelchenko Department: Department of Probability and Mathematical Statistics Supervisor: Prof. Lev Klebanov, DrSc. Supervisor's e-mail address: ...
Past pro studium rozptylu světla na prachových zrnech
Dust trap for light scattering study
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pavlů, Jiří
Datum publikování: 2017
Datum obhajoby: 15. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Dust trap for light scattering study Author: Petr Bartoň Department: Department of Surface and Plasma Science Supervisor: doc. RNDr. Jiří Pavlů, Ph.D., Department of Surface and Plasma Science Abstract: Light ...
Název práce: Past pro studium rozptylu světla na prachových zrnech Autor: Petr Bartoň Katedra: Katedra fyziky povrchů a plazmatu Vedoucí diplomové práce: doc. RNDr. Jiří Pavlů, Ph.D., Katedra fyziky povrchů a plazmatu ...
Název práce: Past pro studium rozptylu světla na prachových zrnech Autor: Petr Bartoň Katedra: Katedra fyziky povrchů a plazmatu Vedoucí diplomové práce: doc. RNDr. Jiří Pavlů, Ph.D., Katedra fyziky povrchů a plazmatu ...
Pokusy se vzduchovou dráhou
Experiments with air track
Diplomová práce (OBHÁJENO)
Vedoucí práce: Drozd, Zdeněk
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Extremální body konvexních množin s aplikacemi na SŠ matematiku
Extremal points of convex sets and applications
Diplomová práce (OBHÁJENO)
Vedoucí práce: Lukeš, Jaroslav
Datum publikování: 2009
Datum obhajoby: 01. 06. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Matematická část práce se zabývá jednak konvexní analýzou (různými význačnými větami konvexní analýzy, některé z nich pojednávají o extremálních bodech konvexních množin) a jednak matematickými řešeními problémů spravedlivého ...
The thesis consists of two sections, the theoretical and the practical one. Theoretical part deals with 1. convex analysis, its important theorems including those concerning extreme points of convex sets, and also 2. ...
The thesis consists of two sections, the theoretical and the practical one. Theoretical part deals with 1. convex analysis, its important theorems including those concerning extreme points of convex sets, and also 2. ...
Ultrarychlá laserová spektroskopie polovodičových nanostruktur
Ultrafast laser spectroscopy of semiconductor nanostructures
Diplomová práce (OBHÁJENO)
Vedoucí práce: Trojánek, František
Datum publikování: 2014
Datum obhajoby: 02. 06. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci zkoumáme změny v dynamikách CdSe nanokrystalických filmů způsobené rozdílnými teplotami žíhání a různými podmínkami během růstu těchto filmů. Užíváme metody časově rozslišené laserové spektroskopie jako časově ...
In this work we investigate changes in dynamics of CdSe nanocrystalline films caused by different annealing temperatures and different conditions during films growth. We use methods of time-resolved laser spectroscopy like ...
In this work we investigate changes in dynamics of CdSe nanocrystalline films caused by different annealing temperatures and different conditions during films growth. We use methods of time-resolved laser spectroscopy like ...
Fyzikální procházky iQparkem
Field Trip Activities to IQpark
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kekule, Martina
Datum publikování: 2012
Datum obhajoby: 13. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Fyzikální procházky iQparkem Autor: Blanka Zajacová Katedra / Ústav: Katedra didaktiky fyziky Vedoucí diplomové práce: RNDr. Martina Kekule, PhD., Katedra didaktiky fyziky Abstrakt: Tato diplomová práce se ...
Title: Field Trip Activities to iQpark Author: Blanka Zajacová Department: Department of Physics Education Supervisor: RNDr. Martina Kekule, PhD., Department of Physics Education Abstract: This thesis deals with preparation ...
Title: Field Trip Activities to iQpark Author: Blanka Zajacová Department: Department of Physics Education Supervisor: RNDr. Martina Kekule, PhD., Department of Physics Education Abstract: This thesis deals with preparation ...
Velká data - extrakce klíčových informací pomocí metod matematické statistiky a strojového učení
Big data - extraction of key information combining methods of mathematical statistics and machine learning
Diplomová práce (OBHÁJENO)
Vedoucí práce: Antoch, Jaromír
Datum publikování: 2017
Datum obhajoby: 14. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá metodami zpracování dat, zejména analýzou hlav- ních komponent a její øídkou modi kací (AØHK), která je NP-tì¾kou úlohou. Úlohu AØHK lze pøepsat do regresního kontextu, ve kterém je øídkost typicky ...
This thesis is concerned with data analysis, especially with principal component analysis and its sparse modi cation (SPCA), which is NP-hard-to- solve. SPCA problem can be recast into the regression framework in which ...
This thesis is concerned with data analysis, especially with principal component analysis and its sparse modi cation (SPCA), which is NP-hard-to- solve. SPCA problem can be recast into the regression framework in which ...
Chaotické chování máloparametrických modelů atmosféry
Chaotic behaviour of low-parametric atmospheric models
Diplomová práce (OBHÁJENO)
Vedoucí práce: Raidl, Aleš
Datum publikování: 2006
Datum obhajoby: 23. 05. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen