National Repository of Grey Literature 36 records found  1 - 10nextend  jump to record: Search took 0.01 seconds. 
Constructing policies for multi-agent path finding
Mestek, Jakub ; Barták, Roman (advisor) ; Švancara, Jiří (referee)
The thesis deals with the Multi-Agent Path Finding problem. The task is to find for each agent a path from its current location to its destination in such a way that agents will not collide. A novel approach to solving this problem in non-deterministic environment is suggested. That is to look for a solution in form of policies that prescribe which action the agent should perform in given situation. 1
Group navigation in RTS games using flow networks over flow field regions
Koblížek, Jan ; Gemrot, Jakub (advisor) ; Švancara, Jiří (referee)
This thesis explores the challenges of implementing effective navigation for groups of units in real-time strategy computer games, specifically focusing on the movement of large numbers of homogeneous units across a two-dimensional grid-based map. The thesis presents a pathfinding algorithm that could be used in RTS games. The algorithm enables the units to utilize multiple paths effectively by modeling the unit navigation as a flow network problem. The units use precomputed flow fields during the navigation. This allows for faster pathfinding times by offloading part of the computation to the preprocessing. The algorithm's performance is evaluated against a baseline solution using the A* algorithm and other existing solutions. Comparative analysis will be conducted utilizing maps from the Moving AI 2D Pathfinding Benchmark dataset to assess the efficacy of the proposed solution. 1
The Effectiveness of Centralized Planning for Intersections
Cizl, Eliáš ; Švancara, Jiří (advisor) ; Ivanová, Marika (referee)
Vehicle navigation on roads is a complex problem that will probably be solved by using artificial intelligence in key roles. Today, there are cars capable of autonomous driving, but they are dependent on an old infrastructure that primarily includes intersections designed for human drivers. This thesis opens a new chapter in the area of autonomous intersection management (AIM). Most research to date has only looked at how best to implement a solution for a single intersection. We have created a simulation that runs in real time, where up to several dozen intersections appear side by side. In this work, we conduct experiments where we test different layouts of the autonomous algorithms along with traffic lights. Autonomous intersections clearly win with their efficiency, and in larger cities it's most advantageous to deploy them at the busiest intersections. 1
Autonomous traffic junction
Kotal, Jiří ; Barták, Roman (advisor) ; Švancara, Jiří (referee)
Práce se zabývá problematikou průjezdů vozů plně automatizovanou křižovatkou a to z pohledu multi-agentního hledání cest (MAPF, multi-agent path finding). Cílem je pro- zkoumat různé abstrakce křižovatky a různé přístupy pro hledání nekolizního průjezdu křižovatkou. Zkoumané techniky jsou implementovány a empiricky porovnány v simulo- vaném prostředí. 1
Reduction-based Solvers for Multi-agent Pathfinding: Comparing Different Models
Ramesh, Samyuktha ; Švancara, Jiří (advisor) ; Barták, Roman (referee)
- Samyuktha Ramesh Thesis Title: Reduction-based Solvers for Multi-agent Pathfinding: Comparing Different Models Multi-agent path finding (MAPF) is the problem of navigating a set of agents from their starting position to their respective goal position without any collisions. In this thesis, we provide an overview of the current approaches to solving MAPF. We implement six different encodings found in the literature using the Python programming language and the Glucose3 SAT solver. We run experiments on maps of different types and sizes to compare the performances of the encodings.
SPACs and IPOs: Consequences on Short-term and Long-term performance
Švancara, Jan ; Kurka, Josef (advisor) ; Čech, František (referee)
This thesis investigates disparities in stock exchange performance with regard to businesses that were unprofitable before becoming public. These firms were divided into two samples; the first sample was made up of firms that entered the market through an Initial Public Offering (IPO), while the second sam- ple was composed of firms that accessed the market through a Special Pur- pose Acquisition Company (SPAC). Buy-and-hold Abnormal Returns (BHARs) and Cumulative Abnormal Returns (CARs) are two types of abnormal returns used to measure stock market performance. The performance was examined throughout four different time horizons, with two of them being considered short-term and the other two being long-term in this thesis. The results indi- cated that unprofitable SPACs significantly underperform unprofitable IPOs in every time horizon examined. Additionally, a model that forecasts whether a firm is more likely to go public through an IPO or a SPAC was developed. The findings implied that highly-priced companies with a greater debt are more likely to be selected by a SPAC. JEL Classification D22, G34, G15, G11, O51 Keywords SPAC, IPO, unprofitable, performance, nega- tive, income, loss, BHAR, CAR Title SPACs and IPOs: Consequences on Short-term and Long-term performance
Practical Exercises for Artificial Intelligence
Mařík, Matouš ; Švancara, Jiří (advisor) ; Zelinka, Mikuláš (referee)
The thesis describes practical tasks for the lecture of Artificial Intelligence, that is to introduce students to basic structures and algorithms of this field of informatics: rational agent, uninformed and informed search, adversarial search and algorithms solving constraint satisfaction problems. It consists of the motivation for their creation, their implementation and documentation.
Traffic - Road Network Simulation Game
Kripner, Matěj ; Ježek, Pavel (advisor) ; Švancara, Jiří (referee)
The goal of this thesis was to implement the mobile game Traffic, in which the player controls a car and navigates through a road network. The general concept of the game is based on our vision of a game simulating the experience of driving that would be different from similar existing games. This vision proved to be overly complex. Therefore, we selected only a subset of its features while ensuring that the resulting game can serve as a basis for future extension towards the original vision. We targeted the Android operating system and used the Unity game engine and C# for implementation. In the resulting game, the player acts as a taxi driver, i.e. they pick up customers and drop them off at designated locations. The player receives game money and rating based on the quality of each ride. The game world contains roads, intersections, sidewalks, buildings and pedestrians. The game world can be edited by a game designer with no programming skills. The designer can shape the roads and sidewalks using Bézier curves and connect roads into intersections. The shape of intersections is generated automatically. 1
Crustal Structure of the Bohemian Massif Based on Seismic Refraction Data
Hrubcová, Pavla ; Vavryčuk, Václav (advisor) ; Plomerová, Jaroslava (referee) ; Švancara, Jan (referee)
The deep structure of the Bohemian Massif, the largest stable outcrop of the Variscan rocks in central Europe, was studied using the data of the international seismic refraction and wide- angle reflection experiments CELEBRATION 2000, ALP 2002 and SUDETES 2003. The data were interpreted by seismic tomographic inversion and by 2-D trial-and-error forward modelling of the P and S waves. Above, additional constraints on the crustal structure were imposed by reflectivity or gravity modelling, and by receiver function interpretation. Knowledge of the crustal velocity structure in the Bohemian Massif was complemented by its azimuthal variation. Though consolidated, the Bohemian Massif can be subdivided into several tectonic units separated by faults, shear zones, or thrusts reflecting varying influence of the crust forming processes. The resultant velocity models determined different types of the crust-mantle transition reflecting variable crustal thickness and delimiting contacts of these tectonic units at depth.
Finding Minimum Satisfying Assignments of Boolean Formulas
Švancara, Jiří ; Balyo, Tomáš (advisor) ; Trunda, Otakar (referee)
In this thesis we examine algorithms and techniques used for solving Boolean satisfiability (SAT). Then we inspect the possibility to use them in solving the weighted short SAT problem, which is a generalization of the satisfiability problem. Given that each variable has a weight, this generalization is the problem of finding a satisfying truth assignment while using the smallest sum of weights. To solve this problem, we introduce three truth assignments of variables - True, False and Unassign. We show that not all algorithms and techniques used in modern SAT solvers can be used in our program. Those that can be converted, will be implemented using our three truth assignments. This will yield several versions of our new solver, which will be compared. Powered by TCPDF (www.tcpdf.org)

National Repository of Grey Literature : 36 records found   1 - 10nextend  jump to record:
See also: similar author names
6 Švancara, Jan
5 Švancara, Jiří
Interested in being notified about new results for this query?
Subscribe to the RSS feed.