Essays about: "Sat"

Showing result 21 - 25 of 113 essays containing the word Sat.

1. 21. The MiniZinc-SAT Compiler

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Hendrik Bierlee; [2021]
   Keywords : ;

   Abstract : Combinatorial (optimization) problems occur in nature and society. Constraint modeling languages such as MiniZinc allow the user to declaratively specify such problems in terms of its decision variables and constraints. Subsequently, the MiniZinc model can be compiled into an equivalent (Boolean) SAT formula to be solved by a SAT solver. READ MORE

3. 22. Witnessing moral educators breaking (their) moral teachings, morality and self-reported crime : A study on adults in two countries, Sweden and Greece

   University essay from Malmö universitet/Institutionen för kriminologi (KR)

   Author : Alexandros Avratoglou; [2021]
   Keywords : moral educators; moral emotions; moral values; SAT; SLT; morality; self-reported crime; Situational Action Theory; Social Learning Theory; moral education; anticipated shame; anticipated guilt; Sweden; Greece; crime; gender crime; gender; traditional crime;

   Abstract : The present paper extends previous research in terms of integrating social learning with morality theories, under the framework of moral educators’ and their conflicting moral influences. Specifically, this study aims to investigate the impact of witnessing moral educators breaking (their) moral teachings on individual’s morality and criminal behavior using a sample of two countries, Sweden and Greece, with similar population but entirely different cultural and social characteristics. READ MORE

4. 23. Study of the Genetic Dynamics in Pan-genomes for Six Bacterial Species

   University essay from Uppsala universitet/Institutionen för medicinsk biokemi och mikrobiologi

   Author : Jennifer Johansson; [2021]
   Keywords : pan-genome; core genome; accessory genome; genetic dynamics;

   Abstract : Foodborne diseases are a growing health problem today and can be caused by eating food contaminated with bacteria. To monitor known foodborne diseases, institutions keep track of bacteria in surveillance projects. Whole genome sequencing is becoming the new standard method for comparing isolates, which generates large amounts of data. READ MORE

5. 24. Feature Extraction from an SMT Problem

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Fredrik Wärngård; [2021]
   Keywords : ;

   Abstract : One way of solving complex satisfiability problems is by using the method of SMT(Satisfiability Modulo Theories). For satisfiability problems that are harder to solve than trivial ones, we could very well save ourselves a lot of time if we choose the most suitable solver immediately. READ MORE

6. 25. Integration and validation of a nanosatellite flight software (ESA OPS-SAT project)

   University essay from KTH/Rymdteknik

   Author : Anthony Surivet; [2021]
   Keywords : Flight software; On-board autonomy; Orbit control; Collision risks; Nanosatellite; Flygprogramvara; Inbyggd autonomi; Banreglering; Kollisionsrisker; Nanosatellit;

   Abstract : With the increasing number of satellites operating in orbit and the development of nanosatelliteconstellations, it has become more and more arduous for operators to keep track of every satellitestate, and perform corrective or avoidance manoeuvres. That is why CNES, the French space agency,is developing new algorithms, which aimed at making satellites more self-su cient. READ MORE