Essays about: "formalisering"

Showing result 6 - 10 of 13 essays containing the word formalisering.

  1. 6. Formalizing the Informal Sector, is it Desirable for Everyone? : South African Informal Operators, Bankers, Researchers and Policymakers Elaborating on Their Understanding of Formalization, and the Way Towards Financial Inclusion

    University essay from Umeå universitet/Statsvetenskapliga institutionen

    Author : Helin Bäckman Kartal; [2021]
    Keywords : Financial inclusion; formalization; informal operators; South Africa; informal sector; Finansiell inkludering; formalisering; informellt arbete; Sydafrika; informell sektor;

    Abstract : The purpose of this study is to map different understandings of the formalization of the informal financial sector in the developing world. Utilizing a qualitative approach and interview methodology, this study focuses on the case of South Africa and maps different perceptions about the formalization process by operators in the informal economic sector, which are in turn contrasted with the perceptions of experts and policymakers in the field. READ MORE

  3. 7. Causal Discovery Algorithms for Context-Specific Models

    University essay from KTH/Matematisk statistik

    Author : Mohamed Nazaal Ibrahim; [2021]
    Keywords : Causality; Causal Discovery; Statistics; Kausalitet; Kausal Upptäckt; Statistik;

    Abstract : Despite having a philosophical grounding from empiricism that spans some centuries, the algorithmization of causal discovery started only a few decades ago. This formalization of studying causal relationships relies on connections between graphs and probability distributions. READ MORE

  4. 8. Verifying Correctness of Contract Decompositions

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Gustav Hedengran; [2020]
    Keywords : ;

    Abstract : The importance of verification in safety critical systems is well known. However, due to the complexity of verification, the task of formally verifying large safety-critical systems might prove computationally infeasible in many cases. Compositional verification is a technique aimed at enabling verification of large safety-critical systems. READ MORE

  5. 9. Formalizing security properties in blockchain protocols

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Felix Liljefors; Niclas Hedberg; [2018]
    Keywords : ;

    Abstract : In this report we have used the logic L to write a formal specification of security properties in blockchain protocols for managing Electronic Health Records. The protocols have been adapted from previous research, and then formalized with regards to the properties data privacy and data integrity. We used the logic L to define a logical model M. READ MORE

  6. 10. Realizability in Coq

    University essay from KTH/Matematik (Avd.)

    Author : Anders Lundstedt; [2015]
    Keywords : Coq; formalization; partial combinatory algebra; realizability; Coq; formalisering; partiell kombinatorisk algebra; realiserbarhet;

    Abstract : This thesis describes a Coq formalization of realizability interpretations of arithmetic. The realizability interpretations are based on partial combinatory algebras—to each partial combinatory algebra there is an associated realizability interpretation. I construct two partial combinatory algebras. READ MORE