Hledat
Zobrazují se záznamy 11-20 z 48
XPath,XSLT, XQuery: Formal Approach
XPath,XSLT, XQuery: Formal Approach
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2006
Datum obhajoby: 21. 04. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Performance in Software Development Cycle: Regression Benchmarking
Performance in Software Development Cycle: Regression Benchmarking
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2006
Datum obhajoby: 19. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The development cycle of large software is necessarily prone to introducing software errors that are hard to find and fix. Automated regular testing (regression testing) is a popular method used to reduce the cost of finding ...
Fighting the State Explosion Problem in Component Protocols
Fighting the State Explosion Problem in Component Protocols
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2007
Datum obhajoby: 24. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In complex software component systems, it is desirable to verify the correctness of the composition before deployment. To achieve a trustworthy composition, the behavior of components is formally described and the composition ...
Indexing Arbitrary Similarity Models
Indexovanie podobnostných modelov
Dizertační práce (OBHÁJENO)
Vedoucí práce: Skopal, Tomáš
Datum publikování: 2014
Datum obhajoby: 22. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The performance of similarity search in the unstructured databases largely depends on the employed similarity model. The properties of metric space model enable indexing the data with metric access methods efficiently. But ...
Charakteristika výkonu podobnostného vyhľadávania v neštruktúrovaných databázach záleží od použitého podobnostného modelu. Vlastnosti metrických priestorov nám umožňujú efektívne indexovať dáta pomocou tzv. metrických ...
Charakteristika výkonu podobnostného vyhľadávania v neštruktúrovaných databázach záleží od použitého podobnostného modelu. Vlastnosti metrických priestorov nám umožňujú efektívne indexovať dáta pomocou tzv. metrických ...
XML Formats Evolution and Integration
Evoluce a integrace XML formátů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Nečaský, Martin
Datum publikování: 2013
Datum obhajoby: 24. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In the past decade XML became a wide-spread information exchange data model. Many XML users have many XML formats described by XML schemas. To ease the management of multiple XML schemas modeling similar reality, the ...
V poslední dekádě se XML stalo široce rozšířeným datovým modelem pro výměnu dat. Spousta uživatelů XML má spoustu XML formátů popsaných pomocí XML schémat. Pro usnadnění správy několika XML schémat modelujících podobnou ...
V poslední dekádě se XML stalo široce rozšířeným datovým modelem pro výměnu dat. Spousta uživatelů XML má spoustu XML formátů popsaných pomocí XML schémat. Pro usnadnění správy několika XML schémat modelujících podobnou ...
Conceptual Modeling for XML
Konceptuální Modelování XML
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2008
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: XML is a popular format for data representation. As the amount of data represented in XML grows, it is necessary to concentrate on the process of modeling XML schemes of the XML representations. However, modeling the XML ...
Similarity Search in Protein Structure Databases
Podobnostní vyhledávání v databázích proteinových struktur
Dizertační práce (OBHÁJENO)
Vedoucí práce: Skopal, Tomáš
Datum publikování: 2012
Datum obhajoby: 24. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Proteins are one of the most important biopolymers having a wide range of functions in living organisms. Their huge functional diversity is achieved by their ability to fold into various 3D structures. Moreover, it has ...
Proteiny patří mezi nejdůležitějších biopolymery, nebot' v organismu zastáva- jí nejrůznější životně důležité funkce. Jejich funkční rozmanitost je umožněna především jejich velkou strukturní rozmanitostí. Navíc se ukazuje, ...
Proteiny patří mezi nejdůležitějších biopolymery, nebot' v organismu zastáva- jí nejrůznější životně důležité funkce. Jejich funkční rozmanitost je umožněna především jejich velkou strukturní rozmanitostí. Navíc se ukazuje, ...
Evolution and Adaptability of Complex Applications
Evoluce a adaptabilita komplexních aplikací
Dizertační práce (OBHÁJENO)
Vedoucí práce: Holubová, Irena
Datum publikování: 2017
Datum obhajoby: 21. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Evoluce a adaptabilita komplexních ap- likací Abstrakt V současné době se aplikace stávají stále složitějšími, což přináší problémy během jejich vývoje. Změna v jedné části aplikace může netriviálně ovlivnit jiné části ...
Evolution and Adaptability of Complex Applications Abstract In these days the applications become more complex that causes maintenance problems while evolving these applications. A change in one part of the applica- tion ...
Evolution and Adaptability of Complex Applications Abstract In these days the applications become more complex that causes maintenance problems while evolving these applications. A change in one part of the applica- tion ...
Principles of Kind Parsing
Principles of Kind Parsing
Dizertační práce (OBHÁJENO)
Vedoucí práce: Král, Jaroslav
Datum publikování: 2006
Datum obhajoby: 20. 12. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Hierarchical associative memories
Hierarchical associative memories
Dizertační práce (OBHÁJENO)
Vedoucí práce: Mrázová, Iveta
Datum publikování: 2007
Datum obhajoby: 24. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The progress in information technologies enables applications of artificial neural networks even in areas like navigation and geographical information systems, telecommunications, etc. This kind of problems requires robust ...