Hledat
Zobrazují se záznamy 1-10 z 60
Translating Ruby to PHP
Překladač Ruby do PHP
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bednárek, David
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cíem práce je návrh a implementace překladače podmnožiny jazyka Ruby do PHP. Důraz je přitom kladen na korektní překlad dynamických a funkcionálních prvků jazyka a kompatibilitu s originální implementací jazyka Ruby. Práce ...
The goal of the work is to design and implement a compiler translating a signi cant subset of the Ruby language into PHP, with emphasis on the correct translation of dynamic and functional language elements and compatibility ...
The goal of the work is to design and implement a compiler translating a signi cant subset of the Ruby language into PHP, with emphasis on the correct translation of dynamic and functional language elements and compatibility ...
Implementace Time Addressable Storage
Implementace Time Addressable Storage
Diplomová práce (OBHÁJENO)
Vedoucí práce: Zavoral, Filip
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Přehled technologií používaných k udržování historických verzí dat - zálohování, snapshoty, asynchronní replikace, HSM, Storage Area Network, virtualizace úložných prostor. Popis vrstvy device mapper implementvané v ...
Overview of technologies used to keep historical versions of data-backups, snapshots, asynchronous replication, HSM, Storage Area Network, storage virtualization. Description of the programming layer device mapper implemented ...
Overview of technologies used to keep historical versions of data-backups, snapshots, asynchronous replication, HSM, Storage Area Network, storage virtualization. Description of the programming layer device mapper implemented ...
Analyzer of Windows Kernel Models
Analyzátor modelů jádra OS Window
Diplomová práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Diplomová práce předkládá nástroj pro analýzu modelů ve specifikačním jazyce DeSpec a pro jejich překlad do modelovacího jazyka Zing. Výsledné modely pak mohou být verifikovány model checkerem Zing. Jazyk DeSpec je navržen ...
The thesis introduces a tool for analyzing models written in the specification language DeSpec and translating them into the Zing modeling language. Resulting models can be verified by the Zing model checker. The DeSpec ...
The thesis introduces a tool for analyzing models written in the specification language DeSpec and translating them into the Zing modeling language. Resulting models can be verified by the Zing model checker. The DeSpec ...
Interaktivní vyhodnocování přibližných databázových dotazů
Interactive Answering of Vague Database Queries
Diplomová práce (OBHÁJENO)
Vedoucí práce: Rubač, Tomáš
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This paper deals with the field of alternative interfaces to databases. The focus is set on natural language interfaces. The evolution of solutions and approaches is presented on the international and Czech scope. A primary ...
Práce zkoumá oblast alternativních rozhraní k databázovým systémům. Pozornost je soustředěna na rozhraní podporující dotazování v přirozeném jazyce. Analyzován je dosavadní vývoj řešení problematiky na světovém i domácím ...
Práce zkoumá oblast alternativních rozhraní k databázovým systémům. Pozornost je soustředěna na rozhraní podporující dotazování v přirozeném jazyce. Analyzován je dosavadní vývoj řešení problematiky na světovém i domácím ...
Umělé neuronové sítě a zpětnovazebné učení
Artificial neural networks and reinforcement learning
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mrázová, Iveta
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: When solving complex machine learning tasks, it is often more practical to let the agent find an adequate solution by itself using e.g. reinforcement learning rather than trying to specify a solution in detail. The only ...
Při řešení složitých úloh strojového učení bývá často obtížné specifikovat přesný postup vedoucí k jejich správnému řešení. V praxi proto může být výhodnější využít např. zpětnovazebného učení, které vyžaduje jedinou ...
Při řešení složitých úloh strojového učení bývá často obtížné specifikovat přesný postup vedoucí k jejich správnému řešení. V praxi proto může být výhodnější využít např. zpětnovazebného učení, které vyžaduje jedinou ...
XML Benchmarking
XML Benchmarking
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holubová, Irena
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci studujeme možnosti a omezení benchmarkování XML databází. Práci začneme analýzou stávajících řešení, pokračovat budeme návrhem a implementací našeho generátoru XML benchmarků a zakončíme ji použitím benchmarků ...
In the presented work we study possiblities and limitations of benchmaring XML management systems (XMLMSs). We start by an analysis of existing solutions, continue by proposal and implementation of our XMLMS benchmark ...
In the presented work we study possiblities and limitations of benchmaring XML management systems (XMLMSs). We start by an analysis of existing solutions, continue by proposal and implementation of our XMLMS benchmark ...
Ukládání XML dat popsaných modelem XSEM v databázi
Storing XML data described by XSEM in a database
Diplomová práce (OBHÁJENO)
Vedoucí práce: Nečaský, Martin
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Jazyk XML je v současné době standardem pro výměnu dat mezi informačními systémy. Proto vzrůstají nároky na jeho popis jak na logické, tak i konceptuální úrovni. Jedním z nových konceptuálních modelů pro XML data je model ...
Recently, XML is a standard language used for exchanging data among information systems. Therefore, it is necessary to exactly describe it both on a conceptual and also logical level. One of the conceptual models is XSEM ...
Recently, XML is a standard language used for exchanging data among information systems. Therefore, it is necessary to exactly describe it both on a conceptual and also logical level. One of the conceptual models is XSEM ...
Rozhodovací stromy pro klasifikaci dat
Decision Trees for Classification
Diplomová práce (OBHÁJENO)
Vedoucí práce: Štanclová, Jana
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: There is a lot of approaches for data classification problems resolving. The most significant data classification methods are neural networks, Bayes nets, clustering, linear models, associative rules, etc. This thesis deals ...
K problémům týkajících se klasifikace dat je možné přistupovat různými způsoby. Mezi ty nejvýznamnější patří neuronové sítě, Bayesovské sítě, klastrování, lineární modely, asociační pravidla apod. Tato práce se zabývá ...
K problémům týkajících se klasifikace dat je možné přistupovat různými způsoby. Mezi ty nejvýznamnější patří neuronové sítě, Bayesovské sítě, klastrování, lineární modely, asociační pravidla apod. Tato práce se zabývá ...
Možnosti a metody geolokalizace serverů
The facility of server geolocation
Možnosti a metody geolokalizace serverů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jirovský, Václav
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Táto diplomová práca popisuje metódy geolokalizácie serverov, čo znamená stanovenie fyzickej lokality serveru na základe meraní v rámci siete. Zhrnuje hlavne niekoľko skupín metód, viac či menej použiteľných. Jej súčasťou ...
This diploma thesis outlines the methods of server geolocalization, that is, determining the physical location of servers based on network measurements. Especially, it sums up several groups of methods, all more or less ...
This diploma thesis outlines the methods of server geolocalization, that is, determining the physical location of servers based on network measurements. Especially, it sums up several groups of methods, all more or less ...
Eliptic indexing of multidimensional databases
Eliptické indexování vícerozměrných dat
Diplomová práce (OBHÁJENO)
Vedoucí práce: Skopal, Tomáš
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this work variation of R-tree, which hierarchically partition indexed space using minimum volume covering ellipsoids (MVCE) instead of usually used minimum bounding rectangles, is presented. Main aspects, which determine ...
V tejto práci je diskutovaná variácia R-stromu, ktorá k hierarchickému deleniu indexovaného priestoru využíva namiesto bežne používaných minimálne ohraničujúcich obdlžnikov minimálne ohraničujúce ellipsoidy (MVCE). V úvode ...
V tejto práci je diskutovaná variácia R-stromu, ktorá k hierarchickému deleniu indexovaného priestoru využíva namiesto bežne používaných minimálne ohraničujúcich obdlžnikov minimálne ohraničujúce ellipsoidy (MVCE). V úvode ...