Prohlížení katedra teoretické informatiky dle autora "Ratschan Stefan"
-
Heuristiky pro propagaci intervalů
Autor: Kottnauer Jakub; Vedoucí práce: Ratschan Stefan; Oponent práce: Šimeček Ivan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-13)Omezující podmínka je relace mezi proměnnými omezující množiny hodnot, kterých mohou proměnné nabývat. Problém splnitelnosti omezujících podmínek (CSP) je problém, jehož řešení spočívá v nalezení hodnot proměnných tak, aby ... -
Lehký just-in-time kompilátor pro aritmetické výrazy
Autor: Kokorev Igor; Vedoucí práce: Ratschan Stefan; Oponent práce: Janoušek Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-13)Úkolem této práce bylo vytvořit knihovnu, která je využitelná ve spojení s některou z knihoven pro nelineární optimalizaci. Pro daný aritmetický výraz (zadaný jako bajtový řetězec v kódování ASCII) je za běhu programu ... -
Modely s omezujícími podmínkami pro plánování a rozvrhování
Autor: Procházka Martin; Vedoucí práce: Barták Roman; Oponent práce: Ratschan Stefan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-13)Cílem této práce je navrhnout výpocetní model pomocí technologie constraint programming, který by byl schopen popsat a vyrešit konkrétní plánovací problém. Problém je definován pomocí plánovacího jazyka PDDL a je zameren ...