Search for dissertations about: "primitive"

Showing result 1 - 5 of 169 swedish dissertations containing the word primitive.

2. 1. Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus

   Author : Johan Glimming; Karl Meinke; John Power; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; denotational semantics; axiomatic domain theory; coalgebra; primitive co recursion; object-based programming; typed object calculus; Computer science; Datavetenskap; datalogi; Computer Science;

   Abstract : In the first part of this thesis, we contribute to the semantics of typed object calculus by giving (a) a category-theoretic denotational semantics using partial maps making use of an algebraic compactness assumption, (b) a notion of "wrappers'' by which algebraic datatypes can be represented as object types, and (c) proofs of computational soundness and adequacy of typed object calculus via Plotkin's FPC (with lazy operational semantics), thus making models of FPC suitable also for first-order typed object calculus (with recursive objects supporting method update, but not subtyping). It follows that a valid equation in the model induces operationally congruent terms in the language, so that program algebras can be studied. READ MORE

4. 2. Electronic Potlatch : A study concerning new technologies and primitive economic behaviors

   Author : Alf Rehn; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; general economy; gift economies; gifts; potlatch; warez; play; excess; software piracy; Industrial engineering and economy; Industriell teknik och ekonomi;

   Abstract : Economy - the very idea. In an age where the market economy seems to have achieved a total and omnipresent hegemony, there would seem to be little to discuss anymore. Going against this, the book argues for a sensitivity to other forms of economies,and the hybrids existing in our postindustrial society. READ MORE

5. 3. Essays on Epistemology and Evolutionary Game Theory

   Author : Elias Tsakas; Göteborgs universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Common knowledge; communication; consensus; betting; primitive propositions; negative introspection; information partition; projection; learning.;

   Abstract : This thesis has two parts, one consisting of three independent papers in epistemology (Chapters 1-3) and another one consisting of a single paper in evolutionary game theory (Chapter 4): (1) “Knowing who speaks when: A note on communication, common knowledge and consensus” (together with Mark Voorneveld) We study a model of pairwise communication in a finite population of Bayesian agents. We show that, if the individuals update only according to the signal they actually hear, and they do not take into account all the hypothetical signals they could have received, a consensus is not necessarily reached. READ MORE

6. 4. Tensor Products on Category O and Kostant's Problem

   Author : Johan Kåhrström; Volodymyr Mazorchuk; Henning Haahr Andersen; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Semi-simple Lie algebras; Tensor products; Kostant s problem; Primitive quotients; MATHEMATICS; MATEMATIK;

   Abstract : This thesis consists of a summary and three papers, concerning some aspects of representation theory for complex finite dimensional semi-simple Lie algebras with focus on the BGG-category O.Paper I is motivated by the many useful properties of functors on category O given by tensoring with finite dimensional modules, such as projective functors and translation functors. READ MORE

7. 5. A future for the past of desert vernacular architecture : testing a novel conservation model and applied methodology in the town of Balat in Egypt

   Author : Marwa Dabaieh; Lund University; []
   Keywords : HUMANIORA; HUMANITIES; primitiv arkitektur; desert cities; prehistoric architecture; islamisk arkitektur; primitive architecture; islamic architecture; architectural history; forhistorisk arkitektur; oprindelig arkitektur; ørkenbyer; arkitekturhistorie; ørkenarkitektur; vernacular architecture;

   Abstract : .... READ MORE