By means of comparative analysis the features of regulation of probationary period in a contract of employment in the law of Lithuania and the members of the EU are revealed. The problem of evaluation of the results of probationary period as well as the right to dispute the dismissal due to the negative outcome of probationary period are considered. The author also discusses some law cases of the Supreme Court of Lithuania to reveal the problems, related to probation clause.

In this thesis, I investigate dynamic and computational properties of prokaryotic signalling architectures commonly known as the Two Component Signalling networks and phosphorelays. The aim of this study is to understand the information processing capabilities of different prokaryotic signalling architectures by examining the dynamics they exhibit. I present original investigations into the dynamics of different phosphorelay architectures and identify network architectures that include a commonly found four step phosphorelay architecture with a capacity for tuning its steady state output to implement different signal-response behaviours viz. sigmoidal and hyperbolic response. Biologically, this tuning can be implemented through physiological processes like regulating total protein concentrations (e.g. via transcriptional regulation or feedback), altering reaction rate constants through binding of auxiliary proteins on relay components, or by regulating bi-functional activity in relays which are mediated by bifunctional histidine kinases. This study explores the importance of different biochemical arrangements of signalling networks and their corresponding response dynamics. Following investigations into the significance of various biochemical reactions and topological variants of a four step relay architecture, I explore the effects of having different types of proteins in signalling networks. I show how multi-domain proteins in a phosphorelay architecture with multiple phosphotransfer steps occurring on the same protein can exhibit multistability through a combination of double negative and positive feedback loops. I derive a minimal multistable (core) architecture and show how component sharing amongst networks containing this multistable core can implement computational logic (like AND, OR and ADDER functions) that allows cells to integrate multiple inputs and compute an appropriate response. I examine the genomic distribution of single and multi domain kinases and annotate their partner response regulator proteins across prokaryotic genomes to find the biological significance of dynamics that these networks embed and the processes they regulate in a cell. I extract data from a prokaryotic two component protein database and take a sequence based functional annotation approach to identify the process, function and localisation of different response regulators as signalling partners in these networks. In summary, work presented in this thesis explores the dynamic and computational properties of different prokaryotic signalling networks and uses them to draw an insight into the biological significance of multidomain sensor kinases in living cells. The thesis concludes with a discussion on how this understanding of the dynamic and computational properties of prokaryotic signalling networks can be used to design synthetic circuits involving different proteins comprising two component and phosphorelay architectures.

Adolescent pregnancy is a worldwide problem. This study attempted to describe and explore the knowledge of female adolescents in Angola's knowledge with regard to contraception. The research results, obtained from interview schedules, revealed that the respondents lacked knowledge about themselves as adolescents as well as a lack of knowledge of their reproductive health and development. Furthermore, the results portrayed a lack of knowledge of contraceptives. The study findings may assist health care providers to identify educational programmes on contraception at schools, markets and in the community. / Health Studies / Thesis (M.A. (Health Studies))

Unintended and unwanted pregnancies are major reproductive health problems impacting negatively on women’s health globally. When faced with these pregnancies, many women choose termination of pregnancy (TOP) as their recourse. The purpose of the study was to explore and describe physical, psychological and social implications of TOP on the woman’s health. A qualitative and descriptive research design was used. The population comprised women who had TOP three months to one year before the study and were willing to participate in the study. A non-probability purposive sampling was used to select participants for the study. In-depth phenomenological interviews were used for data collection until data saturation was reached with 20 participants. The findings reveal that women had psychological, physical and social implications after TOP which impacted negatively on their health. Recommendations were made to improve the services of women choosing to terminate a pregnancy to lessen negative implications. / Health Studies / M.A. (Health Studies)

Aim of this thesis is to plot employee care in organizations and companies, that have a seat in Pelhřimov district. The thesis deals with employee relationships and employee care, where participate working hours and work regime, work enviroment, personal development of employees, services provided to employees by employer, employee benefits, work safety and protection of their health and their motivation and stimulation as well. The first step during processing of this thesis was studying the special literature; making of questionaries was directly connected with it. The questionary was essintial for following survey and the survey took four months. Then, acquired information were processed and incuded into graphs and charts and annotated. The result of the thesis is an undestandable picture of employee care in Pelhřimov district and discovery of the greatest problems and the most problematic branches of the national economy.

This thesis deals with the analysis of personnel work in a selected company and proposing improvement measures for any deficiencies. In the theoretical part are analyzed opinions of authors, who deal with the personnel work. Basic structure of personal work used in this thesis is creation and job analysis, personnel planning, recruitment and selection of staff, their evaluation and remuneration, deployment of staff, termination of employment, education and care for workers, relationships with employers and HR information system. In the pracical part is the analyzed company introduced at first, its business activities and history. Then the basic information about employees are meantioned, their number and changes in last five years. Organizational structure is described here too. At the end of the thesis are improvement neasures for some of the personal work.

Les travaux présentés dans cette thèse sont lies aux problèmes de vérification de l'atteignabilité et de la terminaison de programmes qui manipulent des données entières non-bornées. On décrit une nouvelle méthode de vérification basée sur une technique d'accélération de boucle, qui calcule, de manière exacte, la clôture transitive d'une relation arithmétique. D'abord, on introduit un algorithme d'accélération de boucle qui peut calculer, en quelques secondes, des clôtures transitives pour des relations de l'ordre d'une centaine de variables. Ensuite, on présente une méthode d'analyse de l'atteignabilité, qui manipule des relations entre les variables entières d'un programme, et applique l'accélération pour le calcul des relations entrée-sortie des procédures, de façon modulaire. Une approche alternative pour l'analyse de l'atteignabilité, présentée également dans cette thèse, intègre l'accélération avec l'abstraction par prédicats, afin de traiter le problème de divergence de cette dernière. Ces deux méthodes ont été évaluées de manière pratique, sur un nombre important d'exemples, qui étaient, jusqu'a présent, hors de la portée des outils d'analyse existants. Dernièrement, on a étudié le problème de la terminaison pour certaines classes de boucles de programme, et on a montré la décidabilité pour les relations étudiées. Pour ces classes de relations arithmétiques, on présente un algorithme qui s'exécute en temps au plus polynomial, et qui calcule l'ensemble d'états qui peuvent générer une exécution infinie. Ensuite on a intégré cet algorithme dans une méthode d'analyse de la terminaison pour des programmes qui manipulent des données entières. / This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which non-terminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs. / Tato pr´ace pˇredstavuje nov´e metody pro verifikaci program°u pracuj´ıc´ıch s neomezen´ymiceloˇc´ıslen´ymi promˇenn´ymi, konkr´etnˇe metody pro anal´yzu dosaˇzitelnosti a koneˇcnosti.Vˇetˇsina tˇechto metod je zaloˇzena na akceleraˇcn´ıch technik´ach, kter´e poˇc´ıtaj´ı tranzitivn´ıuz´avˇery cykl°u programu.V pr´aci je nejprve pˇredstaven algoritmus pro akceleraci nˇekolika tˇr´ıd celoˇc´ıseln´ychrelac´ı. Tento algoritmus je aˇz o ˇctyˇri ˇr´ady rychlejˇs´ı neˇz existuj´ıc´ı techniky. Z teoretick´ehohlediska pr´ace dokazuje, ˇze uvaˇzovan´e tˇr´ıdy relac´ı jsou periodick´e a poskytuje tud´ıˇzjednotn´e ˇreˇsen´ı prol´emu akcelerace.Pr´ace d´ale pˇredstavuje semi-algoritmus pro anal´yzu dosaˇzitelnosti celoˇc´ıseln´ych program°u, kter´y sleduje relace mezi promˇenn´ymi programu a aplikuje akceleraˇcn´ı technikyza ´uˇcelem modul´arn´ıho v´ypoˇctu souhrn°u procedur. D´ale je v pr´aci navrˇzen alternativn´ıalgoritmus pro anal´yzu dosaˇzitelnosti, kter´y integruje predik´atovou abstrakci s accelerac´ıs c´ılem zv´yˇsit pravdˇepodobnost konvergence v´ypoˇctu. Proveden´e experimenty ukazuj´ı, ˇzeoba algoritmy lze ´uspˇeˇsnˇe aplikovat k verifikaci program°u, na kter´ych pˇredchoz´ı metodyselh´avaly.Pr´ace se rovnˇeˇz zab´yv´a probl´emem koneˇcnosti bˇehu program°u a dokazuje, ˇze tentoprobl´em je rozhodnuteln´y pro nˇekolik tˇr´ıd celoˇc´ıseln´ych relac´ı. Pro nˇekter´e z tˇechto tˇr´ıdrelac´ı je v pr´aci navrˇzen algoritmus, kter´y v polynomi´aln´ım ˇcase vypoˇc´ıt´a mnoˇzinu vˇsechkonfigurac´ı programu, z nichˇz existuje nekoneˇcn´y bˇeh. Tento algoritmus je integrov´ando metody, kter´a analyzuje koneˇcnost bˇeh°u celoˇc´ıseln´ych program°u. Efektivnost t´etometody je demonstrov´ana na nˇekolika netrivi´aln´ıch celoˇc´ıseln´ych programech.

Disrespect of economic laws and their relations or the violation of any law standards concerning company’s activities can result in its shutting down and following cessation. The cessation of the company is preceded by its dissolution with or without liquidation provided that its property is passed to a legal successor in title. The term liquidation refers to the settlement of debts and property of the dissolved subject. This diploma thesis is particularly focused on individual stages of liquidating process of business organizations and their relation on legal standards.

No description available.

The topic of my master thesis is the comparison of Czech and Slovak labour law. The goal of the paperwork is to compare structure and of content Czech and Slovak labour code, describe the most significant differences in chosen parts and analyse rights and obligations of employees and employers in both countries. At first the basic concept of labour law, his functions and position in legal system are defined. It continues with description of the history of labour law with focus on development of legislation after separation of the Czechoslovak Republic. Thesis analyses main three instituts of Czech and Slovak labour code: commencement of an employment relationship, his termination including financial and others entitlement of employees and agreements of work performed outside an employment relationship. The conclusion containts the partial summaries with emphasis on the biggest differences and evaluation of the hypotesis given at the beginning of the work.