National Repository of Grey Literature 8 records found  Search took 0.00 seconds. 
A system for 3D localization of gamma sources using Timepix3-based Compton cameras
Mánek, Petr ; Zavoral, Filip (advisor) ; Vinárek, Jiří (referee)
Compton cameras localize γ-ray sources in 3D space by observing evidence of Compton scattering with detectors sensitive to ionizing radiation. This thesis proposes a software system for operating a novel Compton camera device comprised of Timepix3 detectors and Katherine readouts. To communicate with readouts using UDP-based protocol, a dedicated hardware library was developed. The presented software can successfully control the acquisition of multiple Timepix3 detectors and simultaneously process their measurements in a real-time setting. To recognize instances of Compton scattering among observed interactions, a chain of algorithms is applied with explicit consideration for a possibly high volume of measured information. Unlike alternate approaches, the presented work uses a recently published charge drift time model to improve its spatial resolution. In order to achieve localization of γ-ray sources, the software performs conical back projection into a discretized cuboid volume. Results of randomized evaluation with simulated data indicate that the presented implementation is correct and constitutes a viable method of γ-ray source localization in 3D space. Experimental verification with a prototype model is in progress.
Výkonná simulace destrukce prostředí ve hrách
Dobranský, Marek ; Kratochvíl, Miroslav (advisor) ; Vinárek, Jiří (referee)
Destructible environments have become a popular feature of computer games. Currently used game engines employ different approaches to imple- ment such environment. This thesis studies several such approaches and implements some key ideas from available research in a new, combined ap- proach. We use tessellations and boolean operations on triangular meshes to modify rigid-body objects that represent game environment, and create a simple application to demonstrate the approach in a real-time environment. We conclude that the proposed method is mainly suitable for computer games that feature low-polygon meshes. 1
Support for fractures in jbox2d engine
Beňovič, Marek ; Kofroň, Jan (advisor) ; Vinárek, Jiří (referee)
JBox2D is a game engine simulating the physics of solid objects and liquids in a 2D space. This project provides a JBox2D library extension that allows for fracturing of objects after their collision. The presented algorithm prioritizes its smooth running in real time, low processing power requirements and a natural flow of the fracturing processes. The algorithm also provides a possibility to define the materials of the objects to be fractured and set their properties, which in turn determine the outcome of the simulation process of fracturing these objects. A simple programming interface based on the logic of the library is provided. In order to demonstrate the usability of the solution, the project also contains a simple framework with test scenarios simulating fracturing of objects. This project provides new possibilities for developing 2D games for mobile devices and personal computers. 1
Teaching schedule for Android
Sándor, Gábor ; Kofroň, Jan (advisor) ; Vinárek, Jiří (referee)
The goal of this thesis is to create a mobile application that makes easier to organize the time of the students of Charles University in Prague, Faculty of Mathematics and Physics. The final application enables the user to personalize the schedule downloaded from the Student Information System. The application allows students to create notes and reminders, which are associated with subjects. Some of the main features are displaying notifications about the upcoming events, including the details of public transport, or enabling the silent mode during the lesson. The application can be used as a smart diary helping students to improve their time schedule. Powered by TCPDF (www.tcpdf.org)
Domain-Specific Language for Learning Programming
Klimeš, Jonáš ; Parízek, Pavel (advisor) ; Vinárek, Jiří (referee)
In the scope of this thesis, we designed a language for programming education. At first, we described eight existing tools for learning programming and identified key features in the learning process. Second, we designed an educational domain-specific language Eddie. Eddie is suitable for teenagers and adults who want to learn programming. It uses a domain based on Karel the Robot language, where users can control a robot character in a two-dimensional grid. We implemented a prototype of Eddie using the MPS Language Workbench and its projectional editor. The Eddie language gradually introduces loops, conditionals, variables, functions, and objects. Eddie programs can be created, executed and visualized in the Eddie Studio IDE. Powered by TCPDF (www.tcpdf.org)
Multi-platform mobile application of database system Matylda
Kunc, Ondřej ; Kofroň, Jan (advisor) ; Vinárek, Jiří (referee)
System Matylda was created in order to provide a database and web interface which allows sorting, filtering and comparing of products from food and drugstore industry. The goal of this thesis is to create a user friendly mobile application for this system. The application will be available for all today's major mobile platforms. The final application uses main features of the existing web application and also takes advantage of capabilities of modern mobile devices such as maps and user location. Some of the main features are searching for detailed product information, browsing discount leaflets, comparing discounts, creating shopping lists, authentication and more. The application can be used as a smart assistant which helps with shopping for food and drugstore products and can also save both time and money. Powered by TCPDF (www.tcpdf.org)
Verification of Textual Use-Cases
Vinárek, Jiří ; Šimko, Viliam (advisor) ; Hauzar, David (referee)
The aim of this thesis is to create a tool for formal verification of systems specified using textual use- cases. The tool should allow for automated verification of temporal invariants specified in temporal logic (CTL and LTL formulae). The textual specification is transformed to a formal model that is verified using the NuSMV symbolic model-checker. Potential errors are shown to the user in the form of an HTML report. Using this feedback, the user is able to iteratively develop valid textual use-case specifications. The tool's architecture should be focused on reusability of its components and extensibility. Powered by TCPDF (www.tcpdf.org)
A Tool for XML Data Analysis
Vinárek, Jiří ; Nečaský, Martin (referee) ; Holubová, Irena (advisor)
The aim of the work is to implement a tool for analysis of XML data, DTDs and XSDs. In addition the tool is able to visualize input XML documents, DTD and XML schemes, show outputs as tables and plotted graphs. The application is capable of comparision between XML data and corresponding schemes results. Results can be saved and later merged with results of the new documents. The application can efficiently process large documents and was written with a respect to extensibility and maximal possible variability.

See also: similar author names
1 Vinárek, Jan
Interested in being notified about new results for this query?
Subscribe to the RSS feed.