Hledat
Zobrazují se záznamy 1-10 z 21
Doménově specifické jazyky
Domain Specific Languages
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Dom énově specifi cké jazyky (DSL) jsou jazyky navržen é pro určitou problémovou oblast. Jejich syntaxe a základní primitiva jsou přizpůsobeny t ří dě problém u, kter é mají řeš it. Dí ky této specializaci jsou programy v ...
Domain speci c languages (DSL) are languages designed for one particular area. Their syntax and basic primitives are carefully chosen to t the class of problems they are meant to solve. Because of this specialisation, ...
Domain speci c languages (DSL) are languages designed for one particular area. Their syntax and basic primitives are carefully chosen to t the class of problems they are meant to solve. Because of this specialisation, ...
Metafory a modelování živých systémů
Metaphors and Modelling of Life Systems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Havel, Ivan
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Předložená práce si klade za cíl teoreticky prozkoumat a popsat některé modely živých systémů. V první části se zabývá modely autonomních systémů, jako je například buňka nebo živý tvor jako celek. V této části je představen ...
The aim of this work is to theoretically study and describe some of the models of living systems. In the rst part, we focus on models of autonomous systems, such as the cell or a living being as a whole. In this part, we ...
The aim of this work is to theoretically study and describe some of the models of living systems. In the rst part, we focus on models of autonomous systems, such as the cell or a living being as a whole. In this part, we ...
Globální podmínky s cenou
Global Constraints with Cost
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Plánovací problémy tvoří velice důležiotou aplikační oblast oboru programování s omezujícími podmínkami. Častý způsob reprezentace plánovacích problémů představují temporální sítě, kde uzly reprezentují jednotlivé časové ...
Planning problems are a very important application area for constraint satisfactory problems. Temporal networks are a common way of planning problems representation. In temporal network nodes represent time points and arcs ...
Planning problems are a very important application area for constraint satisfactory problems. Temporal networks are a common way of planning problems representation. In temporal network nodes represent time points and arcs ...
Modely aritmetických a bohatých teorií
Models of arithmetic and rich theories
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2009
Datum obhajoby: 16. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci formulujeme problematiku oboru peanovských součinů (na daném modelu Presburgerovy aritmetiky (Pr)) jakožto potenciálně možného základu pro konstrukci modelů Peanovy aritmetiky (PA). Tato problematika je ...
In the present thesis we study the domain of Peano products (in a given model of the Presburger arithmetic (Pr)) as a potentially possible base for a construction of models of the Peano arithmetic (PA). This issue is a ...
In the present thesis we study the domain of Peano products (in a given model of the Presburger arithmetic (Pr)) as a potentially possible base for a construction of models of the Peano arithmetic (PA). This issue is a ...
Business model teplárenské společnosti
Business model of a central heating plant
Diplomová práce (OBHÁJENO)
Vedoucí práce: Křivánek, Mirko
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Presented thesis deals with the usage of computer simulations in management decision. Modeled environment is selected heat-distribution network, however model and its conclusions can be used for arbitrary heat - distribution ...
Práce je zaměřena na využití počítačových simulací pro manažerské rozhodování. Modelovaným prostředím je vybraná teplárenská soustava, avšak model i závěry mohou být obecně využity pro libovolnou entralizovanou teplárenskou ...
Práce je zaměřena na využití počítačových simulací pro manažerské rozhodování. Modelovaným prostředím je vybraná teplárenská soustava, avšak model i závěry mohou být obecně využity pro libovolnou entralizovanou teplárenskou ...
Testování webových aplikací
Web applications testing
Diplomová práce (OBHÁJENO)
Vedoucí práce: Majerech, Vladan
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Předmětem diplomové práce je vysvětlení problematiky testování webových aplikací zejména potenciálním testerům. Práce proto srozumitelnou formou sděluje zkušenosti nasbírané z různých zdrojů a vychází z mojí tříleté praxe ...
This diploma thesis matter is explanation of web application testing problems mainly to potential testers. That is why the thesis confides information gathered from different sources in intelligible way and it results from ...
This diploma thesis matter is explanation of web application testing problems mainly to potential testers. That is why the thesis confides information gathered from different sources in intelligible way and it results from ...
Řešení příliš omezených problémů
Solving over-constrained problems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2006
Datum obhajoby: 06. 02. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Hierarchie omezujících podmínek jsou jednou z metod řešení příliš omezených problémů, což jsou problémy splňování podmínek, ve kterých není možné splnit všechny podmínky. Hierarchie vzniknou rozšířením "plochých" ...
Constraint hierarchies belong to techniques for solving over-constrained problems, that is, constraint satisfaction problems where it is not possible to satisfy all the constraints. The idea of constraint hierarchy is to ...
Constraint hierarchies belong to techniques for solving over-constrained problems, that is, constraint satisfaction problems where it is not possible to satisfy all the constraints. The idea of constraint hierarchy is to ...
Systémy pro formální matematiku
Systems for formal mathematics
Diplomová práce (OBHÁJENO)
Vedoucí práce: Urban, Josef
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Typový systeé Mizaru je pomrěně sofistikovaný - obsahuje celou řadu vlastností, jako jsou závislé typy, atributy, přetěžování, konstrukci podtypů, struktury a další. Tyto vlastnosti nemalou měrou přispívají k tomu, že ...
The Mizar type system is a relatively sophisticated system as it allows for many properties, such as independent types, attributes, overloading, subtyping, structures and many others. All these properties make formalization ...
The Mizar type system is a relatively sophisticated system as it allows for many properties, such as independent types, attributes, overloading, subtyping, structures and many others. All these properties make formalization ...
Efektivní algoritmy oveřování cílů v počítačových hrách
Effective Algorithms for Verifying Goals in Computer Games
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá neuniformními metodami prohledávání stromů her dvou hráčů s úplnou informací. Konkrétně je zkoumána neuniformita založená na hrozbách realizovaná v podobě algoritmů lambda search a dual-lambda search. ...
In the present work we study non-uniform methods for searching game trees of two player games with perfect information. Particularly the non-uniformity based on threats as realized in lambda search and dual-lambda search ...
In the present work we study non-uniform methods for searching game trees of two player games with perfect information. Particularly the non-uniformity based on threats as realized in lambda search and dual-lambda search ...
Distribuované rozvrhování
Distributed Scheduling
Diplomová práce (OBHÁJENO)
Vedoucí práce: Olmer, Petr
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis deals with distributed meeting scheduling (DMS) with respect to the multiagent system paradigm. The DMS goal is to find an optimal or at least acceptable time slot for the meeting of given subjects. Each subject ...
Tato práce se zabývá problematikou označovanou jako distributed meeting scheduling (DMS) z hlediska paradigmatu multiagentních systémů. Cílem DMS je nalézt optimální nebo alespoň možný čas konání schůzky daných subjektů, ...
Tato práce se zabývá problematikou označovanou jako distributed meeting scheduling (DMS) z hlediska paradigmatu multiagentních systémů. Cílem DMS je nalézt optimální nebo alespoň možný čas konání schůzky daných subjektů, ...