Search for dissertations about: "explicit substitution"

Showing result 1 - 5 of 7 swedish dissertations containing the words explicit substitution.

  2. 1. A Natural Interpretation of Classical Proofs

    Author : Jens Brage; Per Martin-Löf; Sara Negri; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory; constructive semantics; proof interpretation; double-negation; continuation-passing-style; natural deduction; sequent calculus; cut elimination; explicit substitution; Mathematical logic; Matematisk logik;

    Abstract : In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. READ MORE

  4. 2. Quantum Chemical Studies of Aromatic Substitution Reactions

    Author : Magnus Liljenberg; Tore Brinck; Leif Eriksson; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Teoretisk kemi och biologi; Theoretical Chemistry and Biology;

    Abstract : In this thesis, density functional theory (DFT) is used to investigate the mechanisms and reactivities of electrophilic and nucleophilic aromatic substitution reactions (SEAr and SNAr respectively). For SEAr, the σ-complex intermediate is preceded by one (halogenation) or two (nitration) π-complex intermediates. READ MORE

  5. 3. Quantum Chemical Studies of Chemotherapeutic Drug Cisplatin : Activation and Binding to DNA

    Author : Johan Raber; David van der Spoel; Paolo Carloni; Uppsala universitet; []
    Keywords : Quantum chemistry; cisplatin; quantum chemistry; DNA; density functional theory; activation; JM118; substitution reaction; Platinum; guanine; adenine; cytostatic drug; aquation; anation; activation; Kvantkemi;

    Abstract : The serendipitous discovery of the potent cytotoxic properties of cisplatin brought about a revolution in the treatment of certain types of cancer, but almost fifty years later, there still remain unknown areas in the chemistry of cisplatin. There are questions regarding which form of the drug reaches its DNA target, or why certain DNA sequences are more preferred than others for reaction with cisplatin. READ MORE

  6. 4. Logic program synthesis using schema instantiation in an interactive environment

    Author : Anna-Lena Johansson; Stockholms universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : The research presented herein proposes a method of program synthesis based on a recursive program schema and performed with an explicit incremental plan as the core of the synthesis. A partial prototype has been built in order to be able to actually perform syntheses according to the method. READ MORE

  7. 5. Structure and Dynamics in Transition Metal Perovskites — An Optical Spectroscopy Study

    Author : Johan Bielecki; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; multiferroics; colossal magnetoresistance; magnetism; proton-conduction; spin-state transition; structure; Ultrafast spectroscopy; high temperature superconductivity; dynamics; Raman;

    Abstract : Transition metal oxides with the perovskite structure exhibit a vast number of exotic properties due to the large number of competing degrees of freedom at the Fermi surface. Together with couplings between and correlations within these degrees of freedom, this class of materials is of high interest from both a practical and theoretical point of view. READ MORE