Essays about: "Bodin Samuel"
Found 3 essays containing the words Bodin Samuel.
-
1. Invariant Propagation for Solvers of Constraint-Based Local Search Technology
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : Constraint-based local search is a technology for solving constrained optimisation problems and constraint satisfaction problems. Solvers of this kind rely on the notion of invariants and an invariant propagation algorithm during search. READ MORE
-
2. Imperial Dignity to Princely Autonomy: a historical-philosophical study on the evolution and meaning of sovereignty in the Holy Roman Empire
University essay from Lunds universitet/EuropastudierAbstract : This thesis conducts a study in conceptual history into the meaning of sovereignty within the Holy Roman Empire, a European political institution of states that lasted from 962 to 1806 AD. Three classical theorists in sovereignty, namely Jean Bodin, Thomas Hobbes, and Samuel von Pufendorf comprehend the main philosophical corps of the thesis, which will be operationalised by studying three constitutional documents from the Holy Roman Empire: the Golden Bull, the Treaty of Osnabrück, and the Treaty of Münster. READ MORE
-
3. Type-directed Generation and Shrinking for Imperative Programming Languages
University essay from Mälardalens högskola/Akademin för innovation, design och teknikAbstract : Optimizing compilers are large and complex systems, potentially consisting of millions of lines of code. As a result, the implementation of an industry standard compiler can contain several serious bugs. This is alarming given the critical part that software plays in modern society. READ MORE
