Sökning: "State variables"
Visar resultat 1 - 5 av 485 uppsatser innehållade orden State variables.
1. A Verified QBF Solver
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : 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
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
Kandidat-uppsats, Uppsala universitet/Institutionen för freds- och konfliktforskningSammanfattning : 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. LÄS MER
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
Kandidat-uppsats, Uppsala universitet/Institutionen för freds- och konfliktforskningSammanfattning : 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. LÄS MER
4. Mängden död ved i värdekärnor i Söderåsens nationalpark
Master-uppsats, SLU/Southern Swedish Forest Research CentreSammanfattning : 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). LÄS MER
5. Towards Another Closet?! The Social Integration-related Experiences of Georgian LGBTQ+ Asylum Seekers in Berlin, Germany.
Master-uppsats, Göteborgs universitet/Institutionen för socialt arbeteSammanfattning : 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. LÄS MER