Sökning: "Formalization"
Visar resultat 1 - 5 av 108 uppsatser innehållade ordet Formalization.
1. A City By No-One
Uppsats för yrkesexamina på avancerad nivå, KTH/ArkitekturSammanfattning : This project is an exploration of methods for generating virtual urban environments, framed in an interactive first-person perspective allowing the user to navigate the architectural design space by walking through a city as it is being generated. The project is developed on a foundation of three primary concepts: 1) A spatial interpretation of parameter sets which are positioned in virtual space, 2) Distance-based interpolation of these parameter sets as a method to govern how the urban environments are generated at different points in space,3) The transformation and merging of basic square grids embedded in positioned parameter sets resulting in a composite grid which functions as the spatial framework of the urban environment. LÄS MER
2. An Arrow Metalanguage for Partially Invertible Computation
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryption, we not only want to encrypt messages but also to decrypt them, and to be sure that the decryption correctly reproduces the original message. LÄS MER
3. Tracking of value and realization of digital transformation: A maturity assessment model
Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)Sammanfattning : 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. LÄS MER
4. The effects of working from home on informal knowledge sharing within management consulting firms
Master-uppsats, Göteborgs universitet/Graduate SchoolSammanfattning : Informal knowledge sharing is an essential part of organizational knowledge sharing practices and is vital for its competitiveness, which emphasizes the need for and importance of being able to capture and share this knowledge. The Covid-19 pandemic has forced many companies to establish new ways of working, including digital transformations where employees have worked fully or partially from home. LÄS MER
5. Pueblo de mina, pueblo de ruina? : Artisanal and small-scale gold mining (ASGM) formalization and environmental peacebuilding in Colombia
Master-uppsats, Uppsala universitet/Institutionen för freds- och konfliktforskningSammanfattning : 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. LÄS MER