Publications

2019

• Computing Possible and Certain Answers over Order-Incomplete Data
  
  • Amarilli Antoine
  • Ba Mouhamadou Lamine
  • Deutch Daniel
  • Senellart Pierre
  Theoretical Computer Science, Elsevier, 2019, 797, pp.42-76. This paper studies the complexity of query evaluation for databases whose relations are partially ordered; the problem commonly arises when combining or transforming ordered data from multiple sources. We focus on queries in a useful fragment of SQL, namely positive relational algebra with aggregates, whose bag semantics we extend to the partially ordered setting. Our semantics leads to the study of two main computational problems: the possibility and certainty of query answers. We show that these problems are respectively NP-complete and coNP-complete, but identify tractable cases depending on the query operators or input partial orders. We further introduce a duplicate elimination operator and study its effect on the complexity results. (10.1016/j.tcs.2019.05.013)
  DOI : 10.1016/j.tcs.2019.05.013
• Tournez méninges
  
  • Zayana Karim
  Au fil des maths, APMEP, 2019. Du repérage sur le cercle à la mesure de l'épaisseur d'une ruban d'adhésif
• Audiovisual Analysis of Music Performances: Overview of an Emerging Field
  
  • Duan Zhiyao
  • Essid Slim
  • Liem Cynthia
  • Richard Gael
  • Sharma Gaurav
  IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2019, 36 (1), pp.63-73.
• Knowledge Representation and Model-based Image Understanding
  
  • Bloch Isabelle
  , 2019.
• Segmentation of retinal arterial bifurcations in 2D adaptive optics ophtalmoscopy images
  
  • Trimeche Iyed
  • Rossant Florence
  • Bloch Isabelle
  • Pâques M.
  , 2019, pp.1490-1494. The study of vascular morphometry requires segmenting vessels with high precision. Of particular clinical interest is the morphometric analysis of arterial bifurcations in Adaptive Optics Ophthalmoscopy (AOO) images of eye fundus. In this paper, we extend our previous approach for segmenting retinal vessel branches to the segmentation of bifurcations. This enables us to recover the microvascular tree and extract biomarkers that charactarize the blood flow. Segmentation results are shown to be within the range of intra- and inter-user variability, allowing a preliminary study on biomarkers derived from vessel diameter estimates at arterial bifurcations.
• Etude du développement du système nerveux périphérique pelvien : du foetus à l'enfant porteur de malformations et tumeurs pelviennes
  
  • Meignan P.
  • Muller C.
  • Belle M.
  • Peyrot Q.
  • Delmonte A.
  • Berteloot L.
  • Grevent D.
  • Blanc T.
  • Boddaert N.
  • Chedotal A.
  • Bloch Isabelle
  • Sarnacki S.
  , 2019.
• Depth and Depth-Based Classification with R Package ddalpha
  
  • Pokotylo Oleksii
  • Mozharovskyi Pavlo
  • Dyckerhoff Rainer
  Journal of Statistical Software, University of California, Los Angeles, 2019, 91 (5). (10.18637/jss.v091.i05)
  DOI : 10.18637/jss.v091.i05
• Linear codes from weakly regular plateaued functions and their secret sharing schemes.
  
  • Mesnager Sihem
  • Özbudak Ferruh
  • Sinak A.
  Designs, Codes and Cryptography, Springer Verlag, 2019.
• Constructions of optimal locally recoverable codes via Dickson polynomials
  
  • Mesnager Sihem
  • Liu J.
  • Tang D.
  , 2019.
• Nervous System Exploration Using Tractography To Enhance Pelvic Surgery
  
  • Muller Cécile
  • Delmonte Alessandro
  • Meignan Pierre
  • Peyrot Quoc
  • Virzi Alessio
  • Berteloot Laureline
  • Grevent David
  • Blanc Thomas
  • Gori Pietro
  • Boddaert Nathalie
  • Bloch Isabelle
  • Sarnacki Sabine
  , 2019. Pelvic surgery raises the challenge of preser- vation of nerves that handle urinary, gen- ital and digestive functions, especially in situations where these structures may be modi- fied by tumors or malformations. Recent works on 3D nerve visualization, that rely on cadavers dissections [1, 3] or intra-operative use of probes detecting myelin-binding fluorophores [5], do not provide pre- or post-operative analysis of the pelvic nervous anatomy. Magnetic reso- nance neurography as in [12] requires a slice by slice manual segmentation of the nerves. Dif- fusion MRI, associated with tractography algo- rithms, is currently the only technique allow- ing for in-vivo exploration of the nervous net- work [2] with no need for manual nerve segmen- tation. In contrast to brain imaging that moti- vated a lot of work, only few studies focus on pe- ripheral nerves visualization [9, 10, 14]. In this paper, we propose a method for pelvic tractog- raphy analysis based on patient-specific organ segmentation. It is demonstrated with promis- ing results on a healthy adult subject.
• Comprehensive review of 3D segmentation software tools for MRI usable for pelvic surgery planning
  
  • Virzi Alessio
  • Muller Cécile
  • Marret Jean-Baptiste
  • Mille Eva
  • Berteloot Laureline
  • Grevent David
  • Boddaert Nathalie
  • Gori Pietro
  • Sarnacki Sabine
  • Bloch Isabelle
  Journal of Digital Imaging, 2019. Background: Patient specific 3D modeling is the first step towards image-guided surgery, the actual revolution in surgical care. Pediatric and adolescent patients with rare tumors and malformations should highly benefit from these latest technological innovations, allowing personalized tailored surgery. This study focused on the pelvic region, located at the crossroads of the urinary, digestive and genital channels with important vascular and nervous structures. The aim of this study was to evaluate the performances of different software tools to obtain patient specific 3D models, through segmentation of magnetic resonance images (MRI), the reference for pediatric pelvis examination. Methods: Twelve software tools freely available on the Internet and two commercial software tools were evaluated using T2-w MRI and diffusion- weighted MRI images. The software tools were rated accordingly to eight criteria, evaluated by three different users: automatization degree, segmentation time, usability, 3D visualization, presence of image registration tools, tractography tools, supported OS, and potential extension (i.e. plugins). Results: A ranking of software tools for 3D modeling of MRI medical images, according to the set of predefined criteria, was given. This ranking allowed us to elaborate guidelines for the choice of software tools for pelvic surgical planning in pediatric patients. The best-ranked software tools were Myrian Studio, ITK-SNAP and 3D Slicer, the latter being especially appropriate if nerve fibers should be included in the 3D patient model. Conclusion: This study proposed a comprehensive review of software tools for 3D modeling of the pelvis according to a set of eight criteria, and delivered specific conclusions for pediatric and adolescent patients that can be directly applied to clinical practice.
• Study of short and mid-infrared telecom links performance for different climatic conditions
  
  • Sauvage Chloé
  • Robert Clélia
  • Sorrente Béatrice
  • Grillot Frédéric
  • Erasme Didier
  , 2019, pp.18. This study assesses the performance in term of availability of a FSO (Free Space Optics) link for two wavelengths, belonging to atmospheric windows, the standard telecom wavelength 1.55 µm and the mid-infrared wavelength 4 µm. To do so, we compute the transmission rate under various atmospheric conditions, including fog. Using the atmospheric transmission rate from our radiative transfer software MATISSE, the link budget is derived for a simple direct emission and detection system. The source and detector components characteristics, from commercial data-sheet, are considered to compute the reception noise. An estimate of the Bit Error Rate (BER) of the FSO link for the two wavelengths is presented as a function of visibility. Assuming a bit error correction and the corresponding BER value, it is possible to derive the limit of visibility under which the optical link is cut. A weather visibility database has been collected and compiled for a year to obtain the theoretical availability of the FSO system. As an example the availability at Velizy-Villacoublay (France) weather station throughout the year 2017 is used. In this case the theoretical link availability wins 30 hours of operation in January 2017 with the 4 µm optical wavelength, that shows the benefit of using mid-infrared for FSO when fog occurs. (10.1117/12.2533209)
  DOI : 10.1117/12.2533209
• Mathematical Morphology and Musical Representations
  
  • Agon Carlos
  • Andreatta Moreno
  • Atif Jamal
  • Bloch Isabelle
  , 2019.
• Kindey Cortex Segmentation in 2D CT with U-Nets Ensemble Aggregation
  
  • Couteaux Vincent
  • Si-Mohamed S.
  • Renard-Penna R.
  • Nempont O.
  • Lefevre T.
  • Popoff A.
  • Pizaine Guillaume
  • Villain N.
  • Bloch Isabelle
  • Behr J.
  • Bellin M.-F.
  • Roy C.
  • Rouvière O.
  • Montagne S.
  • Lassau N.
  • Boussel L.
  Diagnostic and Interventional Imaging, Elsevier, 2019, 100, pp.211-217.
• Controllable photon-pair spectral correlations
  
  • Cordier Martin
  • Debord Benoît
  • Gérôme Frédéric
  • Delaye Philippe
  • Benabid Fetah
  • Zaquine Isabelle
  , 2019, pp.Paper EA-7.6. (10.1109/CLEOE-EQEC.2019.8873257)
  DOI : 10.1109/CLEOE-EQEC.2019.8873257
• MRI Atlas of IDH Wild-Type Supratentorial Glioblastoma: Probabilistic Maps of Phenotype, Management, and Outcomes
  
  • Roux Alexandre
  • Roca Pauline
  • Edjlali Myriam
  • Sato Kanako
  • Zanello Marc
  • Dezamis Edouard
  • Gori Pietro
  • Lion Stéphanie
  • Fleury Ariane
  • Dhermain Frédéric
  • Méder Jean-François
  • Chretien Fabrice
  • Lechapt Emmanuèle
  • Varlet Pascale
  • Oppenheim Catherine
  • Pallud Johan
  Radiology, Radiological Society of North America, 2019, pp.190491. (10.1148/radiol.2019190491)
  DOI : 10.1148/radiol.2019190491
• Application of the “descent with mutations” metaheuristic to a clique partitioning problem
  
  • Hudry Olivier
  RAIRO - Operations Research, EDP Sciences, 2019, 53 (3), pp.1083-1095.
• An Turyn-based neural Leech decoder
  
  • Corlay Vincent
  • Boutros Joseph
  • Ciblat Philippe
  • Brunel Loïc
  , 2019. A new decoder for the Leech lattice is presented. This quasi-optimal decoder utilizes a re-encoding paradigm, where candidates are obtained via a shallow neural network. This implies easy parallelization and low latency. The decoder exploits the fact that the Leech lattice is obtained from the direct sum of three polarized Gosset 8-dimensional lattices. This Turyn's construction was used in 2010 by G. Nebe to build the extremal even unimodular lattice in dimension 72 from three copies of the Leech lattice. Thus, we view this work as a first step towards the implementation of an efficient decoder for the Nebe 72-dimensional lattice.
• Strongly regular graphs from weakly regular plateaued functions
  
  • Mesnager Sihem
  • Sinak A.
  , 2019.
• Further study on the maximum number of bent components of vectorial functions
  
  • Mesnager Sihem
  • Zhang F.
  Designs, Codes and Cryptography, Springer Verlag, 2019.
• State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
  
  • Klikovits Stefan
  • Al-Ali Rima
  • Amrani Moussa
  • Barisic Ankica
  • Barros Fernando
  • Blouin Dominique
  • Borde Etienne
  • Buchs Didier
  • Giese Holger
  • Goulão Miguel
  • Iacono Mauro
  • Leon Florin
  • Navarro Eva
  • Pelliccione Patrizio
  • Vanherpen Ken
  , 2019. (10.5281/zenodo.2533455)
  DOI : 10.5281/zenodo.2533455
• Surrogate Modeling of Stochastic Functions - Application to computational Electromagnetic Dosimetry
  
  • Azzi Soumaya
  • Huang Yuanyuan
  • Sudret Bruno
  • Wiart Joe
  International Journal for Uncertainty Quantification, Begell House Publishers, 2019, 9 (4), pp.351-363. (10.1615/Int.J.UncertaintyQuantification.2019029103)
  DOI : 10.1615/Int.J.UncertaintyQuantification.2019029103
• Procédé de gestion d’un message transmis parune station émettrice d’un système de transport intelligent
  
  • Monteuuis Jean-Philippe
  • Mafrica Stefano
  • Servel Alain
  • Zhang Jun
  , 2019.
• De la « fronde anti-Linky » à la justification écologique du smart metering : retour sur la genèse d’un projet controversé
  
  • Draetta Laura
  • Tavner Bastien
  Lien social et Politiques, Anjou, Québec : Éd. Saint-Martin ; Rennes : Presses de l'EHESP, 2019 (82), pp.52. L’article propose une analyse de la controverse française sur le compteur communicant Linky en interrogeant la construction de sa justification écologique. Il défend l’hypothèse que cette controverse s’enracine de manière concomitante dans la critique du nouvel objet technique et dans celle de la genèse du projet politico-industriel qui a présidé à son déploiement national. Il combine analyse de la presse, étude documentaire et enquête de terrain pour restituer, en deux parties, une description de la controverse en France à partir de son traitement médiatique et une analyse de la genèse institutionnelle du projet Linky. La première partie montre une controverse publique et plurithématique en permanente recomposition, dans laquelle le dispositif technique s’expose à des épreuves successives, dont celle de la dénonciation d’une tentative de verdissement d’un projet de modernisation industrielle. La deuxième partie porte un regard réflexif sur le projet Linky et montre comment les oppositions qui le concernent se nourrissent des limites de son cadrage et de son accompagnement par les institutions politiques et administratives. (10.7202/1061876ar)
  DOI : 10.7202/1061876ar
• Direct Sum Masking as a Countermeasure to Side-Channel and Fault Injection Attacks
  
  • Mesnager Sihem
  • Carlet Claude
  • Guilley Sylvain
  , 2019.