Essays about: "State variables"

Showing result 1 - 5 of 355 essays containing the words State variables.

  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. Fighting for Profit in Modern Warfare : A quantiative analysis of the influence of Private Military and Security Companies (PMSC’s) on conflict intensity in weak states

    University essay from Uppsala universitet/Institutionen för freds- och konfliktforskning

    Author : Samuel Hallhammar; [2024]
    Keywords : Private Military Security Contractors; Conflict Intensity;

    Abstract : The influence of private actors within armed conflict is becoming increasingly relevant, as the market for private military and security companies (PMSC’s) is growing in tandem with new opportunities within the sector. Their involvement in many conflicts around the world suggest the demand for private actors is not likely to go away any time soon, as their professional approach to offering an advantage in settling conflicts might appeal to many contracting parties. READ MORE

  4. 3. The Perception of Corruption in correlation to Homicides : A time-series cross-sectional empirical global study, with specific focus on the Latin American region

    University essay from Uppsala universitet/Institutionen för freds- och konfliktforskning

    Author : Lotta Ericsson; [2024]
    Keywords : Homicides; Perception of Corruption; Latin America; Grievance motivated violence; Corruption;

    Abstract : Most research that has examined the variation in homicide levels has examined their correlation with socioeconomic structural variables. In Latin America however, economic and social development has occurred, but high homicide levels remain, suggesting the involvement of other influencing factors. READ MORE

  5. 4. Mängden död ved i värdekärnor i Söderåsens nationalpark

    University essay from SLU/Southern Swedish Forest Research Centre

    Author : Gustav Thurell; [2024]
    Keywords : volym död ved; stående död ved; liggande död ved; bokskog; nedbrytningsgrad; värdekärna;

    Abstract : There is a lack of knowledge about the development of the dead wood in former production beech (Fagus sylvatica) forests that have been protected. The present study has been carried out in Söderåsen National Park to compare the distribution of dead wood in relatively unaffected beech forests that have been protected for a long time (A-value cores) and older, previously managed beech forest that has only been protected for 20-30 years (B-value cores). READ MORE

  6. 5. Towards Another Closet?! The Social Integration-related Experiences of Georgian LGBTQ+ Asylum Seekers in Berlin, Germany.

    University essay from Göteborgs universitet/Institutionen för socialt arbete

    Author : Tamazi Sozashvili; [2023-11-03]
    Keywords : LGBTQ asylum seekers; Social Integration; Intersectionality; Georgia; European Union.;

    Abstract : Georgia is among the top 10 nationalities who seek asylum in the EU. Despite not existing the official statistics, LGBTQ+ individuals, too, flee from Georgia due to persecution and discrimination based on sexual orientation and gender identity. READ MORE