Search for dissertations about: "finite type"

Showing result 1 - 5 of 377 swedish dissertations containing the words finite type.

2. 1. Gibbs states and subshifts of finite type

   Author : Olle Häggström; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : .... READ MORE

4. 2. Exact completion and type-theoretic structures

   Author : Jacopo Emmenegger; Erik Palmgren; Alexander Berglund; Maria Emilia Maietti; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; exact completion; type theory; setoid; weak limits; cartesian closure; inductive types; Mathematics; matematik;

   Abstract : This thesis consists of four papers and is a contribution to the study of representations of extensional properties in intensional type theories using, mainly, the language and tools from category theory. Our main focus is on exact completions of categories with weak finite limits as a category-theoretic description of the setoid construction in Martin-Löf's intensional type theory. READ MORE

5. 3. Relations in Dependent Type Theory

   Author : Carlos Gonzalía; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

   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

6. 4. Guarded Recursive Types in Type Theory

   Author : Andrea Vezzosi; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

   Abstract : In total functional (co)programming valid programs are guaranteed to always produce (part of) their output in a finite number of steps.Enforcing this property while not sacrificing expressivity has beenchallenging. READ MORE

7. 5. Adaptive Finite Element Procedures in Structural Dynamics

   Author : Xiangdong Li; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; finite element; h-adaptivity; Newmark method; structural dynamics; space-time; a posteriori; superconvergent patch recovery; postprocessing; automatic time-stepping; semidiscretization; error estimation; discontinuous Galerkin;

   Abstract : This thesis deals with a posteriori error estimation and adaptivity in finite element procedures for the analysis of structural dynamic problems. First, error estimation and adaptivity for the Newmark time integration method are studied. READ MORE