Sökning: "measuring system"

Visar resultat 1 - 5 av 697 avhandlingar innehållade orden measuring system.

  1. 1. Secure System Virtualization : End-to-End Verification of Memory Isolation

    Författare :Hamed Nemati; Mads Dam; Gustavo Betarte; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; Cache attack; Security Monitor; Information Flow; Computer Science; Datalogi;

    Sammanfattning : Over the last years, security-kernels have played a promising role in reshaping the landscape of platform security on embedded devices. Security-kernels, such as separation kernels, enable constructing high-assurance mixed-criticality execution platforms on a small TCB, which enforces isolation between components. LÄS MER

  3. 2. Splitting and Measuring Intra-Industry Trade

    Författare :Joakim Gullstrand; Nationalekonomiska institutionen; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; economic policy; economic systems; economic theory; econometrics; Economies of Scale; Economics; Specialisation; Horizontal and Vertical Intra-Industry Trade; Income Distribution; Nationalekonomi; ekonometri; ekonomisk teori; ekonomiska system; ekonomisk politik; Commercial and industrial economics; Industriell ekonomi;

    Sammanfattning : This thesis aims at shedding light on three important issues related to intra-industry trade (IIT); the relevance of demand patterns, horizontal versus vertical IIT, and the measurement of IIT. Chapter two analyses IIT between high and low-income countries, and uses a theoretical model that explains the exchange of similar products of different qualities. LÄS MER

  4. 3. Measuring Apps' Privacy-Friendliness : Introducing transparency to apps' data access behavior

    Författare :Nurul Momen; Lothar Fritsch; Tobias Pulls; Einar Snekkenes; Karlstads universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mobile Apps; User data; Transparency; Privacy; Data protection; Computer Science; Datavetenskap;

    Sammanfattning : Mobile apps brought unprecedented convenience to everyday life, and nowadays, hardly any interactive service exists without having an interface through an app. The rich functionalities of apps rely on the pervasive capabilities of the mobile device, such as its cameras and other types of sensors. LÄS MER

  5. 4. Towards measuring quantum sound

    Författare :Maria Ekström; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; surface acoustic wave; interdigital transducer; artificial atom; qubit; superconducting circuits; cryogenic temperature; phonon; gigahertz frequency; quantum acoustics; unidirectional transducer;

    Sammanfattning : One of the most fundamental phenomena occurring in nature is the interaction between single atoms and electromagnetic fields. This is studied in quantum optics to probe the quantum nature of the system. In appended Paper I, we demonstrated that an artificial atom can couple to propagating sound, which is the acoustic analogue of quantum optics. LÄS MER

  7. 5. Evaluation of a Measuring System for Determining Extensional Properties

    Författare :Magda Nyström; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; LPTT-model; Viscoelastic fluid; Boger fluid; numerical simulation; FENE-CR model; extensional rheology; White-Metzner model; hyperbolic contraction flow;

    Sammanfattning : Effective and reliable characterisations of fluids are important to gain knowledge of thebehaviour and to govern the properties of a fluid. Since food products often are non-Newtonian, viscoelastic liquids, the characterisation becomes more complicated. LÄS MER