Projekter er omdrejningspunktet i mange af initiativerne i DIREC. I alt har vi startet mere end 40 projekter. Alle projekter er samarbejdsprojekter mellem flere partnere.
Bridge projects are multidisciplinary research and innovation projects directed by DIREC researchers in collaboration with companies, the public sector and GTS institutes with the aim of increasing the companies’ digitalisation and innovation capacity.
Spin-qubit quantum-dot arrays are one of the most promising candidates for universal quantum computing. However, with the size of the arrays, a bottleneck has emerged: Tuning the many control parameters of an array by hand is time-consuming and very expensive. The nascent spin-qubit industry needs a platform of algorithms that can be fine-tuned to specific sensing hardware, and which allows cold-start tuning of a device.
There is constant interest for Internet Voting by election commissions around the world. At the same time, there is a need for online voting in blockchain governance. However, building an internet voting system is not easy: the design of new cryptographic protocols is error prone and public trust in the elected body easily threatened. Switzerland, which is leading in e-voting, requires very high standards for the protocols and their implementation: it requires cryptographic proofs of security.
Logistics tasks in low-volume production represent an important opportunity for automatization via mobile robots. However, for successful application easy programming solutions are needed that address the variability of the spatial context in full 3D. The project partners SDU and RUC aim to provide an adaptive and re-configurable low-code programming approach to this problem and demonstrate the approach with the mobile platform of Enabled Robotics.
There is constant interest for Internet Voting by election commissions around the world. Greenland illustrates this well. Greenland’s election law was changed in 2020, which now permits the use of Internet Voting. However, building Internet Voting system is not easy: the design of new cryptographic protocols is error-prone and public trust in the elected body easily threatened. A software-independent voting protocol is one where an undetected change or error in software cannot cause an undetectable change or error in an election outcome.
The Danish partnership for digitalization has concluded that there is a need to support the digital acceleration of the green transition. This includes strengthening efforts to establish a stronger data foundation for environmental data. Based on observations of the Earth a range of Danish public organizations build and maintain important data foundations. Such foundations are used for decision making, e.g., for executing environmental law or making planning decisions in both private and public organizations in Denmark.
Working remotely and in hybrid work arrangements is the future. This research is focused on developing the “Futures of Hybrid work.” We will design and develop artefacts and processes to support organizations in exploring and preparing for successful collaboration in the future. In particular we will focus on the role and representation of embodiment, artefact interaction, and physical surroundings in a digital/analog setting.
When developing novel IoT services or products today, it is essential to consider the potential security implications of the system and to take those into account before deployment. Due to the criticality and widespread deployment of many IoT systems, the need for security in these systems has even been recognised at the government and legislative level, e.g., in the US and the UK, resulting in proposed legislation to enforce at least a minimum of security consideration in deployed IoT products.
Embedded AI will revert the current AI processing flow from collecting data at the edge and processing it at the cloud, to a flow where AI algorithms are migrated from the cloud to a distributed network of AI enabled edge-devices, which will increase responsiveness and functionality, reduced data transfer, and increased resilience, security, and privacy.
In this project, we will combine knowledge and experience in human-robot interaction, AI for multi-robot control, and business innovation to develop novel methods for human-swarm interaction. The methods will be evaluated in concrete case studies directly relevant to the industrial partners and their target markets.
Most research in medical AI never makes it to the clinic. We aim to create more clinically useful AI and increase technology acceptance among clinicians by establishing Human-AI collaboration as a target that can be optimized similarly to predictive performance. In terms of explainable AI, this defines a shift from researching what we can explain to also researching how we explain it well.
Business processes in private companies and public organisations are today widely supported by Enterprise Resource Planning, Business Process Management and Electronic Case Management systems, put into use with the aim to improve efficiency of the business processes.
Business processes in private companies and public organisations are today widely supported by Enterprise Resource Planning, Business Process Management and Electronic Case Management systems, put into use with the aim to improve efficiency of the business processes. Recently, also blockchain technologies are being proposed as a means to provide guarantees for security, computational integrity and pseudonymous agency.
The mobility of people and things is an important societal process that facilitates and affects the lives of most people. Thus, society, including industry, has a substantial interest in well-functioning outdoor and indoor mobility infrastructures that are efficient, predictable, environmentally friendly, and safe.
Today, the manual visual inspection of grain is still one of the most important quality assurance procedures throughout the value chain of bringing cereals from the field to the table. In order to improve performance, robustness and consistency of this inspection, there is a need for automated imaging-based solutions to replace subjective manual inspection.
Downtime of equipment is costly and a source of safety, security and legal issues. Today, organisations adopt a conservative schedule of preventive maintenance independent of the condition of equipment.
The rapidly growing application of machine learning techniques in Cyber-Physical Systems leads to better solutions and products in terms of adaptability, performance, efficiency, functionality and usability. However, Cyber-Physical Systems are often safety critical (e.g., self-driving cars or medical devices), and the resulting need for verification against potentially fatal accidents is self-evident and of key importance.
Strategic, multidisciplinary research projects directed by DIREC researchers – often in collaboration with external partners – aim to deliver value for both the scientific world and society. The purpose of the SciTech projects is to expand the research and education capacity at the universities.
Our focus is on improving optimization algorithms in online decision-making. Using techniques from online algorithms for solving optimization problems, we can provide worst-case guarantees, but normal (averagecase) behavior may not be satisfactory. Using techniques from machine learning, we can often provide good behavior in practice, but guarantees are lacking, and in particular missing for situations not captured by the training data. We aim at combining the best features from these two areas.
The search for nearest neighbors is an emerging and increasingly vital component in data analysis tasks, for example using vector embedding databases. Typically, the search is the bottleneck in terms of efficiency. Approximate nearest neighbor (ANN) search methods are often employed to speed up the application. However, different methods for ANN search come with different biases that can be positive or negative for the downstream application. In this project, the bias of different ANN methods and its impact on different applications will be studied.
There is an unmet need for decentralised privacy-preserving machine learning. Cloud computing has great potential, however, there is a lack of trust in the service providers and there is a risk of data breaches. A lot of data are private and stored locally for good reasons, but combining the information in a global machine learning system could lead to services that benefit all.
AI is radically changing society and the main driver behind new AI methods and systems is machine learning. Machine learning focuses on finding solutions for, or patterns in, new data by learning from relevant existing data. Thus, machine learning algorithms are often applied to large datasets and then they more or less autonomously find good solutions by finding relevant information or patterns hidden in the data.
Strategic, multidisciplinary research projects directed by DIREC researchers – often in collaboration with external partners – aim to deliver value for both the scientific world and society. The Explore projects are small agile research projects with the purpose of screening new ideas.
Constructing cyber-physical systems with humans in the loop is important in many application areas to enable a close co-operation between humans and machines. However, there are also many challenges to overcome when constructing such systems with current software technologies and human-centered design approaches.
En robotdatabase med information om tidligere robotløsninger kan spare produktionsvirksomheder tid og penge og gøre det muligt også for mindre firmaer at automatisere deres produktion. Det er konklusionen i ReRoPro-projekt. Det lyder måske lige til, men der er en række udfordringer forbundet med at lave en robotdatabase. Med input fra industrien og internationale eksperter, har forskerne nu fået en langt bedre forståelse af udfordringerne.
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.
Several highly popular YouTube channels for mathematics and other scientific content (e.g., 3blue1brown, Numberphile, Veritasium) with millions of views indicate that learners may respond very positively to professionally produced educational videos. This project aims at creating and evaluating an initial library of such videos to supplement teaching in algorithms.
We will investigate how to combine secure multiparty computation and blockchain techniques to obtain more efficient privacy-preserving computation with accountability.
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.
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.
Sensitivity measures how much program outputs vary when changing inputs. We propose exploring novel methodologies for specifying and verifying sensitivity properties of probabilistic programs.
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.
Effect systems are currently a hot research subject in type theory. Yet many effect systems, whilst powerful, are very complicated to use, particularly by programmers that are not experts at type theory. Effect systems with inference can provide useful guarantees to programming languages, while being simple enough to be used in practice by everyday programmers.
Programs running on a general-purpose computer consume a considerable amount of energy. Some programs can be translated into hardware and executed on an FPGA. This project will explore the trade-offs between executing a program in hardware and executing it in software relative to energy consumption.
The challenge to the research community is how to extend existing verification technologies to cope with software systems comprising AI components. This is an unchartered territory and one of the most pressing research challenges in AI. The industrial importance of this topic is closely related to the question of liability in case of malfunctioning products. Over a 4-month period the explore project will provide a state-of-the-art survey and identify research directions to be followed.
Artificial Intelligence brings the promise of technological means to solve problems that previously were assumed to require human intelligence, and ultimately provide human-centered solutions that are both more effective and of higher quality in a synergy between the human and the AI system than solutions that are provided by humans or by an AI system alone.
The aim is to supplement and create synergy with the existing education programs at all universities in Denmark, promote gender diversity and strengthen the cooperation between researchers, students and the business community to ensure the best possible exploitation of the capacity.
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.
The aim is to improve onboarding and retention of students result in an ability to teach more students and lower dropout rates.
Teaching quality and student feedback is negatively impacted by lack of teachers and many students. There is a need to consider how learning technologies can help improve teaching quality and student feedback both in physical and digital learning environments.
The mix of students in digital technology is low in diversity (e.g. female students). This is a problem on a societal level which also impacts the study environment.
Iværksætterprojekter er projekter og begivenheder, der har til formål at styrke videnskabsbaserede digitale startups.
Vi er aktivt i dialog med alle vores partnere om at skabe nye projekter, der vil opfylde DIRECs mål. Hvis du har en idé til et projekt, så kontakt os for at høre om muligt samarbejde.
