Search for dissertations about: "event types"

Showing result 1 - 5 of 234 swedish dissertations containing the words event types.

2. 1. Resource-Predictable and Efficient Monitoring of Events

   Author : Jonas Mellin; Sten F. Andler; Sharma Chakravarthy; Ulf Nilsson; Peter Fritzson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; composition; efficiency; event; formalization; monitoring; performance; predictability; real-time systems; time complexity; timeliness; Computer science; Datavetenskap;

   Abstract : We present a formally specified event specification language (Solicitor). Solicitor is suitable for real-time systems, since it results in resource-predictable and efficient event monitors. READ MORE

4. 2. Optional rhemes and omitted undergoers : An event structure approach to implicit objects in Swedish

   Author : Johanna Prytz; Cecilia Falk; Ida Larsson; Marit Julien; Stockholms universitet; []
   Keywords : HUMANIORA; HUMANITIES; implicit objects; object omission; null objects; object drop; objectless sentences; pseudo-transitive; non-core transitive; transitivity; Swedish; event structure; argument structure; the syntax-semantic interface; implicita objekt; objektsutelämning; nollobjekt; objektslösa satser; pseudotransitiva verb; transitivitet; eventstruktur; argumentstruktur; Scandinavian Languages;

   Abstract : The aim of this thesis is to define the essential syntactic-semantic properties of three types of objectless sentences in present-day Swedish. The three types of objectless sentences are labeled descriptively as follows: Implicit Object Read type (IOR) with pseudo-transitive verbs like läsa ‘read’; Implicit Object Open type (IOO), which involves various sets of transitive verbs like öppna ‘open’ and bära ‘carry’; and Implicit Object Kill type (IOK), which typically involves destruction verbs like döda ‘kill’. READ MORE

5. 3. The Conceptual Structure of Object Control and Exceptional Case Marking in English

   Author : Henric Hertzman; Nils-Lennart Johannesson; Christina Alm-Arvius; Kersti Börjars; Stockholms universitet; []
   Keywords : HUMANIORA; HUMANITIES; object control; exceptional case marking; conceptual structure; force dynamics; attitude predicates; event types; alternation; English language; Engelska språket;

   Abstract : Within the framework of Jackendoff’s conceptual semantics, this study investigates the semantic properties that govern the distribution of object control (such as John persuaded Mary to help Sally) and exceptional case marking (such as John wanted Mary to help Sally) in English. In contrast to Jackendoff’s approach to control, one central idea here is that the to-infinitive complements under discussion should receive a uniform semantic analysis, and thus that control behaviour cannot be explained in terms of semantic argument type of the complement clause. READ MORE

6. 4. Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams

   Author : Arash Vahidi Mazinani; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; binary decision diagrams; supervisory synthesis; discrete event systems;

   Abstract : Due to the ever-increasing complexity of software and hardware, it is becoming more and more important to develop methods and tools for automatic analysis and synthesis of systems. One obstacle in achieving this goal has been the unmanageable size and complexity of the involved mathematical operations. READ MORE

7. 5. Takotsubo stress cardiomyopathy and different types of stress

   Author : Olov Collste; Karolinska Institutet; Karolinska Institutet; []
   Keywords : takotsubo stress cardiomyopathy;

   Abstract : Myocardial infarction with normal coronary angiography (MINCA) is an important subgroup of myocardial infarction for which the prevalence, underlying pathophysiology, prognosis and optimal management are still largely unknown. Interest in and awareness of MINCA has increased in recent years due to the frequent use of coronary angiography, the description of Takotsubo stress cardiomyopathy (TSC) and new sensitive troponin assays. READ MORE