Search for dissertations about: "Higher Inductive Types"

Showing result 1 - 5 of 7 swedish dissertations containing the words Higher Inductive Types.

2. 1. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

   Author : Andrea Vezzosi; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

   Abstract : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. READ MORE

4. 2. Reasoning with Bounded Cognitive Resources

   Author : Abdul Rahim Nizamani; Göteborgs universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Artificial general intelligence; logical reasoning; inductive learning; proof systems; bounded cognitive resources; cognitive modeling;

   Abstract : Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. READ MORE

5. 3. Inverse and optimization problems in electromagnetics -- a finite-element method perspective

   Author : JOHAN WINGES; Chalmers tekniska högskola; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; microwave measurements; computational electromagnetics; finite element method; optimization; inductive power transfer; compressed sensing; wireless power; brick-tetrahedron hybrid; parameter estimation; inverse problems;

   Abstract : In this thesis, a selection of inverse and optimization problems are studied where the finite element method (FEM) serves as a comprehensive tool to solve electromagnetic field problems that lack an analytic solution. The inverse problems are typically formulated in terms of an optimization problem where the misfit between a measurement and the corresponding result of a computational model is minimized. READ MORE

6. 4. Formalizing Univalent Set-Level Structures in Cubical Agda

   Author : Max Zeuner; Anders Mörtberg; Martin Escardo; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This licentiate thesis consists of two papers on formalization projects using Cubical Agda, a rather new extension of the Agda proof assistant with constructive support for univalence and higher inductive types. The common denominator of the two papers is that they are concerned with structures on types that are sets in the sense of Homotopy Type Theory or Univalent Foundations (HoTT/UF). READ MORE

7. 5. Children with Type 1 diabetes The initial education process and the impact on children and their parents over the first two years

   Author : Lisbeth Jönsson; Institutionen för hälsovetenskaper; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES;

   Abstract : The overall aim of this thesis was to investigate the initial diabetes education process, the impact on children and their parents and parental satisfaction with the care received one and two years subsequent to the child’s diagnosis. In order to seek a deeper understanding for how the diabetes team’s initial education process works from admission to discharge among families with a child newly diagnosed with type 1 diabetes, three diabetes teams from three different paediatric hospitals, two county hospitals and one university hospital were interviewed through focus groups interviews (Paper I). READ MORE