The objective of this thesis is to analyse the issues related to the legal status of family members of European Union citizens in light of European Union law, and to compare the rights of family members of EU citizens with the rights of the other third country nationals (further referred to as TCNs) and the EU citizens themselves. The first chapter deals with the institute of EU citizenship and especially stresses the importance of the right of EU citizens and their family members to move and reside freely within the territory of Member States which is connected with the status of an EU citizen. The second chapter is related to the different definitions of family members in EU secondary legislation. The third chapter examines in detail specific rights (e.g.: the right of entry and residence to the territory of the host Member State, protection against expulsion) which are connected with the status of the family member of EU citizens on the one hand and the status of the TCNs on the other hand. The thesis attempts to answer to the questions related to the legal status of family members and tries to suggest possible future adjustments of EU legislature.

The subject of this thesis is an analysis of support for families with children in pension and tax system of the Czech Republic. In pension system family is supported in connection with survivor pensions and parents are supported in relation to retirement pensions. Tax system allows to families with children various tax credits that reduce the final tax liability. Furthermore, from this system are paid state benefits and foster care benefits. In terms of overall tax support are in the Czech Republic the most supported medium- and high-income households with both parents and single parent households the least. The theoretical part deals with various kinds of support within each system. The practical part contains analysis of support from the tax system and health insurance system as other form of support for families with children. Its aim is to quantify changes in income of model families based on the number of children and income level before kids.

No description available.

Un des défis majeurs pour le développement des Systèmes Multi-Agents (SMA) auto-organisateurs est de garantir la convergence du système vers la fonction globale attendue par un observateur externe et de garantir que les agents sont capables de s'adapter face aux perturbations. Dans la littérature, plusieurs travaux se sont basés sur la simulation et le model-checking pour analyser les SMA auto-organisateurs. La simulation permet aux concepteurs d'expérimenter plusieurs paramètres et de créer certaines heuristiques pour faciliter la conception du système. Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés. Cependant, pour faire face à la complexité de la conception des SMA auto-organisateurs, le concepteur a également besoin de techniques qui prennent en charge non seulement la vérification, mais aussi le processus de développement lui-même. En outre, ces techniques doivent permettre un développement méthodique et faciliter le raisonnement sur divers aspects du comportement du système à différents niveaux d'abstraction. Dans cette thèse, trois contributions essentielles ont été apportées dans le cadre du développement et la vérification formelle des SMA auto-organisateurs: une formalisation à l'aide du langage B-événementiel des concepts clés de ces systèmes en trois niveaux d'abstraction (micro, méso et macro), une expérimentation d'une stratégie de raffinement descendante pour le développement des SMA auto-organisateurs et la proposition d'un processus de raffinement ascendant basé sur des patrons de raffinement. / A major challenge for the development of self-organizing MAS is to guarantee the convergence of the system to the overall function expected by an external observer and to ensure that agents are able to adapt to changes. In the literature, several works were based on simulation and model-checking to study self-organizing MAS. The simulation allows designers to experiment various settings and create some heuristics to facilitate the system design. Model checking provides support to discover deadlocks and properties violations. However, to cope with the complexity of self-organizing MAS, the designer also needs techniques that support not only verification, but also the development process itself. Moreover, such techniques should support disciplined development and facilitate reasoning about various aspects of the system behavior at different levels of abstraction. In this thesis, three essential contributions were made in the field of formal development and verification of self-organizing MAS: a formalization with the Event-B language of self-organizing MAS key concepts into three levels of abstraction, an experimentation of a top-down refinement strategy for the development of self-organizing MAS and the definition of a bottom-up refinement process based on refinement patterns.

Welfare of Women during Pregnancy and Maternity This thesis concernes welfare of pregnant women and women on maternity leave as well as other protection forms of families with children. The theme of this thesis was chosen due to importace of family for the whole society and because it is a often discussed topic, which is related to demografic development of society. The thesis constitutes of five chapters. The first chapter concerns historical development of social protection of pregnant women and women on maternity leave in Czech republic. Legal form of social protection of pregnant women and mothers is closely analyzed within the period of socialism. Second chapter focuses on influence of some international organisations on national systems of social protection of pregnant women and women on maternity leave. Third chapter considers theoretical questions of supporting families with children. Fourth chapter is focused on welfare of pregnant women and women on maternity leave itself. Fifth chapter complements the thesis with labour-law protection of pregnant women and of women taking care of small children. Sixth chapter outlines functioning of family policy in selected European states: in Great Britain, Germany, Sweden and in Italy. Conclusion sums up the received knowledge. The thesis describes...

This thesis is of a theoretical nature: it does not include any field research. It includes a proposal for an elementary school brochure-guide for parents in Czech Republic, created by the author of this thesis. The thesis summarizes findings on the educational curriculum reform in the Czech Republic, which took place in 2007, and analyses ways in which parents were informed. The text focuses first on the reform itself, its objectives and its basic features. It then analyses the relationship between family and school, stating that parents as a group are of major importance for the successful implementation of the reform. It is therefore crucial to properly understand this group. In connection with the reform and its importance for parents, the text deals with how the informational campaign was conceived in the Czech Republic and in the UK. The 'Guide for Parents of English pupils aged 5 to 7 years' is then described as a source of ideas. Based on this, a proposal for a brochure-guide was created to be used as informational material for parents in the Czech Republic.

The purpose of submitted thesis "Securing of families with children in Czech republic and selected European countries" is to analyze securing systems in Czech Republic, Slovak Republic and France, compare them, try to find some common points between them and discussed the possibility of using some interesting elements of French system in the Czech Republic. The thesis is composed of five chapters. Chapter one is subdivided into three parts. Part one defines family, family politics and models of family politics. Part two deals with European context of securing families with children and the third part focuses on the most important international organizations with the impact on families with children. Chapter Two describes securing of families with children in Czech Republic via three systems (insurance system, state social support and social assistance) for people in diverse circumstances of need (disease, old age, child birth, death,...). The emphasis lays on description of state social support based on solidarity principle (between high- income families and low income families and between families with children and childless families) and its family benefits. Analogically chapters three and four are devoted to securing systems of Slovak republic and France, their tools, their systems of social...

Population development at the manor of Škvorec at the turn of 18th and 19th century Abstract The intention of this study is to analyze the development of natural change of population at the manor of Škvorec at the turn of 18th and 19th century (nuptiality and fertility in the years 1780-1819 and mortality in the years 1780-1869) and to characterize the basic demographic indicators. The nominal excerpts from parish registers was made to find numbers of births, marriages and deaths. Family reconstitution method (based on marriges from the years 1780-1819) was used for these data. The development of natural change at the manor is compared with the results of studies developed for the localities of the Czech lands and particularly with the development of the parish Lochenice and at Budyně nad Ohří. The conclusions mostly confirmed the development in the Czech lands. Comparison with results of Budyně nad Ohří confirmed the different population development in urban and rural areas. Keywords: development of natural change, parish registers, family reconstitution, manor of Škvorec.

Στην παρούσα μεταπτυχιακή εργασία επεξεργαζόμαστε τη σχέση της φύσης και της τέχνης στη φιλοσοφία του πρώιμου Schelling. Στο έργο του Friedrich Schelling η καλλιτεχνική δραστηριότητα αποτελεί τον συνδετικό ιστό του ανθρώπινου πνεύματος με τη φύση. Αυτή η ενεργός σχέση φύσης και πνεύματος εκφράζεται πληρέστερα στο κοινό τους προϊόν, το έργο τέχνης. Στόχος μας είναι, μέσω διαδοχικών σταδίων μελέτης, ξεκινώντας από τη διείσδυση στο εσωτερικό της Φυσικής Φιλοσοφίας του Schelling και καταλήγοντας στην παραγωγή του καλλιτεχνικού προϊόντος στη Φιλοσοφία της Τέχνης του, να αναδειχθεί ο τρόπος με τον οποίο η φύση συναντά το ανθρώπινο πνεύμα στη σφαίρα της καλλιτεχνικής δραστηριότητας. / Our main objective with this postgraduate thesis is an attempt to process the relationship between nature and art in Friedrich Schelling's early philosophy. In Schelling's work, artistic activity is perceived as the connective tissue between the human spirit and nature. This active relationship is better expressed through their common end product, the work of art. Our goal therefore is, through a multi-level analysis which begins with an in depth view of Schilling's Natural Philosophy and ends with the production of the work of art in his Philosophy of Art, to shine a light on the ways in which nature meets the human spirit within the sphere of artistic activity.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-22T21:43:01Z No. of bitstreams: 1 PauloEwertonGomesFragoso_DISSERT.pdf: 1631728 bytes, checksum: 56a10da50e4f607b55bac9c065912a21 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-02-23T23:34:33Z (GMT) No. of bitstreams: 1 PauloEwertonGomesFragoso_DISSERT.pdf: 1631728 bytes, checksum: 56a10da50e4f607b55bac9c065912a21 (MD5) / Made available in DSpace on 2016-02-23T23:34:33Z (GMT). No. of bitstreams: 1 PauloEwertonGomesFragoso_DISSERT.pdf: 1631728 bytes, checksum: 56a10da50e4f607b55bac9c065912a21 (MD5) Previous issue date: 2015-03-09 / Event-B ? um m?todo formal de modelagem e verifica??o de sistemas de transi??o discretos. O desenvolvimento com Event-B produz obriga??es de prova que devem ser verificadas, isto ?, ter sua validade verificada para manter a consist?ncia dos modelos produzidos. Solucionadores de Satisfatibilidade M?dulo Teoria s?o provadores autom?ticos de teoremas usados para verificar a satisfatibilidade de f?rmulas l?gicas considerando uma teoria (ou combina??o de teorias) subjacente. Solucionadores SMT n?o apenas lidam com f?rmulas extensas em l?gica de primeira ordem, como tamb?m podem gerar modelos e provas, bem como identificar subconjuntos insatisfat?veis de hip?teses (n?cleos insatisfat?veis). O suporte ferramental para Event-B ? provido pela Plataforma Rodin: um IDE extens?vel, baseado no framework Eclipse, que combina funcionalidades de modelagem e prova. Um plug-in SMT para Rodin tem sido desenvolvido com o objetivo de integrar ? plataforma t?cnicas alternativas e eficientes de verifica??o. Neste trabalho foi implementada uma s?rie de complementos ao plug-in para solucionadores SMT em Rodin, a saber, melhorias na interface do usu?rio para quando obriga??es de prova s?o reportadas como inv?lidas pelo plug-in. Adicionalmente, algumas caracter?sticas do plug-in, tais como suporte ? gera??o de provas e extra??o de n?cleo insatisfat?vel, foram modificadas de modo a tornaremse compat?veis com o padr?o SMT-LIB para solucionadores SMT. Realizaram-se testes utilizando obriga??es de prova aplic?veis para demonstrar as novas funcionalidades. As contribui??es descritas podem, potencialmente, afetar a produtividade de forma positiva. / Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.