Essays about: "Search in DiVA"

Showing result 1 - 5 of 2332 essays containing the words Search in DiVA.

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. Implementation Constraints of ERP Systems in Developing Countries

   University essay from Stockholms universitet/Institutionen för data- och systemvetenskap

   Author : Hanna Mekuria Fissha; [2024]
   Keywords : Enterprise Resource Systems; public service organizations; developing countries;

   Abstract : Globally, the use of ERP systems has increased significantly. Organizations in developed and developing countries are pursuing ERP systems to stand out globally for facilitating their growth beyond their previous inhouse systems. READ MORE

4. 3. Teaching pronunciation effectively in an EFL classroom; a literature review

   University essay from Malmö universitet/Institutionen för kultur, språk och medier (KSM)

   Author : My Olsson; Alice Osborne; [2024]
   Keywords : effective teaching; English as a Foreign Language; intelligibility; secondary education; pronunciation;

   Abstract : This study provides a literature review of the most effective ways to teach pronunciation to EFL secondary school students in Sweden. There is limited time allocated to pronunciation leading to a scarcity of available effective methods. This impacts the important role which intelligibility holds in pronunciation. READ MORE

5. 4. A Comparative Analysis of the Ingestion and Storage Performance of Log Aggregation Solutions: Elastic Stack & SigNoz

   University essay from Mälardalens universitet/Akademin för innovation, design och teknik

   Author : Robert Duras; [2024]
   Keywords : Elastic Stack; ELK; SigNoz; Beats; Logstash; Elasticsearch; Kibana; OpenTelemetry; ClickHouse; Log; Logging; Log Data; Log Aggregation; Performance; Ingestion; Storage;

   Abstract : As infrastructures and software grow in complexity the need to keep track of things becomes important. It is the job of log aggregation solutions to condense log data into a form that is easier to search, visualize, and analyze. READ MORE

6. 5. The West African Coup Trap : A qualitative case study of military coups d'état in Mali, Niger, Burkina Faso, and Guinea

   University essay from Linnéuniversitetet/Institutionen för statsvetenskap (ST)

   Author : Joy Hansen; [2024]
   Keywords : Coup d état; Mali; Niger; Burkina Faso; Guinea; External impact; Climate change; Political instability; France; Russia;

   Abstract : Africa is the continent having the most coups d'état. From 2020 to 2022, there were six coups and three coup attempts on the continent. This study aims to investigate the causes of these coups d'état in Mali, Burkina Faso, Niger, and Guinea, four former French colonies in West Africa. READ MORE