Search for dissertations about: "vampire"

Found 5 swedish dissertations containing the word vampire.

  2. 1. Automated Theorem Proving in a First-Order Logic with First class Boolean Sort

    Author : Evgenii Kotelnikov; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; first-order logic; program analysis; program verification; TPTP; automated theorem proving; Vampire;

    Abstract : Automated theorem proving is one of the central areas of computer mathematics. It studies methods and techniques for establishing validity of mathematical problems using a computer. The problems are expressed in a variety of formal logics, including first-order logic. READ MORE

  4. 2. Automated Theorem Proving with Extensions of First-Order Logic

    Author : Evgenii Kotelnikov; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; clausal normal form; Program Verification; automated theorem proving; program analysis; TPTP; Vampire; first-order logic;

    Abstract : Automated theorem provers are computer programs that check whether a logical conjecture follows from a set of logical statements. The conjecture and the statements are expressed in the language of some formal logic, such as first-order logic. READ MORE

  5. 3. The Gothic in contemporary interactive fictions

    Author : Van Leavenworth; Heidi Hansson; Catherine Spooner; Umeå universitet; []
    Keywords : HUMANIORA; HUMANITIES; Gothic; interactive fiction; subjectivity; posthuman; unspeakable; live burial; labyrinth; uncanny; grotesque; vampire; historiographic metafiction; cybergothic; Literature; Litteraturvetenskap; Literature; litteraturvetenskap;

    Abstract : This study examines how themes, conventions and concepts in Gothic discourses are remediated or developed in selected works of contemporary interactive fiction. These works, which are wholly text-based and proceed via command line input from a player, include Nevermore, by Nate Cull (2000), Anchorhead, by Michael S. READ MORE

  6. 4. Analysis of Iterative or Recursive Programs Using a First-Order Theorem Prover

    Author : Simon Robillard; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Term Algebras; Automated Theorem Proving; Invariant Generation; Program Verification;

    Abstract : Static analysis of program semantics can be used to provide strong guarantees about the correctness of software systems. In this thesis, we explore ways to perform automated program analysis and verification using a first-order theorem prover. READ MORE

  7. 5. Thermo- and chemosensitive properties of Transient Receptor Potential Ankyrin 1 ion channels

    Author : Lavanya Moparthi; Biokemi och Strukturbiologi; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TRP ion channels; TRPA1; ankyrin repeat domain; thermosensation; chemosensation; cold sensor; electrophiles; non-electrophiles; planar lipid bilayers; patch-clamp; fluorescence spectroscopy; mass spectrometry;

    Abstract : The ability to sense and accommodate to an ever-changing environment is crucial for the survival of living organisms. Transient Receptor Potential (TRP) ion channels comprise a large superfamily of cation conducting membrane proteins that function as molecular sensors in diverse sensory processes including perception of light, taste, smell, sound, touch and temperature. READ MORE