Sökning: "bounded integer model"

Hittade 5 avhandlingar innehållade orden bounded integer model.

  1. 1. Pharmacometric Investigations of Prediction Precision and Advances of Models for Composite Scale Data

    Författare :Gustaf Wellhagen; Maria C. Kjellsson; Bengt Hamrén; Per Olsson Gisleskog; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; pharmacometrics; modelling; non-linear mixed effects modelling; composite scale data; total score data; total score analysis; precision prediction; bounded integer; bounded integer model; IRT-informed total score analysis; item response theory-informed; mixed models for repeated measures; MMRM; dose-response; dose-response mixed models for repeated measures; DR-MMRM; HbA1c models; fit-for-purpose analysis; clinical trial analysis; Farmaceutisk vetenskap; Pharmaceutical Science;

    Sammanfattning : Clinical trials are needed to evaluate new treatments. In late-stage clinical trials, failures are mostly due to lack of efficacy. Fit-for-purpose analysis methods will likely increase the success rates and advance drug development by providing higher precision to support decisions such as go/no-go, dose selection, or sample size. LÄS MER

  3. 2. Interacting particle systems for opinion dynamics: the Deffuant model and some generalizations

    Författare :Timo Hirscher; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Deffuant model; bounded confidence; opinion dynamics; sociophysics; consensus formation; general opinion space; percolation; pumpless water transport.; opinion dynamics;

    Sammanfattning : In the field of sociophysics, concepts and techniques taken from statistical physics are used to model and investigate some social and political behavior of a large group of humans: their social network is given by a simple graph and neighboring individuals meet and interact in pairs or small groups. Although most of the established models feature rather simple microscopic interaction rules, the macroscopic long-time behavior of the collective often eludes an analytical treatment due to the complexity, which stems from the interaction of the large system as a whole. LÄS MER

  4. 3. A Generic Approach to Schedulability Analysis of Real-Time Systems

    Författare :Elena Fersman; Wang Yi; Ed Brinksma; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : This thesis presents a framework for design, analysis, and implementation of embedded systems. We adopt a model of timed automata extended with asynchronous processes i.e. tasks triggered by events. LÄS MER

  5. 4. Computational Modeling of Cancer Progression

    Författare :Hossein Shahrabi Farahani; Jens Lagergren; Niko Beerenwinkel; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Cancer progression; Bayesian networks; microRNA editing; SRA - Molekylär biovetenskap; SRA - Molecular Bioscience;

    Sammanfattning : Cancer is a multi-stage process resulting from accumulation of genetic mutations. Data obtained from assaying a tumor only contains the set of mutations in the tumor and lacks information about their temporal order. Learning the chronological order of the genetic mutations is an important step towards understanding the disease. LÄS MER

  7. 5. Infinite Structures in Timed Systems

    Författare :Pavel Krcal; Wang Yi; Joel Ouaknine; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theoretical computer science; Teoretisk datalogi; Datalogi; Computing Science;

    Sammanfattning : Real time systems distinguish themselves by explicitly stating timing constraints in the system specification. This requires specific methods and tools in system design to ensure such constraints. We focus on one of the methods applied in the validation phase, namely formal verification. LÄS MER