Sökning: "decision-procedure"

Visar resultat 1 - 5 av 11 avhandlingar innehållade ordet decision-procedure.

  1. 1. Ethical aspects of risk management

    Författare :Hélène Hermansson; Sven Ove Hansson; Johannes Persson; KTH; []
    Nyckelord :HUMANIORA; HUMANITIES; Risk; risk management; consistency; ethics; rights; cost-benefit; interpersonal weighing; decision-procedure; informed consent; NIMBY; Philosophy subjects; Filosofiämnen;

    Sammanfattning : The subject of this thesis is ethical aspects of risk management. It is argued that a model for risk management needs to be developed that acknowledges several ethical aspects and most crucial among these, the individual’s right not to be unfairly exposed to risks. LÄS MER

  3. 2. A prototype system for logical reasoning about time and action

    Författare :Christer Hansson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis presents the experience and results from the implementation of a prototype system for reasoning about time and action. Sandewall has defined syntax, semantics and preference relations on the interpretations of a temporal logic. LÄS MER

  4. 3. Non-linear belief revision : Foundations and applications : by John Cantwell

    Författare :John Cantwell; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Philosophy; Belief revision; iterated belief revision; non-linear belief revision; epistemic entrenchment; plausibility relations; possibility relations; preferential relations; sources of information; contradictory information; non-prioritised belief revision; AGM; Filosofi; Philosophy subjects; Filosofiämnen; teoretisk filosofi; Theoretical Philosophy;

    Sammanfattning : Three structures for belief revision: plausability relations on states, relations of epistemic entrenchment on propositions and systems of spheres (hypertheories), are generalised to the non-linear (non-connected) case. The further generalisation to the case of sets of such structures is also investigated. LÄS MER

  5. 4. Approximations and abstractions for reasoning about machine arithmetic

    Författare :Aleksandar Zeljic; Philipp Rümmer; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Sammanfattning : Safety-critical systems rely on various forms of machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic. The problem with machine arithmetic is that it can exhibit subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER

  7. 5. Contributions to multivariate process capability indices

    Författare :Ingrid Tano; Anders Lundquist; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Matematisk statistik inriktning industriell statistik; Mathematical Statistics with special emphasis on Industrial Statistic; Matematisk statistik; Matemathical Statistics; Manufacturing and materials engineering;

    Sammanfattning : The work presented in this thesis considers multivariate process capability indices (MPCIs) with focus on confidence intervals and tests for MPCIs. It also includes a case study, where multivariate statistical analysis and MPCIs are applied to data from a thermal spraying process at Volvo Aero Corporation. LÄS MER