Sökning: "conservative extension"

Visar resultat 1 - 5 av 18 avhandlingar innehållade orden conservative extension.

  1. 1. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading

    Författare :Arve Gengelbach; Tjark Weber; Joachim Parrow; Andrei Popescu; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; higher-order logic HOL ; conservative extension; ad-hoc overloading; definitions; Computer Science; Datavetenskap;

    Sammanfattning : With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the help of a theorem prover. LÄS MER

  3. 2. Decentralized Estimation Using Conservative Information Extraction

    Författare :Robin Forsling; Fredrik Gustafsson; Gustaf Hendeby; Zoran Sjanic; Benjamin Noack; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Sensor networks consist of sensors (e.g., radar and cameras) and processing units (e.g. LÄS MER

  4. 3. Den svenska högerns anpassning till demokratin

    Författare :Stefan Olsson; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Political science; transition to democracy; democratisation; conservatism; elite consensus; backward legitimacy; constitutional guarantees; Sweden; political history; Statsvetenskap; Political science; Statsvetenskap; statskunskap; Political Science;

    Sammanfattning : This thesis investigates the motives for the Swedish Conservative Party's adaption to democracy from 1917 to 1934. The question is: Why did the principally anti-democraticConservative Party choose to accept and to stay loyal to the new Swedish democracy? In all newly democratised countries there is a potential danger of an anti-democratic reaction from the group that controlled the power in the old system. LÄS MER

  5. 4. Reflection Principles in Computational Logic

    Författare :Pierangelo Dell'Acqua; Jonas Barklund; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

    Sammanfattning : We introduce the concept of reflection principles as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of logic schemata intended to capture the basic properties of the domain knowledge to be modelled. LÄS MER

  7. 5. Sensitivity and Uncertainty Analysis of Boiling Water Reactor Stability Simulations

    Författare :Ivan Gajev; Weimin Ma; Tomasz Kozlowski; Kostadin Ivanov; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; BWR Stability; Sensitivity; Uncertainty; SRA - Energy; SRA - Energi;

    Sammanfattning : The best estimate codes are used for licensing of Nuclear Power Plants (NPP), but with conservative assumptions. It is claimed that the uncertainties are covered by the conservatism of the calculation. LÄS MER