Search for dissertations about: "g theory"

Showing result 1 - 5 of 876 swedish dissertations containing the words g theory.

  2. 1. Reference and Computation in Intuitionistic Type Theory

    Author : Johan G Granström; Erik Palmgren; Per Martin-Löf; Peter Dybjer; Uppsala universitet; []
    Keywords : mathematical logic; intuitionism; type theory; foundations of mathematics;

    Abstract : Three topics, namely, computer science, philosophical logic, and mathematics, meet in intuitionistic type theory, which thus simultaneously is a programming language, a philosophy of language, and a foundation of mathematics. The present thesis compares, relates, and equates two concepts, one from philosophical logic and one from computer science, viz. READ MORE

  4. 2. Inverse factorization in electronic structure theory : Analysis and parallelization

    Author : Anton G. Artemov; Emanuel H. Rubensson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Scientific Computing; Beräkningsvetenskap;

    Abstract : This licentiate thesis is a part of an effort to run large electronic structure calculations in modern computational environments with distributed memory. The ultimate goal is to model materials consisting of millions of atoms at the level of quantum mechanics. READ MORE

  5. 3. Methods for interval-censored data and testing for stochastic dominance

    Author : Angel G. Angelov; Magnus Ekström; Maria Karlsson; Bengt Kriström; Per Johansson; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Interval-censored data; Informative censoring; Self-selected intervals; Questionnaire-based studies; Maximum likelihood; Permutation test; Two-sample test; Stochastic dominance; Four-decision test; Statistics; statistik;

    Abstract : This thesis includes four papers: the first three of them are concerned with methods for interval-censored data, while the forth paper is devoted to testing for stochastic dominance.In many studies, the variable of interest is observed to lie within an interval instead of being observed exactly, i.e. READ MORE

  6. 4. Statistical methods for knowledge discovery in adverse drug reaction surveillance

    Author : G. Niklas Norén; Rolf Sundberg; I. Ralph Edwards; Heikki Mannila; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical statistics; Matematisk statistik; Mathematical Statistics; matematisk statistik;

    Abstract : Collections of individual case safety reports are the main resource for early discovery of unknown adverse reactions to drugs once they have been introduced to the general public. The data sets involved are complex and based on voluntary submission of reports, but contain pieces of very important information. READ MORE

  7. 5. Love Power and Political Interests : Towards a Theory of Patriarchy in Contemporary Western Societies

    Author : Anna G. Jónasdóttir; Örebro universitet; []
    Keywords : love; gender; power; political interests; patriarchy; genusvetenskap; gender studies;

    Abstract : .... READ MORE