Hledat
Zobrazují se záznamy 1-7 z 7
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 ...
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 ...
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 ...
Dynamické temporální sítě
Dynamic Temporal Networks
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá algoritmy pro práci s dynamickými temporálními sítěmi. Ve své první části se soustřed'uje zejména na udržování konzistence po cestě při restrikci i uvolnění některých podmínek v síti. Ve druhé části ...
This work focuses on algorithms related to dynamic temporal networks. In the rst part, we describe existing algorithms mainly for maintaining path consistency after either restriction or relaxation of constraints. In the ...
This work focuses on algorithms related to dynamic temporal networks. In the rst part, we describe existing algorithms mainly for maintaining path consistency after either restriction or relaxation of constraints. In the ...
Samoorganizace a morphing
Self-organization and morphing
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mrázová, Iveta
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Morphing je známý fi lmový vizuální efekt. Spočívá v plynulé přeměně jednoho obrazu na jiný. Tak se například postava filmu změní v medvěda. Realizace takového efektu vyžaduje pečlivou, soustředěnou a drahou práci animátora. ...
Morphing is a well-known visual effect. It is based on a uent transition of one image into another one, metamorphosis of a movie character into a bear is a possible example. Realization of such an effect requires accurate, ...
Morphing is a well-known visual effect. It is based on a uent transition of one image into another one, metamorphosis of a movie character into a bear is a possible example. Realization of such an effect requires accurate, ...
Třídy Booleovských formulí s efektivně řešitelným SATem.
Classes of Boolean Formulae with effectively soluable SAT.
Diplomová práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá třídami Booleovských formulí, pro které je problém splnitelnosti (SAT) řešitelný v polynomiálním čase. Zkoumá chování těchto tříd vzhledem k základním operacím s formulemi (komplementaci literálu, komplementaci ...
This work studies classes of Boolean formulae with polynomially solvable satsiability problem (SAT). It investigates the behavior of these classes with respect to basic operation with formulae (variable and literal ...
This work studies classes of Boolean formulae with polynomially solvable satsiability problem (SAT). It investigates the behavior of these classes with respect to basic operation with formulae (variable and literal ...