Essays about: "Axel Bergström"

Found 5 essays containing the words Axel Bergström.

1. 1. A Verified QBF Solver

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Axel Bergström; [2024]
   Keywords : ;

   Abstract : 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. READ MORE

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

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Axel Bergström; [2023]
   Keywords : ;

   Abstract : 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. READ MORE

4. 3. The Effectiveness of Education Aid

   University essay from Göteborgs universitet/Institutionen för nationalekonomi med statistik

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

   Abstract : 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. READ MORE

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

   University essay from Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

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

   Abstract : 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. READ MORE

6. 5. Living, perceiving and participating in Uganda : an exploration into methods for adding children’s perspective to a rural community development project

   University essay from SLU/Dept. of Landscape Architecture, Planning and Management (from 130101)

   Author : Erika Bergström; Axel Thorén Lindgren; [2015]
   Keywords : participation; design; Uganda; developing country; social sustainability; resource centre; workshop; facilitation; children’s perspective;

   Abstract : The St. Catherine vocational development project works locally in Muhanga, a rural area in south-western Uganda, and strives toward building and facilitating a resource centre that will educate, inform and engage the local community. Since 2012 the plans for a resource centre has taken form in co-operation with ASF Sweden. READ MORE