Essays about: "Logic"

Showing result 1 - 5 of 1253 essays containing the word Logic.

  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. Sustaining Sustainability - A qualitative study on how a company's performance management system (PMS) is used to navigate the co-existing pressures of sustainability and profitability

    University essay from Handelshögskolan i Stockholm/Institutionen för redovisning och finansiering

    Author : Charlotta Hallin; William Bramberg; [2024]
    Keywords : Sustainability; Performance management systems; Sustainability control systems; Institutional logics;

    Abstract : This paper examines the escalating pressures on organizations to adopt sustainable practices in response to the climate crisis. The urgency to address sustainability concerns has driven the enactment of reporting legislation, necessitating an exploration of challenges on this topic. READ MORE

  4. 3. Joining NATO : A qualitative case study of Sweden’s autobiographical narrative 

    University essay from Uppsala universitet/Statsvetenskapliga institutionen

    Author : Ragna Stertman; [2024]
    Keywords : delaktighet; inkludering; Flemingsberg; unga vuxna; social kapital;

    Abstract : In May 2022 the Swedish government took the momentous decision to apply for membership in NATO, putting an end to what had constituted Sweden’s foreign and security policy identity for over half a century. In order to make sense of this historical shift and its entailing implications for Sweden’s identity in the international sphere, I turned to the literature on ontological security and autobiographical narratives. READ MORE

  5. 4. Circularity through Collaboration - A Case Study on Textile Industry

    University essay from Handelshögskolan i Stockholm/Institutionen för företagande och ledning

    Author : Balajishnu Udayakumar; Marcello Benincasa; [2024]
    Keywords : Circular economy; Collaboration; CE strategies; System perspective; Textile industry;

    Abstract : In the last decade, circular economy (CE) has gained widespread attention among scholars, practitioners, and policymakers as a sustainable alternative to the current linear system. This system, which operates under the logic of "take-make-dispose", poses significant threats to our environment due to the exponential growth in natural resource extraction that we have witnessed in the last fifty years. READ MORE

  6. 5. Leveraging Gamification for Increased Motivation in Mobile Applications : A Quantitative Study Using Self-Determination Theory & Service-Dominant Logic

    University essay from Högskolan i Gävle/Företagsekonomi

    Author : Alexander Fredriksson; Teemu Lahtinen; [2024]
    Keywords : Self-Determination Theory; Service-Dominant Logic; Motivation; Gamification; Mobile Services;

    Abstract : Due to the increasing digitization of society, Gamification of services has become increasingly proliferated. Identifying and knowing how to manipulate the factors for successful implementation of gamification strategies is paramount. READ MORE