Avancerad sökning

Visar resultat 1 - 5 av 29 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. A Cubical Formalisation of Cohomology Theory and π4(S3) ≅ Z/2Z

    Författare :Axel Ljungström; Anders Mörtberg; Eric Finster; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Homotopy Type Theory; Cohomology; Formalisation;

    Sammanfattning : .... LÄS MER

  3. 2. Formalisering och yrkeskunnande : en explorativ studie om säkerhetskulturen inom kärnkraftsindustrin

    Författare :Johan Berglund; Maria Hammarén; John Andersson; KTH; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; professional skill; tacit knowledge; formalisation; nuclear industry; safety culture; recurrent training; reflection; democratic dialogue; analogical thinking; power; Industrial organisation; administration and economics; Industriell organisation; administration och ekonomi;

    Sammanfattning : Like many industries, the nuclear power industry in Sweden is currently facing the challenges of a major generational change. To meet these challenges, alongside the demands for a high level of security, the industry has attempted to standardise its mode of operations as far as possible. LÄS MER

  4. 3. Univalent Types, Sets and Multisets : Investigations in dependent type theory

    Författare :Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

    Sammanfattning : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. LÄS MER

  5. 4. A formalisation of the ITU-T Intelligent Network standard

    Författare :Jan Nyström; Bengt Jonsson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Systems; Datorteknik;

    Sammanfattning : Telecommunication systems are today among the largest and most heterogeneous computer systems that exist. The functionality offered by them is rapidly increasing, by numerous features: call waiting, credit-card billing and call-forwarding to name a few. LÄS MER

  7. 5. On Constructive Sets and Partial Structures

    Författare :Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

    Sammanfattning : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. LÄS MER