Projects
Tetra Project: "Horizontal IoT" Towards a more powerful internet of things (IoT) with oneM2M driven service standardization and an ingenious combination of various low-power radio technologies Vrije Universiteit Brussel
Dynamics in the Central Plant Cell Metabolism KU Leuven
Project CSAI - Cyber Security Artificial Intelligence KU Leuven
The aim of the research is to define AI methods, components and technologies that can best be used for the various cybersecurity challenges (from devices, network to compliance).
Relational reasoning for advanced type systems in advanced program logics KU Leuven
Regulatory genomics of normal cell differentiation and cancer cell subpopulations in the same tissue of origin. KU Leuven
Regulatory programs encoded in the genome are required for the correct differentiation of cell types into their final fates. These programs are formed by cis-regulatory regions throughout the genome that are activated/repressed by the binding of transcription factors, causing expression of a specific repertoire of genes; it is this combination of genes being expressed that defines the cell type and function of a cell.
The main aim of ...
Integrated optimal design and control of office building systems using renewable energy sources. KU Leuven
A large potential exists to improve the current practice of HVAC design and operation of buildings with respect to occupant comfort, energy use or energy cost, and investment costs for design and construction. More specifically, design and control processes can be improved through the use of contemporary optimisation algorithms such as Model Predictive Control (MPC). Numerous papers have demonstrated the value of MPC using both simulation and ...
Higher Order Modelling for First Order Solvers KU Leuven
Many common computational problems can be posed as model expansion problems, where the task is to find a solution satisfying a set of constraints. Many different paradigms and approaches exist to solve these problems. Likewise, there are many languages to express these problems in. Some of these are standardized, such as Answer Set Programming (ASP) or Minizinc. For some languages there is only one system, like the FO(.) language. The ...
Development of decision support systems to manage QT-prolongation in clinical practice. KU Leuven
The risk of QTc-prolongation has become an important issue in drug safety. In rare cases it can lead to serious adverse events like Torsade de Pointes and sudden cardiac death. In the last decades, several drugs have been removed from the market (e.g. cisapride) or restricted in use (e.g. domperidone, (es)citalopram) because of this risk. At the moment, more than 170 drugs are linked with this risk of QTc-prolongation, as defined in the ...
Bio-inspired computing for coordination and control in large-scale and dynamic systems (BioCo3) KU Leuven
Multi-agent system (MAS) literature often assumes decentralized MAS to be especially suited for dynamic and large scale problems. This assumption is based on the decentralized nature of MAS that allows for partitioning of the problem space such that individual agents can autonomously solve parts of the problem. This enables agents to quickly respond to changes in the problem. There is, however, little scientific evidence to support this ...