Sökning: "HOL"
Visar resultat 1 - 5 av 28 uppsatser innehållade ordet HOL.
1. A Verified QBF Solver
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables. A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER
2. Coins, glass shards and other means of payment - A comparative study of Scandinavian Charon object burials using R. Dawkins’ meme theory
Master-uppsats, Lunds universitet/ArkeologiSammanfattning : The purpose of this thesis’ topic is to investigate the evolutionary dispersal of the Charon’s fee or Obolus rite outside the Roman provinces in Northern Europe, with a specific focus on Roman Iron Age and Migration Period Scandinavia. The aim of this study is therefore to add further understanding to the spread of Roman cultural influences outside the imperial borders and what made Roman material and ideological culture so attractive to the Germanic and Scandinavian Iron Age peoples. LÄS MER
3. Bemötande inom primärvård för patienter med psykisk sjukdom : En kvalitativ litteraturöversikt
Kandidat-uppsats, Uppsala universitet/Institutionen för folkhälso- och vårdvetenskap; Uppsala universitet/Institutionen för medicinska vetenskaperSammanfattning : Introduktion Det förekommer att sjukvårdspersonal återspeglar samhällssynen som råder kring personer med psykisk sjukdom, där okunskap kan leda till stigma. Hälso- och sjukvårdslagen framhåller rätten till god vård och hälsa för alla, men i dagsläget finns inte nationella register beträffande psykisk ohälsa i primärvården, trots att det är dit de flesta patienter vänder sig. LÄS MER
4. The bare life in the al-Hol camp in Syria: The case of the Swedish children
Kandidat-uppsats, Lunds universitet/Statsvetenskapliga institutionenSammanfattning : This paper aims to understand the constitution of the al-Hol camp in Syria, where thousands of women and children from 57 different countries are detained in subhuman conditions. I did that by studying the case of the Swedish children, motivated by the contradiction that those children did not get help even though they belong to one of the most liberal welfare states in the world. LÄS MER
5. Unwanted Returnees : Legal Aspects of Sweden's Non-Repatriation Policy of Detained Women and Children in al-Hol and Roj Camps
Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Juridiska institutionenSammanfattning : .... LÄS MER