Sökning: "temporal interval"

Visar resultat 1 - 5 av 72 avhandlingar innehållade orden temporal interval.

  1. 1. Deductive Planning and Composite Actions in Temporal Action Logic

    Författare :Martin Magnusson; Patrick Doherty; John-Jules Meyer; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; Computer science; Datalogi;

    Sammanfattning : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. LÄS MER

  3. 2. A Study in the Computational Complexity of Temporal Reasoning

    Författare :Mathias Broxvall; Peter Jonsson; Ulf Nilsson; Anders Haraldsson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; temporal and spatial information; artificiell intelligens; algebra; tractable fragments; temporal formalisms; formalism STP; Computer science; Datavetenskap;

    Sammanfattning : Reasoning about temporal and spatial information is a common task in computer science, especially in the field of artificial intelligence. The topic of this thesis is the study of such reasoning from a computational perspective. LÄS MER

  4. 3. On Observation of and Interaction in Open Distributed Systems

    Författare :Jens-Olof Lindh; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Coherence; interaction; temporal interval; relativity; uncertainty;

    Sammanfattning : The thesis presents the results of research in computer science, as applied within a series of industrial projects. All of these projects have been part of an iterative and adaptive development process, from which we can draw conclusions in three different aspects. LÄS MER

  5. 4. Control of Dynamical Systems subject to Spatio-Temporal Constraints

    Författare :Maria Charitidou; Dimos V. Dimarogonas; Christian Ebenbauer; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signal Temporal Logic; formal methods; control barrier functions; autonomous systems; model predictive control; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Over the last decades, autonomous robots have been considered in a variety of applications such  as persistent monitoring, package delivery and cooperative transportation. These applications often require the satisfaction of a set of complex tasks that need to be possibly performed in a timely manner. LÄS MER

  7. 5. The impact of organizational and temporal factors on acute stroke care in Sweden

    Författare :David Darehed; Marie Eriksson; Mathias Blom; Eva-Lotta Glader; Johan Niklasson; Bo Norrving; Ole Morten Rønning; Umeå universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; in-hospital bed occupancy; stroke unit; The Swedish Stroke Register; organizational factors; temporal variation; stroke thrombolysis; door-to-needle time; quality of care; outcomes; Medicine; medicin;

    Sammanfattning : Background: Acute stroke carries a high risk of morbidity and death, but early treatment can improve outcomes. Intravenous stroke thrombolysis (IVT) is one such treatment, it is however time-sensitive and show better outcomes the sooner it is given. LÄS MER