Hledat
Zobrazují se záznamy 21-30 z 446
Distributed Behavior Protocol Checker
Distributed Behavior Protocol Checker
Rigorózní práce (UZNÁNO)
Datum publikování: 2011
Datum obhajoby: 02. 04. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nárůst dostupné výpočetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. ...
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the ...
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the ...
Analýza zotavování membránového potenciálu kvasinek za stresových podmínek vyvolaných protonoforem CCCP
The analysis of membrane potential recovery in yeast under CCCP-induced stress
Rigorózní práce (UZNÁNO)
Vedoucí práce: Plášek, Jaromír
Datum publikování: 2018
Datum obhajoby: 09. 05. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Diplomová práce se zabývá studiem odezvy vnitrobuněčného pH kvasinkových buněk na různá vnější prostředí, především ve vztahu k protonoforu karbonylkyanidu m-chlorophenylhydrazonu, CCCP. K měření vnitrobuněčného pH ...
The master's thesis is focused on the study of response of the intracellular pH of the yeast cells on various external environments, primarily in a relation to the protonophore carbonyl cyanide m-chlorophenylhydrazone, ...
The master's thesis is focused on the study of response of the intracellular pH of the yeast cells on various external environments, primarily in a relation to the protonophore carbonyl cyanide m-chlorophenylhydrazone, ...
Hydridy intermetalických sloučenin uranu
Hydrides of uranium intermetallics
Rigorózní práce (UZNÁNO)
Vedoucí práce: Havela, Ladislav
Datum publikování: 2010
Datum obhajoby: 29. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: We have been studying variations of magnetic properties as a function of hydrogen concentration for large families of UTX compounds, which prove that doping of U intermetallics by interstitial hydrogen leads to stronger ...
Studovali jsme změny magnetických vlastností vlivem hydrogenace u UTX sloučenin, které dokazují, že dopování U intermetalik intersticiálním vodíkem vede ke zvýraznění magnetických vlastností. Naopak jakékoli ředění uranové ...
Studovali jsme změny magnetických vlastností vlivem hydrogenace u UTX sloučenin, které dokazují, že dopování U intermetalik intersticiálním vodíkem vede ke zvýraznění magnetických vlastností. Naopak jakékoli ředění uranové ...
Vliv vnějších polí na elektrické pole a fotoproud detektorů CdTe
Influence of external fields on electric field and photocurrent in CdTe detectors
Rigorózní práce (UZNÁNO)
Vedoucí práce: Franc, Jan
Datum publikování: 2017
Datum obhajoby: 15. 03. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá studiem polovodičových detektorů z materiálů CdTe a CdZnTe pracujících za vysokých toků záření. Experimentálně byl studován vliv vysokých toků Rentgenového a optického záření na tzv. polarizaci detektoru. ...
This thesis is focused on a study of CdTe and CdZnTe semiconductor detectors working under high flux of radiation. We studied experimentally an influence of high flux of X-rays and optical radiation on polarization of the ...
This thesis is focused on a study of CdTe and CdZnTe semiconductor detectors working under high flux of radiation. We studied experimentally an influence of high flux of X-rays and optical radiation on polarization of the ...
Magnetické vlastnosti nanokompozitních materiálů
Magnetic ptoperties of the nanocomposite materials
Rigorózní práce (UZNÁNO)
Datum publikování: 2010
Datum obhajoby: 30. 11. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Ing. Mgr. Aleš Hendrych Palacky University, Olomouc, December 2009 Supervisor: Doc. RNDr. Roman Kubínek, CSc. Magnetic properties of the nanocomposite materials An enormous advancement in magnetic nanomaterial research ...
Ing. Mgr. Aleš Hendrych Univerzita Palackého, Olomouc, Prosinec 2009 Školitel: Doc. RNDr. Roman Kubínek, CSc. Magnetické vlastnosti nanokompozitních materiálů Neustále zdokonalované výrobní postupy a technologie zejména v ...
Ing. Mgr. Aleš Hendrych Univerzita Palackého, Olomouc, Prosinec 2009 Školitel: Doc. RNDr. Roman Kubínek, CSc. Magnetické vlastnosti nanokompozitních materiálů Neustále zdokonalované výrobní postupy a technologie zejména v ...
Moderní metody výuky Využití výpočetní techniky pro výuku na střední škole
Modern methods of teaching The use of computer technology for teaching in high school
Rigorózní práce (UZNÁNO)
Datum publikování: 2006
Datum obhajoby: 30. 03. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Stavy na algebrách
States on algebras
Rigorózní práce (UZNÁNO)
Datum publikování: 2011
Datum obhajoby: 03. 11. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Stavy na algebrách Abstrakt: Stavy jsou speciálními případy zobrazení do množiny reálných čísel. V práci představíme stavy na uspořádaných abelovských grupách, MV-algebrách, GMV-algebrách a komutativních DRl-mo- noidech. ...
States on algebras Abstract: States are defined as special cases of a mapping into a set of real numbers. In the thesis, we intro- duce states on ordered Abelian groups, many valued algebras (MV-algebras), generalized many ...
States on algebras Abstract: States are defined as special cases of a mapping into a set of real numbers. In the thesis, we intro- duce states on ordered Abelian groups, many valued algebras (MV-algebras), generalized many ...
Fyzikální korespondenční seminář na MFF UK - reflexe a rozvoj
Correspondence physics competition of MFF UK - its feedback and development
Rigorózní práce (UZNÁNO)
Vedoucí práce: Žák, Vojtěch
Datum publikování: 2017
Datum obhajoby: 30. 03. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Fyzikální korespondenční seminář (FYKOS) je mimoškolní fyzikální vzdělávací aktivitou, kterou organizují vysokoškoláci pro středoškoláky. FYKOS je pořádán Matematicko-fyzikální fakultou Univerzity Karlovy v Praze (MFF UK). ...
Correspondence physics competition of MFF UK - FYKOS - is extracurricular physical educational activity organized by university students for upper secondary school students. FYKOS is organized by Faculty of Mathematics and ...
Correspondence physics competition of MFF UK - FYKOS - is extracurricular physical educational activity organized by university students for upper secondary school students. FYKOS is organized by Faculty of Mathematics and ...
Regresní modely pro vícerozměrná intervalově cenzorovaná data s flexibilními předpoklady o rozdělení
Accelerated failure tima models for multivariate interval-censored data with flexible distributional assumptions
Rigorózní práce (UZNÁNO)
Datum publikování: 2008
Datum obhajoby: 16. 07. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Artin Algebras and Infinitely Generated Tilting Modules
Artin Algebras and Infinitely Generated Tilting Modules
Rigorózní práce (UZNÁNO)
Datum publikování: 2008
Datum obhajoby: 22. 04. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen