Sökning: "event types"

Visar resultat 1 - 5 av 248 avhandlingar innehållade orden event types.

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

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

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

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

   Författare :Johanna Prytz; Cecilia Falk; Ida Larsson; Marit Julien; Stockholms universitet; []
   Nyckelord :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;

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

4. 3. Development and Implementation of Cardiac Event Detectors in Digital CMOS

   Författare :Joachim Rodrigues; Institutionen för elektro- och informationsteknik; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signal processing; Elektronik och elektroteknik; Electronics and Electrical technology; event detection; cardiac pacemaker; sleep- transistors; low-power; ASIC; Neural Networks; Electrogram; Signalbehandling; Wavelets;

   Sammanfattning : This doctoral dissertation presents the development and digital hardware realization of cardiac event detectors. Implantable medical appliances, as the cardiac pacemaker, have progressed from a life sustaining device to a device that considerably improves life quality for all ages. LÄS MER

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

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

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

7. 5. Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams

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

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