Publications

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
• 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.
• 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
• 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
• 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.
• 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
• 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
• 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.
• On two-to-one mappings over finite fields
  
  • Mesnager Sihem
  • Qu L.
  IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2019.
• Direct Sum Masking as a Countermeasure to Side-Channel and Fault Injection Attacks
  
  • Mesnager Sihem
  • Carlet Claude
  • Guilley Sylvain
  , 2019.
• 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
• Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems
  
  • Barisic Ankica
  • Savić Dušan
  • Al-Ali Rima
  • Ruchkin Ivan
  • Blouin Dominique
  • Cicchetti Antonio
  • Eslampanah Raheleh
  • Nikiforova Oksana
  • Abshir Mustafa
  • Challenger Moharram
  • Gomes Claudio
  • Erata Ferhat
  • Tekinerdogan Bedir
  • Amaral Vasco
  • Goulao Miguel
  , 2019.
• On approximating mathematical morphology operators via deep learning techniques
  
  • Velasco-Forero Santiago
  • Ponchon Bastien
  • Blusseau Samy
  • Angulo Jesus
  • Bloch Isabelle
  , 2019, pp.51. Mathematical Morphology (MM) is a well-established discipline whose aim is mainly to provide tools to characterise complex object via their shape/size features. This study addresses the problem of robust approximation of mathematical morphology (MM) operators by deep learning methods. We present two cases, (a) Asymmetric autoencoders for part-based approximations of classical MM in the sense of [1] and, (b) image-to-image translation networks [2] to produce robust MM operators in presence of noise.
• Trace codes over Z 4 , and Boolean functions
  
  • Shi Minjia
  • Liu Yan
  • Randriambololona Hugues
  • Sok Lin
  • Sole Patrick
  Designs, Codes and Cryptography, Springer Verlag, 2019, 87, pp.1447 - 1455. We construct trace codes over Z 4 based on Boolean functions and their support. The Lee weight distribution of these codes is studied by using the Walsh-Hadamard transform of the Boolean functions, and exponential character sums. We obtain few weights codes. In particular, bent and semi-bent functions give three-weight codes. (10.1007/s10623-018-0542-x)
  DOI : 10.1007/s10623-018-0542-x
• Distributed Approximate k-Core Decomposition and Min-Max Edge Orientation: Breaking the Diameter Barrier
  
  • Chan T-H Hubert
  • Sozio Mauro
  • Sun Bintao
  , 2019. We design distributed algorithms to compute approximate solutions for several related graph optimization problems. All our algorithms have round complexity being logarithmic in the number of nodes of the underlying graph and in particular independent of the graph diameter. By using a primal-dual approach, we develop a 2(1 +)-approximation algorithm for computing the coreness values of the nodes in the underlying graph, as well as a 2(1 +)-approximation algorithm for the min-max edge orientation problem, where the goal is to orient the edges so as to minimize the maximum weighted in-degree. We provide lower bounds showing that the aforementioned algorithms are tight both in terms of the approximation guarantee and the round complexity. Finally, motivated by the fact that the densest subset problem has an inherent dependency on the diameter of the graph, we study a weaker version that does not suffer from the same limitation. (10.1109/IPDPS.2019.00044)
  DOI : 10.1109/IPDPS.2019.00044
• On Plateaued Functions, Linear Structures, and Permutation Polynomials
  
  • Mesnager Sihem
  • Kaytannci K.
  • Ozbudak Ferruh
  , 2019.
• On the Optimal Input of the Nondispersive Optical Fiber
  
  • Fahs Jihad
  • Tchamkerten Aslan
  • Yousefi Mansoor
  , 2019.
• Fast computation of Tukey trimmed regions and median in dimension p > 2
  
  • Liu Xiaohui
  • Mosler Karl
  • Mozharovskyi Pavlo
  Journal of Computational and Graphical Statistics, Taylor & Francis, 2019. (10.1080/10618600.2018.1546595)
  DOI : 10.1080/10618600.2018.1546595
• Early Detection of User Engagement Breakdown in Spontaneous Human-Humanoid Interaction
  
  • Ben Youssef Atef
  • Clavel Chloé
  • Essid Slim
  IEEE Transactions on Affective Computing, Institute of Electrical and Electronics Engineers, 2019. This paper presents a supervised classification system for forecasting a potential user engagement breakdown in human-robot interaction. We define engagement breakdown as a failure to successfully complete a predefined interaction scenario, where the user leaves before the expected end. The goal is thus to detect as early as possible such a potential engagement breakdown during the interaction between a human and a humanoid robot. To this end, we exploit a dataset that we have collected in real-world conditions where a set of participants were left to spontaneously engage in an interaction with the robot. The dataset is labeled according to the presence/absence of engagement breakdown. This study investigates the use of a multimodal approach to this problem, where a set of non-verbal features is considered to characterize the users' behavior. The use of combined multimodal features is found to effectively improve the performance of the system. The optimal set of data streams useful for this task is the combination of the distance to the robot, gaze and head motion, as well as facial expressions and speech. We study the time extent over which a user's departure can be anticipated. We find that this ability to anticipate the departure depends on the window during which we observe the user behavior.
• Knowledge Harvesting: Achievements and Challenges
  
  • Weikum Gerhard
  • Hoffart Johannes
  • Suchanek Fabian
  , 2019. This article gives an overview on knowledge harvesting: automatically constructing large high-quality knowledge bases from Internet sources. The first part reviews key principles and best-practice methods. The second part points out open challenges for future research. (10.1007/978-3-319-91908-9_13)
  DOI : 10.1007/978-3-319-91908-9_13
• Les Versions de Bases de Données
  
  • Abdessalem Talel
  • Bauzer-Medeiros Claudia
  • Cellary Wojtech
  • Manouvrier Maud
  • Rukoz Marta
  • Zamfiroiu Michel
  , 2019, pp.44-48. In 1990, W. Cellary and G. Jomier proposed the Database Version (DBV) approach, which allows to manage multiversion databases - those in which several versions of a set of data items coexist. Ever since, its model, theory and algorithms have been adopted in a multitude of research initiatives and publications, and have been applied to a variety of applications, in particular those in which there is a need for keeping track of parallel or (spatio)-temporal evolution of states of the world. This article presents an overview of the DBV approach, and some of the associated research initiatives throughout three decades, pointing out new potential directions. It has been written in tribute to Geneviève Jomier, Prof. Emeritus of The Université Paris-Dauphine, who left us in March 2018.
• The joint weight enumerator of an LCD code and its dual
  
  • Alahmadi Adel
  • Deza Michel
  • Dutour-Sikirić Mathieu
  • Sole Patrick
  Discrete Applied Mathematics, Elsevier, 2019. A binary linear code is called LCD if it intersects its dual trivially. We show that the coefficients of the joint weight enumerator of such a code with its dual satisfy linear constraints, leading to a new linear programming bound on the size of an LCD code of given length and minimum distance. In addition, we show that this polynomial is, in general, an invariant of a matrix group of dimension 4 and order 12. Also, we sketch a Gleason formula for this weight enumerator. (10.1016/j.dam.2018.10.032)
  DOI : 10.1016/j.dam.2018.10.032
• Information, The Hidden Side of Life
  
  • Gaucherel Cedric
  • Gouyon Pierre-Henri
  • Dessalles Jean-Louis
  , 2019, pp.212. This book explores the unity of life. It proposes that the concept of information is the inner essence of what we today call life. The importance of information for our species is obvious. Human beings are highly dependent on information, constantly exchanging with conspecifics. In a less apparent way, we are the product of genetic and epigenetic information which determines our development in a given environment from a fertilized egg to the adult stage. Even less apparent is that information plays a determining role in ecosystems. This observation may include the prebiotic systems in which life emerged. Our claim is that Nature processes information continuously. This means that even beyond living entities, we can see messages and decoding procedures. Nature can be said to send messages to its own future and then to decode them. Nature “talks” to itself! The systematic organization of messages suggests that, in some respects, we should even speak of the “languages” of Nature.
• Distributed Coordinated Transmission with Forward-Backward Training for 5G Radio Access
  
  • Tolli Antti
  • Ghauch Hadi
  • Kaleva Jarkko
  • Komulainen Petri
  • Bengtsson Mats
  • Skoglund Mikael
  • Honig Michael
  • Lahetkangas Eeva
  • Tiirola Esa
  • Pajukoski Kari
  IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2019, 57 (1), pp.58-64. (10.1109/MCOM.2018.1700199)
  DOI : 10.1109/MCOM.2018.1700199