Tous les Focus du Mois / All month's focus

Modélisation de l’évolution de performances sportives ; détection de situations

FOCUS DU MOIS DE : février 2019

Maria João Rendas, Asya Metelkina et Luc Pronzato

modélisation paramétrique ; modélisation non paramétrique ; signaux biologiques ; IA ; dopage

L’utilisation de produits dopants dans le cadre de la pratique sportive est un problème important,  qui dépasse aujourd’hui largement le cadre des compétitions sportives de haut niveau, et dont la détection efficace doit reposer sur des outils de dépistage automatisés, permettant l’identification rapide et à faible coût des athlètes possiblement dopés.
La fédération mondiale de référence IAAF (International Association of Athletics Federations, Monaco) et l’I3S développent depuis avril 2017 une collaboration sur la modélisation mathématique de performances d’athlètes de haut niveau. C’est la première fois que l’IAAF collabore avec un organisme de recherche français pour le traitement de ses données dans ce cadre. Le but de cette collaboration (I3S, équipe SIS : Dr Metelkina, Pr Rendas, Pr Pronzato – IAAF : Dr Bermon et Dr Garnier) est la caractérisation probabiliste de l’évolution de la performance d’athlètes tout le long de leur carrière.
L’ABP (Athlete’s Biological Passport) basé sur des indicateurs hématologiques obtenus lors de prélèvements effectués selon des protocoles stricts permet aujourd’hui un triage fiable de l’ensemble d’athlètes suivis. Cependant, les coûts associés à l’ABP limitent le nombre d’athlètes suivis ainsi que la fréquence des prélèvements auxquels chaque athlète est soumis. En utilisant le modèle probabiliste pour signaler l’éloignement des performances d’un athlète par rapport à des évolutions considérées comme normales, cette collaboration doit conduire d’une part à un système de détection précoce de cas de dopage capable de surveiller d’une façon continue un grand nombre d’athlètes, et d’autre part à une optimisation des plans de tests anti dopage.
 
La comparaison de deux approches complémentaires de modélisation (paramétrique versus non paramétrique) visant à représenter les performances d’un ensemble d’athlètes masculins sur des épreuves d‘athlétisme (400, 800, 1500, 5000 et 10000 mètres) sont en cours de publication.
 
Les figures montrent deux carrières détectées comme anormales par la méthode non paramétrique. Le trait bleu épais correspond à la trajectoire de l’athlète, et les autres courbes à un ensemble de trajectoires « typiques ». La figure ci-dessous correspond à un recordman sur 400 mètres, avec des temps bien inférieurs à la population d’athlètes analysée, tandis que la première figure (ci-dessus) correspond au cas d’un athlète dont les performances sur 400 mètres s’améliorent (de manière atypique et douteuse) en fin de carrière.

A Logical Framework for Modelling Breast Cancer Progression

FOCUS DU MOIS DE : janvier 2019

Joëlle Despeyroux, Amy Felty, Pietro Lio and Carlos Olarte.
MLCSB 2018
 

Bioinformatic, Linear Logic, Model, Breast Cancer

Data streams for a personalised breast cancer programme could include collections of image data, tumour genome sequencing, likely at the single cell level, and liquid biopsies (DNA and Circulating Tumour Cells (CTCs)). Although they are rich in information, the full power of these datasets will not be realised until we develop methods to model the cancer systems and conduct analyses that transect these streams. In addition  to machine learning approaches, we believe that logical reasoning has the potential to provide help in clinical decision support systems for doctors. The autors develop a logical approach to modelling cancer progression, focusing on mutation analysis and CTCs, which include the appearance of driver mutations, the transformation of normal cells to cancer cells in the breast, their circulation in the blood, and their path to the bone.
Long term goal is to improve the prediction of survival of metastatic breast cancer patients. The autors model the behaviour of the CTCs as a transition system, and we use Linear Logic (LL) to reason about our model. The autors consider several important properties about CTCs and prove them in LL. In addition, The autors formalise our results in the Coq Proof Assistant, thus providing formal proofs of their model. The autors believe that our results provide a promising proof-of-principle and can be generalised to other
cancer types and groups of driver mutations.

Optimization of Network Infrastructures

FOCUS DU MOIS DE : décembre 2018

A little bit of green in networks and other problems of placement and management of resources.

Frédéric Giroire

algorithmics ; graph ; optimization and probabilities ; networks ; SDN ; NFV ; SFC ; energy efficiency

In this thesis (HDR / habilitation degree), Frédéric Giroire presents a set of solutions to optimize network infrastructures. Pushed by the new sensitivity of the society, politics, and companies to energy costs and global warming, Frédéric investigated the question of how to build green networks. Frédéric first studied some practical scenarios to answer the question: how much energy could be saved for Internet Service Providers by putting into practice energy efficient protocols? It led Frédéric to study fundamental problems of graph theory.
At the core of these energy efficient methods, there is a dynamic adaptation to the changes of demands, which is impossible to do in legacy networks which are mostly manually operated. The emergence of two new paradigms, software defined networking (SDN) and network function virtualization (NFV), leads to a finer control of networks and thus bears the promise to to put energy efficient solutions into practice. Frédéric thus studied how to use SDN to implement dynamic routing.
Frédéric’s approach has been to use theoretical tools to solve problems raised by the introduction of new technologies or new applications. Frédéric’s tools come mainly from combinatorics and in particular from graph theory, algorithmics, optimization and probabilities. When Frédéric was able to propose new methods of resolution, Frédéric then tried to evaluate their practical impact by numerical evaluation, simulation or experimentation with realistic scenarios.
More about this thesis: let's consult the manuscript and the slides of Frédéric’s defense

A Survey of Active Object Languages

FOCUS DU MOIS DE : novembre 2018

Frank De Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, et al.. A Survey of Active Object Languages. ACM Computing Surveys, Association for Computing Machinery, 2017, 50 (5), pp.1 - 39.

Concurrent programming structures; Programming languages ; active objects ; actors ; concurrency ; distributed ; systems

To program parallel systems efficiently and easily, a wide range of programming models have been proposed, each with different choices concerning synchronization and communication between parallel entities. Among them, the actor model is based on loosely coupled parallel entities that communicate by means of asynchronous messages and mailboxes. Some actor languages provide a strong integration with object-oriented concepts; these are often called active object languages. This paper reviews four major actor and active object languages and compares them according to carefully chosen dimensions that cover central aspects of the programming paradigms and their implementation.