Search
Singular Curves And Surfaces Topology – SingCAST
The problem investigated in this project is the efficient triangulation of singular curves and surfaces with topological guarantees. In particular, all the components and all the singularities (self-intersection or cusp points) must be reported. In the general case, this problem has been intensively
Spatio-Temporal Analysis by Recognition within Complex Images for Remote Sensing of Environment – ASTERIX
Following the growth of multisource data with high spatial, spectral, and temporal resolutions, the problem of complex image information mining in remote sensing of environment becomes a great challenge, with many potential applications raising. However, there is no or only a few methodological fram
Extended Framework For In-time Computer-Aided Composition – EFFICACe
We consider computer-aided composition out of its traditional «offline« paradigm, and try to integrate compositional processes in structured interactions with their external context. These interactions can take place during executions or performances, or at the early compositional stages (in the pro
Cryptography from Learning with Errors – CLE
One of the most exciting recent developments in cryptography has been the application of the Learning with Errors (LWE) problem to the construction of a variety of new schemes. Stated simply, the LWE problem is to solve a system of linear equations whose outputs have been perturbed by small errors
Moving and Computing: Agents, Robots and Networks – MACARON
There is an emerging trend in robotics : rather than by a few bulky robots, certain tasks can be performed by tiny robots, each with very limited capabilities. This trend is similar to the less recent trend about sensor networks, with sensors that are also of limited capabilities but deployed in hu
Extensions of Stream Processing – EXSTREAM
Computer science is based on processing data. Among others, data can be text documents (flat, or structured, like XML documents). When these documents are huge, processing them as streams is sometimes more efficient. Some tasks are standard: validation (conformance with respect to some criteria), qu
Automatic Understanding of Biomedical Texts for Translational Research – CABeRneT
Much clinical and biomedical knowledge is contained in the text of published articles, Electronic Health Records (EHRs) or online patient forums and is not directly accessible for automatic computation. Natural Language Processing (NLP) techniques have been successfully developed to extract informat
PERception-based CrOwd simuLATION – PERCOLATION
The project PERCOLATION aims at developing next generation crowd simulators. We focus on pedestrian microscopic crowd simulation. Microscopic simulation is based models of local interactions between agents and tries to simulate the emergence of collective behaviors. Generally, the mathematical formu
Combinatorial physics, from matrix models to random tensor models – CombPhysMat2Tens
Interactions between Combinatorics and Theoretical Physics have considerably increased in the last years. In this project, we propose to generalize to higher dimensions random matrix models, models widely studied both by combinatorists and by theoretical physicists. In parallel, as part of this proj
Planning and Optimization of Home Care Services at the Operational Level – PONOSaD
The project “Planning and Optimization of Home Care Services at the Operational Level” aims to develop decision support tools for professional home care. In a context where home care activities increase significantly, few tools are adapted to operational management requirements because of their spec