Search for dissertations about: "state complexity"

Showing result 6 - 10 of 543 swedish dissertations containing the words state complexity.

  2. 6. Poland under pressure 1980-81 : crisis management in state-society conflict

    Author : Witold Patoka; Umeå universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Crisis management; Solidarity; State authorities; Super Powers; Polish Crisis 1980-81; Cold War; Political Decision-making;

    Abstract : The primary purpose of this study is to describe and analyze the crisis management strategies used by Solidarity and state authorities during the Polish Crisis 1980-81. These key domestic actors adjusted their actions in response to the international context of the crisis. READ MORE

  4. 7. Complexity of state-variable planning under structural restrictions

    Author : Peter Jonsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Computationally tractable planning problems reported in the literature have almost exclusively been defined by syntactical restrictions. To better exploit the inherent structure in problems, it is probably necessary to study also structural restrictions on the underlying state-transition graph. READ MORE

  5. 8. Lower Bounds and Trade-offs in Proof Complexity

    Author : Susanna F. de Rezende; Jakob Nordström; Amit Chakrabarti; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; trade-offs; lower bounds; size; length; space; Computer Science; Datalogi;

    Abstract : Propositional proof complexity is a field in theoretical computer science that analyses the resources needed to prove statements. In this thesis, we are concerned about the length of proofs and trade-offs between different resources, such as length and space. READ MORE

  6. 9. State Estimation for Distributed and Hybrid Systems

    Author : Peter Alriksson; Institutionen för reglerteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Joint Maximum a Posteriori Estimation; Sensor Networks; Distributed State Estimation; Networked Embedded Systems; Markov Jump Linear Systems; Sensor Scheduling;

    Abstract : This thesis deals with two aspects of recursive state estimation: distributed estimation and estimation for hybrid systems. In the first part, an approximate distributed Kalman filter is developed. Nodes update their state estimates by linearly combining local measurements and estimates from their neighbors. READ MORE

  7. 10. Models and Complexity Results in Real-Time Scheduling Theory

    Author : Pontus Ekberg; Wang Yi; Alberto Marchetti-Spaccamela; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; Scheduling theory; Task models; Computational complexity; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Abstract : When designing real-time systems, we want to prove that they will satisfy given timing constraints at run time. The main objective of real-time scheduling theory is to analyze properties of mathematical models that capture the temporal behaviors of such systems. READ MORE