Search for dissertations about: "temporal formalisms"

Showing result 1 - 5 of 6 swedish dissertations containing the words temporal formalisms.

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

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

    Abstract : 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. READ MORE

  4. 2. Algorithms and Complexity for Temporal and Spatial Formalisms

    Author : Thomas Drakengren; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : The problem of computing with temporal information was early recognised within the area of artificial intelligence, most notably the temporal interval algebra by Allen has become a widely used formalism for representing and computing with qualitative knowledge about relations between temporal intervals. However, the computational properties of the algebra and related-formalisms are known to be bad: most problems (like satisfiability) are NP-hard. READ MORE

  5. 3. Exploring patterns of empirical networks

    Author : Luis E C Rocha; Petter Holme; Kimmo Kaski; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; complex systems; complex networks; network analysis; empirical networks; air transportation; consumer complaints; information technology; sexual contacts; epidemics; vaccination; Statistical physics; Statistisk fysik; Computational physics; Beräkningsfysik; Technology and social change; Teknik och social förändring; Epidemiology; Epidemiologi; Information technology; Informationsteknik; fysik; Physics; Statistics; statistik; Epidemiology; epidemiologi; Economics; nationalekonomi;

    Abstract : We are constantly struggling to understand how nature works, trying to identify recurrent events and looking for analogies and relations between objects or individuals. Knowing patterns of behavior is powerful and fundamental for survival of any species. READ MORE

  6. 4. Algorithmic Verification of Procedural Programs in the Presence of Code Variability

    Author : Siavash Soleimanifard; Dilian Gurov; Doron Peled; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis addresses the formal verification of temporal properties of procedural programs that are dynamically or statically configured by replacing, adapting, or adding new components. Dealing with such variable programs is challenging because a part of the program is either not available at verification time or changes frequently. READ MORE

  7. 5. Method development for co-simulation of electrical-chemical systems in Neuroscience

    Author : Ekaterina Brocke; Jeanette Hellgren Kotaleski; Gaute Einevoll; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; multiscale; multirate; co-simulation; electrical-chemical; Computer Science; Datalogi;

    Abstract : Multiscale modeling and simulation is a powerful approach for studying such phenomena in nature as learning and memory. In computational neuroscience, historically, methods and tools for neuronal modeling and simulations have been developed for studies focused on a single level of the neuronal organization. READ MORE