Search
Now showing items 21-30 of 30
Bobox Runtime Optimization
Bobox Runtime Optimization
diploma thesis (DEFENDED)
Advisor: Zavoral, Filip
Date Issued: 2015
Date of defense: 03. 02. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Cílem této diplomové práce je vytvořit nástroj na optimalizaci kódu pro paralelní prostředí Bobox. Nástroj redukuje počet krátce a dlouze běžících úloh na základě statické analýzy kódu. Některé případy krátce běžících úloh ...
The goal of this thesis is to create a tool for an optimization of code for the task-based parallel framework called Bobox. The optimizer tool reduces a number of short and long running tasks based on a static code analysis. ...
The goal of this thesis is to create a tool for an optimization of code for the task-based parallel framework called Bobox. The optimizer tool reduces a number of short and long running tasks based on a static code analysis. ...
Numerical Optimization Methods for the Falsification of Hybrid Dynamical Systems
Numerické algoritmy pro analýzu hybridních dynamických systémů
dissertation thesis (DEFENDED)
Advisor: Ratschan, Stefan
Date Issued: 2020
Date of defense: 10. 06. 2020
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Název práce: Numerické algoritmy pro analýzu hybridních dynamických systémů Autor: Jan Kuřátko Katedra: Katedra numerické matematiky Vedoucí disertační práce: Stefan Ratschan, Ústav informatiky Akademie věd České republiky ...
Title: Numerical Optimization Methods for the Falsification of Hybrid Dynamical Systems Author: Jan Kuřátko Department: Department of Numerical Mathematics Supervisor: Stefan Ratschan, Institute of Computer Science, The ...
Title: Numerical Optimization Methods for the Falsification of Hybrid Dynamical Systems Author: Jan Kuřátko Department: Department of Numerical Mathematics Supervisor: Stefan Ratschan, Institute of Computer Science, The ...
Procházky v časově proměnlivém grafovém modelu
Walks in time-dymanic graph model
Procházky v časově proměnlivém grafovém modelu
bachelor thesis (NOT DEFENDED)
Advisor: Pangrác, Ondřej
Date Issued: 2014
Date of defense: 04. 09. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Orientační běh s migrujícími kontrolami můžeme reprezentovat grafovým modelem s ohodnocenými vrcholy a orientovanými hranami, kde ohodnocení vrcholů je proměnlivé v čase. Hledání optimální cesty představuje exponenciálně ...
Orienteering with moving control points can be represented as a graph model with ranked vertices and oriented edges. The rank of vertex depends on the actual time. Searching for the most optimised walk through this graph ...
Orienteering with moving control points can be represented as a graph model with ranked vertices and oriented edges. The rank of vertex depends on the actual time. Searching for the most optimised walk through this graph ...
Moderní evoluční algoritmy pro hledání oblastí s vysokou fitness
Moderní evoluční algoritmy pro hledání oblastí s vysokou fitness
diploma thesis (DEFENDED)
Advisor: Holeňa, Martin
Date Issued: 2011
Date of defense: 31. 01. 2011
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Evoluční algoritmy jsou optimizační techniky inspirované vývojem biologických druhů v přírodě. Používají konceptuálně jednoduchý proces střídající dvě fáze, a to reprodukci a výběr na základě fitness, a iterativně tak ...
Evolutionary algorithms are optimization techniques inspired by the actual evolution of biological species. They use conceptually simple process of two repeating phases of reproduction and fitness-based selection, that ...
Evolutionary algorithms are optimization techniques inspired by the actual evolution of biological species. They use conceptually simple process of two repeating phases of reproduction and fitness-based selection, that ...
Využití umělých neuronových sítí k urychlení evolučních algoritmů
Utilizing artificial neural networks to accelerate evolutionary algorithms
diploma thesis (DEFENDED)
Advisor: Holeňa, Martin
Date Issued: 2011
Date of defense: 05. 09. 2011
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V předkládané práci studujeme možnosti využití umělých neuronových sítí k urychlení evolučních algoritmů. Urychlení spočívá ve snížení počtu volání fitness funkce, jejíž vyhodnocení je u některých typů optimalizačních úloh ...
In the present work, we study possibilities of using artificial neural networks for accelerating of evolutionary algorithms. Improving consists in decreasing in number of calls to the fitness function, the evaluation of ...
In the present work, we study possibilities of using artificial neural networks for accelerating of evolutionary algorithms. Improving consists in decreasing in number of calls to the fitness function, the evaluation of ...
Thermodynamic analysis of processes in Hydrogen fuel cells.
Termodynamická analýza procesů ve vodíkových palivových článcích.
dissertation thesis (DEFENDED)
Advisor: Maršík, František
Date Issued: 2015
Date of defense: 24. 06. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce se zabývá nerovnovážnou termodynamikou, která slouží k odvození evolučních rovnic makroskopických a mezoskopických systémů. Je například ukázán vztah mezi teorií GENERIC (General Equation for the Nonequilibrium ...
Non-equilibrium thermodynamics, which serves as a framework for formulating evolution equations of macroscopic and mesoscopic systems, is briefly reviewed and further developed in this work. For example, the relation between ...
Non-equilibrium thermodynamics, which serves as a framework for formulating evolution equations of macroscopic and mesoscopic systems, is briefly reviewed and further developed in this work. For example, the relation between ...
Algorithms for automated logistics
Algoritmy pro automatizovanou logistiku
diploma thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2014
Date of defense: 09. 09. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Práce řeší existující problém optimálního plánování přeskladnění zboží mezi pobočkami maloobchodní společnosti. Cílem je navrhnout systém, který na základě objednávek od zákazníků a současných skladových dostupností zboží ...
This thesis deals with a real world problem of an optimal planning of transferring goods between stores of a certain retail company. The aim is to propose a system which, based on customer orders and current stock items ...
This thesis deals with a real world problem of an optimal planning of transferring goods between stores of a certain retail company. The aim is to propose a system which, based on customer orders and current stock items ...
Procházky v časově proměnlivém grafovém modelu
Walks in time-dymanic graph model
Procházky v časově proměnlivém grafovém modelu
bachelor thesis (NOT DEFENDED)
Advisor: Pangrác, Ondřej
Date Issued: 2015
Date of defense: 26. 01. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Orientační běh s migrujícími kontrolami můžeme reprezentovat grafovým modelem s ohodnocenými vrcholy a orientovanými hranami, kde ohodnocení vrcholů je proměnlivé v čase. Hledání optimální cesty představuje exponenciálně ...
Orienteering with moving control points can be represented as a graph model with ranked vertices and oriented edges. The rank of vertex depends on the actual time. Searching for the most optimised walk through this graph ...
Orienteering with moving control points can be represented as a graph model with ranked vertices and oriented edges. The rank of vertex depends on the actual time. Searching for the most optimised walk through this graph ...
Generátor dat pro Microsoft SQL Server
Data Generator for Microsoft SQL Server
bachelor thesis (DEFENDED)
Advisor: Hoksza, David
Date Issued: 2013
Date of defense: 20. 06. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Testování naprogramovaných komponent je nedílnou součástí vývoje software. Generátor dat pro Microsoft SQL Server má sloužit jako nástroj pro jednoduché naplnění tabulek databáze testovacími daty, která umožní programátorům, ...
Testing of newly programmed components is an integral part of software development. Data Generator for Microsoft SQL Server is a tool for simple populating database tables with testing data which allows efficient database ...
Testing of newly programmed components is an integral part of software development. Data Generator for Microsoft SQL Server is a tool for simple populating database tables with testing data which allows efficient database ...
Optimalizace provozu ve velkoobchodním skladu
Operation optimization in wholesale warehouses
bachelor thesis (DEFENDED)
Advisor: Pangrác, Ondřej
Date Issued: 2012
Date of defense: 06. 09. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Cílem práce je navrhnout pro daný velkoobchodní sklad strategii, která zefektivní jeho provoz. Jedná se predevším o zkrácení prostoju zákazníka a minimalizaci najetých vzdáleností manipulacní techniky. Finální program ...
The goal of this work is to choose a strategy for given warehouse that will increase the efficiency of its operation. This is primarily about reducing customer downtime and minimizing the distance travelled by handling ...
The goal of this work is to choose a strategy for given warehouse that will increase the efficiency of its operation. This is primarily about reducing customer downtime and minimizing the distance travelled by handling ...