Sökning: "model of computation"

Visar resultat 1 - 5 av 355 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 :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

3. 2. Realtime & Development - modes of knowing design computation in architectural practice

   Författare :Frans Magnusson; Chalmers tekniska högskola; []
   Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Design Methodology; Architectural Practice; Design Theory; Action Research; Computational Design; Design Computation; Design Systems; Project Workflow Management;

   Sammanfattning : This thesis examines theoretical, methodological and organisational implications of design computation for architectural practice - from an insider perspective. It also proposes a conceptual model for knowing within this practice, in an approach that interrelates theory and actionable knowledge. LÄS MER

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

   Författare :Katrin Kraus; Dag Sörbom; Ghazi Shukur; Uppsala universitet; []
   Nyckelord :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

5. 4. Stochastic model updating and model selection with application to structural dynamics

   Författare :Majid Khorsand Vakilzadeh; Chalmers tekniska högskola; []
   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

7. 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 :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