Search for dissertations about: "Approximations"

Showing result 1 - 5 of 403 swedish dissertations containing the word Approximations.

  2. 1. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types

    Author : Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

    Abstract : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. READ MORE

  4. 2. Analytical Approximations for Bayesian Inference

    Author : Tohid Ardeshiri; Fredrik Gustafsson; Johan Wolfgang Koch; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Bayesian inference is a statistical inference technique in which Bayes’ theorem is used to update the probability distribution of a random variable using observations. Except for few simple cases, expression of such probability distributions using compact analytical expressions is infeasible. READ MORE

  5. 3. Pontryagin approximations for optimal design

    Author : Jesper Carlsson; Anders Szepessy; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Topology Optimization; Inverse Problems; Hamilton-Jacobi; Regularization; Error Estimates; Impedance Tomography; Numerical analysis; Numerisk analys;

    Abstract : This thesis concerns the approximation of optimally controlled partial differential equations for applications in optimal design and reconstruction. Such optimal control problems are often ill-posed and need to be regularized to obtain good approximations. READ MORE

  6. 4. Thin sheet approximations for geodynamic applications

    Author : Sergei Medvedev; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Earth sciences; Geovetenskap; Earth sciences; Geovetenskap; mineralogi; petrologi och tektonik; Mineral Chemistry; Petrology and Tectonics;

    Abstract : Thin sheet approximations are widely used in geodynamics because of their potential for fast computing of 3D lithospheric deformations using simple numerical techniques. However, this simplicity imposes limits to boundary conditions, rheological settings and accuracy of results. READ MORE

  7. 5. Approximations of Integral Equations for WaveScattering

    Author : Andreas Atle; Björn Engquist; Richard Tsai; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Integral equations; Marching on in time; On surface radiation condition; Physical Optics; Numerical analysis; Numerisk analys;

    Abstract : Wave scattering is the phenomenon in which a wave field interacts with physical objects. An incoming wave is scattered at the surface of the object and a scattered wave is produced. Common practical cases are acoustic, electromagnetic and elastic wave scattering. READ MORE