Search for dissertations about: "program theory"

Showing result 1 - 5 of 260 swedish dissertations containing the words program theory.

  1. 1. Deductive Program Analysis with First-Order Theorem Provers

    Author : Simon Robillard; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; HUMANIORA; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; HUMANITIES; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Abstract : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. READ MORE

  2. 2. Studies on Fantasmical Anatomies

    Author : Anne Juren; André Lepecki; Sandra Noeth; Victoria Perez Royo; Stockholms konstnärliga högskola; []
    Keywords : HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Choreography; Feldenkrais Method®; anatomy; fantasmical; speculative gestures; somatic practices; dislocation; dissection; dissociation; treatment; operation; fragmentation; blind gaze; non-expression; dance; movement; language; poetry; voice; touch; Foley; psychoanalysis; crisis; encounter; critical awareness; sensorial transference; co-regulation; body proxy; trans-interiority; symptom; practitioner; patient; session; lesson; L’Effet-Mère; mother tongue; very too close; very too far; diffraction; dérive drift ; Utbildning på forskarnivå i performativa och mediala praktiker; Third-Cycle Studies in Performative and Mediated Practices;

    Abstract : Studies on Fantasmical Anatomies is an ongoing transdisciplinary artistic research, which encompasses the spectrum of experiences and practices that I have developed as a choreographer, dancer and Feldenkrais practitioner. My interest in anatomy and somatic practices grew out of multiple shoulder dislocations. READ MORE

  3. 3. Transparent Conductive Tin Doped Indium Oxide : Characterisation of Thin Films Made by Sputter Deposition with Silver Additive and by Spin Coating from Nanoparticle Dispersions

    Author : Annette Hultåker; Peter van Nijnatten; Uppsala universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; Materials science; Materialvetenskap; Materials science; Teknisk materialvetenskap; Solid State Physics; fasta tillståndets fysik;

    Abstract : Thin films of tin doped indium oxide (ITO) were prepared by two different methods: by sputter deposition with silver additive and by spin coating of a nanoparticle dispersion.ITO films doped with ≤ 20 at% of silver were prepared either as homogenous blends of ITO and silver or as intermixed layers. READ MORE

  4. 4. Relations in Dependent Type Theory

    Author : Carlos Gonzalía; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

    Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE

  5. 5. Some binary response situations : theory and applications

    Author : Karin Dahmström; Stockholms universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP;

    Abstract : In a binary response situation we are studying an event which either occurs or does not occur. Such situations are treated in the following five reports. In report I, there is a review of different statistical models and analysis methods for, in particular, nonexperimental surveys. READ MORE