Hledat
Zobrazují se záznamy 791-800 z 801
Reasoning in Description Logics
Usuzování v deskriptivní logice
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kučera, Antonín
Datum publikování: 2013
Datum obhajoby: 21. 01. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Reasoning in Description Logics Author: Mgr. Jaromír Malenko Department: Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague Supervisor: ...
Název: Usuzování v deskriptivní logice Autor: Mgr. Jaromír Malenko Pracoviště: Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Školitel: Prof. RNDr. Petr ...
Název: Usuzování v deskriptivní logice Autor: Mgr. Jaromír Malenko Pracoviště: Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Školitel: Prof. RNDr. Petr ...
Improving Accuracy of Software Performance Models on Multicore Platforms with Shared Caches
Vylepšení přesnosti výkonnostních modelů software na vícejádrových platformách se sdílenými cache
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2012
Datum obhajoby: 25. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The context of this work are performance models of software systems, which are used for predicting performance of a system in its design phase. For this purpose, performance models capture the explicit interactions of ...
Kontextem této práce jsou výkonnostní modely softwarových systémů, které slouží pro predikci výkonnosti systému ve fázi jeho návrhu. K tomuto účelu potřebují výkonnostní modely popsat explicitní interakce softwarových ...
Kontextem této práce jsou výkonnostní modely softwarových systémů, které slouží pro predikci výkonnosti systému ve fázi jeho návrhu. K tomuto účelu potřebují výkonnostní modely popsat explicitní interakce softwarových ...
Homogenization of flows of non-Newtonian fluids and strongly nonlinear elliptic systems
Homogenizace toků nenewtonovských tekutin a silně nelineárních eliptických systémů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kaplický, Petr
Datum publikování: 2017
Datum obhajoby: 05. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Teorie homogenizace umožňuje nalézt pro zadaný systém parciálních dife- renciálních rovnic popisující model s komplikovanou vnitřní strukturou systém popisující model bez této struktury, jehož řešení je v jistém smyslu ...
The theory of homogenization allows to find for a given system of partial differential equations governing a model with a very complicated internal struc- ture a system governing a model without this structure, whose ...
The theory of homogenization allows to find for a given system of partial differential equations governing a model with a very complicated internal struc- ture a system governing a model without this structure, whose ...
Verbal Valency in a Cross-Linguistic Perspective
Slovesná valence v srovnávacím pohledu
Dizertační práce (OBHÁJENO)
Vedoucí práce: Lopatková, Markéta
Datum publikování: 2018
Datum obhajoby: 19. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Verbal Valency in a Cross-Linguistic Perspective Jana Šindlerová Abstract In the thesis, we look upon differences in argument structure of verbs considering the Czech language and the English language. In the first part, ...
Early stages of indium growth on the Si (100) surface
Studium růstu nanostruktur kovů na površích Si pomocí STM
Dizertační práce (OBHÁJENO)
Vedoucí práce: Ošťádal, Ivan
Datum publikování: 2011
Datum obhajoby: 20. 09. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Samo-organizované řetízky z atomů kovů III a IV skupiny na povrchu Si(100)-2×1 jsou předmětem výzkumu pro možné aplikace v nanosoučástkách. V této disertační práci pomocí skenovací tunelové mikroskopie (STM) experimentálně ...
Self-assembled chains composed of group III and IV metals on Si(100) are studied for possible applications in nanodevices using Scanning Tunneling Microscopy. In this thesis we experimentally identify the structure of ...
Self-assembled chains composed of group III and IV metals on Si(100) are studied for possible applications in nanodevices using Scanning Tunneling Microscopy. In this thesis we experimentally identify the structure of ...
The ground-state properties of new (RE, U) nTIn3n+2 intermetallic compounds
Studium základního stavu nových intermetalických sloučenin (RE, U) nTIn3n+2
Dizertační práce (OBHÁJENO)
Vedoucí práce: Custers, Jeroen
Datum publikování: 2015
Datum obhajoby: 07. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Vlastnosti základního stavu sloučenin s f elektrony jsou charakterizovány silnými interakcemi vedoucími k mnoha exotickým jevům. V této práci jsme se zabývali sloučeninami krystalizujícími v tetragonální soustavě typu ...
The ground-state properties of f-electron compounds are characterized by strong interactions which lead to a plethora of exotic states. In this thesis we focused on compounds crystallizing in the tetragonal HonCoGa3n+2-type ...
The ground-state properties of f-electron compounds are characterized by strong interactions which lead to a plethora of exotic states. In this thesis we focused on compounds crystallizing in the tetragonal HonCoGa3n+2-type ...
Adjoint-Driven Importance Sampling in Light Transport Simulation
Vzorkování důležitosti v simulaci transportu světla založené na adjungovaném řešení
Dizertační práce (OBHÁJENO)
Vedoucí práce: Křivánek, Jaroslav
Datum publikování: 2017
Datum obhajoby: 26. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Adjoint-Driven Importance Sampling in Light Transport Simulation Author: RNDr. Jiří Vorba Department: Department of Software and Computer Science Education Supervisor: doc. Ing. Jaroslav Křivánek, Ph.D., Department ...
Název: Vzorkování důležitosti v simulaci transportu světla založené na adjun- govaném řešení Autor: RNDr. Jiří Vorba Katedra: Katedra softwaru a výuky informatiky Vedoucí: doc. Ing. Jaroslav Křivánek, Ph.D., Katedra softwaru ...
Název: Vzorkování důležitosti v simulaci transportu světla založené na adjun- govaném řešení Autor: RNDr. Jiří Vorba Katedra: Katedra softwaru a výuky informatiky Vedoucí: doc. Ing. Jaroslav Křivánek, Ph.D., Katedra softwaru ...
Machine Translation Using Syntactic Analysis
Strojový překlad s využitím syntaktické analýzy
Dizertační práce (OBHÁJENO)
Vedoucí práce: Žabokrtský, Zdeněk
Datum publikování: 2018
Datum obhajoby: 19. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Strojový překlad s využitím syntaktické analýzy Martin Popel Tato práce popisuje zlepšení anglicko-českého a česko-anglického strojo- vého překladu pomocí metod, které lze použít i na další jazyky. V první části je popsáno ...
Machine Translation Using Syntactic Analysis Martin Popel This thesis describes our improvement of machine translation (MT), with a special focus on the English-Czech language pair, but using techniques ap- plicable also ...
Machine Translation Using Syntactic Analysis Martin Popel This thesis describes our improvement of machine translation (MT), with a special focus on the English-Czech language pair, but using techniques ap- plicable also ...
Model-Driven Development of Software-Intensive Cyber-Physical Systems
Modelem řízený vývoj softwarových cyber-physical systémů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Hnětynka, Petr
Datum publikování: 2015
Datum obhajoby: 22. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Software-Intensive Cyber-Physical Systems (siCPS) are modular, open-ended, networked, large-scale embedded Information and Communication Technology (ICT) systems that are increasingly depending on software. They need to ...
Softwarové cyber-physical systémy (siCPS) jsou modulární, otevřené, propojené a rozsáhlé ICT systémy, které stále více závisejí na softwaru. Tyto systémy musejí být spolehlivý a zároveň schopné se adaptovat na změny v ...
Softwarové cyber-physical systémy (siCPS) jsou modulární, otevřené, propojené a rozsáhlé ICT systémy, které stále více závisejí na softwaru. Tyto systémy musejí být spolehlivý a zároveň schopné se adaptovat na změny v ...
Function of Magnesium Ions in the Formation of Biologically-Active Nucleic Acids Structures
Úloha hořečnatých iontů při formování biologicky aktivních struktur nukleových kyselin
Dizertační práce (OBHÁJENO)
Vedoucí práce: Štěpánek, Josef
Datum publikování: 2011
Datum obhajoby: 09. 03. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: ESPINOZA HERRERA S.J. - DOCTORAL THESIS - FUNCTION OF MAGNESIUM IONS IN THE FORMATION OF BIOLOGICALLY-ACTIVE NUCLEIC ACIDS STRUCTURES ____________________________________________________________________ ABSTRACT Interaction ...
ESPINOZA HERRERA S.J. -DOCTORAL THESIS - FUNCTION OF MAGNESIUM IONS IN THE FORMATION OF BIOLOGICALLY-ACTIVE NUCLEIC ACIDS STRUCTURES ____________________________________________________________________ ABSTRAKT Byla studována ...
ESPINOZA HERRERA S.J. -DOCTORAL THESIS - FUNCTION OF MAGNESIUM IONS IN THE FORMATION OF BIOLOGICALLY-ACTIVE NUCLEIC ACIDS STRUCTURES ____________________________________________________________________ ABSTRAKT Byla studována ...