Sökning: "Externt program"

Visar resultat 1 - 5 av 28 uppsatser innehållade orden Externt program.

  1. 1. Kontinuerlig rötning med hydrokol för högre biogasutbyte

    Master-uppsats, Karlstads universitet/Fakulteten för hälsa, natur- och teknikvetenskap (from 2013)

    Författare :Annette Kariis; [2023]
    Nyckelord :Biogas; Continuous anaerobic digestion; Hydrochar; Hydrothermal Carbonisation; Life-cycle costing; Biogas; kontinuerlig anaerob rötning; Hydrokol; Hydrotermisk karbonisering; Livscykelkostnad;

    Sammanfattning : Befolkningsökningen och därmed efterfrågan på energikällor som tillhandahålls från fossila bränslen leder till allvarliga miljöproblem på grund av utsläpp av växthusgaser. En annan utmaning är att effektivt hantera organisk avfall som till exempel matavfall som genereras världen över. LÄS MER

  3. 2. Revisionskommittéers påverkan på hållbarhetsrapporters tillförlitlighet : En kvantitativ studie på 298 börsnoterade företag i en low-litigation kontext

    Kandidat-uppsats, Högskolan i Gävle/Företagsekonomi

    Författare :Albin Eriksson; Philip Lindholm; [2022]
    Nyckelord :SRA; sustainability reporting; audit committees; low-litigation; SRA; hållbarhetsrapportering; revisionskommittéer; low-litigation;

    Sammanfattning : Sammanfattning Titel: Revisionskommittéers påverkan på hållbarhetsrapporters tillförlitlighet: En kvantitativ studie på 298 börsnoterade företag i en low-litigation kontext. Nivå: Examensarbete på grundnivå i ämnet företagsekonomi (kandidatexamen). LÄS MER

  4. 3. No mine for old men? : New technology and digitalization in a mining organization

    Magister-uppsats, Luleå tekniska universitet/Institutionen för ekonomi, teknik, konst och samhälle

    Författare :Anna Löfgren; [2021]
    Nyckelord :Mine; implementation process; new technology; digitalization; Gruva; implementationsprocess; ny teknik; digitalisering;

    Sammanfattning : This master thesis stems from the program of Industrial Design Engineering at Luleå University of Technology and was conducted during the spring semester of 2021. The thesis was made incollaboration with Boliden Mines. Boliden Mines is a part of the metal company Boliden Minerals AB. LÄS MER

  5. 4. Proof-producing resolution of indirect jumps in the binary intermediate representation BIR

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Adrian Westerberg; [2021]
    Nyckelord :Formal verification; Binary analysis; Interactive theorem proving; Indirect jump resolution; Formell verifiering; Binär analys; Interaktiv teorembevisning; Indirekt hopp bestämning;

    Sammanfattning : HolBA is a binary analysis library that can be used to formally verify binary programs using contracts. It is developed in the interactive theorem prover HOL4 to achieve a high degree of trust in verification, the result of verification is a machine-checked proof demonstrating its correctness. This thesis presents two proof-producing procedures. LÄS MER

  7. 5. Simuleringsmodell av tröghetsnavigator

    Uppsats för yrkesexamina på grundnivå, Umeå universitet/Institutionen för tillämpad fysik och elektronik

    Författare :Markus Bergendorff; [2021]
    Nyckelord :Simulation model; Inertial Navigation System;

    Sammanfattning : När tiden för utveckling av nya produkter kortas ner måste testning och verifiering utföras i ett tidigare utvecklingsstadie. Genom simulering av systemet kan tester utföras utan tillgång till det faktiska systemet och därmed kan utvecklingsprocessen accelereras. LÄS MER