Reasons for termination of employment Abstract The topic of the diploma thesis concerns the reasons for the termination of the employment relationship. The aim of the thesis is to analyse thoroughly the reasons for termination in the light of legal regulation as well as the case law, but the aim of the thesis is also to reveal possible legal deficiencies and possible proposals for its de lege ferenda solutions. The actual text of the work outside of the introduction and the conclusion is divided into 4 chapters. The first chapter defines the basic concepts of labour law, its function and its position within the system of law, especially its relation to civil law. The second chapter deals with general employment and termination of employment. At the beginning there is a brief discussion about the employment relationship and its origin, including its subjects, and a list of all ways of terminating the employment relationship and more precisely characterized selected ways of termination of employment, including the termination of employment contract, the probationary period, the immediate cancellation of the employment relationship and, last but not least, the collective redundancies. The third, most extensive, chapter is the core of the entire thesis and is divided into several subchapters. These deal with...

Establishing the termination of programs is a fundamental problem in the field of software verification. For transformational programs, termination is used to extend partial correctness to total correctness. For reactive systems, termination reasoning is used to establish liveness properties. In the context of theorem proving, termination is used to establish the consistency of definitional axioms and to automate proofs by induction. Of course, termination is an undecidable problem, as Turing himself proved. However, the question remains: how automatic can a general termination analysis be in practice? In this dissertation, we develop two new general frameworks for reasoning about termination and demonstrate their effectiveness in automating the task of proving termination in the domain of applicative first-order functional languages. The foundation of the first framework is the development of the first known complete set of algorithms for ordinal arithmetic over an ordinal notation. We provide algorithms for ordinal ordering ($<$), addition, subtraction, multiplication, and exponentiation on the ordinals up to epsilon-naught. We prove correctness and complexity results for each algorithm. We also create a library for automating arithmetic reasoning over epsilon-naught in the ACL2 theorem proving system. This ordinal library enables new termination proofs that were previously not possible in previous versions of ACL2. The foundation of the second framework is an algorithm for fully automating termination reasoning with no user assistance. This algorithm uses a combination of theorem proving and static analysis to create a Calling Context Graph (CCG), a novel abstraction that captures the looping behavior of the program. Calling Context Measures (CCMs) are then used to prove that no infinite path through the CCG can be an actual computation of the program. We implement this algorithm in the ACL2, and empirically evaluate its effectiveness on the regression suite, a collection of over 11,000 user-defined functions from a wide variety of applications.

Because of shared physiological, anatomical and metabolical features with humans, mice have served for a long time as mammalian disease models. In particular, these last ten years have been the golden age for this favoured model animal. Human and mouse genome projects show that there is 95% genome homology. Spurred by this fact, research attention has shifted from reading these sequences to deciphering the functions of these genes. The 1980s saw the remarkable achievement of homologous recombination in mammalian cell culture systems. Later in the 1990s, innovative gene trapping strategies were developed to enabled random mutagenesis. Today, the goal is to generate more versatile tools to avoid limitations posed by these earlier mutagenesis strategies. Many public and private research centers have united with the aim of mutating all mouse genes. In order to achieve this mutagenesis, the first requirement is a set of practical and efficient viral or plasmid based vectors that can be used globally in the genome. This will be aided by advances in understanding of biological events such as gene transcription, recombination, and embryonic stem cell cycle. In addition, technical improvements such as vector development, precise cell culture assay, and recombinant DNA delivery will also be important. The vector design work in this PhD thesis encompasses 0.00001 % ofthese efforts but may to out to be highly relevant...

Le système de contrôle appelé dégradation des ARNm non-sens (NMD) permet de détecter puis de dégrader des ARNm contenant un codon de terminaison prématuré (PTC). Les facteurs principaux de la NMD : UPF1, UPF2 et UPF3 reconnaissent les PTCs en interagissant avec les facteurs de terminaison eRF1, eRF3 et la protéine Poly(A) binding (PABP). La reconstitution d’un système de traduction in vitro a permis d’étudier la terminaison de la traduction en présence des facteurs PABP et UPF1, à l’aide de méthodes de biochimie et de cryo-microscopie électronique. L’étude du rôle du facteur de NMD UPF3B dans la terminaison de la traduction a mis en évidence une double action de cette protéine ; tout d’abord, un retardement de la reconnaissance du codon stop et également la promotion de la dissociation du ribosome. Ce travail a également permis de mettre en évidence une nouvelle interaction entre UPF3B et la kinase SMG1-8-9 et de montrer comment cette interaction affecte l’état de phosphorylation de UPF1. Les résultats de cette étude montrent une interaction complexe entre les différents facteurs de NMD et la kinase SMG1. / Nonsense-mediated mRNA decay (NMD) is an important eukaryotic quality control mechanism that recognizes and degrades mRNA containing a premature termination codon (PTC). Up-frameshift proteins constitute the conserved core NMD factors (UPF1, UPF2 and UPF3). They mediate the recognition of a NMD substrate, i.e. a ribosome stalled at a PTC. UPF proteins were shown to associate with eukaryotic release factors (eRF1 and eRF3) and were suggested to impede translation termination. We showed that, at a normal termination codon, Poly(A)-binding protein (PABP) stimulates translation termination by directly interacting with eRF3a. Using a reconstituted in vitro translation system, we studied translation termination in the presence of the factors PABP and UPF1 using biochemistry and single particle electron cryo-microscopy (Cryo-EM). Additionally, we analysed the role of the other NMD factors UPF2 and UPF3B in translation termination in vitro. We discovered a novel role for UPF3B in translation termination. Moreover, we observed a novel interaction between UPF3B and the SMG1-8-9 kinase complex. The presence of UPF3B affects the kinase activity of SMG1 and thus the phosphorylation state of UPF1. Our results highlight a much more complex interplay of the NMD factors with the translation termination machinery and SMG1 kinase than anticipated.

76 ABSTRACT Modes of termination of employment Termination of employment is a legal concept, which leads to the termination of basic employment relationship between employer and employee - for termination of employment. Employment could be terminated in several ways, which are listed in the Labour Code. Therefore I decided to describe general the various ways, and then I will deal with just one of them - the immediate termination of employment. The immediate termination of employment is exceptional way how to terminate the employment. It regards to one-sided legal act by which the employment can be terminated quite exceptionally. This instrument can be used by employer and by employee as well. But because it regards to significant interference with working contract, the employment can be ended only by realizable strict conditions which are determined by law. My paper work is divided into nine chapters, in every of these chapters I am dedicating to different aspects. In first chapter I have tried to define the conception, function and position of working law, as well as to describe the relationship between the labour code and new code of civil law. The second chapter describes what is working contract and especially how it is possible to end it and the third chapter is devoted to various ways of termination...

The aim of this thesis is to analyze current legislation of notice of termination and refer to some of the questionable area of this termination. The thesis also offers some of the proposals of amendments de lege ferenda. Reasons of these proposals are that notice of termination of employment as unilateral legal act brings negative aftermath mainly for employee, but in some cases also for employer and legislation should prevent these negative effects or at least minimized them. The thesis is divided into seven chapters. The first chapter deals with position of labor law and his relationship with the civil law, due to subsidiary using of the civil code. The second chapter describes the legal facts that lead to the notice of termination, with an emphasis on legal act, because notice of termination is an unilateral legal act which must fulfill the statutory requirements. The third chapter discusses national and international sources of law of regulation of notice of termination. The main part of the thesis is contained in chapter four, which deals with the current legislation of notice of termination. This chapter, with the help of the case law, deals with formal and content page of notice of termination, her delivery, notice of termination by employees and employers, prohibiting the possibility of...

Title: Comparison of legal regulation of notice of termination in the Czech Republic and Poland The aim of this master thesis is the comparison of legal regulation of notice of termination of employment relationship in the Czech Republic and Poland. This paper provides an overview of the legislation of notice of termination in these two states and in the end contains the comparison and evaluation of legal regulations concerned. The work consists of eight chapters, introduction and conclusion. The first chapter outlines the international and European legislation related to labour law with emphasis on termination of employment. The chapter contains a number of international conventions adopted in particular within the ILO as well as European legislation which deals with this issue. The second chapter contains treatise on termination of employment relationship in general, where the basic sources of national labour law in each country and a brief description of all forms of termination of employment relationship are stated. This chapter also contains a brief description of the relationship between civil and labour law and its development. The third chapter discusses the substantive aspects of notice of termination. It starts with general commentary on the concept of notice of termination, continues by...

Because of shared physiological, anatomical and metabolical features with humans, mice have served for a long time as mammalian disease models. In particular, these last ten years have been the golden age for this favoured model animal. Human and mouse genome projects show that there is 95% genome homology. Spurred by this fact, research attention has shifted from reading these sequences to deciphering the functions of these genes. The 1980s saw the remarkable achievement of homologous recombination in mammalian cell culture systems. Later in the 1990s, innovative gene trapping strategies were developed to enabled random mutagenesis. Today, the goal is to generate more versatile tools to avoid limitations posed by these earlier mutagenesis strategies. Many public and private research centers have united with the aim of mutating all mouse genes. In order to achieve this mutagenesis, the first requirement is a set of practical and efficient viral or plasmid based vectors that can be used globally in the genome. This will be aided by advances in understanding of biological events such as gene transcription, recombination, and embryonic stem cell cycle. In addition, technical improvements such as vector development, precise cell culture assay, and recombinant DNA delivery will also be important. The vector design work in this PhD thesis encompasses 0.00001 % ofthese efforts but may to out to be highly relevant...

Termination of Employment after Civil Re-Codification Abstract The thesis deals with different means of termination of employment, which may occur either as an expression of the will of a party or both parties to an employment contract, i.e. the employee or the employer, or as a consequence of another kind of legal occurrence. The paper further researches the impact of the Civil Code, as a general civil law regulation, and amendments to the Labour Code implemented due the Civil Code coming into force on termination of employment and its consequences. Primary focus is on the application of the general regulation of ineffectiveness and voidability of termination as well as on interpretation of employment-related legal conduct under the Civil Code. The thesis also explores the influence of civil-law regulation of time limits and lapse of time on counting of time in labour law. The thesis reflects court decisions related to the Labour Code issued since 2014 when the Civil Code came into force. Following an overview of all means of termination of employment, the paper focuses on individual means of termination by the parties consisting in the unilateral or bilateral expression of will of the parties to an employment contract. These means include agreements to terminate employment, dismissal, summary dismissal...

Dropout is a problematic phenomenon which wastes community, clinician, client, and researcher resources. Clients who dropout from therapy end up the same, or worse than, those who did not seek out therapy at all. While there is a relatively deep and broad understanding of dropout from individual therapy, an exhaustive review of couple therapy dropout literature reveals a very inconsistent and non-conclusive body of research. This may stem from a lack of a consistently used theory to guide research endeavors in this important realm. Primarily, this seems to stem from treating dropout as a static event rather than a process occurring across time. This study seeks to remedy this and shed new light on dropout from couple therapy by using a growth mixture model analysis to tease out which trajectories of change of predictor variables across time are more likely to predict dropout from couple therapy. While the results of this study did not reveal any significant relationships between class membership and dropout (likely due to a too small sample size), the study did find that there were distinct classes (trajectories of change) among the predictor variables across time.