|
|
Drug related crimes
Váchová, Natálie ; Říha, Jiří (advisor) ; Vokoun, Rudolf (referee)
Drug Related Crimes Thesis - Natálie Váchová - abstract Drug trade spreads throughout every country in the world and thus constitutes one of our society's global problems. As a result, countries try to fight the trade and usage of drugs on the national as well as international levels. Drugs affect various aspects of drug addicts' life - whether this be their health or their social and financial well-being. There are also many crimes that are connected to drugs - illicit production, distribution or possession of drugs (the so called "drug-related crimes"), crimes committed in order to raise funds for the purchase of drugs (i.e. criminal act of theft) or crimes committed under the influence of drugs. The topic of crimes related to substance abuse is very diverse, which is why this thesis will only be focused on the so called "drug-related crimes". The main aim of this thesis is to define "drug-related crimes" in more detail, closely analyse the different interpretations of the term "quantity larger than small" in the case of narcotic and psychotropic substances invoked over time and finally to compare the Czech regulation with the German one. The First Chapter introduces the reader to the issues surrounding drugs by describing the history of usage of drugs and the process of national and international...
|
|
|
Threat under the influence of addictive substance
Micka, Martin ; Říha, Jiří (advisor) ; Vokoun, Rudolf (referee)
EN: The misdemeanor of endangering under the influence of addictive substance is one of the most frequently occurring criminal offenses that the Czech society encounters. I have divided my thesis into nine chapters. The first chapter deals with elements of the criminal offense under the influence of addictive substance as divided by legal theory. The second chapter describes the issue of the unlawfulness of the deed. The third chapter deals with an analysis of qualifying circumstances that legislature provided in the second paragraph of the misdemeanor of endangerment under the influence of drugs. The fourth chapter describes the issue and the conditions of participation of persons other than the principal perpetrator of the deed. The sixth chapter deals with the most common criminal offenses that occur along with the abovementioned misdemeanor. The seventh chapter is devoted to the new phenomenon of proving a condition that excludes competence in cases of influencing other addictive substance. In the eighth chapter I focus on the issue of showing of various types of sentences with regard to current practice in relation to sentencing for the deed in question under Section 274 of the Criminal Code. The ninth chapter describes various forms of so-called special methods of proceedings which are used in the...
|
|
|
Wiretapping and Interception of communication
Kučerová, Štěpánka ; Říha, Jiří (advisor) ; Vokoun, Rudolf (referee)
This thesis analyzes legal framework as well as other issues regarding monitoring and intercepting the substance of communication under Section 88 of the Criminal Procedure Act. Also, the characteristics of logging and accessing data relating to communication (such as times, patterns, locations and parties involved) under Section 88a are described. These institutes in certain instances represent lawful interfere with the right to respect for private life and other human rights and both are of critical importance in the investigation of many types of crimes. The thesis is systematically divided into seven chapters. Chapter One presents both concepts in their relationship to the affected basic human rights and describes characteristics, major principles as well as the procedure of issuing a wiretap and data retention warrants. As both concepts have similar features with conception of Surveillance of persons and items under the Section 158d of the Czech Criminal Procedure Act, comparison with this institute is provided in the second chapter. The third Chapter is devoted to the evolution of Wiretapping legislation and its changes due to particular amendments. The first legal regulation of Wiretapping was adopted in the Czech Criminal Procedure Act in 1991 as a response to the political revolution...
|
|
|
Criminal proceedings in front of a single judge
Bělohradská, Lucie ; Říha, Jiří (referee) ; Krupička, Jiří (referee)
This rigorosum thesis on the topic of criminal proceedings in front of a single judge deals with, as the title suggests, a very specific, extraordinary criminal proceedings in front of a single judge, therefore in front of the only judge. Currently, the criminal proceedings in front of a single judge is frequently used, as under specific conditions stipulated by law, this proceedings enables execution of a criminal case in an often faster, economical and effective manner, especially in case that the single judge decides in a way that a decision in form of a penalty order is issued. The main objective and purpose of this work is not only to outline the criminal proceedings in front of a single judge as such in a close detail, but also to present all institutes that appear in criminal proceedings, respectively in criminal proceedings in front of a single judge and are closely connected to it. For the sake of better clarity and easier orientation of the reader this rigorosum thesis is divided into several main chapters and related subchapters. The main part of the work, respectively criminal proceedings in front of a single judge legislation de lege lata, continuously builds on and is based on historical context and results in the form of de lege ferenda consideration and suggestion. In conclusion,...
|
|
|
An Efficient Functional Library for Finite Automata
Říha, Jakub ; Hruška, Martin (referee) ; Lengál, Ondřej (advisor)
Finite automata are an important mathematical abstraction, and in formal verification, they are used for a concise representation of regular languages. Operations often used on finite automata in this setting are testing their universality and language inclusion. \mbox{A naive} approach to implement these operations leads to an explicit determinization of the automata, which can be costly and undesirable. There is, however, a more advanced method for performing those operations, called the Antichains algorithm, which avoids such an explicit determinization. This work shows how finite automata operations can be effectively implemented in Haskell and compares several approaches of their implementation. The obtained results are compared with VATA, an imperative implementation of a finite automata library.
|
|
|
New features in Java 9 and possibilities of using them in programming courses
Fedorčák, Jaroslav ; Pavlíčková, Jarmila (advisor) ; Říha, Jan (referee)
Nowadays, there are a large number of programming languages with varying degrees of popularity among developers all over the world. Java is one of the leading programming languages, which has been developed for over 25 years and has been gradually adapted to modern programming techniques and new technologies in order to ensure its best usability by the developers. In July 2017, Oracle is to introduce the ninth version of the Java programming language, which represents a big step forward in terms of the design of programs by adding new language elements - modules. Other novelties in the language are, among others, the REPL tool jshell, the extension of the @Deprecated annotation, changes within Collections, and many others. The aim of this thesis is to describe the modularity from the theoretical point of view according to the principles on which it is based and its particular implementation in the language and to propose examples for teaching the use of modules in the Java Programming course at the University of Economics. Also, the aim of this thesis is to describe other novelties in the language which are also useful to include in lessons at the University. The benefits of this thesis will be therefore particular examples and procedures for teaching them, which will be possible - after the official release of Java 9 - to include in the lessons and to familiarize students with these new elements of the language. The thesis consists of three chapters. The first chapter is devoted to a brief presentation of this programming language and the development of its platform during its previous versions. This chapter also contains an extract from the language features published on the OpenJDK website. The second chapter presents the principles and the theoretical basis of modular programming, its implementation in Java 9, and three exercises gradually introducing the use of modularity at different proposed stages of practicing them at seminars. The last chapter briefly presents certain other novelties which are to appear in the language.
|
|
|
Framework Meteor as a web environment for developing applications
Zvyagintseva, Daria ; Pavlíčková, Jarmila (advisor) ; Říha, Jan (referee)
This bachelor thesis describes framework Meteor as a web environment for developing applications. The main goal of this work is to describe the properties of the framework, to write documentation in the Czech language and to design and develop the own application. The bachelor thesis is divided into the theoretical and practical parts. The theoretical part describes real-time frameworks, node.js frameworks and mainly describes the technical functionality, properties, structure of Meteor framework. Practical part consists of design and developing of own application. The last part of the thesis is the Meteor's assessment whether this platform is applicable for the development of real-time web applications. The main workload is a detailed but simple written overview of the Meteor framework and also a fully functional real-time Web application Nabidni.mi. This bachelor thesis could be used in the future for study purposes at universities or as a tutorial for programmers who are just starting with web application programming. The work is one of a few sources describing the Meteor framework in the Czech language.
|
|
|
Participation
Slavíková, Lucie ; Říha, Jiří (advisor) ; Vokoun, Rudolf (referee)
Participation Abstract The submitted thesis analyzes the institute of participation in the broader sense in Czech criminal law, thus except for participation in the narrower sense it focuses also on complicity. Participation is one of the most complicated topics of the general part of the criminal law while being currently one of the most relevant topics, since the number of criminal offences committed in cooperation is increasing. The purpose of the thesis is to critically evaluate current legal regulation of participation in the Czech Criminal Code and to suggest possible solutions to some of the identified drawbacks. This goal should be fulfilled not only by the analysis of Czech expert literature and case law, but also by the comparison with French and Belgian legal regulations of participation and by the analysis of relevant French and Belgian expert literature and case law. Except for the introductory part and the conclusion the thesis is composed of four chapters, which are further divided. The first chapter focuses firstly on a criminal participation of more persons in the commission of criminal offences in general and the possibilities of their punishment. In this context the system of plurality of criminal offences and the system of unity of a criminal offence (also known as the dualistic and...
|
|
|
The probabilistic solution of dike breaching due to overtopping
Alhasan, Zakaraya ; Fošumpaur, Pavel (referee) ; Šoltész,, Andrej (referee) ; Říha, Jaromír (advisor)
Doctoral thesis deals with reliability analysis of flood protection dikes by estimating the probability of dike failure. This study based on theoretical knowledge, experimental and statistical researches, mathematical models and field survey extends present knowledge concerning with reliability analysis of dikes vulnerable to the problem of breaching due to overtopping. This study contains the results of probabilistic solution of breaching of a left bank dike of the River Dyje at a location adjacent to the village of Ladná near the town of Břeclav in the Czech Republic. Within thin work, a mathematical model describing the overtopping and erosion processes was proposed. The dike overtopping is simulated using simple surface hydraulics equations. For modelling the dike erosion which commences with the exceedance of erosion resistance of the dike surface, simple transport equations were used with erosion parameters calibrated depending on data from past real embankment failures. In the context of analysis of the model, uncertainty in input parameters was determined and subsequently the sensitivity analysis was carried out using the screening method. In order to achieve the probabilistic solution, selected input parameters were considered random variables with different probability distributions. For generating the sets of random values for the selected input variables, the Latin Hypercube Sampling (LHS) method was used. Concerning with the process of dike breaching due to overtopping, four typical phases were distinguished. The final results of this study take the form of probabilities for those typical dike breach phases.
|
|
|
Reliability analysis of embankment dams endangered by filtration deformations
Čejda, Marek ; Baroková,, Dana (referee) ; Fošumpaur, Pavel (referee) ; Říha, Jaromír (advisor)
Subject of the dissertation is a probability analysis on creation of embankment subsoil filtration deformations. Out of the broad topic of filtration deformations, the dissertation is focused at initiation of the process. At this phase, the overlying layers downstream of levee get uplifted, and eventually get breached. The process of downstream subsoil failure probability estimation is formulated using mathematical and statistical modelling. Within the scope of parametrical study the suggested method is applied onto a test environment. Results of the probability estimation are compared with results obtained using Limit state design method. The results of stochastic modelling can be used for improvement of Limit state design method precision.
|
guest ::
