Search for dissertations about: "stochastic calculus"
Showing result 6 - 10 of 20 swedish dissertations containing the words stochastic calculus.
-
6. A class of infinite dimensional stochastic processes with unbounded diffusion
Abstract : The aim of this work is to provide an introduction into the theory of infinite dimensional stochastic processes. The thesis contains the paper A class of infinite dimensional stochastic processes with unbounded diffusion written at Linköping University during 2012. READ MORE
-
7. Analytical Approximation of Contingent Claims
Abstract : This PhD thesis consists of three separate papers. The common theme is methods to calculate analytical approximations for prices of different contingent claims under various model assumptions. The first two papers deals with approximations of standard European options in stochastic volatility models. READ MORE
-
8. Measurement Back-Action and Photon Detection in Microwave Quantum Optics
Abstract : In quantum optics, the interaction between atoms and photons is studied. In recent years, microwave quantum optics with superconducting circuits has emerged as an important tool for fundamental quantum optics experiments, and also as a promising way for implementing quantum computation. READ MORE
-
9. Quantum optics with artificial atoms
Abstract : Quantum optics is the study of interaction between atoms and photons. In the eight papers of this thesis, we study a number of systems where artificial atoms (here, superconducting circuits emulating the level structure of an atom) enable us to either improve on known concepts or experiments from quantum optics with natural atoms, or to explore entirely new regimes which have not been possible to reach in such experiments. READ MORE
-
10. Games and Probabilistic Infinite-State Systems
Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE