Search for dissertations about: "program theory"

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

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

   Author : Simon Robillard; Chalmers tekniska högskola; []
   Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; 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

4. 2. Studies on Fantasmical Anatomies

   Author : Anne Juren; André Lepecki; Sandra Noeth; Victoria Perez Royo; Stockholms konstnärliga högskola; []
   Keywords : 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

5. 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 : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; 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

6. 4. Relations in Dependent Type Theory

   Author : Carlos Gonzalía; Göteborgs universitet; []
   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

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

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

   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