Sökning: "limit state"
Visar resultat 6 - 10 av 341 avhandlingar innehållade orden limit state.
6. Games and Probabilistic Infinite-State Systems
Sammanfattning : 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. LÄS MER
7. Death Penalty in Decline : Brakes and Accelerators in U.S. State Legislatures
Sammanfattning : 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. LÄS MER
8. On Probability in Geotechnics. Random Calculation Models Exemplified on Slope Stability Analysis and Ground-Superstructure Interaction
Sammanfattning : 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. LÄS MER
9. Keeping Religion in the Closet : How Legible Religion Shapes Multi-Faith Spaces
Sammanfattning : 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. LÄS MER
10. Consequences of a non-trivial band-structure topology in solids : Investigations of topological surface and interface states
Sammanfattning : 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. LÄS MER