Publications

2019

• Suivi des glaciers de montagne par imagerie radar satellitaire
  
  • Fallourd Renaud
  • Dehecq Amaury
  • Jauvin Matthias
  • Yan Yajing
  • Vasile Gabriel
  • Gay Michel
  • Trouvé Emmanuel
  • Nicolas Jean Marie
  Revue Française de Photogrammétrie et de Télédétection, Société Française de Photogrammétrie et de Télédétection, 2019 (219-220), pp.91-105. Cet article présente un ensemble de résultats obtenus par télédétection radar satellitaire sur le site test Chamonix-Mont Blanc. L'objectif est d'illustrer le potentiel et les limitations de l'imagerie SAR (Synthetic Aperture Radar) pour l'observation des glaciers de montagne en zone tempérée. Après avoir rappelé certaines spécificités de ces glaciers qui conditionnent l'exploitation des données SAR, trois types de mesures sont étudiés : i/ le calcul de champs de déformation par interférométrie différentielle (D-InSAR) avec des données ERS Tandem dont les couplesà un jour permettaient de mettre en œuvre cette technique en dehors de la période estivale ; ii/ le calcul de champs de déformation bidimensionnels par corrélation d'amplitude avec des données haute résolution TerraSAR-X (TSX) et la reconstruction du déplacement tridimensionnelà partir de couples acquis sur des orbites ascendantes et descendantes ; iii/ le calcul de la topographieà partir de couples TanDEM-X (TDX) en évaluant les incertitudes liéesà la pénétration radar dans la neige et la glace. Enfin, nous illustrons les premiers résultats obtenus avec les données des satellites Sentinel-1 A/B, de plus faible résolution spatiale mais dont la répétitivitéà 6 jours et la gratuité ouvrent de nouvelles perspectives. Ces travaux montrentà la fois le fort potentiel de l'imagerie SAR pour observer la dynamique et les variations de volume des glaciers tout en soulignant les facteurs favorables ou limitant pour une exploitation régulière des données issues des satellites radar lancés depuis les années 90. (10.52638/rfpt.2019.471)
  DOI : 10.52638/rfpt.2019.471
• •Intelligent Systems for Crisis Management: Gi4DM 2018
  
  • Altan Orhan
  • Chandra Madhu
  • Sunar F
  • Tanzi Tullio
  Lecture Notes in Geoinformation and Cartography, Springer International Publishing, 2019. In the past several years, there have been significant technological advances in the field of crisis response. However, many aspects concerning the efficient collection and integration of geo-information, applied semantics and situation awareness for disaster management remain open. Improving crisis response systems and making them intelligent requires extensive collaboration between emergency responders, disaster managers, system designers and researchers alike. To facilitate this process, the Gi4DM (GeoInformation for Disaster Management) conferences have been held regularly since 2005. The events are coordinated by the Joint Board of Geospatial Information Societies (JB GIS) and ICSU GeoUnions. This book presents the outcomes of the Gi4DM 2018 conference, which was organised by the ISPRS-URSI Joint Working Group ICWG III/IVa: Disaster Assessment, Monitoring and Management and held in Istanbul, Turkey on 18-21 March 2018. It includes 12 scientific papers focusing on the intelligent use of geo-information, semantics and situation awareness. (10.1007/978-3-030-05330-72019)
  DOI : 10.1007/978-3-030-05330-72019
• A statistical detection mechanism for node misbehaviours in wireless mesh networks
  
  • Khatoun Rida
  • Begriche Youcef
  • Khoukhi Lyes
  IJAHUC - International Journal of Ad Hoc and Ubiquitous Computing, Inderscience, 2019, 31 (1), pp.23. (10.1504/IJAHUC.2019.099637)
  DOI : 10.1504/IJAHUC.2019.099637
• Segmentation et caractérisation des bifurcations artérielles rétiniennes dans des images 2D d’optique adaptative
  
  • Trimeche Iyed
  • Rossant Florence
  • Bloch Isabelle
  • Pâques M.
  , 2019. Nous pr ́esentons une m ́ethode de segmentation des art`eres r ́etiniennes dans des images de fond d’oeil de haute r ́esolution, acquises en optique adaptative. Nous e ́ tendons notre approche pr ́ec ́edente de traitement des branches des vaisseaux r ́etiniens a ` la segmentation des bifur- cations, ce qui nous permet d’analyser l’int ́egralit ́e de l’arbre vasculaire. Diff ́erents biomarqueurs caract ́erisant le flux sanguin sont extraits de l’estimation des diam`etres des branches aux bifurcations. Les r ́esultats exp ́erimentaux montrent que la pr ́ecision de notre approche se situe dans la plage de variabilit ́e intra- et inter-utilisateurs, ce qui nous a permis de r ́ealiser une e ́ tude pr ́eliminaire sur les biomarqueurs extraits.
• Analysis of CEDBT and CESM performance using a realistic X-ray simulation platform
  
  • Sanchez de La Rosa Ruben
  • Carton A.-K.
  • Milioni de Carvalho P.
  • Bloch Isabelle
  • Muller S.
  , 2019, pp.1070-1073. Contrast Enhanced Spectral Mammography (CESM) and Contrast Enhanced Digital Breast Tomosynthesis (CEDBT) are multi-energy X-ray imaging techniques involving the injection of a vascular contrast agent. Both techniques provide information on hypervascularization of lesions through contrast uptake. CESM has proved to deliver a better diagnosis of breast cancer than diagnostic mammography. CEDBT is a promising technique which provides 3D information on the contrast uptake distribution. In this paper, new steps in the image acquisition process of a previously presented image acquisition simulation platform are described, including models of scatter, image lag and electronic noise. Using this simulation platform, 290 CESM and CEDBT images were generated. A human observer experiment was then performed to compare lesion detectability and characterization. The results indicate a similar detectability and an improved characterization of shape and contrast enhancement distribution using CEDBT.
• Compressed sensing-enabled phase-sensitive swept-source optical coherence tomography
  
  • Ling Yuye
  • Meiniel William
  • Singh-Moon Rajinder
  • Angelini Elsa D.
  • Olivo-Marin J.-C.
  • Hendon Christine P.
  Optics Express, Optical Society of America - OSA Publishing, 2019, 27 (2), pp.855-871.
• Ontology-mediated query answering over temporal and inconsistent data
  
  • Bourgaux Camille
  • Koopmann Patrick
  • Turhan Anni-Yasmin
  Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2019. Stream-based reasoning systems process data stemming from different sources that are received over time. In this kind of applications, reasoning needs to cope with the temporal dimension and should be resilient against inconsistencies in the data. Motivated by such settings, this paper addresses the problem of handling inconsistent data in a temporal version of ontology-mediated query answering. We consider a recently proposed temporal query language that combines conjunctive queries with operators of propositional linear temporal logic (LTL), and consider these under three inconsistency-tolerant semantics that have been introduced for querying inconsistent description logic knowledge bases. We investigate their complexity for temporal EL ⊥ and DL-LiteR knowledge bases. In particular, we consider two different cases, depending on the presence of negations in the query. Furthermore, we complete the complexity picture for the consistent case. We also provide two approaches toward practical algorithms for inconsistency-tolerant temporal query answering. (10.3233/SW-180337)
  DOI : 10.3233/SW-180337
• Fault Analysis Assisted by Simulation
  
  • Chibani Kais
  • Facon Adrien
  • Guilley Sylvain
  • Marion Damien
  • Mathieu Yves
  • Sauvage Laurent
  • Souissi Youssef
  • Takarabt Sofiane
  , 2019, pp.263-277. Side-channel and fault injection attacks are renown techniques to extract keys from cryptographic devices. Fortunately, leakage reduction and fault detection countermeasures exist and can be implemented right in the source-code. However, source-code level countermeasures might be altered during the compilation process. Design simulation is an effective means to detect such harmful simplifications. This is a well-known methodology to analyze regressions in terms of side-channel leakage. In this chapter, we explain that protections against fault injection attacks are no exception. First of all, we show that vulnerabilities to those attacks can be easily detected by simulation methods. Second, we highlight that simulation techniques are also highly efficient in detecting logic simplifications which destroy (fully or partly) the countermeasures. Thus, the simulation-based methodology we present in this chapter shows that it is possible to decide quickly which compilation options are safe and which ones are detrimental to the security. (10.1007/978-3-030-11333-9_12)
  DOI : 10.1007/978-3-030-11333-9_12
• Evolving, Growing, and Gardening Cyber-physical Systems
  
  • Stepney Susan
  • Diaconescu Ada
  • Doursat René
  • Giavitto Jean-Louis
  • Miller Julian
  • Spicher Antoine
  , 2019.
• Frequency comb dynamics of a 13 μm hybrid-silicon quantum dot semiconductor laser with optical injection
  
  • Beausoleil Raymond G
  • Grillot Frédéric
  • Dong Bozhang
  • Huang Heming
  • Duan Jianan
  • Kurczveil Geza
  • Liang Di I
  Optics Letters, Optical Society of America - OSA Publishing, 2019, 44 (23), pp.5755. This work reports on the influence of bias voltage applied on a saturable absorber (SA) on a subthreshold linewidth enhancement factor (LEF) in hybrid-silicon quantum dot optical frequency comb lasers. Results show that the reverse bias voltage on SA contributes to enlarge the LEF and improve the comb dynamics. Optical injection is also found to be able to improve the comb spectrum in terms of 3 dB bandwidth and its flatness. Such novel findings are promising for the development of high-speed dense wavelength-division multiplexing photonic integrated circuits in optical interconnects and datacom applications. (10.1364/OL.44.005755)
  DOI : 10.1364/OL.44.005755
• Complexity of Unique (Optimal) Solutions in Graphs: Vertex Cover and Domination
  
  • Hudry Olivier
  • Lobstein Antoine
  Journal of Combinatorial Mathematics and Combinatorial Computing, Charles Babbage Research Centre, 2019, 110, pp.217-240. We study the complexity of four decision problems dealing with the uniqueness of a solution in a graph: "Uniqueness of a Vertex Cover with bounded size"(U-VC) and "Uniqueness of an Optimal Vertex Cover"(U-OVC), and for any fixed integer r ≥ 1, "Uniqueness of an r-Dominating Code with bounded size" (U-DCr) and "Uniqueness of an Optimal r-Dominating Code" (U-ODCr). In particular, we give a polynomial reduction from "Unique Satisfiability of a Boolean formula" (U-SAT
• Safe Grid Search with Optimal Complexity
  
  • Ndiaye Eugene
  • Le Tam
  • Fercoq Olivier
  • Salmon Joseph
  • Takeuchi Ichiro
  , 2019, 97, pp.4771-4780. Popular machine learning estimators involve regularization parameters that can be challenging to tune, and standard strategies rely on grid search for this task. In this paper, we revisit the techniques of approximating the regularization path up to predefined tolerance $\epsilon$ in a unified framework and show that its complexity is $O(1/\sqrt[d]{\epsilon})$ for uniformly convex loss of order $d>0$ and $O(1/\sqrt{\epsilon})$ for Generalized Self-Concordant functions. This framework encompasses least-squares but also logistic regression (a case that as far as we know was not handled as precisely by previous works). We leverage our technique to provide refined bounds on the validation error as well as a practical algorithm for hyperparameter tuning. The later has global convergence guarantee when targeting a prescribed accuracy on the validation set. Last but not least, our approach helps relieving the practitioner from the (often neglected) task of selecting a stopping criterion when optimizing over the training set: our method automatically calibrates it based on the targeted accuracy on the validation set.
• 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.
• On two-to-one mappings over finite fields
  
  • Mesnager Sihem
  • Qu L.
  IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2019.
• Vertebral rotation estimation from frontal X-rays using a quasi-automated pedicle detection method
  
  • Ebrahimi Shahin
  • Gajny Laurent
  • Vergari Claudio
  • Angelini Elsa D
  • Skalli Wafa
  European Spine Journal, Springer Verlag, 2019, 28, pp.3026–3034. Purpose Measurement of vertebral axial rotation (VAR) is relevant for the assessment of scoliosis. Stokes method allows estimating VAR in frontal X-rays from the relative position of the pedicles and the vertebral body. This method requires identifying these landmarks for each vertebral level, which is time-consuming. In this work, a quasi-automated method for pedicle detection and VAR estimation was proposed. Method A total of 149 healthy and adolescent idiopathic scoliotic (AIS) subjects were included in this retrospective study. Their frontal X-rays were collected from multiple sites and manually annotated to identify the spinal midline and pedicle positions. Then, an automated pedicle detector was developed based on image analysis, machine learning and fast manual identification of a few landmarks. VARs were calculated using the Stokes method in a validation dataset of 11 healthy (age 6–33 years) and 46 AIS subjects (age 6–16 years, Cobb 10°–46°), both from detected pedicles and those manually annotated to compare them. Sensitivity of pedicle location to the manual inputs was quantified on 20 scoliotic subjects, using 10 perturbed versions of the manual inputs. Results Pedicles centers were localized with a precision of 84% and mean difference of 1.2 ± 1.2 mm, when comparing with manual identification. Comparison of VAR values between automated and manual pedicle localization yielded a signed difference of − 0.2 ± 3.4°. The uncertainty on pedicle location was smaller than 2 mm along each image axis. Conclusion The proposed method allowed calculating VAR values in frontal radiographs with minimal user intervention and robust quasi-automated pedicle localization. (10.1007/s00586-019-06158-z)
  DOI : 10.1007/s00586-019-06158-z