Search for dissertations about: "conservative extension"

Showing result 1 - 5 of 17 swedish dissertations containing the words conservative extension.

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

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

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

  4. 2. Decentralized Estimation Using Conservative Information Extraction

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

    Abstract : Sensor networks consist of sensors (e.g., radar and cameras) and processing units (e.g. READ MORE

  5. 3. Reflection Principles in Computational Logic

    Author : Pierangelo Dell'Acqua; Jonas Barklund; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

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

  6. 4. Sensitivity and Uncertainty Analysis of Boiling Water Reactor Stability Simulations

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

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

  7. 5. Embedded Languages for Describing and Verifying Hardware

    Author : Koen Lindström Claessen; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; specification languages; formal verification; synchronous hardware description; functional programming; embedded languages;

    Abstract : Lava is a system for designing, specifying, verifying and implementing hardware. It is embedded in the functional programming language Haskell, which means that hardware descriptions are first-class objects in Haskell. READ MORE