Essays about: "Hol"

Showing result 1 - 5 of 22 essays containing the word Hol.

1. 1. A Verified QBF Solver

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Axel Bergström; [2024]
   Keywords : ;

   Abstract : 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. READ MORE

3. 2. Coins, glass shards and other means of payment - A comparative study of Scandinavian Charon object burials using R. Dawkins’ meme theory

   University essay from Lunds universitet/Arkeologi

   Author : Markus Ahlberg; [2023]
   Keywords : Charon’s fee; Obolus; Roman Iron Age; Migration Period; Elite Burial; Mercenary; Meme; Engbjerg; Himlingøje; Högom; Kälder; Hol; Gile; History and Archaeology;

   Abstract : 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. READ MORE

4. 3. The bare life in the al-Hol camp in Syria: The case of the Swedish children

   University essay from Lunds universitet/Statsvetenskapliga institutionen

   Author : Fadi Azzo; [2022]
   Keywords : Al-Hol camp; Swedish Children; ISIS; Syria; Sweden; Bare Life; State of Exception; Giorgio Agamben; Biopolitics; Political Theory; International Relations.; Law and Political Science;

   Abstract : 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. READ MORE

5. 4. Unwanted Returnees : Legal Aspects of Sweden's Non-Repatriation Policy of Detained Women and Children in al-Hol and Roj Camps

   University essay from Uppsala universitet/Juridiska institutionen

   Author : Aws Al-Kohaili; [2022]
   Keywords : Public international law; General international law; Human Rights; Islamic State; IS; Syria; Repatriation; War; Folkrätt; Mänskliga rättigheter; Islamiska staten; IS; Syrien; Reparation; Barnkonventionen; Internationell rätt; Krig;

   Abstract : .... READ MORE

6. 5. Simple formally verified compiler in Lean

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Leo Okawa Ericson; [2021]
   Keywords : ;

   Abstract : Computer checked proofs that a compiler is correct are important for increasing the confidence in programs. This report presents a simple compiler and a proof that the compiler is correct for terminating evaluations using the interactive theorem prover Lean, based on Concrete Semantics: with Isabelle/HOL. READ MORE