Available theses from Analytical Solutions and Reasoning (ASR)

Here are the slides from the information meeting on 13 October 2020.

 

Tittel Publisert Veileder(e)
Explainable debugger for black-box machine learning models 5. mars 2021
Selected Topics in Cellular Automata 13. okt. 2020
Towards the Automatic Analysis of Customer/User Journeys 8. okt. 2020
Analysing Cognitive Controllers 8. okt. 2020
Analysing Reconfigurable Control Systems 8. okt. 2020
Analysing Locality of Data Access 8. okt. 2020
Data prep | Data pipelines 1. okt. 2020
Digital Twins for Biomedical Applications - Virtual Labs 1. okt. 2020
Digital Twins for Smart Cities in the Context of Climate Change 1. okt. 2020
Data Visualization for Discrete Event Models 30. sep. 2020
Logisk resonnering om programmeringsspråk 22. sep. 2020
Formell semantikk for autonome roboter i CRAM. 22. sep. 2020
Reinforcement learning with biased models 25. sep. 2019
Differential privacy in online learning 25. sep. 2019
Ontology Diagnosis: Computing Justifications for OWL Ontologies 25. sep. 2019
Semi-Automated experiment design 25. sep. 2019
Fairness in Markov decision processes 25. sep. 2019
A simulator to analyze data locality in multicore architectures 17. sep. 2019
Satisfiability Modulo Theories in Planning and Verification 12. sep. 2019
Data Management Platform for Citizen Science 19. aug. 2019
User-friendly Data and Domain Exploration 19. aug. 2019
Using Machine Learning for Data Linking 19. aug. 2019
Using Crowd-sourcing for Data Curation 19. aug. 2019
Using Machine Learning for Data Curation 19. aug. 2019
Using Machine Learning for Data Preprocessing 19. aug. 2019
Visual Query Formulation for Temporal Data 19. aug. 2019
Visual Query Formulation for Geospatial Data 19. aug. 2019
A Visual Tool for Creating Data Mapping Definitions 19. aug. 2019
Knowledge Graphs as a Paradigm for Modeling and Analyzing how the Brain Works 12. aug. 2019
Cognitive and Algorithmic Biases: Ontology Design and System for Bias Management 12. aug. 2019
Data Science related MSc topics 11. sep. 2018
A Better Grep 6. juli 2018
Predictive, Intelligent Cleaning and Transformation of Data 17. aug. 2017
Implementation of a Reference Architecture for Trusted Data Marketplaces 17. aug. 2016
Domain-specific language for "pipe-and-filter" based chain processing of data 17. aug. 2016
Linked data modelling and transformation for geospatial and time-series data 17. aug. 2016
As-a-Service Approach Data Cleaning and Transformation of Big Data 17. aug. 2016
Big data access in health 18. sep. 2015