Sökning: "Axel Bergström"

Visar resultat 1 - 5 av 10 uppsatser innehållade orden Axel Bergström.

  1. 1. A Verified QBF Solver

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2024]
    Nyckelord :;

    Sammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER

  3. 2. Adding Basic Support for Function Pointers in TriCera

    Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2023]
    Nyckelord :;

    Sammanfattning : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. LÄS MER

  4. 3. The Effectiveness of Education Aid

    Kandidat-uppsats, Göteborgs universitet/Institutionen för nationalekonomi med statistik

    Författare :Martin Bergström; Axel Garå; [2020-06-30]
    Nyckelord :Education; Aid; Corruption; Growth; Sub-Saharan Africa;

    Sammanfattning : This thesis investigates the impact of aid allocated to education on economic growth in Sub-Saharan Africa. Our study includes 37 countries within the region during the time period 2005-2018, with intentions to follow up on Elizabeth Asiedu’s (2014) study 1990-2004. LÄS MER

  5. 4. Effekten av bolagsskattereformen 2013 : en undersökning av företags effektiva skatter

    Kandidat-uppsats, Uppsala universitet/Företagsekonomiska institutionen

    Författare :Axel Bergström; Rebecka Karlöf; [2016]
    Nyckelord :Skattereformer; bolagsskatt; faktisk skattesats; effektiv skattesats; skattemässiga justeringar;

    Sammanfattning : Bolagsskattesystemets utformning är viktig eftersom den påverkar samhällsekonomin i ett antal olika avseenden. När bolagsskatt diskuteras måste två begrepp särskiljas. Faktisk skattesats återges i lagtext och effektiv skattesats är den skatt företag betalar. Sveriges bolagsskattesystem har genomgått en rad reformer. LÄS MER

  7. 5. Added Properties in Kaplan Turbine - a preliminary investigation

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

    Författare :Stina Bergström; [2016]
    Nyckelord :Added mass; added damping; fluid-solid interaction; acoustic coupled simulation; two way coupled simulation;

    Sammanfattning : A preliminary investigation of the added properties called added mass, added damping and added stiffness have been performed for a Kaplan turbine. The magnitude of dimensionless numbers have been used in order to classify the interaction of the fluid and the solid. LÄS MER