Search
Now showing items 11-20 of 49
XPath,XSLT, XQuery: Formal Approach
XPath,XSLT, XQuery: Formal Approach
dissertation thesis (DEFENDED)
Advisor: Pokorný, Jaroslav
Date Issued: 2006
Date of defense: 21. 04. 2006
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Performance in Software Development Cycle: Regression Benchmarking
Performance in Software Development Cycle: Regression Benchmarking
dissertation thesis (DEFENDED)
Advisor: Tůma, Petr
Date Issued: 2006
Date of defense: 19. 09. 2006
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
dissertation thesis (DEFENDED)
Advisor: Plášil, František
Date Issued: 2007
Date of defense: 24. 09. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
dissertation thesis (DEFENDED)
Advisor: Skopal, Tomáš
Date Issued: 2014
Date of defense: 22. 09. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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ů
dissertation thesis (DEFENDED)
Advisor: Nečaský, Martin
Date Issued: 2013
Date of defense: 24. 09. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
dissertation thesis (DEFENDED)
Advisor: Pokorný, Jaroslav
Date Issued: 2008
Date of defense: 29. 09. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
dissertation thesis (DEFENDED)
Advisor: Skopal, Tomáš
Date Issued: 2012
Date of defense: 24. 09. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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í
dissertation thesis (DEFENDED)
Advisor: Holubová, Irena
Date Issued: 2017
Date of defense: 21. 09. 2017
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
dissertation thesis (DEFENDED)
Advisor: Král, Jaroslav
Date Issued: 2006
Date of defense: 20. 12. 2006
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Hierarchical associative memories
Hierarchical associative memories
dissertation thesis (DEFENDED)
Advisor: Mrázová, Iveta
Date Issued: 2007
Date of defense: 24. 09. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...