Search for dissertations about: "formalized mathematics"

Found 5 swedish dissertations containing the words formalized mathematics.

  2. 1. 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

  4. 2. Deep learning applied to system identification : A probabilistic approach

    Author : Carl Andersson; Thomas B. Schön; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Electrical Engineering with specialization in Signal Processing; Elektroteknik med inriktning mot signalbehandling;

    Abstract : Machine learning has been applied to sequential data for a long time in the field of system identification. As deep learning grew under the late 00's machine learning was again applied to sequential data but from a new angle, not utilizing much of the knowledge from system identification. 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. Constructive Algebra in Type Theory

    Author : Anders Mörtberg; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis contains four papers aiming at bridging the gap between algorithms implemented in computer algebra systems and interactive proof assistants. This is done by implementing and verifying efficient algorithms using the Coq proof assistant together with the SSReflect extension. READ MORE

  7. 5. An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems

    Author : Jiale Zhou; Kristina Lundqvist; Kristian Sandahl; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : With the growing complexity of embedded real-time systems, requirements validation becomes an ever-more critical activity for developing such systems. Studies have revealed that most of the anomalies, discovered in the development of complex systems, belong to requirement and specification phases. READ MORE