Sökning: "Bodin Samuel"
Hittade 3 uppsatser innehållade orden Bodin Samuel.
1. Invariant Propagation for Solvers of Constraint-Based Local Search Technology
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : 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. LÄS MER
2. Imperial Dignity to Princely Autonomy: a historical-philosophical study on the evolution and meaning of sovereignty in the Holy Roman Empire
Kandidat-uppsats, Lunds universitet/EuropastudierSammanfattning : 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. LÄS MER
3. Type-directed Generation and Shrinking for Imperative Programming Languages
Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : 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. LÄS MER
