Search for dissertations about: "model of computation"

Showing result 1 - 5 of 328 swedish dissertations containing the words model of computation.

  1. 1. The Mathematician as Mathematics : Theories of Computation in Light of Wittgenstein's Thought

    Author : Kim Solin; Lars-Göran Johansson; Sören Stenlund; André Porto; Uppsala universitet; []
    Keywords : HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; theories of computation; philosophy of mathematics; Wittgenstein;

    Abstract : Theories of computation are considered in light of Wittgenstein's thought. The dissertation is divided into three parts.The first part presents the philosophical approach taken in the dissertation. The approach takes Wittgenstein's philosophy, in particular as it has been understood by Rush Rhees, as a model. READ MORE

  2. 2. Stochastic model updating and model selection with application to structural dynamics

    Author : Majid Khorsand Vakilzadeh; Chalmers University of Technology; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Finite element model; Bayesian model selection; Bayesian model updating; stochastic simulation; Bootstrapping; Subspace system identification; Uncertainty quantification;

    Abstract : Uncertainty induced by our incomplete state of knowledge about engineering systems and their surrounding environment give rise to challenging problems in the process of building predictive models for the system behavior. One such challenge is the model selection problem, which arises due to the existence of invariably multiple candidate models with different mathematical forms to represent the system behavior, and so there is a need to assess their plausibility based on experimental data. READ MORE

  3. 3. On the Measurement of Model Fit for Sparse Categorical Data

    Author : Katrin Kraus; Dag Sörbom; Ghazi Shukur; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; goodness-of-fit; sparseness; model fit; categorical data; fit statistic; sparse contingency table; Statistics; Statistik;

    Abstract : This thesis consists of four papers that deal with several aspects of the measurement of model fit for categorical data. In all papers, special attention is paid to situations with sparse data. READ MORE

  4. 4. Numerical computation of ship stern/propeller flow

    Author : Daohua Zhang; Chalmers University of Technology; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; lifting-line theory; Body-fitted coordinate system; viscous flow; Reynolds-Avraged NAvier-Stokes equations; stern flow; propeller; turbulence model; grid generation; propeller-hull interaction; body-force; numerical calculation;

    Abstract : .... READ MORE

  5. 5. Improvement and Assessment of Two-Dimensional Resistivity Models Derived from Radiomagnetotelluric and Direct-Current Resistivity Data

    Author : Thomas Kalscheuer; Laust B. Pedersen; Christopher Juhlin; Roland Roberts; Heinrich Brasse; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Electromagnetic geophysics; radiomagnetotellurics; direct-current resistivity; displacement currents; dielectric effect; non-linearity; inversion; regularization; two-dimensional model; model variance; model resolution; data resolution; Geophysics; Geofysik;

    Abstract : Two-dimensional (2-D) models of electrical resistivity are improved by jointly inverting radiomagnetotelluric (RMT) and direct-current resistivity (DCR) data or by allowing for displacement currents in the inversion of RMT data collected on highly resistive bedrock. Uniqueness and stability of the 2-D models are assessed with a model variance and resolution analysis that allows for the non-linearity of the inverse problem. READ MORE