Explainable AI will disrupt the grain industry and give farmers confidence
4 July 2023
The agricultural sector is the least digitized sector in the world, and a large part of food quality assurance is still handled manually. The aim of a research project is to strengthen understanding of and trust in AI and image analysis, which can improve quality assurance, food quality and optimize production.
Cyber-Physical Systems with Humans in the Loop
Constructing cyber-physical systems with humans in the loop enables new applications like bio-computing, active learning systems, and intelligent medical systems. These applications allow humans and machines to collaborate on real-world tasks, integrating aspects of both Cyber-Physical Systems (CPS) and Socio-Technical Systems (STS). They feature close cooperation between software technologies, focusing on situational awareness, safety, privacy, usability, and easy error handling.
Re-use of robotic data in production through search, simulation and learning
A robot database with information on previous robot solutions can save manufacturing companies time and money and allow for smaller-scale companies to automate their production as well. This is the conclusion of the ReRoPro project. Although it sounds simple, there are several challenges involved with creating a robot database. With input from industry and international experts, the researchers have now gained a much better understanding of the challenges.
DeCoRe: Tools and Methods for the Design and Coordination of Reactive Hybrid Systems
A recurring problem of digitalised industries is to design and coordinate hybrid systems that include IoT (Internet of Things), edge, and cloud solutions. Currently adopted methods and tools are not effective to this end, because they rely too much on informal specifications that are manually written and interpreted by humans.
Initiatives to improve recruitment and retention of IT students
Denmark needs more IT specialists. But how do we get more young people to study computer science and become IT specialist? This project, consisting of two subprojects, focuses on initiatives that can improve both recruitment and retention of a larger but also more diverse group of young people e.g., female students and students without prior programming experience.
Accountability Privacy Preserving Computation via Blockchain
This project aims to combine secure multiparty computation and blockchain techniques, to enable efficient privacy-preserving computation with accountability, allowing computation on private data while maintaining an audit trail for third-party verification. The project can potentially help fight discrimination, catch unethical and fraudulent behavior, and generate positive publicity for honest participation.
Certifiable Controller Synthesis for Cyber-Physical Systems
As cyber-physical systems (CPSs) are becoming ever more ubiquitous, many of them are considered safetycritical. We want to help CPS manufacturers and regulators with establishing high levels of trust in automatically synthesized control software for safety-critical CPSs.
Methodologies for scheduling and routing droplets in digital microfluidic biochips
The overall purpose of this project is to define, investigate, and provide preliminary methodologies for scheduling and routing microliter-sized liquid droplets on a planar surface in the context of digital microfluidics.
Automated Verification of Sensitivity Properties for Probabilistic Programs
Sensitivity measures how much program outputs vary when changing inputs. We propose exploring novel methodologies for specifying and verifying sensitivity properties of probabilistic programs.
Understanding Biases and Diversity of Big Data used for Mobility Analysis
This project will quantify the biases and uncertainties associated with human mobility data collected through digital means, such a smartphone GPS traces, cell phone data, and social media data.
