Sökning: "formalisation"

Visar resultat 1 - 5 av 21 avhandlingar innehållade ordet formalisation.

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

    Författare :Johan Berglund; Maria Hammarén; John Andersson; KTH; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; 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

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

    Författare :Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; 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

  3. 3. A formalisation of the ITU-T Intelligent Network standard

    Författare :Jan Nyström; Bengt Jonsson; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; 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

  4. 4. On Constructive Sets and Partial Structures

    Författare :Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; 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

  5. 5. Formalising process calculi

    Författare :Jesper Bengtson; Joachim Parrow; Daniel Hirschkoff; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; process calculi; interactive theorem proving; nominal logic; pi-calculus; CCS; psi-calculi; Computer science; Datalogi; Computer Science; Datavetenskap;

    Sammanfattning : As the complexity of programs increase, so does the complexity of the models required to reason about them. Process calculi were introduced in the early 1980s and have since then been used to model communication protocols of varying size and scope. LÄS MER