Search
Decomposition Of Relational Structures and Combinatorial Optimisation – DORSO
This project deals with fundamental aspects of computer science, namely theoretical aspects of decomposition methods for graphs, hypergraphs and other combinatorial structures. In the last decades, many decomposition methods have been developed and helped in proving graph conjectures and designing n
BIological networks, RaDiotherapy and Structures – BIRDS
Proton therapy is a type of external radiation therapy based on proton beams. The main benefit of this technique lies on the following proton property : protons of a given energy share a predictable common penetration distance in the patient (no proton penetrates further this distance). This propert
Causality in quantum information – CausaQ
In recent years, quantum information has emerges as one of the raising forces of the information era. Encoding information within quantum systems, and manipulating them in a controlled manner, leads to great gains in terms of information processing. Yet the precise origin of these gains remains, to
Scalable Interactive Models Of Nature on Earth – SimOne
The overall goal of the project is to provide representations and algorithms for the real-time navigation, on consumer hardware, in a realistic and plausible virtual Earth model. We target the rendering of terrain, vegetation, water surfaces and clouds (we exclude human artefacts), all highly detail
HIerarchical COmpositional REpresentations for Computer Vision – HiCoRe
Despite advances during the last decade, the recognition of deformable objects seen from different viewpoints remains largely an open problem for computer vision. Aspects of the recognition problem include deciding whether an object category, such as a face or a car, is contained in an image, identi
Hereditary classes of graphs – HEREDIA
Hereditary properties of graphs provide a general perspective to study graph properties. Several important general theorems were obtained, and the approach offers an elegant way of unifying notions and proof techniques. Further, hereditary classes of graphs play a central role in graph theory. Besid
Algorithmic methods for infinite graphs – AMIS
The world’s complexity forbids us to accurately predict its behaviour. Scientists therefore have to come up with models and sufficiently faithful abstractions in order to try and understand it. Regarding computer science, it is sometimes very important to be able to guarantee that a given program or
Dynamics of Graph Topologies – DynGraph
Graphs (i.e. sets of nodes linked two by two) appear in many contexts. Think of friendship networks, the internet infrastructure, the Web, food webs, road networks, etc. Since the end of the nineties, many works have shown that studying the structure of these graphs, i.e. focusing on the nodes and l
Exploration and Visualization of Dynamic Relational Data – EVIDEN
We have identified three aspects linked to dynamical data. The first concerns the evolution of the network topology. The second relates to the evolution of attributes associated to the elements and/or to the relations between elements. These two aspect both relates to unpredictable evolution of the