Hledat
Zobrazují se záznamy 8391-8400 z 10795
GIMPLE Model Checker
GIMPLE Model Checker
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šerý, Ondřej
Datum publikování: 2011
Datum obhajoby: 31. 01. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: GIMPLE Model Checker Autor: Ondrej Krč-Jediný Katedra (ústav): Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Ondřej Šerý Ph.D. e-mail vedoucího: Ondrej.Sery@mff.cuni.cz Abstrakt: ...
Title: GIMPLE Model Checker Author: Ondrej Krč-Jediný Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Ondřej Šerý Ph.D. Supervisor's e-mail address: Ondrej.Sery@mff.cuni.cz The goal of the ...
Title: GIMPLE Model Checker Author: Ondrej Krč-Jediný Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Ondřej Šerý Ph.D. Supervisor's e-mail address: Ondrej.Sery@mff.cuni.cz The goal of the ...
Dynamic Stress Field of Kinematic Earthquake Source Models
Dynamic Stress Field of Kinematic Earthquake Source Models
Dizertační práce (OBHÁJENO)
Vedoucí práce: Zahradník, Jiří
Datum publikování: 2007
Datum obhajoby: 12. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Aplikace Groebnerových bází
Applications of Groebner bases
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Příhoda, Pavel
Datum publikování: 2020
Datum obhajoby: 08. 09. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Groebnerovy báze lze využít jako nástroj algebraické geometrie s aplikací v dokazo- vání geometrických tvrzení. V této práci představujeme metodu automatického dokazo- vání geometrických tvrzení ve dvou variantách, nejprve ...
Groebner bases are useful tool of algebraic geometry for geometry proving. In the thesis we are presenting an automatic geometric theorem proving method in two vari- ants. Firstly, a variant based on the book D. Cox, J. ...
Groebner bases are useful tool of algebraic geometry for geometry proving. In the thesis we are presenting an automatic geometric theorem proving method in two vari- ants. Firstly, a variant based on the book D. Cox, J. ...
Nová metoda charakterizace ultrakrátkých optických pulzů
Novel technique for characterization of ultrashort optical pulses
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Kozák, Martin
Datum publikování: 2018
Datum obhajoby: 13. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Ultrashort laser pulses are nowadays widely used in both the basic and applied reseach as well as in a wide range of applications. Application of laser pulses requires their complete characterization from the point of view ...
Ultrarychlé laserové pulzy jsou v současné době široce využívané v zá- kladním a aplikovaném výzkumu i v praxi. Využití laserových pulzů vyžaduje jejich charakterizaci z hlediska časového vývoje amplitudy pole a frekvence ...
Ultrarychlé laserové pulzy jsou v současné době široce využívané v zá- kladním a aplikovaném výzkumu i v praxi. Využití laserových pulzů vyžaduje jejich charakterizaci z hlediska časového vývoje amplitudy pole a frekvence ...
Lokální-globální princip pro kvadratické formy
Local-global principle for quadratic forms
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kala, Vítězslav
Datum publikování: 2020
Datum obhajoby: 24. 09. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Local-global principle for quadratic forms This work will be focused on the problems of representation and equivalence for quadratic forms. We will prove the fundamental Hasse-Minkowski theorem, which describes the rational ...
Lokální-globální princip pro kvadratické formy Budeme se zabývat problémem ekvivalence kvadratických forem a reprezen- tací prvků formou. Pro racionální ekvivalenci a reprezentaci existuje klasická Hasse-Minkowského věta, ...
Lokální-globální princip pro kvadratické formy Budeme se zabývat problémem ekvivalence kvadratických forem a reprezen- tací prvků formou. Pro racionální ekvivalenci a reprezentaci existuje klasická Hasse-Minkowského věta, ...
Extension of RDF data analysis and visualization framework architecture and visualization plugins
Rozšíření architektury frameworku pro analýzu a vizualizaci RDF dat a vizualizačních pluginů
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Klímek, Jakub
Datum publikování: 2017
Datum obhajoby: 20. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Toto rozšíření frameworku Payola je zaměřeno na uživatele a usnadnění práce s daty. Payola je webová aplikace, která umožnuje prohlížet Linked Data pomocí zobrazovacích pluginů. Data mohou být zobrazena jako grafové ...
This extension of Payola framework focuses on user experience. Payola is a web application which allows to visualize Linked Data via its visual plugins. The data can be displayed as graphs, tables, etc. Payola also allows ...
This extension of Payola framework focuses on user experience. Payola is a web application which allows to visualize Linked Data via its visual plugins. The data can be displayed as graphs, tables, etc. Payola also allows ...
Teorie Razborova a Rudiche a omezená aritmetika
Razborov-Rudich theory and bounded arithmetic
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2009
Datum obhajoby: 29. 06. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Deniable encryption
Popiratelné šifrování
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Jiří
Datum publikování: 2012
Datum obhajoby: 20. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V práci studujeme popiratelné šifrování, které navrhli Canetti et al. (CRYP- TO 1997). Běžná šifrovací schémata zaručují dobrou úroveň bezpečnosti, avšak pokud může útočník přinutit odesílatele a/nebo příjemce zprávy k ...
In the thesis we study deniable encryption, as proposed by Canetti et al. (CRYPTO 1997). Standard encryption schemes guarantee good security level unless the adversary is able to force the sender and/or receiver to reveal ...
In the thesis we study deniable encryption, as proposed by Canetti et al. (CRYPTO 1997). Standard encryption schemes guarantee good security level unless the adversary is able to force the sender and/or receiver to reveal ...
Virtual honeynet with simulated user activity
Virtuální "honeynet" se simulovanou uživatelskou aktivito
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kaňkovský, Pavel
Datum publikování: 2009
Datum obhajoby: 02. 02. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem práce je navrhnout a implementovat "honeypot" (past na útočníky), který bude umět simulovat uživatelskou a jinou obvyklou systémovou aktivitu dostatečně přesvedčivým způsobem tak, aby ztížil rozpoznání honeypotu od ...
The goal of the work is to design and implement a honeypot (a trap for attackers) that will be able to simulate working user and other usual system activity in a convincing way so as to make it difficult to distinguish a ...
The goal of the work is to design and implement a honeypot (a trap for attackers) that will be able to simulate working user and other usual system activity in a convincing way so as to make it difficult to distinguish a ...
Empirické modelování polohy zemské magnetopauzy
Empirical modeling of the location of the Earth's magnetopause
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Němec, František
Datum publikování: 2018
Datum obhajoby: 27. 06. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato bakalářská práce se zaměřuje na navržení možného vylepšení stávajících empirických modelů polohy zemské magnetopauzy, resp. na identifikaci parametrů, které v nich nejsou řádně (či vůbec) zahrnuty. Magnetopauza je ...
This bachelor thesis focuses on suggesting possible improvements of the existing models of the magnetopause stand-off distance, i.e., on identification of the parameters which are not properly (or not at all) included. ...
This bachelor thesis focuses on suggesting possible improvements of the existing models of the magnetopause stand-off distance, i.e., on identification of the parameters which are not properly (or not at all) included. ...