Sökning: "informationsteknik"

Visar resultat 16 - 20 av 2081 uppsatser innehållade ordet informationsteknik.

1. 16. Agda on Raspberry Pi

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

   Författare :Lawerence Chonavel; [2023-10-25]
   Nyckelord :Agda; Compiler; Raspbery Pi; Functional Programming; BUBS;

   Sammanfattning : This thesis presents an Agda-to-C compiler targeting the Raspberry Pi Pico microcontroller. The compiler implementation includes an unusual choice of run-time algorithm, a Foreign Function Interface generator, and surprisingly little boilerplate code... LÄS MER

3. 17. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation

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

   Författare :Vibha Satyam; [2023-10-25]
   Nyckelord :Architecture Model; UML diagram; implementation; coding; conformance checking; mapping schema; parsing tool;

   Sammanfattning : Many software and/or automotive companies use UML models to write the requirements and later they are implemented by coding. Involving multiple engineers from different teams makes the whole process complex and cumbersome. LÄS MER

4. 18. The Impact of Deep Neural Network Pruning on the Hyperparameter Performance Space: An Empirical Study

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

   Författare :Jonna Matthiesen; [2023-10-24]
   Nyckelord :Compression; Deep Learning; DNN; Hyperparameters; Optimization; Pruning; Hyperparameter Optimisation; Hyperparameter Tuning;

   Sammanfattning : With the continued growth of deep learning models in terms of size and computational requirements, the need for efficient models for deployment on resource-constrained devices becomes crucial. Structured pruning has emerged as a proven method to speed up models and reduce computational requirements. LÄS MER

5. 19. Image Quality Assessment Pipeline and Semi-Automated Annotation method for Synthetic Data

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

   Författare :Liam Le Tran; Edina Dedovic; [2023-10-24]
   Nyckelord :Facial Expression Recognition; FACS; Action Units; styleGAN2-ada; synthetic data; Image Quality Assessment; Multi-stage Pre-training; Pipeline Processing; Semi-automated Human Annotation;

   Sammanfattning : Predicting human emotions through facial expression, particularly in relation to medication field such as clinical trial settings, has garnered scientific interest in recent years due to significant understanding of the impact of treatment on emotions and social functioning. This thesis aims to improve performance of a FER model using large scale of synthetic data. LÄS MER

7. 20. 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