Search for dissertations about: "Finite model theory"
Showing result 1 - 5 of 363 swedish dissertations containing the words Finite model theory.
-
1. Multiphase continuum modeling of wood : A hybrid mixture theory approach
Abstract : Wood has been used as a construction material for a very long time. The development of efficient industrial production processes of wood has expanded the use of the material with the introduction of new products, such as engineered wood products. READ MORE
-
2. Model Adaptivity in Elasticity
Abstract : We consider model adaptivity in elasticity for dimensionally reduced forms, and shall treat different conceptual approaches. The basic idea, however, is to adaptively refine, not only the computational mesh, but also the underlying mathematical formulation. READ MORE
-
3. Limit Laws, Homogenizable Structures and Their Connections
Abstract : This thesis is in the field of mathematical logic and especially model theory. The thesis contain six papers where the common theme is the Rado graph R. Some of the interesting abstract properties of R are that it is simple, homogeneous (and thus countably categorical), has SU-rank 1 and trivial dependence. READ MORE
-
4. Relations in Dependent Type Theory
Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE
-
5. Structural Reliability and Identification with Stochastic Simulation - Application to Railway Mechanics
Abstract : System identification of structures based on measured response data can play a key role in improving reliability based structural designs. However, the experimental limitations of in situ tests and uncertainties of required model complexity together with the inverse nature of system identification give rise to a number of challenging issues. READ MORE