Search for dissertations about: "limit state"

Showing result 6 - 10 of 329 swedish dissertations containing the words limit state.

  2. 6. Games and Probabilistic Infinite-State Systems

    Author : Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

    Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE

  4. 7. Death Penalty in Decline : Brakes and Accelerators in U.S. State Legislatures

    Author : Emma Ricknell; Magnus Hagevi; Karl Loxbo; Kaare Strøm; Linnéuniversitetet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; abolition; bill proposals; death penalty; Democrats; gubernatorial veto; legislative entrepreneurs; legislative professionalism; morality policy; public opinion; Republicans; state legislatures; women legislators; Statsvetenskap; Political Science;

    Abstract : After reaching a peak during the 1990s, death sentences and executions havedeclined throughout the states. During this time, a steady stream of states havetaken the step to join a growing group of abolitionist states, or alternatively, have a moratorium on executions in place. In a parallel development, supportfor the death penalty among the U.S. READ MORE

  5. 8. On Probability in Geotechnics. Random Calculation Models Exemplified on Slope Stability Analysis and Ground-Superstructure Interaction

    Author : Claes Alén; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; random; creep; slope stability; calculation; interaction; design; limit state; probability; statistics; geotechnics;

    Abstract : The thesis deals with uncertainty in calculation modelling. Emphasis is put on the design state. Design is a chain of decisions under uncertainty. A probabilistic approach is used to describe the uncertainty and calculations as a way to reveal the uncertainty. READ MORE

  6. 9. Keeping Religion in the Closet : How Legible Religion Shapes Multi-Faith Spaces

    Author : Ryszard Bobrowicz; Kyrko- och missionsstudier; []
    Keywords : HUMANIORA; HUMANITIES; multi-faith spaces; religion; Europe; state; policy-making; religious diversity;

    Abstract : This dissertation focuses on multi-faith spaces and the tendencies in approaching religion that lie behind them. It argues that an overarching conceptual framework exists that conditions these tendencies, and which is described in the dissertation as “legible religion. READ MORE

  7. 10. Consequences of a non-trivial band-structure topology in solids : Investigations of topological surface and interface states

    Author : Magnus H. Berntsen; Oscar Tjernberg; Philip Hofmann; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; spin- and angle-resolved photoelectron spectroscopy; time-of-flight analyzer; laser based light source; topological insulator; topological crystalline insulator; thin films; surface state; interface state; Bi2Se3; Pb1-xSnxSe;

    Abstract : The development and characterization of experimental setups for angle-resolved photoelectron spectroscopy (ARPES) and spin- and angle-resolved photoelectron spectroscopy (SARPES) is described. Subsequently, the two techniques are applied to studies of the electronic band structure in topologically non-trivial materials. READ MORE