Sökning: "approximation"

Visar resultat 16 - 20 av 1044 avhandlingar innehållade ordet approximation.

  1. 16. Numerical Complexity Analysis of Weak Approximation of Stochastic Differential Equations

    Författare :Raul Tempone Olariaga; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Adaptive methods; a posteriori error estimates; stochastic differential equations; weak approximation; Monte Carlo methods; Malliavin Calculus; HJM model; option price; bond market; stochastic elliptic equation; Karhunen-Loeve expansion; numerical co; Numerical analysis; Numerisk analys;

    Sammanfattning : The thesis consists of four papers on numerical complexityanalysis of weak approximation of ordinary and partialstochastic differential equations, including illustrativenumerical examples. Here by numerical complexity we mean thecomputational work needed by a numerical method to solve aproblem with a given accuracy. LÄS MER

  3. 17. Infinite-state Stochastic and Parameterized Systems

    Författare :Noomene Ben Henda; Parosh Abdulla; Christel Baier; Uppsala universitet; []
    Nyckelord :program verification; model checking; stochastic games; infinite-state systems; Markov chains; reachability; repeated reachability; parameterized systems; approximation; safety; tree systems;

    Sammanfattning : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. LÄS MER

  4. 18. Privacy Mechanism Design Through the Lens of Information Theory : With Applications to Compression, Caching, and Semantic Communication

    Författare :Amirreza Zamani; Mikael Skoglund; Tobias J. Oechtering; Parastoo Sadeghi; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Privacy mechanism design; Leakage matrix; Strong privacy criterion; KL-divergence; Local approximation; Euclidean information geometry; Privacy-utility trade-off; χ2-privacy criterion; l1-privacy criterion; Common information; Functional representation lemma; Two-part construction coding; Design av sekretessmekanism; Läckagematris; Stark sekretesskriterium; KL-divergens; Lokal approximation; Euklidisk informationsgeometri; Sekretess-nyttoavvägning; χ2-sekretesskriterium; l1-sekretesskriterium; Gemensam information; Lemma för funktionell representation; Kodning med tvådelad konstruktion.; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Privacy mechanism design is an important research area and is receiving increased attention in recent years. This field focuses on addressing the challenge of revealing general data that might have correlations with sensitive information, all while protecting this sensitive information against unauthorized access. LÄS MER

  5. 19. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Författare :Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER

  7. 20. Applied Adaptive Optimal Design and Novel Optimization Algorithms for Practical Use

    Författare :Eric Strömberg; Andrew Hooker; Mats Karlsson; Timothy Waterhouse; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Nonlinear Mixed Effects Models; Pharmacometrics; Fisher Information Matrix; Approximation; Optimality Criterion; Parallelization; Model Based Adaptive Optimal Design; Pharmaceutical Science; Farmaceutisk vetenskap;

    Sammanfattning : The costs of developing new pharmaceuticals have increased dramatically during the past decades. Contributing to these increased expenses are the increasingly extensive and more complex clinical trials required to generate sufficient evidence regarding the safety and efficacy of the drugs. LÄS MER