Working out of the topic dissolution and liquidation of the limited partnership company as my dissertation should allow the reader of this dissertation a complex view of this procedure, while my goal was also a direct an direct application of this dissertation in praxis. In the articles above I try to describe all necessary what should a prospective liquidator of the limited partnership company, or other person dealing with this matter, know, and how he should proceed in praxis and I also want to include all the recent changes of the private law, which in some cases appeared in some aspects of the procedure of dissolution and liquidation, and which have been in theory poorly covered by the literature of today. I split the dissertation into five main pieces. In part one I deal with dissolution of the company and I describe in details all causes, that cause a dissolution of the company, including the causes that lead to the liquidation. I devoted the second part to the liquidator. The liquidator is the most important person that enters the procedure of liquidation. In the scope of second part I describe his nomination, end of his function and the most important tasks entrusted to him. Over more I try to describe his status to other company's bodies and jurisdiction of such bodies in the liquidation....

Computer systems are used in almost all aspects of our lives and our dependency on them keeps on increasing. When computer systems are used to handle critical tasks, any software failure can cause severe human and/or material losses. Therefore, for such applications, it is important to detect software errors at an early stage of software development. Furthermore, the growing use of concurrent and distributed programs exponentially increases the complexity of computer systems, making the problem of detecting software errors even harder (if not impossible). This calls for defining systematic and efficient techniques to evaluate the safety and the correctness of programs. The aim of Model-Checking is to analyze automatically whether a given program satisfies its specification. Early applications of Model-Checking were restricted to systems whose behaviors can be captured by finite graphs, so called finite-state systems. Since many computer systems cannot be modeled as finite-state machines, there has been a growing interest in extending the applicability of Model-Checking to infinite-state systems. The goal of this thesis is to extend the applicability of Model Checking for three instances of infinite-state systems: Ad-Hoc Networks, Dynamic Register Automata and Multi Pushdown Systems. Each one of these instances models challenging types of networks of communicating processes. In both Ad-Hoc Networks and Dynamic Register Automata, communication is carried through message passing. In each type of network, a graph topology models the communication links between processes in the network. The graph topology is static in the case of Ad-Hoc Networks while it is dynamic in the case of Dynamic Register Automata. The number of processes in both types of networks is unbounded. Finally, we consider Multi Pushdown Systems, a model used to study the behaviors of concurrent programs composed of sequential recursive sequential programs communicating through a shared memory.

Chez les eucaryotes, la maturation de l’extrémité 3’ des ARNs messagers a lieu lors de la transcription et regroupe deux étapes : le clivage endonucléolytique du transcrit au niveau d’un site spécifique et l’ajout d’une queue poly(A) sur le fragment en amont du site de clivage. Chez S. cerevisiae, le complexe de polyadénylation est formé par 20 protéines, regroupées principalement en deux sous-complexes : CF IA et CPF. Nous nous intéressons plus spécifiquement à Pcf11, sous-unité du complexe CF IA. Pcf11 est formé de sept sous-domaines, mais la fonction d’une grande partie de la protéine n’est pour l’instant pas connue. Par exemple, aucune fonction n’est associée à la région située entre le domaine d’interaction avec le CTD de l’ARN polymérase II (CID) et une répétion de 20 résidus glutamines. Récemment, la structure de ce domaine, appelé 2nd NTD a été décrite. Pour essayer de comprendre la fonction du 2nd NTD et des motifs liant le zinc encadrant le domaine d’interaction avec Clp1, nous avons mis en place une stratégie systématique de mutagénèse, soit par délétions, soit par mutations ponctuelles. Le 2nd NTD est formé de trois hélices α et interagit avec l’ARN. La délétion de ce domaine conduit à un phénotype de croissance lente chez la levure et un défaut de terminaison de transcription des snoRNAs. Malgré une similarité de structure et de fonction, le 2nd NTD présenterait une fonction indépendante. La fonction des motifs liant le zinc n’est pour l’instant pas connue. Cependant, la mutation de l’un de ces deux motifs conduit à un défaut de clivage et de polyadénylation in vitro. La mutation des deux motifs est létale chez la levure. / In eukaryotes, poly (A) tails are added to nuclear pre-mRNA 3'-ends in the two steps of cleavage and polyadenylation. This co-transcriptional processing requires the activity of a large protein complex comprising at least 20 different polypeptides in yeast organized primarily into the two factors CF IA and CPF. We are interested in the functional characterization of Pcf11, a CF IA subunit. The Pcf11 protein is organized into seven different domains, but here is still a large portion of the polypeptide that has not yet been characterized. For example the region from the end of the CTD interaction domain (CID) to an uninterrupted stretch of 20 glutamine residues has no known function. Recently, the structure of this region, called the 2nd NTD have been characterized. To gain insight into the function of the 2nd NTD and the two zinc fingers motif surrounding the Clp1 interaction domain, we have employed a systematic strategy of mutagenesis, either by deletion or via point mutations. The 2nd NTD is a folded domain composed of three α-helices. The deletion of this domain induced a severe defect of growth in yeast and impaired transcription termination of snoRNAs. Despite its similarity in structure and function with the CID, the 2nd NTD seems to act like an independent RNA binding domain. We don’t know yet the real function of the two zinc fingers motif at the C-terminal region of Pcf11, but the mutation of Cystein residues into serine of one of the two motifs impaired cleavage and polyadenylation. The mutation of the first motif is less harmful than the mutation of the second motif. The simultaneous mutation is lethal in yeast.

Les modes amiables de rupture du contrat de travail sont en plein essor. Même si la rupture amiable de la relation contractuelle, issue de l’article 1134 du Code civil, est reconnue depuis plusieurs décennies, son manque d’appréhension par la législation sociale en limite l’usage alors même que son efficacité, en ce qui concerne les contrats de travail à durée déterminée et le contrat d’apprentissage, n’a plus à être prouvée. Le regain actuel que connait ce type de rupture résulte de la création d’un nouvel acte par la loi de modernisation du marché du travail du 25 juin 2008. La rupture conventionnelle, voulue comme un acte permettant d’assurer la sécurité de la cessation relationnelle, a redonné confiance, aux employeurs et salariés, en l’utilisation du consensualisme lors de résiliation du contrat qu’ils ont créé. Ainsi, sans véritablement remettre en cause l’existence de la rupture issue du droit commun, la rupture conventionnelle semble être l’acte le plus à même de mettre fin à l’hégémonie des actes unilatéraux de rupture / The ways to break a work contract amicably are booming . Even if the amicable break of the contractual relationship , from Article 1134 of the civil code , has been recognized for several decades , its lack of real understanding and use by the social legislation limits its use , even though its effectiveness,regarding the fixed period employment contracts and the training contract does not need to be proven any more ! The current revival of this way to break a contract comes from the creation of a new act : the 25 th june 2008 modernization of the labour market law . The conventional breach, supposed to be an act which permits to reinforce the safety of the relational breach has boosted the confidence of employers as well as employees, when the use of consualism , they had created, has to be broken .So, without really putting into question the breach itself the origin of which being the common law, the conventional breaking is the most likely act to put an end to the hegemony of unilateral acts of breach

L’objectif général de cette thèse est le développement de méthodes mathématiques correctes et efficaces en pratique pour prouver automatiquement la correction de logiciels. Plus précisément, cette thèse est fondée sur la théorie de l’interprétation abstraite, un cadre mathématique puissant pour l’approximation du comportement des programmes. En particulier, cette thèse se concentre sur la preuve des propriétés de vivacité des programmes, qui représentent des conditions qui doivent être réalisés ultimement ou de manière répétée pendant l’exécution du programme. La terminaison des programmes est la propriété de vivacité la plus fréquemment considérée. Cette thèse conçoit des nouvelles approximations, afin de déduire automatiquement des conditions suffisantes pour la terminaison des programmes et synthétiser des fonctions de rang définies par morceaux, qui fournissent des bornes supérieures sur le temps d’attente avant la terminaison. Les approximations sont paramétriques dans le choix entre l’expressivité et le coût des approximations sous-jacentes, qui maintiennent des informations sur l’ensemble des valeurs possibles des variables du programme ainsi que les relations numériques possibles entre elles. Cette thèse développe également un cadre d’interprétation abstraite pour prouver des propriétés de vivacité, qui vient comme une généralisation du cadre proposé pour la terminaison. En particulier, le cadre est dédié à des propriétés de vivacité exprimées dans la logique temporelle, qui sont utilisées pour s’assurer qu’un événement souhaitable se produit une fois ou une infinité de fois au cours de l’exécution du programme. Comme pour la terminaison,des fonctions de rang définies par morceaux sont utilisées pour déduire des préconditions suffisantes pour ces propriétés, et fournir des bornes supérieures sur le temps d’attente avant un événement souhaitable. Les résultats présentés dans cette thèse ont été mis en œuvre dans un prototype d’analyseur. Les résultats expérimentaux montrent qu’il donne de bons résultats sur une grande variété de programmes, il est compétitif avec l’état de l’art, et il est capable d’analyser des programmes qui sont hors de la portée des méthodes existantes. / The overall aim of this thesis is the development of mathematically sound and practically efficient methods for automatically proving the correctness of computer software. More specifically, this thesis is grounded in the theory of abstract interpretation, a powerful mathematical framework for approximating the behavior of programs. In particular, this thesis focuses on provingprogram liveness properties, which represent requirements that must be eventually or repeatedly realized during program execution. Program termination is the most prominent liveness property. This thesis designs new program approximations, in order to automatically infer sufficient preconditions for program termination and synthesize so called piecewisedefined ranking functions, which provide upper bounds on the waiting time before termination. The approximations are parametric in the choice between the expressivity and the cost of the underlying approximations, which maintain information about the set of possible values of the program variables along with the possible numerical relationships between them. This thesis also contributes an abstract interpretation framework for proving liveness properties, which comes as a generalization of the framework proposedfor termination. In particular, the framework is dedicated to liveness properties expressed in temporal logic, which are used to ensure that some desirable event happens once or infinitely many times during program execution. As for program termination, piecewise-defined ranking functions are used to infer sufficient preconditions for these properties, and to provide upper boundson the waiting time before a desirable event. The results presented in this thesis have been implemented into a prototype analyzer. Experimental results show that it performs well on a wide variety of benchmarks, it is competitive with the state of the art, and is able to analyze programs that are out of the reach of existing methods.

This dissertation examines a bank’s right to unilaterally terminate its contractual relationship with a customer on the basis of reputational risk. The law of contract allows a bank to terminate the bank-customer agreement when the customer is in serious breach of the contract. Over the years, however, a pattern has started to develop by which a bank can unilaterally terminate the bank-customer relationship of high-risk customers based on reputational risk. Banks are reluctant to facilitate the transactions of individuals surrounded by negative publicity, due to fears of how the bank’s investors, customers or counterparts might perceive the bank. Compliance with anti-money laundering (AML) and counter financing of terrorism (CFT) requirements, as set out by both domestic and foreign legislation, results in higher costs for the bank. As such, the profitability of a particular bank-customer relationship may ultimately decline to such an extent that the bank rather decides to make an appropriate business decision by terminating the relationship. Correspondent banking relationships are agreements in terms of which one bank will provide services for another in jurisdictions where the first bank lacks a physical presence. As such, whenever there is a perception that a local bank does not comply with the relevant AML/CFT laws as set out by its domestic legislation, the correspondent bank might decide to terminate its relationship with the local bank, leaving the latter financially excluded from the correspondent banking market. Such a situation would hinder the growth of the South African economy and may also cause a systemic event in the financial industry. Adequate customer due diligence (CDD) measures assist a bank in formulating a clear understanding of the business of its customers. The information obtained through CDD may also assist the bank in determining the reputation of a particular customer. This information can also assist law enforcement in combatting financial crimes. In this regard, it is recommended that a bank should be able to trace the information that was shared with Financial Intelligence Units (FIUs) and law enforcement agencies, so that the bank may reasonably determine the level of reputational risk involved in the relationship. / Mini Dissertation (LLM)--University of Pretoria, 2020. / Mercantile Law / LLM / Unrestricted

Varje år sker omkring sextusen hjärtstopp utanför sjukhus i Sverige. Endast tio procent beräknas överleva. Ambulanssjuksköterskan har riktlinjer för hur hon ska påbörja, genomföra och eventuellt avsluta en hjärtlungräddning prehospitalt. Frågan om att avbryta en hjärtlungräddning är studerad i begränsad omfattning. Beslutet fattas under ansträngda förhållanden med etiska konflikter involverade, vilket kan påverka ambulanssjuksköterskan psykiska välbefinnande och hennes förmåga att vidare utföra sitt arbete. Syftet med studien är att beskriva upplevelsen av att avbryta hjärtlungräddning hos sjuksköterskor inom ambulanssjukvården och hur upplevelsen eventuellt påverkas av olika faktorer (förbättringspotentialer) kopplade såväl till ambulansorganisationen, vårdaren och omständigheterna kring hjärtstoppet. En kvalitativ intervjustudie har gjorts för att besvara studiens syfte. Tolv intervjuer genomfördes med ambulanssjuksköterskor från tre ambulansstationer i Västsverige. En öppen fråga med hänvisning till studiens syfte besvarades av informanterna. Resultatet indikerar att ambulanssjuksköterskan, vid den vanligaste varianten av hjärtstopp, inte upplever avbrytandet som särskilt problematiskt. Vidare visar studien på att omgivande faktorer i samband med avbrytandet har en påverkan på ambulanssjuksköterskan. Det som informanterna beskrev som viktigt i sammanhanget var samtalet med kollegan samt tid för återhämtning och reflektion efter en emotionellt påfrestande situation. Ambulanssjuksköterskan värnar om sin yrkesroll och för att bevara denna behöver de vissa förutsättningar i sin omgivning. Det är viktigt att organisationen kring ambulanssjuksköterskan tillser att dessa behov tillgodoses för att de på ett tillfredställande sätt ska kunna utföra sitt arbete och samtidigt inte påverkas allt för mycket på ett personligt plan. Ett nytt spår i utbildningen av hjärtlungräddning där ambulanssjuksköterskan får ökad kunskap i att hantera människor i sorg och kris samt att organisatoriskt beakta behovet av tid för samtal och reflektion, främst tillsammans med närmast kollegan, kan vara av värde i framtiden. / Every year, about six thousand cardiac arrests occur outside hospitals in Sweden. Only ten percent are estimated to survive. The ambulance nurse has guidelines for how she should start, carry out and possibly terminate a cardiopulmonary resuscitation in the prehospital setting. The problems surrounding termination of a cardiopulmonary resuscitation has been scarcely studied. The decision is made under strained conditions with ethical conflicts involved, which can affect the ambulance nurse's mental well-being and her ability to further carry out her work. The purpose of the study is to describe the experiences of interrupting cardiopulmonary resuscitation among nurses in ambulance care and how these experiences may be influenced by different factors (some of which may be amenable for improvement) and linked to the ambulance organization, the healthcare provider and circumstances at the event. A qualitative interview study has been performed to address the purpose of the study. Twelve interviews were conducted with ambulance nurses from three ambulance stations in western Sweden. An open-ended question with reference to the purpose of the study was answered by the informants. The result indicates that the ambulance nurse, during the most common type of cardiac arrest, does not experience the interruption as particularly problematic. Furthermore, the study shows that surrounding factors in connection with the interruption have an impact on the ambulance nurse. What the informants described as important in the context was the conversation with the colleague and time for recovery and reflection after an emotionally stressful situation. The ambulance nurse safeguards her professional role and in order to maintain this, they need certain conditions in the environment. It is important that the organization around the ambulance nurse ensures that these requirements are met so that she or he can carry out the work in a satisfactory manner and at the same time not be affected too much on a personal level. A new track in the training of cardiopulmonary resuscitation where the ambulance nurse gains increased knowledge in dealing with people in grief and crisis and to organizationally consider the need for time for conversation and reflection, mainly together with the closest colleague, may be of value in the future.

This diploma thesis solves issue of the easements and their impact on evaluation of the land. Primary there are decribe basic topics of the isuue, further on legal procedure of the easements and the constituon, modification and termination. Next there is describe types of prises and evaluation of the land, easements and the lands with these easements. In the practical part there is evaluation of the specific land (with the market value and administrative price), which is loaded by easement of way over the land.

MPH / Department of Public Health / See the attached abstract below

Legal status of managers when terminating employment This thesis deals with the topic of the legal status of a manager when terminating employment. The first chapter outlines the gradual evolution of a job position of an employee- manager in between the years 1918 to 2006 and shows conditions under which it was possible to terminate employment with an employee in a managerial position. The next chapter introduces the individual participants to the employment relationships that is an employee, manager and employer. The third chapter describes the two possible ways how to commence employment in case of a manager which is the appointment or the employment contract and defines all the requirements necessary to comply with so the employment is valid. The following chapter concentrates on the rights and obligations of ordinary employees and managers and the obligations of employers. Managers have the same rights and obligations as ordinary employees, but as they also have to fulfil the role of an intermediator between employer and ordinary employees, they enjoy additional rights and obligations. The fifth chapter focuses on the termination of employment of both managers and ordinary employees. The chapter illustrates in detail three ways how to terminate employment. Employment may be terminated by legal...