Search for dissertations about: "approximation"
Showing result 16 - 20 of 1035 swedish dissertations containing the word approximation.
-
16. Numerical Complexity Analysis of Weak Approximation of Stochastic Differential Equations
Abstract : 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. READ MORE
-
17. Infinite-state Stochastic and Parameterized Systems
Abstract : 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. READ MORE
-
18. Privacy Mechanism Design Through the Lens of Information Theory : With Applications to Compression, Caching, and Semantic Communication
Abstract : 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. READ MORE
-
19. Parameterized Systems : Generalizing and Simplifying Automatic Verification
Abstract : 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. READ MORE
-
20. Applied Adaptive Optimal Design and Novel Optimization Algorithms for Practical Use
Abstract : 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. READ MORE