This thesis provides an overview of the engagement with the material culture of Assyria, unearthed in the Middle East from 1845 onwards by British and French archaeologists. It sets the artistic discovery of Assyria within the visual culture of the period through reference not only to painting but also to illustrated newspapers, books, journals, performances and popular entertainments. The thesis presents a more vigorous, interlinked, and widespread engagement than previous studies have indicated, primarily by providing a comprehensive corpus of artistic responses. The artistic connections between Britain and France were close. Works influenced by Assyria were published, exhibited and reviewed in the contemporary press, on both sides of the English Channel. Some artists, such as Gustave Doré, successfully maintained careers in both London and Paris. It is therefore often meaningless to speak of a wholly ‘French’ or ‘British’ reception, since these responses were coloured by artistic crosscurrents that operated in both directions, a crucial theme to be explored in this dissertation. In Britain, print culture also transported to the regions, away from large metropolitan centres, knowledge of Assyria and Assyrian-inspired art through its appeal to the market for biblical images. Assyria benefited from the explosion in graphical communication. This thesis examines the artistic response to Assyria within a chronological framework. It begins with an overview of the initial period in the 1850s that traces the first British discoveries. Chapter Two explores the different artistic turn Assyria took in the 1860s. Chapter Three deals with the French reception in the second half of the nineteenth century. Chapter Four concludes the British reception up to 1900, and Chapter Five deals with the twentieth century. The thesis contends that far from being a niche subject engaged with a particular group of artists, Assyrian art was a major rediscovery that affected all fields of visual culture in the nineteenth century.

Text in English with abstracts in English, Afrikaans and isiZulu / The formalisation of first-order logic and axiomatic set theory in the first half of the 20th century—along with the advent of the digital computer—paved the way for the development of automated theorem proving. In the 1950s, the automation of proof developed from proving elementary geometric problems and finding direct proofs for problems in Principia Mathematica by means of simple, human-oriented rules of inference. A major advance in the field of automated theorem proving occurred in 1965, with the formulation of the resolution inference mechanism. Today, powerful Satisfiability Modulo Theories (SMT) provers combine SAT solvers with sophisticated knowledge from various problem domains to prove increasingly complex theorems. The combinatorial explosion of the search space is viewed as one of the major challenges to progress in the field of automated theorem proving. Pioneers from the 1950s and 1960s have already identified the need for heuristics to guide the proof search effort. Despite theoretical advances in automated reasoning and technological advances in computing, the size of the search space remains problematic when increasingly complex proofs are attempted. Today, heuristics are still useful and necessary to discharge complex proof obligations. In 2000, a number of heuristics was developed to aid the resolution-based prover OTTER in finding proofs for set-theoretic problems. The applicability of these heuristics to next-generation theorem provers were evaluated in 2009. The provers Vampire and Gandalf required respectively 90% and 80% of the applicable OTTER heuristics. This dissertation investigates the applicability of the OTTER heuristics to theorem proving in the hybrid theorem proving environment Rodin—a system modelling tool suite for the Event-B formal method. We show that only 2 of the 10 applicable OTTER heuristics were useful when discharging proof obligations in Rodin. Even though we argue that the OTTER heuristics were largely ineffective when applied to Rodin proofs, heuristics were still needed when proof obligations could not be discharged automatically. Therefore, we propose a number of our own heuristics targeted at theorem proving in the Rodin tool suite. / Die formalisering van eerste-orde-logika en aksiomatiese versamelingsteorie in die eerste helfte van die 20ste eeu, tesame met die koms van die digitale rekenaar, het die weg vir die ontwikkeling van geoutomatiseerde bewysvoering gebaan. Die outomatisering van bewysvoering het in die 1950’s ontwikkel vanuit die bewys van elementêre meetkundige probleme en die opspoor van direkte bewyse vir probleme in Principia Mathematica deur middel van eenvoudige, mensgerigte inferensiereëls. Vooruitgang is in 1965 op die gebied van geoutomatiseerde bewysvoering gemaak toe die resolusie-inferensie-meganisme geformuleer is. Deesdae kombineer kragtige Satisfiability Modulo Theories (SMT) bewysvoerders SAT-oplossers met gesofistikeerde kennis vanuit verskeie probleemdomeine om steeds meer komplekse stellings te bewys. Die kombinatoriese ontploffing van die soekruimte kan beskou word as een van die grootste uitdagings vir verdere vooruitgang in die veld van geoutomatiseerde bewysvoering. Baanbrekers uit die 1950’s en 1960’s het reeds bepaal dat daar ’n behoefte is aan heuristieke om die soektog na bewyse te rig. Ten spyte van die teoretiese vooruitgang in outomatiese bewysvoering en die tegnologiese vooruitgang in die rekenaarbedryf, is die grootte van die soekruimte steeds problematies wanneer toenemend komplekse bewyse aangepak word. Teenswoordig is heuristieke steeds nuttig en noodsaaklik om komplekse bewysverpligtinge uit te voer. In 2000 is ’n aantal heuristieke ontwikkel om die resolusie-gebaseerde bewysvoerder OTTER te help om bewyse vir versamelingsteoretiese probleme te vind. Die toepaslikheid van hierdie heuristieke vir die volgende generasie bewysvoerders is in 2009 geëvalueer. Die bewysvoerders Vampire en Gandalf het onderskeidelik 90% en 80% van die toepaslike OTTER-heuristieke nodig gehad. Hierdie verhandeling ondersoek die toepaslikheid van die OTTER-heuristieke op bewysvoering in die hibriede bewysvoeringsomgewing Rodin—’n stelselmodelleringsuite vir die formele Event-B-metode. Ons toon dat slegs 2 van die 10 toepaslike OTTER-heuristieke van nut was vir die uitvoering van bewysverpligtinge in Rodin. Ons voer aan dat die OTTER-heuristieke grotendeels ondoeltreffend was toe dit op Rodin-bewyse toegepas is. Desnieteenstaande is heuristieke steeds nodig as bewysverpligtinge nie outomaties uitgevoer kon word nie. Daarom stel ons ’n aantal van ons eie heuristieke voor wat in die Rodin-suite aangewend kan word. / Ukwenziwa semthethweni kwe-first-order logic kanye ne-axiomatic set theory ngesigamu sokuqala sekhulunyaka lama-20—kanye nokufika kwekhompyutha esebenza ngobuxhakaxhaka bedijithali—kwavula indlela ebheke ekuthuthukisweni kwenqubo-kusebenza yokufakazela amathiyoremu ngekhomyutha. Ngeminyaka yawo-1950, ukuqinisekiswa kobufakazi kwasuselwa ekufakazelweni kwezinkinga zejiyomethri eziyisisekelo kanye nasekutholakaleni kobufakazi-ngqo bezinkinga eziphathelene ne-Principia Mathematica ngokuthi kusetshenziswe imithetho yokuqagula-sakucabangela elula, egxile kubantu. Impumelelo enkulu emkhakheni wokufakazela amathiyoremu ngekhompyutha yenzeka ngowe-1965, ngokwenziwa semthethweni kwe-resolution inference mechanism. Namuhla, abafakazeli abanohlonze bamathiyori abizwa nge-Satisfiability Modulo Theories (SMT) bahlanganisa ama-SAT solvers nolwazi lobungcweti oluvela kwizizinda zezinkinga ezihlukahlukene ukuze bakwazi ukufakazela amathiyoremu okungelula neze ukuwafakazela. Ukukhula ngesivinini kobunzima nobunkimbinkimbi benkinga esizindeni esithile kubonwa njengenye yezinselelo ezinkulu okudingeka ukuthi zixazululwe ukuze kube nenqubekela phambili ekufakazelweni kwamathiyoremu ngekhompyutha. Amavulandlela eminyaka yawo-1950 nawo-1960 asesihlonzile kakade isidingo sokuthi amahuristikhi (heuristics) kube yiwona ahola umzamo wokuthola ubufakazi. Nakuba ikhona impumelelo esiyenziwe kumathiyori ezokucabangela okujulile kusetshenziswa amakhompyutha kanye nempumelelo yobuchwepheshe bamakhompyutha, usayizi wesizinda usalokhu uyinkinga uma kwenziwa imizamo yokuthola ubufakazi obuyinkimbinkimbi futhi obunobunzima obukhudlwana. Namuhla imbala, amahuristikhi asewuziso futhi ayadingeka ekufezekiseni izibopho zobufakazi obuyinkimbinkimbi. Ngowezi-2000, kwathuthukiswa amahuristikhi amaningana impela ukuze kulekelelwe uhlelo-kusebenza olungumfakazeli osekelwe phezu kwesixazululo, olubizwa nge-OTTER, ekutholeni ubufakazi bama-set-theoretic problems. Ukusebenziseka kwalawa mahuristikhi kwizinhlelo-kusebenza ezingabafakazeli bamathiyoremu besimanjemanje kwahlolwa ngowezi-2009. Uhlelo-kusebenza olungumfakazeli, olubizwa nge-Vampire kanye nalolo olubizwa nge-Gandalf zadinga ama-90% kanye nama-80%, ngokulandelana kwazo, maqondana nama-OTTER heuristics afanelekile. Lolu cwaningo luphenya futhi lucubungule ukusebenziseka kwama-OTTER heuristics ekufakazelweni kwamathiyoremu esimweni esiyinhlanganisela sokufakazela amathiyoremu esibizwa nge-Rodin—okuyi-system modelling tool suite eqondene ne-Event-B formal method. Kulolu cwaningo siyabonisa ukuthi mabili kuphela kwayi-10 ama-OTTER heuristics aba wusizo ngenkathi kufezekiswa isibopho sobufakazi ku-Rodin. Nakuba sibeka umbono wokuthi esikhathini esiningi ama-OTTER heuristics awazange abe wusizo uma esetshenziswa kuma-Rodin proofs, amahuristikhi asadingeka ezimweni lapho izibopho zobufakazi zingazenzekelanga ngokwazo ngokulawulwa yizinhlelo-kusebenza zekhompyutha. Ngakho-ke, siphakamisa amahuristikhi ethu amaningana angasetshenziswa ekufakazeleni amathiyoremu ku-Rodin tool suite. / School of Computing / M. Sc. (Computer Science)

The thesis being hereby presented is concerned with the problematics of family strategies´ aplications in peasants´ families in the village of Vítkov, dated 1700-1850. The work itself is based upon analysis of evidence- and insurance resources, that means mostly registry and cadastral books, urbars and census of subjects. Methodologically, this work proceeds from historical demography and its connection with micro-history and genealogy. Transfers of peasants´s grounds and application of their rights of hertitage become the main subject of research. Secondly, this thesis focuses on peasants life partners choices, families´ maritial strategies and migration. In addition, there are ways of employment drafted for those rural families´ members who had no claim to taking over a paternal ground, thusly achieving to give evidence of how different the family strategies in two contiguous parts of South Bohemia would once have been. The substantial asset of this thesis supposed is to confirm the benefits of joining both historical demography and genealogy whist studying Czech rural areas including possible use of specialised genealogical software.

1 score (x, 113 p.) / The implementation of an informed cross-relationship between two independent art forms has often been a source of inspiration for artists throughout the millennia. However, in the late 19th century, both Russian and French thinkers and artists began to build upon this notion by creatively considering the intermingling of sensory experiences as well. The resulting artwork from this temporally specific era was described as being "Symbolist," referencing both the intermedial and multi-sensory processes involved and/or considered in creating the respective work. My personal penchant to explore this artistic approach has resulted in a symphony that was inspired by, and intimately considers, five individual pieces of French "Symbolist" art, poetry, and sculpture. Each movement specifically focuses upon one of the five human senses. The respective works are: the sculpture "Le baiser" by Auguste Rodin (touch), "Parfum exotique" from Les fleurs du mal by Charles Baudelaire (smell), "Tristesse d'été" by Stèphane Mallarmé (taste) as published in Du parnasse contemporain, the painting "Hina tefatou" by Paul Gauguin (sight/insight), and "Chanson d'automne" from Poèmes saturniens by Paul Verlaine (hearing/listening). / Committee in charge: Dr. David Crumb Chairperson, Advisor， Dr. Robert Kyr， Member； Dr. Jack Boss， Member； Dr. Jenifer Craig， Outside Member

In my diploma work I concentrated on various forms of work with foster-families focused on prevention, consultancy and special help. Regional authorities are obliged to arrange them as a part of so-called consultations on foster care practice according to para. 4 of section 11 of Act No.359/1999 Coll. on Social and Legal protection of children. I tried to map the way the particular regional authorities fill this paragraph. In more detail I attended to activity of south-bohemian regional authority in this field. In terms of the research I found that the importance of foster-families meetings consists in experience exchange, feeling of sharing and gaining new information. From that point of view more days meetings are the most popular with both fosterers and social workers when there is more time for it.

The theoretical part of this presented text specifies circumstances of social exclusion of caring families and the system of supportive measures in the Czech republic that should prevent the above mentioned social event. In compliance with the title of the work there has been a goal set: to identify the risks causing social exclusion of families caring for children with a disability.. To get the most complex view of the said problems the author undertook a partial inquiry by both social workers, by whom she was assessing the limits of their knowledge and skill potential, and by political representatives of municipalities, by whom she concentrated on the causes of limited application of municipal policy determining social exclusion of families caring for children with a disability. The above mentioned goal of this research was carried out by means of sociological qualitative and quantitative methods. The investigator was at the same time interested in how the caring families themselves used the means of civilian participation relating to improvement of their life situation.

The dissertation addresses the issue of the relationship of parenthood, employment and economic inactivity of childcare holders. It focuses on the mother's motivation to work (mothers taking care of children under 3 years of age) in the context of Czech social policy measures. The aim of the thesis is establish proposals for measures that would encourage the motivation of women with children up to 3 years to return to work and simultaneously quantify the impact of these measures on the state budget. This dissertation builds up on the underlying studies (Jahoda, Šinkyříková, 2011; Kalíšková, 2012). These studies deal mainly with examining implemented reforms in the view of their support to women's employment and their effects on household incomes. The decision making of mothers about their involvement in the labour market was analyzed by indicator of Effective cost of return to work. Negative net financial effect of returning to work was found independently of the region and the extent of the examined working time of women, taking care of children up to 2 years. For mothers taking care of children from 2 to 3 years old was this negative net financial effect detected only partly. This result clearly demonstrates that mothers, taking care of children below 3 years of age, entering the labour market are confronted with very high additional costs that would not be covered by their income from employment and other received benefits. Estimated amount of potential wages, which would encourage women to return to work, reach in some cases up to four times the median wage of women in the region. Given these findings, this dissertation proposes several specific social policy measures, which would support the mother's incentives to work return. Economic effects of the proposed measures were quantified, including the cancelation of conditional entitlement to parental benefit, introduction of tax relief for working mothers and 50% relief on employer's mandatory contributions, which employ parents part-time. Implementation of these measures, which would motivate more women to return to work, would bring an estimated net income effect for the state budget amounting to 9.5 billion crowns per year.

Education plays an increasingly important role in achieving success in life and the social ladder, because every individual should have the same opportunity to study regardless of their origin, social characteristics, educational family history or other ascriptive factors. This thesis deals with an access to higher education for those who come from low-income families or families where a higher education has no family history. It describes and analyzes the current access to tertiary education in the Czech Republic in the context of the equalization of opportunities of students from families with no tradition of higher education or lower socio- economic status. The theoretical part presents information about the issue of access to higher education. It explains the concepts which are often mentioned in this thesis, describes the historical development of the right to education and the path to the right of equal access to tertiary education in a modern society. The following describes the sociological theories on educational inequality and they are applied to the specific factors influencing equity of access to tertiary education. Finally, it outlines the current development in the Czech Republic. The practical part describes the support system for the largest university in the Czech Republic. This...

JUDr. Ing. Miloslav Kaše, CSc., Selected Aspects of Pension Reform in the Czech Re- public, Doctoral Thesis, Charles University, Faculty of Law, Department of Labor Law and Social Security Law, Prague, 2020. Number of pages of doctoral thesis is 205. The dissertation topic evolves around certain selected aspects of the pension reform in the Czech Republic, which is the most discussed in the preparation phase of the Czech pension system reform. The chosen topic acknowledges the current problems of the Czech pension system, consisting mainly of the unfavorable development of demographic struc- ture and population aging, which is characterized by a large and irregular number of peaks and troughs on the demographic chart of the Czech Republic, connected to historical events and migration. The thesis focuses on the issue of developing and determining the retirement age and insurance coverage required for entitlement to pension and analyzes the pitfalls of increas- ing the retirement age and the length of insurance coverage required to qualify for a retirement pension. At the same time, it considers the possibilities of establishing an ad- justable retirement age range and flexibility of the whole pension system. The possibility of active economic earning vitality of pensioners is closely related to the...

in English language This thesis focuses on foster care for a transitional period. The aim of the thesis is to describe the role of foster carers for a transitional period, OSPOD workers and foster family guides in period between the process of taking a foster child for a transitional period and re-transferring to a biological family or one of the long-term types of foster care. The thesis describes foster care for a transitional period and individual roles according to available literature, legislation, methodology and interviews with actors themselves. The partial goal is to find out how participants perceive each other, what they expect, what competencies they should have. Another partial aim of this work is methodological recommendation.