Search for dissertations about: "dependent data"

Showing result 11 - 15 of 2290 swedish dissertations containing the words dependent data.

  2. 11. Approaching well-founded comprehensive nuclear data uncertainties : Fitting imperfect models to imperfect data

    Author : Petter Helgesson; Henrik Sjöstrand; Helmut Leeb; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Evaluated nuclear data; uncertainty propagation; uncertainty quantification; model defects; Gaussian processes; TALYS; TENDL; covariances.; Fysik med inriktning mot tillämpad kärnfysik; Physics with specialization in Applied Nuclear Physics;

    Abstract : Nuclear physics has a wide range of applications; e.g., low-carbon energy production, medical treatments, and non-proliferation of nuclear weapons. Nuclear data (ND) constitute necessary input to computations needed within all these applications. READ MORE

  4. 12. Practical Heterogeneous Unification for Dependent Type Checking

    Author : Víctor López Juan; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; unification; dependent types; type checking;

    Abstract : Dependent types can specify in detail which inputs to a program are allowed, and how the properties of its output depend on the inputs. A program called the type checker assesses whether a program has a given type, thus detecting situations where the implementation of a program potentially differs from its intended behaviour. READ MORE

  5. 13. Touching the Essence of Life : Haptic Virtual Proteins for Learning

    Author : Petter Bivall; Anders Ynnerman; Lena A. E. Tibell; Matthew D. Cooper; Miriam Reiner; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Haptics; Educational Research; Biomolecular Education; Life Science; JND; Just Noticeable Difference; Protein-ligand Docking; Haptic docking; Visualization; Haptic Transfer Functions; Volume Data Haptics; History Dependent Transfer Function; Log file analysis; Molecular Recognition; Force Feedback; Virtual Reality; Other information technology; Övrig informationsteknik;

    Abstract : This dissertation presents research in the development and use of a multi-modal visual and haptic virtual model in higher education. The model, named Chemical Force Feedback (CFF), represents molecular recognition through the example of protein-ligand docking, and enables students to simultaneously see and feel representations of the protein and ligand molecules and their force interactions. READ MORE

  6. 14. Testing and Proving in Dependent Type Theory

    Author : Qiao Haiyan; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : We show how random testing, model checking and interactive proving can be combined for functional program verification in dependent type theory. We extend the proof assistant Agda/Alfa for dependent type theory with a tool for random testing of functional programs, thus combining proving and testing in one system. READ MORE

  7. 15. Data stream processing meets the Advanced Metering Infrastructure: possibilities, challenges and applications

    Author : Joris Van Rooij; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Data stream processing; Advanced Metering Infrastructure;

    Abstract : Distribution of electricity is changing. Energy production is increasingly distributed, weather dependent and located in the distribution network, close to consumers. Energy consumption is increasing throughout society and the electrification of transportation is driving distribution networks closer to the limits. READ MORE