Essays about: "thesis for LOGIC"

Showing result 1 - 5 of 604 essays containing the words thesis for 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. 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

4. 3. Exploring servitization practices in the European Automotive industry: Cross-country case study between France and Sweden - A multiple case study

   University essay from Göteborgs universitet/Graduate School

   Author : Nathan Lambert; Kajsa Lindström; [2023-07-19]
   Keywords : servitization; automotive industry; mobility as a service; qualitative analysis; service-dominant business logic; technology; traditional manufacturers; external environment;

   Abstract : This thesis contributes to the existing literature on servitization through a qualitative cross-country case study investigating the phenomenon in the automotive industry, focusing on the experiences of firms in France and Sweden. The current conceptualisation of servitization is limited in its ability to fully capture the complexity of the phenomena observed. READ MORE

5. 4. The Challenges of Social Enterprises in Balancing Economic, Social, and Environmental Tradeoffs: Comparative Case Study of Hybrid Organizing- Swedish Context.

   University essay from Göteborgs universitet/Graduate School

   Author : Teame Gebremedhn Gebrai; [2023-07-18]
   Keywords : hybrid organizing; long-term collaboration; creating shared values; common initiatives; socioeconomic vulnerable; societal transformation; co-creation of values; cross-sector functional teams; inclusive and circular models;

   Abstract : Purpose -This master thesis is to investigate the challenges of sustainability and to understand how massive effort of collaborative hybrid organizing, involving multiple stakeholders from private, public, and civil societies balance or aligns the activities that generate economic, social, and environmental impacts. And to analyze the effects of competition between the investors interested in the joint collaborative initiatives. READ MORE

6. 5. Breaking out of Boundaries: A multiple case-study examining the role of entrepreneurship for the internationalization of small skincare born global firms

   University essay from Göteborgs universitet/Graduate School

   Author : Celina Hua; Mimmy Ly; [2023-07-18]
   Keywords : Born Global; Internationalization; Entrepreneurial Capabilities; Effectual Logic; Human Capital; Networking Capabilities; Serendipity;

   Abstract : As the beauty and skincare market continues to grow globally, there is also a growing trend of early and rapid internationalization among skincare brands that are looking to capitalize on the global market. While this constitutes a great opportunity for companies, internationalization can be difficult for young and small firms, in particular, to effectively navigate. READ MORE