|
|
The Right to a Fair Trial
Müller, Pavel ; Reschová, Jana (advisor) ; Antoš, Marek (referee)
The aim of this theses is "The Right to a Fair Trial." I approach this topic both as a juridicial institute, where I describe it's content, and a philosophical - moral principle which should, in my opinion, run through the whole legal proceedings. (Among other things), my personal experience in a civil legal proceeding drove me to write this theses. On account of this experience I started to ask myself whether everyone is really entitled to the right to a fair trial and if the principle is really functional and running through the whole legal process or it's just a theoretical concept, more or less executed in a legal process. Comparison as objective as possible of a fair trial concept to the real state of this right's protection is one of the main aims of the thesis. Not just a confrontation between vision and reality, but also a proposal of their converging. In the first part of the theses I present a brief description of material and formal sources of information regarding the right to a fair trial from both the Czech and European point of view. In the second part I present a summary of works dealing with this topic in the Czech Republic which have been published so far. In the third part I theoretically elaborate partial principles of this right. In the fourth, and the last part of this thesis...
|
|
|
Prostředí pro vytváření umělých hráčů Texas Hold'em pokru
Müller, Pavol ; Majerech, Vladan (advisor) ; Hric, Jan (referee)
Hold 'em poker, a card game with incomplete, sometimes even misleading information, is probably going to be mastered by computer programs within a few years. This might be a big issue for the on-line poker gaming industry. In some variations of the Texas hold 'em poker it is already happening. This thesis explores a possibility of creating an automated no-limit tournament player for the less explored and the hardest variation of Texas hold 'em poker from a computer player point of view. Tools and methodology which allows universal and simple automated data extraction from on-line casinos based on optical recognition are going to be created. Automated operations in these casinos and environment for poker intelligence implementation will be included as well. An artificial poker player capable of playing in two casinos will be implemented in this environment to demonstrate its strength and usability. Known poker strategies and ideas are going to be introduced from the point of view of poker robot implementation. At the end, the automated poker player will be confronted in real situations and questions regarding misuse of automated poker players in on-line casinos based on gained experiences and results are going to be answered.
|
|
|
Tosks and Ghegs in Albania and their perception of Albanians in neighboring countries
Müller, Petr ; Kokaisl, Petr (advisor) ; Štolfová, Andrea (referee)
This thesis aims to examine ethnic identity of Albanians both inside and outside of Albania. This thesis is based on field research and qualitative research conducted in Albania and Kosovo. The thesis follows several basic ethnic differentiation characters and their relevance in the construction of ethnic identities selected groups living in Albania and Kosovo. The work is focused on the question of language, religion, historical memory, politics, ethnic stereotypes and perceptions of ethnic itself.
|
|
|
Hodnocení účinnosti separačního zařízení při separaci semen z matolin
Müller, Petr
This thesis was aimed at evaluating the effectiveness of the separation device for the separation of seeds from marc. The first chapter describes the characteristics of marc and how is obtained. In the second chapter, the work was focused on the possibility of using the marc in waste management and food industries. The next chapter deals with separation technology and its technical support, which describes the different technologies and processes for the separation. The work also highlights the technological capabilities of drying seeds vine after separation. The experimental part of the work is focused on the evaluation of the separation of selected varieties. This assessment is complemented by tables and graphs of the results of the experiment. In the last chapter of the thesis focuses on determining the cost of separation of seeds and draft technological lines for medium and large wine-growing operations. Technological operations are accompanied by model proposals mobile and fixed lines.
|
|
|
Use of Peltier Elements for Temperature Cycling
Müller, Petr ; Starý, Jiří (referee) ; Šandera, Josef (advisor)
This project deals with the use of Peltier frames for thermal cycling in the implementation of rapid testing in the workplace for thermo-mechanical stress solder joints. Its base is describing the various parts of the workplace. Peltier effect is shown and Peltier cells are described, which is the base of the workplace. They are analyzed possible ways to control workplace and summarized their advantages and disadvantages. It was constructed and described the system entering temperature cycles with electronics indicating fault frame.
|
|
|
A Tool for Evaluation of Quality of Contribution to Open-Source Projects
Špigel, Radim ; Müller, Petr (referee) ; Smrčka, Aleš (advisor)
The aim of this work is an examination of contributions quality in development of open-source projects written in programming language Pytho. Detection of this quality is being probed by static analysis tools and hypotethical algorithm which is based on duration of curent contribution changlessness. In this work there is a basic description of revision control systems and distributed system Git. There is also a mention about basic software metrics and D3 library.
|
|
|
Lombok Framework Study
Paštrnák, Ján ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
The aim of this thesis is to analyze Lombok framework and its usage for the development of Java programs. Framework Lombok enables the generation of a primitive, often repetitive code during compilation of the annotated code. Using annotations, programmer specifies what and where the framework needs to generate during the compilation. This thesis explains the basic principles of the framework and design tests that demonstrate practical aspects of its use for creation of Java programs. Emphasis is placed on the estimation of the time saved through the development of Lombok, study its influence on the process of compilation and testing framework integrity with three development environments - NetBeans, Eclipse and IDEA InteliJ. The thesis summarizes the pros and cons of using this framework in real work.
|
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (referee) ; Müller, Petr (advisor)
Práce se zabývá detekcí nedefinovaného chování v programech v jazyce C. Zaměřujemese na nedefinované chování vznikající nesprávnou prací se sekvenčními body a vedlejšími efekty. Provedeme teoretický rozbor a pojmy jako nedefinované chování nebo vedlejší efekt zasadíme do kontextu práce. Dále vysvětlíme nebezpečnost konstrukcí vedoucích k nedefinovanému chování. Navrhneme metodu pro automatickou detekci zmíněného druhu nedefinovaného chování. Nakonec navrhneme a implementujeme nástroj pro jeho automatizovanou statickou detekci a popíšeme principy funkce tohoto nástroje. Při jeho návrhu klademe, narozdíl od současných řešení, důraz na funkčnost i v případě přístupu k paměti přes ukazatel nebo z volané funkce. Práce obsahuje příklady nebezpečných konstrukcí, na některých z nich jsou demonstrovány funkce vytvořeného nástroje.
|
|
|
Web Tool for Management of Long-Term Testing Results
Matys, Filip ; Smrčka, Aleš (referee) ; Müller, Petr (advisor)
Many software projects go through a long evolution, which results in creation of extensive test suites to automate testing process. These test suites often do not pass whole, so it is needed to collect their results and then analyse them, how did the test suite behave before. Within this thesis, a web tool was implemented, which allows to process results of test suites that are afterwards set in the context of development and allows their analysis. Thanks to it's modularity, the tool is not dependent on results format. The tool uses modern frameworks, such as AngularJS and Foundation, to aim at lower system latency and to adapt it to screens of mobile devices. To demonstrate the tool, three plug-ins were implemented for different formats of test suite results. The tool was deployed on the OpenShift service. There were imported data from SystemTap and glibc testsuite result sets and benefits of the tools were presented in two case studies.
|
|
|
Planning Task Monitoring System
Maga, Martin ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
Task of this bachelor work is to create system for monitoring of statuses of planned jobs according to requirements defined by sponsor Red Hat. The main target is to understand what planning problem means, how can be defined, stored to system, how to initiate his planning and to monitor progress. Planning system has been split to the 2 parts. The first part is user interface build up based on technologies JavaServer Faces, RichFaces a Twitter Bootstrap which allows recording, beginning and put on hold of running jobs. The second part represents web service with combination of technology Enterprise JavaBeans which processes requirements for beginning/put on hold of planning run accomplishes with utilization of framework OptaPlanner, planning progress is being stored to MySQL database. Information about planning problems is obtained from this database and continuously is being displayed in user interface. For implementation both parts has been used platform Java Enterprise Edition 6 and has been deployed in application server JBoss. System has been tested on artificial planning problem N Queen and practical problems from Red Hat company cloud balancing and travelling tournament on platform UNIX via cloud service OpenShift by users.
|
guest ::
RSS feed.