Avancerad sökning

Visar resultat 1 - 5 av 6 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. 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

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

    Författare :Thomas Drakengren; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

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

  4. 3. Exploring patterns of empirical networks

    Författare :Luis E C Rocha; Petter Holme; Kimmo Kaski; Umeå universitet; []
    Nyckelord :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;

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

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

    Författare :Siavash Soleimanifard; Dilian Gurov; Doron Peled; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

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

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

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

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