Sökning: "semantics"

Visar resultat 6 - 10 av 444 avhandlingar innehållade ordet semantics.

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

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Ann Lindvall; Allmän språkvetenskap; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

   Författare :Susanne Vejdemo; Maria Koptjevskaja-Tamm; Bernhard Wälchli; Majid Asifa; Stockholms universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER