Search for dissertations about: "Sven Sandberg"

Found 3 swedish dissertations containing the words Sven Sandberg.

  2. 1. 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. 2. Numerical Modelling of Timber Building Components to Prevent Disproportionate Collapse

    Author : Johannes A. J. Huber; Sven Berg; Dick Sandberg; Mats Ekevad; Ulf Arne Girhammar; Jan-Willem G. van de Kuilen; Luleå tekniska universitet; []
    Keywords : LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; finite element modelling; alternative load paths; cross laminated timber; progressive collapse; CT scanning; fibre reconstruction; image analysis; Träteknik; Wood Science and Engineering;

    Abstract : An increasing number of multi-storey buildings are being constructed with engineered wood products, such as glulam or cross-laminated timber (CLT). Multi-storey timber buildings can be safely designed for foreseeable loads, but knowledge is limited concerning their ability to survive unforeseeable events, e.g. READ MORE

  5. 3. In-Plane Shear Modulus of Cross-Laminated Timber

    Author : Jonas Sharifi; Sven Berg; Dick Sandberg; Mats Ekevad; Reinhard Brandner; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Träteknik; Wood Science and Engineering;

    Abstract : Cross-laminated timber (CLT) is a building component used in walls, floors, roofs, or beams in a building. The advantages of using CLT as a building component are, among others, its high load-carrying capability and the possibility of pre-fabrication. READ MORE