Search for dissertations about: "FUNDAMENTAL THEOREM"

Showing result 6 - 10 of 33 swedish dissertations containing the words FUNDAMENTAL THEOREM.

  1. 6. Dynamics of Quantum Correlations with Photons : Experiments on bound entanglement and contextuality for application in quantum information

    Author : Elias Amselem; Mohamed Bourennane; Antonio Acín; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Quantum information; quantum optics; foundations of quantum mechanics; entanglement; non-contextuality; Kochen-Specker theorem; parametric down-conversion; quantum state engineering; fysik; Physics;

    Abstract : The rapidly developing interdisciplinary field of quantum information, which merges quantum and information science, studies non-classical aspects of quantum systems. These studies are motivated by the promise that the non-classicality can be used to solve tasks more efficiently than classical methods would allow. READ MORE

  2. 7. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

    Author : Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

    Abstract : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. READ MORE

  3. 8. Game Theory and Agents

    Author : Stefan J. Johansson; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Game Theory; Multi-Agent Systems; No Free Lunch Theorem; Characteristic Distributions;

    Abstract : A fundamental problem in multi agent systems is conflict resolution. A conflict occurs in general when the agents have to deal with inconsistent goals, such as a demand for shared resources. We investigate how a game theoretic approach may be a helpful and efficient tool in examining a class of conflicts in multi agent systems. READ MORE

  4. 9. Ultrasheaves

    Author : Jonas Eliasson; Viggo Stoltenberg-Hansen; Steve Awodey; Carsten Butz; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; 03G30; 03C20; 03H05; Matematisk logik; Mathematical logic; Matematisk logik;

    Abstract : This thesis treats ultrasheaves, sheaves on the category of ultrafilters. In the classical theory of ultrapowers, you start with an ultrafilter and, given a structure, you construct the ultrapower of the structure over the ultrafilter. READ MORE

  5. 10. On estimates of constants for maximal functions

    Author : Alexander Iakovlev; Jan-Ofov Strömberg; Tuomas Hytönen; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; maximal function; harmonic analysis;

    Abstract : In this work we will study Hardy-Littlewood maximal function and maximal operator, basing on both classical and most up to date works. In the first chapter we will give definitions for different types of those objects and consider some of their most important properties. READ MORE