Search for dissertations about: "disproving"

Showing result 1 - 5 of 6 swedish dissertations containing the word disproving.

  2. 1. Proving and Disproving in Dynamic Logic for Java

    Author : Philipp Rümmer; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; theorem proving; disproving; dynamic logic; program verification; testing;

    Abstract : This thesis is about proving the functional correctness and incorrectness of imperative, object-oriented programs. One of the main approaches for the first item is deductive program verification, whereas the second item is traditionally handled by techniques like testing. READ MORE

  4. 2. Materials study of organic electronics

    Author : Carl Tengstedt; Jérôme Cornil; Linköpings universitet; []
    Keywords : TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : The electronic structure of materials for use in organic electronics is studied in this thesis. The first part includes applied research in the form of studies of polymers for use in polymer light emitting devices. READ MORE

  5. 3. Stacky Modifications and Operations in the Étale Cohomology of Number Fields

    Author : Eric Ahlqvist; David Rydh; Alexander Schmidt; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; stacks; ramified covers; étale cohomology; cup product; Massey product; Galois cohomology; building data; 2-cocycles; Matematik; Mathematics;

    Abstract : This thesis consists of 4 papers. In Paper A we define stacky building data for stacky covers in the spirit of Pardini and give an equivalence of (2,1)- categories between the category of stacky covers and the category of stacky building data. READ MORE

  6. 4. Greek incubation rituals in Classical and Hellenistic times

    Author : Hedvig von Ehrenheim; Gunnel Ekroth; Bronwen Wickkiser; Stockholms universitet; []
    Keywords : HUMANIORA; HUMANITIES; Archaeology; classical; Arkeologi; klassisk; antikens kultur och samhällsliv; Classical Archaeology and Ancient History;

    Abstract : This study documents and analyzes the structure and function of Greek incubation rituals in Classical and Hellenistic times. The first part (Chapter 2) examines all relevant literary and epigraphical testimonia concerning the rites and rules surrounding incubation. READ MORE

  7. 5. Exhibition-Making and Political Imaginary : On Modalities and Potentialities of Curatorial Practice

    Author : Simon Sheikh; Konsthögskolan i Malmö; []
    Keywords : HUMANIORA; HUMANITIES; Exhibition-Making; politics; contemporary art; horizons; institution; articulation; critique; curating;

    Abstract : The Ph.D. project concerns itself with curatorial practice, its constituent modalities and potentialities. It consists of both a practical and a theoretical part. READ MORE