Avancerad sökning

Visar resultat 1 - 5 av 41 uppsatser som matchar ovanstående sökkriterier.

1. 1. A type-driven approach for sensitivity checking with branching

   Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Daniel Freiermuth; [2023-10-24]
   Nyckelord :Computer; science; computer science; thesis; differential privacy; type system; sensitivity; branching;

   Sammanfattning : 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. LÄS MER

3. 2. Syntax-based Concept Alignment for Machine Translation

   Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Arianna Masciolini; [2023-03-30]
   Nyckelord :computational linguistic; machine translation; concept alignment; syntax; dependency parsing; Universal Dependencies; Grammatical Framework;

   Sammanfattning : This thesis presents a syntax-based approach to Concept Alignment (CA), the task of finding semantical correspondences between parts of multilingual parallel texts, with a focus on Machine Translation (MT). Two variants of CA are taken into account: Concept Extraction (CE), whose aim is to identify new concepts by means of mere linguistic comparison, and Concept Propagation (CP), which consists in looking for the translation equivalents of a set of known concepts in a new language. LÄS MER

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

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

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

   Sammanfattning : 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. LÄS MER

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

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

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

   Sammanfattning : 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. LÄS MER

7. 5. HasLin - ett DSL för linjär algebra

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Adam Eliasson; Daniel Nikoalev; Filip Nordmark; Sebastian Sjögren; Linus Sundkvist; [2023-03-03]
   Nyckelord :Haskell; DSL; Linjär algebra; Agda; pedagogik; bevis;

   Sammanfattning : Matematik är en viktig del av datavetenskap och ett vanligt förekommande ämne på teknikinriktade program på universitet är linjär algebra. Om matematik tolkas inom kontexten av ett domänspecifikt språk kan klyftan mellan matematik och datavetenskap överbryggas. LÄS MER