Search for dissertations about: "semantics"
Showing result 6 - 10 of 365 swedish dissertations containing the word semantics.
-
6. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation
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
-
7. Meta-Languages and Semantics for Equation-Based Modeling and Simulation
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
-
8. Temporality and the Semantics of the Biblical Hebrew Verbal System
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
-
9. Transitivity in discourse : A comparison of Greek, Polish and Swedish
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
-
10. Triangulating Perspectives on Lexical Replacement : From Predictive Statistical Models to Descriptive Color Linguistics
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