Search for dissertations about: "semantics"

Showing result 16 - 20 of 365 swedish dissertations containing the word semantics.

2. 16. 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. 17. Ensembles of Semantic Spaces : On Combining Models of Distributional Semantics with Applications in Healthcare

   Author : Aron Henriksson; Hercules Dalianis; Martin Duneld; Nigel Collier; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; natural language processing; machine learning; distributional semantics; ensemble learning; semantic space ensembles; medical informatics; electronic health records; Computer and Systems Sciences; data- och systemvetenskap;

   Abstract : Distributional semantics allows models of linguistic meaning to be derived from observations of language use in large amounts of text. By modeling the meaning of words in semantic (vector) space on the basis of co-occurrence information, distributional semantics permits a quantitative interpretation of (relative) word meaning in an unsupervised setting, i. READ MORE

5. 18. The Japanese Imperative

   Author : Axel Svahn; Allmän språkvetenskap; []
   Keywords : HUMANIORA; HUMANITIES; imperative; directive; semantics; pragmatics; grammaticalization; honorification; benefactivity; directive strategy; directive system; Japanese; imperativ; japanska; semantik; pragmatik; språkvetenskap; lingvistik; grammatikalisering; satstyper;

   Abstract : The present thesis explores Japanese imperative constructions from a general linguistic perspective, as well as examining the imperative as a cross-linguistic object of study. On the definitional side, a terminological apparatus for the description and analysis of imperatives and directives is presented. READ MORE

6. 19. Sentential Object Complements in Modern Standard Arabic

   Author : Maria Persson; Arabiska; []
   Keywords : HUMANIORA; HUMANITIES; Arabic; Modern Standard Arabic; Linguistics; Lingvistik; Grammar; semiotics; semantics; Grammatik; Baskien samt sumeriska; semantik; syntax; semiotik; Languages and literatures of Asia Minor; Caucasian languages and literatures; `an and `anna.; syntactic-semantic correlations; subordinate clause; functionalistic linguistics; sentential object complements; corpus-based study; complement-taking predicates; complementizer; complementation; complementiser; Basque; Sumerian; Språk och litteratur från Mellanöstern och Kaukasien;

   Abstract : This dissertation comprises a corpus-based study of the form and function of sentential object complements in Modern Standard Arabic (MSA). The study is motivated by the scarcity of investigations into MSA syntax as opposed to the syntax of Classical Arabic. READ MORE

7. 20. Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments

   Author : David Broman; Peter Fritzson; Henrik Nilsson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Modeling; Simulation; Equation-Based; Object-Oriented; Modelica; Type System; Semantics; Language Safety; Secure Simulation; Computer science; Datavetenskap;

   Abstract : During the last two decades, the interest for computer aided modeling and simulation of complex physical systems has witnessed a significant growth. The recent possibility to create acausal models, using components from different domains (e.g., electrical, mechanical, and hydraulic) enables new opportunities. READ MORE