Search for dissertations about: "expressive power"

Showing result 1 - 5 of 23 swedish dissertations containing the words expressive power.

2. 1. Expressivity and Complexity of the Grammatical Framework

   Author : Peter Ljunglöf; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Grammatical Framework; generalized context-free grammar; multiple context-free grammar; context-free rewriting systems; type theory; expressive power; abstract syntax; linearization; parsing; context-free rewriting systems;

   Abstract : This thesis investigates the expressive power and parsing complexity of the Grammatical Framework (GF), a formalism originally designed for displaying formal propositions and proofs in natural language. This is done by relating GF with two more well-known grammar formalisms; Generalized Context-Free Grammar (GCFG), best seen as a framework for describing various grammar formalisms; and Parallel Multiple Context-Free Grammar (PMCFG), an instance of GCFG. READ MORE

4. 2. “Sweat is weakness leaving the body” : A study on the self-presentational practices of sporty top managers in Sweden

   Author : Janet Johansson; Torkild Thanem; Karin Berglund; Jenny Helin; Stockholms universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; sport; athleticism; self-expressive behaviours; self-presentation; företagsekonomi; Business Administration;

   Abstract : Embracing the symbolic interactionist view of the notion of self, applying dramaturgical theories of self-presentation, this study unpacks the linkage between leaders’ lifestyle behaviours (in athletic endeavours) and the formation of their sense of self as occupants of the leadership role from a self-expressive perspective.  I conducted a study of a group of sporty top managers in Sweden. READ MORE

5. 3. AssistancePlus : 3D-mediated Advice-giving on Pharmaceutical Products

   Author : Martin Östlund; Nils Dahlbäck; Mattias Arvola; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; 3D; pharmaceutical advice-giving; remote instruction; 3D-mediated communication; video communication; co-browsing; web3D; common ground; Information technology; Informationsteknik;

   Abstract : In the use of medication and pharmaceutical products, non‐compliance is a major problem. One thing we can do something about is making sure consumers have the information they need. This thesis investigates how remote communication technology can be used to improve the availability for expressive advice‐giving services. READ MORE

6. 4. Lindström quantifiers and higher-order notions on finite structures

   Author : Anders Andersson; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematics; Finite model theory; generalized quantifiers; higher-order quantifiers and operators; bijective Ehrenfeucht-Fraïssé games; quantifying over quantifiers; isomorphism quantifiers; MATEMATIK; MATHEMATICS; MATEMATIK; matematisk logik; Mathematical Logic;

   Abstract : The expressive power of first-order logic is very limited on finite structures. One important way to obtain stronger logics is to add Lindström quantifiers, and another is to add higher-order quantification. We investigate two different ways of combing the two approaches. READ MORE

7. 5. The Fusion Calculus : Expressiveness and Symmetry in Mobile Processes

   Author : Björn Victor; Joachim Parrow; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Abstract : The fusion calculus is presented as a significant step towards a canonical calculus of concurrency. It simplifies and extends the π-calculus of Milner, Parrow and Walker.The fusion calculus contains the polyadic π-calculus as a proper subcalculus and thus inherits all its expressive power. READ MORE