Essays about: "thesis in programming"

Showing result 1 - 5 of 1272 essays containing the words thesis in programming.

  1. 1. Robotic Automation of Mechanical Verification

    University essay from KTH/Integrerad produktutveckling och design

    Author : Sofie Gårdestam; Amalia Kronér; [2024]
    Keywords : ;

    Abstract : This master thesis explores the implementation of Collaborative robots into Elekta's mechanical product verification process. Elekta is a pioneer in precision radiation therapy solutions. Ensuring the compliance of Elekta's products with performance, safety, and quality criteria is of great importance. READ MORE

  3. 2. A type-driven approach for sensitivity checking with branching

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Daniel Freiermuth; [2023-10-24]
    Keywords : Computer; science; computer science; thesis; differential privacy; type system; sensitivity; branching;

    Abstract : Differential Privacy (DP) is a promising approach to allow privacy preserving statistics over large datasets of sensitive data. It works by adding random noise to the result of the analytics. Understanding the sensitivity of a query is key to add the right amount of noise capable of protecting privacy of individuals in the dataset. READ MORE

  4. 3. Front-end of a Debugger for Compiled Programs in Haskell

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Andreas Olsson; Carl Bergman; Brage Salhus Bunk; Elias Johansson; Krešimir Popovic; [2023-03-03]
    Keywords : Haskell; debugger; debug; heap; lazy evaluation; functional programming; GHC;

    Abstract : There are debugging tools available for Haskell programs today, but despite providing help for developers, these tools are not widely used in the Haskell community. Current debugging tools for Haskell have different kinds of limitations. This thesis will discuss the implementation of a new debugger with a graphical interface. READ MORE

  5. 4. A Language for Board Games – Development of an Embedded Domain-Specific Language for Describing Board Games

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Edvin Alestig; Joel Ericson; Erik Eriksson; Lukas Schiavone; Filip Torphage; Joakim Tubring; [2023-03-03]
    Keywords : DSL; domain-specific languages; Haskell; functional programming; board games; game theory; domänspecifika språk; funktionell programmering; brädspel; spelteori;

    Abstract : In recent years board games have increasingly found themselves in the digital medium. One way to enable easier creation of digital board games is to create a domainspecific language (DSL) for that purpose. This thesis details the process of developing an embedded DSL for describing board games with Haskell as its host language. READ MORE

  6. 5. Spatial Price Equilibrium in the World Natural Gas Market

    University essay from Göteborgs universitet/Institutionen för nationalekonomi med statistik

    Author : Linava Lahoni; Mattias Malmgren; [2023-02-09]
    Keywords : ;

    Abstract : Characteristic for the world natural gas market is that the markets in different continents are not completely integrated. In some cases, this leads to exceptionally large price differences. There are two reasons for this; first the technical difficulties related to shipping natural gas, second the pricing mechanism of the natural gas market. READ MORE