Search for dissertations about: "simple theory"

Showing result 1 - 5 of 506 swedish dissertations containing the words simple theory.

  1. 1. Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results

    Author : Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uwe Nestmann; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Abstract : As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems. READ MORE

  2. 2. Multi-unit common value auctions : theory and experiments

    Author : Joakim Ahlberg; Lars Hultkrantz; Jan-Eric Nilsson; Jerker Holm; Statens väg- och transportforskningsinstitut; []
    Keywords : SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Multi-Unit Auction; Common Value Auction; Laboratory Experiment; Game Theory; Economics; Q Economics; Q Economics; Economics; Nationalekonomi;

    Abstract : Research on auctions that involve more than one identical item for sale was,almost non-existing in the 90’s, but has since then been getting increasing attention. External incentives for this research have come from the US spectrum, sales, the European 3G mobile-phone auctions,  and Internet auctions. READ MORE

  3. 3. Multiconfigurational perturbation theory

    Author : Kerstin Andersson; Karlstads universitet; []
    Keywords : Electron correlation; CASSCF; multiconfigurational second-order perturbation theory; CASPT2; ozone; C; N; O; F; Si; P; S; Cl; Ni; benzene; pyridine; pyrazine; pyrimidine; pyridazine; s-triazine; electric properties; excited states; spectroscopic data;

    Abstract : The aim of the thesis is to analyze a method which describes the electron correlation in atoms and molecules. The method is based on Rayleigh-Schrödinger perturbation theory with a partitioning of the Hamiltonian into a fairly simple zeroth-order operator and a perturbation operator. READ MORE

  4. 4. Limit Laws, Homogenizable Structures and Their Connections

    Author : Ove Ahlman; Vera Koponen; Dugald Macpherson; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Model theory; random structure; finite model theory; simple theory; homogeneous structure; countably categorical; 0-1 law; Mathematical Logic; Matematisk logik; Mathematics; Matematik;

    Abstract : This thesis is in the field of mathematical logic and especially model theory. The thesis contain six papers where the common theme is the Rado graph R. Some of the interesting abstract properties of R are that it is simple, homogeneous (and thus countably categorical), has SU-rank 1 and trivial dependence. READ MORE

  5. 5. Systems theory for systems practice : [(a simple framework for complex studies)]

    Author : Per Sigurd Agrell; Stockholms universitet; []
    Keywords : Systemanalys;

    Abstract : .... READ MORE