National Repository of Grey Literature 168 records found  1 - 10nextend  jump to record: Search took 0.00 seconds. 
Static data flow analysis for Java programs
Mečiar, Martin ; Zavoral, Filip (advisor) ; Kofroň, Jan (referee)
This thesis proposes a methodology for an acquisition of dependencies between outputs and inputs in Java programs by using static program analysis on bytecode of Java programs. JaBSSA methodology designed by the author is presented in the thesis. The methodology is based on a construction of context-sensitive call graph of the analyzed program and subsequent construction of directed data flow graph, where nodes containing particular metadata represent inputs and outputs of the analyzed program and edges represent data flows amongst them present in the analyzed program. The program on added CD contains JaBSSA's implemen- tation, which serves as a proof of the proposed concept. Java program examples together with test suite generating results of JaBSSA's implementation upon pre- pared Java program examples are part of the program. These generated results are used for demonstration of capabilities and flaws of the proposed concept. 1
The Art of (In)Accuracy: A Meta-Analysis of the European Values Think-Tank's Forecasts
Štěpánek, Matěj ; Kofroň, Jan (advisor) ; Plechanovová, Běla (referee)
Probabilistic forecasts represent a potentially indispensable tool for policy advising, strategic planning, or provision of possible scenarios of future development. It is clear, however, that inaccurate forecasts can entail serious consequences. At best, unsuccessful forecasting attempts may discredit such potentially valuable method in the eyes of decision-making elites. At worst, wrong predictions may lead to the misallocation of scarce resources or to the unnecessary securitization. Nonetheless, probabilistic forecasts have seldom been used in the realm of the Czech security analyses, studies, or debates. Thus, the European Values Think- Tank's research project is a pioneering attempt to utilize the probabilistic forecasting in the Czech politico-security sphere. Due to the fact that the think-tank developed its probabilistic forecasts to help the Czech security elite with strategic planning, the thesis aims to verify the accuracy and predictive capabilities of the European Values. The broader goal is to bring, by the accuracy assessment, the rigor into the Czech probabilistic-forecasting debate. Additionally, the thesis also compares the predictive capabilities of the European Values with the alternative - foreign - forecasts, as well as with other means of accuracy verification. The results...
Cube Fighter
Guba, Peter ; Kofroň, Jan (advisor) ; Švancara, Jiří (referee)
Real-time strategy games and action games are two very different types of computer games. In my project, I attempted to see whether they could be combined to make a coherent whole, with mixed results. The backbone of my game is its real-time strategy mode, inspired by Warcraft III and The Battle for Middle-earth 1 and 2. In this mode, the player can create buildings and units and use them to fight the enemy. The game also has another mode of playing which imitates action games. In it, the player only controls a single unit. The second mode ended up being just a fun add-on instead of an essential part of the gameplay as I had originally intended. The reason behind that wasn't that it would be impossible to make it so, but rather that it would require my game to be far more complex.
Framework and DSL for Ensemble-Based Access Control
Matějek, Jan ; Bureš, Tomáš (advisor) ; Kofroň, Jan (referee)
Access control policies typically take the form of a set of static rules pertaining to individual entities under control. This can be impractical in real-world scenarios: authorization invariably depends on wider situational context which often tends to be highly dynamic. This leads to increasingly complex rules, which have to change over time to reflect the evolution of the controlled system. Ensemble-based architectures allow dynamic formation of goal-oriented groups in systems with large number of independent autonomous components. Because of the ad-hoc and situation-aware nature of group formation, ensembles offer a novel way of approaching access control. The goal of this work is to design a Scala framework and internal DSL for describing access control related situations via ensembles. In particular, the framework will define ensemble semantics suitable for evaluating the ensembles and establishing access control at runtime.
Face detection and recognition
Razyapov, Oskar ; Kofroň, Jan (advisor) ; Kliber, Filip (referee)
The goal of this thesis is to verify the algorithm of searching and identification of faces from the camera. It focuses mainly on the choice of appropriate methods for image preprocessing from the input data. There is also a simple interface that allows the user to easily communicate with the application. Part of the work is also the evaluation of the success and practical applicability of the application. The first step is searching of a face. If this happens successfully, the face recognition algorithm is started. Face recognition is based on a database that already exists or is created at runtime. 1
Analysis of the Special Forces Role in the complex of Armed Forces - Present and Future; Comparison of the Belgium, Portugal and the Czech Republic's Current Special Forces
Bejlovec, Jan ; Kofroň, Jan (advisor) ; Kučera, Tomáš (referee)
This thesis deals with the position of Special Forces of the Czech Republic within the army and the potential need to invest in their further development. Along with that, the thesis compares special units in the Czech Republic with Belgium and Portugal. The work is based on literature and scholarly articles based not only on theories of war and conflict. It shows the role of special forces within the conventional army and in asymmetric conflicts and then compares special forces in the Czech Republic with those in European countries with similar facilities and capabilities. The work answers 2 questions, the first question is what are the advantages and disadvantages of the special forces in different strategic environments and the second question is, if it would be advantageous to strengthen the development of special forces at the expense of conventional forces. Despite the extensive topic of the thesis, both questions are partially answered.
EU Policy towards East Ukraine Conflict
Buček, Oliver ; Knutelská, Viera (advisor) ; Kofroň, Jan (referee)
This research paper will examine the policy of European Union towards conflict in Eastern Ukraine, in which the main focus will be aimed towards analysis of policies, programms and other forms of interaction between European Union and Ukraine. In reaction to the research question are two assumptions, each one put into separate hypothesis and compared with chosen political theory. By analysis and observation of programmes such as European Neighbourhood policy, Eastern artnership or European Unions Advisory Mission, ill the research help us define the policy of European Union towards Ukraine, both before the Maidan and after. Observed will be also exact steps of European Union in international affairs and in relation to the conflict. This sum of information will be subsequently compared with theories and the focus of the research will be concentrated on finding common definitions with theories set in research approach.
The legal nature of financial derivatives under Czech law
Kofroň, Jan ; Kohajda, Michael (advisor) ; Kotáb, Petr (referee)
The thesis deals with the analysis focusedm on the nature of financial derivatives based on the analysis of documents such as mainly academic literature and the relevant legal regulations. This thesis is focused on the Czech legal regulation of derivatives and also includes the relevant European legislation. Firstly, attention is aimed at derivatives in general, the first chapter is focused on a brief historical development in the field of derivatives, and than on the term derivatives itself, as explained by various authors and, for comparison, some international organizations. Subsequent chapter acquaints with the basic properties of derivatives, where the individual types are characterized - especially forwards, futures, swaps and options. The chapter concludes with the current state of the derivatives market. The following chapter deals with the regulation of derivatives and derivatives markets under the Czech and the European law. Firstly, the role and competence of the Czech National Bank as the central administrative authority with the powers of the regulatory body and the financial market supervisory authority in the Czech Republic is mentioned here for the purpose of underlying the complexity of the topic. Subsequently, it is followed by description of regulatory steps made by the European...
International interventions - the cause of suicide terrorism?
Tesařová, Šárka ; Kofroň, Jan (advisor) ; Ditrych, Ondřej (referee)
This diploma thesis aims to explore whether international intervention can be the main cause of suicide terrorism. To determine this causal relation between suicide terrorism and international intervention, it tests Robert Pape's nationalist theory. The research sample of the cases of Afghanistan, Iraq, Pakistan, and Palestine was selected based on the Suicide Terrorism Attack database. The thesis applies the empirical-analytical methodology and the method of multiple case study to confirm or refute the validity of the research hypotheses. The outcome of the thesis is that the main trigger for a suicide terrorist campaign is a significantly stronger adversary, a social climate conducive to self- sacrifice, and an individual sense of hopelessness. The presence of international intervention fulfils all these features, but the theory has its limits - an exclusive focus on foreign intervention and state centrality.
Interactive Game for Android
Harmanec, Nik ; Kofroň, Jan (advisor) ; Kliber, Filip (referee)
The thesis focuses on creating a mobile application on the Android platform. It is an interactive online game which takes place in the real world. Users will see races around them in the map. When they get close enought to the start they will be able to start the race. The goal will be to get to the finish line as quickly as possible. The results will be recorded and a list of the best times with their authors will be displayed for each race. The application consists of two parts. From the backend that takes care of storing and providing data and from the frontend which is the mobile application itself and which the users have on their phones.

National Repository of Grey Literature : 168 records found   1 - 10nextend  jump to record:
See also: similar author names
1 KOFROŇ, Jiří
2 Kofroň, Jakub
Interested in being notified about new results for this query?
Subscribe to the RSS feed.