Sökning: "model of computation"

Visar resultat 1 - 5 av 311 avhandlingar innehållade orden model of computation.

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Daohua Zhang; Chalmers University of Technology; []
    Nyckelord :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;

    Sammanfattning : .... LÄS MER

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

    Författare :Thomas Kalscheuer; Laust B. Pedersen; Christopher Juhlin; Roland Roberts; Heinrich Brasse; Uppsala universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER