Search for dissertations about: "Semantics"

Showing result 6 - 10 of 365 swedish dissertations containing the word Semantics.

  2. 6. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation

    Author : Jan-Willem Roorda; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Semantics; Abstraction; Satisfiability Solver; Symbolic Trajectory Evaluation; Formal Verification.; Model Checking;

    Abstract : The rapid growth in hardware complexity has led to a need for formal verification of hardware designs to prevent bugs from entering the final silicon. Model-checking is a verification method in which a model of a system is checked against a property, describing the desired behaviour of the system over time. READ MORE

  4. 7. Meta-Languages and Semantics for Equation-Based Modeling and Simulation

    Author : David Broman; Peter Fritzson; Jeremy Siek; Thomas Schön; Björn Lisper; Walid Taha; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Meta-language; semantics; EOO; Modelica; equations; modeling; simulation; MKL; Computer science; Datalogi;

    Abstract : Performing computational experiments on mathematical models instead of building and testing physical prototypes can drastically reduce the develop cost for complex systems such as automobiles, aircraft, and powerplants. In the past three decades, a new category of equation-based modeling languages has appeared that is based on acausal and object-oriented modeling principles, enabling good reuse of models. READ MORE

  5. 8. Temporality and the Semantics of the Biblical Hebrew Verbal System

    Author : Ulf Bergström; Göran Eidevall; Sören Holst; John A. Cook; Uppsala universitet; []
    Keywords : HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; Biblical Hebrew; semantics; temporality; verb; aspect; tense; progressive; resultative; semiotics; Old Testament Exegesis; Gamla testamentets exegetik;

    Abstract : This dissertation investigates the semantic factors behind the temporal meanings of the Biblical Hebrew (BH) verbal forms. Four different forms are studied, viz. qotel, yiqtol-L, qatal, and yiqtol-S. READ MORE

  6. 9. Transitivity in discourse : A comparison of Greek, Polish and Swedish

    Author : Ann Lindvall; Allmän språkvetenskap; []
    Keywords : HUMANIORA; HUMANITIES; agentivity; affectedness; aspect; boundedness; cognitive semantics; definiteness; discourse semantics; dynamism; functionalism; givenness; Greek; language typology; lexical semantics; modality; Modern Greek; Polish; transitivity; Swedish; translation; Linguistics; Lingvistik;

    Abstract : This work assumes that various linguistic forms in different languages are related to common cognitive functions and semantic properties. A cognitive function - presumably universal - is information transmission. READ MORE

  7. 10. Triangulating Perspectives on Lexical Replacement : From Predictive Statistical Models to Descriptive Color Linguistics

    Author : Susanne Vejdemo; Maria Koptjevskaja-Tamm; Bernhard Wälchli; Majid Asifa; Stockholms universitet; []
    Keywords : HUMANIORA; HUMANITIES; semantics; lexical typology; semantic typology; historical linguistics; historical semantics; lexical replacement; lexical change; rate of lexical replacement; color; regression models; Swedish; English; German; Danish; Norwegian; Icelandic; method triangulation; Linguistics; lingvistik;

    Abstract : The aim of this thesis is to investigate lexical replacement processes from several complementary perspectives. It does so through three studies, each with a different scope and time depth. READ MORE