Sökning: "Uppsala model"

Visar resultat 26 - 30 av 2485 avhandlingar innehållade orden Uppsala model.

  1. 26. Kinetic isotope effect studies of stereospecific and stereoselective 1,3-proton transfer in the indene system : methods, measurements, model calculations

    Författare :Olle Matsson; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP;

    Sammanfattning : .... LÄS MER

  3. 27. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

    Författare :Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

    Sammanfattning : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. LÄS MER

  4. 28. Dose Adaptation Based on Pharmacometric Models

    Författare :Johan Wallin; Mats Karlsson; Lena Friberg; Maria Garrido; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Biopharmacy; Biofarmaci; Pharmacokinetics and Drug Therapy; Farmakokinetik och läkemedelsterapi;

    Sammanfattning : Many drugs exhibit major variability in both pharmacokinetic (PK) and pharmacodynamic (PD) parameters that prevents the use of the same dose for all patients. Variability can occur both between patients (IIV) as well as within patients over the course of time (IOV). LÄS MER

  5. 29. Christ as example : The imitatio Christi motive in biblical and Christian ethics

    Författare :Soon-Gu Kwon; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Religion; Jesus; Christ; Imitatio Christi; Bible; New Testament; Gospels; follow; imitate; example; model; ideal; Biblical ethics; Christian ethics; interpretation; monastic; ascetic; political; contextual; feminist; narrative; relational; love; Göran Bexell; Thomas Ogletree; J.I.H. McDonald; Edvin Larsson; H. Dieter Betz; Thomas à Kempis; Sören Kierkegaard; Dietrich Bonhoeffer; Choan-Seng Song; Chung Hyun-Kyung; James McClendon; Stanley Hauerwas; Religionsvetenskap Teologi; Religion Theology; Religionsvetenskap Teologi; etik; Ethics;

    Sammanfattning : The purpose of this study is (1) to investigate what the imitation of Christ means in Biblical andChristian ethics, (2) to make a critical analysis of some interpretations of the imitation of Christ inChristian tradition, (3) to propose an alternative interpretation of the imitation of Christ, and (4) todiscuss the role of the Bible in Christian ethics. This demands discussion of several problems. LÄS MER

  7. 30. Effective Techniques for Stateless Model Checking

    Författare :Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

    Sammanfattning : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. LÄS MER