Essays about: "Agda"

Showing result 6 - 10 of 12 essays containing the word Agda.

  1. 6. Assessing the Operational Value Creation by the Private Equity Industry in the Nordics

    University essay from KTH/Matematisk statistik

    Author : Adam Wuilmart; Erik Harrysson; [2020]
    Keywords : Private Equity; Operational Value Creation; Linear Regression; Nordic Market; EBIT Margin; Operational Efficiency; Management; Industrial Engineering; Turnaround; Applied mathematics; Riskkapital; Private Equity; Operationell effektivitet; Linjär regression; Operationellt värdeskapande; Nordiska marknaden; EBIT-marginal; Management; Tillämpad matematik; Industriell ekonomi;

    Abstract : More and more capital is being directed towards the private equity industry. As a result, private equity owned firms make up an increasingly large share of the economy. Therefore, it is becoming more important to understand the nature of how the operational performance of firms change under private equity ownership. READ MORE

  3. 7. Automatic refactoring for Agda

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Karin Wibergh; [2019-04-24]
    Keywords : Agda; dependent types; refactoring; thesis;

    Abstract : The task of making changes to an existing code base to improve performance, legibility, or extensibility while preserving behaviour is important to virtually any program. Many times this involves making changes requiring a great deal of typing in various places, which is tedious and error-prone. READ MORE

  4. 8. Formalizing Constructive Quantifier Elimination in Agda

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Jeremy Pope; [2018-04-04]
    Keywords : Agda; decidability; semantics; successor; constructive;

    Abstract : In this thesis a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow [16]. The formalization is implemented and verified in the programming language/proof assistant Agda [1]. READ MORE

  5. 9. A Logical Relation for Dependent Type Theory Formalized in Agda

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Joakim Öhman; [2017-02-27]
    Keywords : type theory; dependent types; logical relation; Agda; formalization;

    Abstract : When writing proofs, it is desirable to show that one’s proof is correct. With formalising a proof in dependent type theory, it is implied that the proof is correct as long as the type theory is correct. READ MORE

  6. 10. Techno-economic Feasibility Study of a Biogas Plant for Treating Food Waste Collected from Households in Kartamantul Region, Yogyakarta

    University essay from KTH/Energi och klimatstudier, ECS

    Author : Adam Al Naami; [2017]
    Keywords : AD plants; waste to biogas system; techno-economic feasibility; GHG emission; Biogas anläggning; matavfall till biogas; tekno-ekonomisk genomförbarhet studie; utsläpp av växthusgaser;

    Abstract : This thesis presents the potential of biogas production using food waste collected from the region of Kartamantul in Yogyakarta, Indonesia. Biogas can be used for cooking and generating electricity. The study compares two different end uses or markets for utilizing the biogas in the region. READ MORE