Essays about: "formalization level"
Showing result 1 - 5 of 17 essays containing the words formalization level.
-
1. Tracking of value and realization of digital transformation: A maturity assessment model
University essay from KTH/Skolan för industriell teknik och management (ITM)Abstract : Since today’s fast-paced landscapes evolves into digital environments, businesses are faced by the need of performing digital transformation, as it will support them in staying competitive. However, when executing digital transformation, it becomes important to prioritize the right initiatives to ensure efficient budget allocation, as well as to track progress and value realization to assess real impact and to secure efficient realization. READ MORE
-
2. Pueblo de mina, pueblo de ruina? : Artisanal and small-scale gold mining (ASGM) formalization and environmental peacebuilding in Colombia
University essay from Uppsala universitet/Institutionen för freds- och konfliktforskningAbstract : High-value, lootable natural resources drive, finance and sustain armed conflicts around the world. At the same time, these resources are crucial for livelihoods through artisanal and small-scale mining (ASM) in the very same contexts. READ MORE
-
3. Causal Discovery Algorithms for Context-Specific Models
University essay from KTH/Matematisk statistikAbstract : Despite having a philosophical grounding from empiricism that spans some centuries, the algorithmization of causal discovery started only a few decades ago. This formalization of studying causal relationships relies on connections between graphs and probability distributions. READ MORE
-
4. Making sense of the need for control: The process of formalizing management control systems while transitioning from birth to growth in the organizational life-cycle
University essay from Handelshögskolan i Stockholm/Institutionen för redovisning och finansieringAbstract : In this paper, we examine the process of formalizing management control systems (MCSs) while transitioning between birth and growth in the organizational life-cycle. We draw upon empirical data from a US-based growth firm and use process theory to extract micro-level details by examining how activities, events and choices impact the formalization process. READ MORE
-
5. Verifying Correctness of Contract Decompositions
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : The importance of verification in safety critical systems is well known. However, due to the complexity of verification, the task of formally verifying large safety-critical systems might prove computationally infeasible in many cases. Compositional verification is a technique aimed at enabling verification of large safety-critical systems. READ MORE