Publications

2017

• Signal and quantum noise in optical communications and in cryptography
  
  • Gallion Philippe
  • Mendieta F J
  • Jiang Shifeng
  , 2017.
• Safe and Secure Support for Public Safety Networks
  
  • Apvrille Ludovic
  • Li Letitia W.
  , 2017, pp.185 - 210. <p>As explained by Tanzi et al. in the first volume of this book, communicating and autonomous devices will surely have a role to play in the future Public Safety Networks. The “communicating” feature comes from the fact that the information should be delivered in a fast way to rescuers. The “autonomous” characteristic comes from the fact that rescuers should not have to concern themselves about these objects: they should perform their mission autonomously so as not to delay the intervention of the rescuers, but rather to assist them efficiently and reliably.</p> (10.1016/B978-1-78548-053-9.50009-3)
  DOI : 10.1016/B978-1-78548-053-9.50009-3
• Optimize Wireless Networks for Energy Saving by Distributed Computation of Čech Complex
  
  • Le Ngoc-Khuyen
  • Vergne Anais
  • Martins Philippe
  • Decreusefond Laurent
  , 2017. In this paper, we introduce a distributed algorithm to compute the \v{C}ech complex. This algorithm is aimed at solving the coverage problems in self organized wireless networks. The complexity to compute the minimal \v{C}ech complex that gives information about coverage and connectivity of the network is $\mathcal{O}(n^2)$, where $n$ is the average number of neighbors of each cell. An application based on the distributed computation of the \v{C}ech complex, which is aimed at optimizing the wireless network for energy saving, is also proposed. This application also has polynomial complexity. The performance of the proposed algorithm and its application are evaluated. The simulation results show that the distributed computation of the \v{C}ech complex provides a consistent outcome with the one obtained by the centralized computation that is introduced in [6], while requires a much shorter calculation time. The optimized coverage saves 65\% of the total transmission power, while also keeps the maximal coverage for the network.
• Optimal scaling of the Random Walk Metropolis algorithm under Lp mean differentiability
  
  • Durmus Alain
  • Le Corff Sylvain
  • Moulines Éric
  • Roberts Gareth O. O.
  Journal of Applied Probability, Cambridge University press, 2017, 54 (4), pp.1233 -1260. This paper considers the optimal scaling problem for high-dimensional random walk Metropolis algorithms for densities which are differentiable in Lp mean but which may be irregular at some points (like the Laplace density for example) and/or are supported on an interval. Our main result is the weak convergence of the Markov chain (appropriately rescaled in time and space) to a Langevin diffusion process as the dimension d goes to infinity. Because the log-density might be non-differentiable, the limiting diffusion could be singular. The scaling limit is established under assumptions which are much weaker than the one used in the original derivation of [6]. This result has important practical implications for the use of random walk Metropolis algorithms in Bayesian frameworks based on sparsity inducing priors. (10.1017/jpr.2017.61)
  DOI : 10.1017/jpr.2017.61
• More Results on the Complexity of Domination Problems in Graphs
  
  • Hudry Olivier
  • Lobstein Antoine
  International Journal of Information and Coding Theory, Inderscience, 2017, 4 (2/3), pp.129-144. Given a graph G = (V, E) and an integer r &ge; 1, we call 'r-dominating code' any subset C of V such that every vertex in V is at distance at most r from at least one vertex in C. We investigate and locate in the complexity classes of the polynomial hierarchy, several problems linked with domination in graphs, such as, given r and G, the existence of, or search for, optimal r-dominating codes in G, or optimal r-dominating codes in G containing a subset of vertices X &sub; V . (10.1504/ijicot.2017.083829)
  DOI : 10.1504/ijicot.2017.083829
• Synchronization in MPEG-4 Systems
  
  • Le Feuvre J.
  • Concolato Cyril
  , 2017, 18, pp.451-473. (10.1007/978-3-319-65840-7)
  DOI : 10.1007/978-3-319-65840-7
• A Bayesian Hyperprior Approach for Joint Image Denoising and Interpolation, with an Application to HDR Imaging
  
  • Aguerrebere Cecilia
  • Almansa Andrés
  • Delon Julie
  • Gousseau Yann
  • Musé Pablo
  IEEE Transactions on Computational Imaging, IEEE, 2017. Recently, impressive denoising results have been achieved by Bayesian approaches which assume Gaussian models for the image patches. This improvement in performance can be attributed to the use of per-patch models. Unfortunately such an approach is particularly unstable for most inverse problems beyond denoising. In this work, we propose the use of a hyperprior to model image patches, in order to stabilize the estimation procedure. There are two main advantages to the proposed restoration scheme: Firstly it is adapted to diagonal degradation matrices, and in particular to missing data problems (e.g. inpainting of missing pixels or zooming). Secondly it can deal with signal dependent noise models, particularly suited to digital cameras. As such, the scheme is especially adapted to computational photography. In order to illustrate this point, we provide an application to high dynamic range imaging from a single image taken with a modified sensor, which shows the effectiveness of the proposed scheme. (10.1109/TCI.2017.2704439)
  DOI : 10.1109/TCI.2017.2704439
• Behavioural semantics for asynchronous components
  
  • Ameur-Boulifa Rabéa
  • Henrio Ludovic
  • Kulankhina Oleksandra
  • Madelaine Eric
  • Savu Alexandra
  Journal of Logical and Algebraic Methods in Programming, Elsevier, 2017, 89, pp.1 - 40. Software components are a valuable programming abstraction that enables a compositional design of complex applications. In distributed systems, components can also be used to provide an abstraction of locations: each component is a unit of deployment that can be placed on a different machine. In this article, we consider this kind of distributed components that are additionally loosely coupled and communicate by asynchronous invocations. Components also provide a convenient abstraction for verifying the correct behaviour of systems: they provide structuring entities easing the correctness verification. This article provides a formal background for the generation of behavioural semantics for asynchronous components. It expresses the semantics of hierarchical distributed components communicating asynchronously by requests, futures, and replies; this semantics is provided using the pNet intermediate language. This article both demonstrates the expressiveness of the pNet model and formally specifies the complete process of the generation of a behavioural model for a distributed component system. The purpose of our be-havioural semantics is to allow for verification both by finite instantiation and model-checking, and by techniques for infinite systems. (10.1016/j.jlamp.2017.02.003)
  DOI : 10.1016/j.jlamp.2017.02.003
• Sampling from a log-concave distribution with compact support with proximal Langevin Monte Carlo
  
  • Brosse Nicolas
  • Durmus Alain
  • Moulines Éric
  • Pereyra Marcelo
  Proceedings of Machine Learning Research, PMLR, 2017, 65, pp.319-342. This paper presents a detailed theoretical analysis of the Langevin Monte Carlo sampling algorithm recently introduced in [DMP16] when applied to log-concave probability distributions that are restricted to a convex body K. This method relies on a regularisation procedure involving the Moreau-Yosida envelope of the indicator function associated with K. Explicit convergence bounds in total variation norm and in Wasserstein distance of order 1 are established. In particular, we show that the complexity of this algorithm given a first order oracle is polynomial in the dimension of the state space. Finally, some numerical experiments are presented to compare our method with competing MCMC approaches from the literature.
• Fair throughput allocation in Information-Centric Networks
  
  • Bonald Thomas
  • Mekinda Léonce
  • Muscariello Luca
  Computer Networks, Elsevier, 2017, 125, pp.122 - 131. Cache networks are the cornerstones of today's Internet, helping it to scale by an extensive use of Content Delivery Networks (CDN). Benefiting from CDN's successful insights, ubiquitous caching through Information-Centric Networks (ICN) is increasingly regarded as a premier future Internet architecture contestant. However, the use of in-network caches seems to cause an issue in the fairness of resource sharing among contents. Indeed, in legacy communication networks, link buffers were the principal resources to be shared. Under max-min flow-wise fair bandwidth sharing [14], content throughput was not tied to content popularity. Including caches in this ecosystem raises new issues since common cache management policies such as probabilistic Least Recently Used (p-LRU) or even more, Least Frequently Used (LFU), may seem detrimental to low popularity objects, even though they significantly decrease the overall link load [3]. In this paper, we demonstrate that globally achieving LFU is a first stage of content-wise fairness. Indeed, any investigated content-wise α-fair throughput allocation permanently stores the most popular contents in network caches by ensuring them a cache hit ratio of 1. As ICN caching traditionally pursues LFU objectives, content-wise fairness specifics remain only a matter of fair bandwidth sharing, keeping the cache management intact. (10.1016/j.comnet.2017.05.019)
  DOI : 10.1016/j.comnet.2017.05.019
• A user-perception based approach to create smiling embodied conversational agents
  
  • Ochs Magalie
  • Mckeown Gary
  • Pelachaud Catherine
  ACM Transactions on Interactive Intelligent Systems, Association for Computing Machinery (ACM), 2017, 1. no abstract
• Predicting Completeness in Knowledge Bases
  
  • Galárraga Luis
  • Razniewski Simon
  • Amarilli Antoine
  • Suchanek Fabian M.
  , 2017. no abstract
• Quadratic Extension Field Codes for Free Space Optical Intensity Communications
  
  • Mroueh L.
  • Belfiore Jean-Claude
  IEEE Transactions on Communications, Institute of Electrical and Electronics Engineers, 2017, 65 (2), pp.751 - 763.
• Failure Analysis in Magnetic Tunnel Junction Nanopillar with Interfacial Perpendicular Magnetic Anisotropy
  
  • Zhao Weisheng
  • Wang You
  • Naviner Lirida
  Materials Science Journal, 2017, 9 (41), pp.1-17.
• Guest Editorial AWPL Special Cluster on “Impact of User-Related Randomness on Antennas and Channels”
  
  • Sibille Alain
  • Kildal Per-Simon
  IEEE Antennas and Wireless Propagation Letters, Institute of Electrical and Electronics Engineers, 2017, 16. The guest editorial explains the motivation for the AWPL special cluster and briefly introduce each of the nine selected papers. (10.1109/LAWP.2017.2696621)
  DOI : 10.1109/LAWP.2017.2696621
• Fast algebraic immunity of Boolean functions
  
  • Mesnager Sihem
  • Cohen Gérard
  Advances in Mathematics of Communications, AIMS, 2017, 11 (2), pp.373-377. (10.3934/amc.2017031)
  DOI : 10.3934/amc.2017031
• LISP EID Block Management Guidelines
  
  • Iannone Luigi
  • Jorgensen Roger
  • Conrad David
  • Huston Geoff
  , 2017.
• Mesure de dissimilarité pour les patchs utilisant la corrélation
  
  • Riot Paul
  • Almansa Andrés
  • Gousseau Yann
  • Tupin Florence
  , 2017.
• White matter hyperintensities segmentation in a few seconds using fully convolutional network and transfer learning
  
  • Xu Yongchao
  • Géraud Thierry
  • Puybareau Elodie
  • Bloch Isabelle
  • Chazalon Joseph
  , 2017, LNCS. In this paper, we propose a fast automatic method that seg- ments white matter hyperintensities (WMH) in 3D brain MR images, using a fully convolutional network (FCN) and transfer learning. This FCN is VGG, pre-trained on ImageNet for natural image classification, and fine tuned with the training dataset of the MICCAI WMH Chal- lenge. We consider three images for each slice of volume to segment: the i-th T1 slice, the i-th FLAIR slice, and the residue of a morphological operator that emphasizes small bright structures. These three 2D images are assembled to form a 2D color image, that inputs the FCN to obtain the 2D segmentation of the i-th slice. We process all slices, and stack the results to form the 3D output segmentation. With such a technique, the segmentation of WMH on a 3D brain volume takes about 10 seconds. Our technique was ranked 6-th over 20 participants at the MICCAI WMH Challenge.
• Efficient Smoothed Concomitant Lasso Estimation for High Dimensional Regression
  
  • Ndiaye Eugene
  • Fercoq Olivier
  • Gramfort Alexandre
  • Leclère Vincent
  • Salmon Joseph
  Journal of Physics: Conference Series, IOP Science, 2017, J. Phys.: Conf. Ser. 904 012006. In high dimensional settings, sparse structures are crucial for efficiency, both in term of memory, computation and performance. It is customary to consider 1 penalty to enforce spar-sity in such scenarios. Sparsity enforcing methods, the Lasso being a canonical example, are popular candidates to address high dimension. For efficiency, they rely on tuning a parameter trading data fitting versus sparsity. For the Lasso theory to hold this tuning parameter should be proportional to the noise level, yet the latter is often unknown in practice. A possible remedy is to jointly optimize over the regression parameter as well as over the noise level. This has been considered under several names in the literature: Scaled-Lasso, Square-root Lasso, Concomitant Lasso estimation for instance, and could be of interest for confidence sets or uncertainty quantification. In this work, after illustrating numerical difficulties for the Smoothed Concomitant Lasso formulation, we propose a modification we coined Smoothed Concomitant Lasso, aimed at increasing numerical stability. We propose an efficient and accurate solver leading to a computational cost no more expansive than the one for the Lasso. We leverage on standard ingredients behind the success of fast Lasso solvers: a coordinate descent algorithm, combined with safe screening rules to achieve speed efficiency, by eliminating early irrelevant features. (10.1088/1742-6596/904/1/012006)
  DOI : 10.1088/1742-6596/904/1/012006
• Cognitive Management of Self -Organized Radio Networks Based on Multi Armed Bandit
  
  • Daher Tony
  • Jemaa Sana Ben
  • Decreusefond Laurent
  , 2017. Many tasks in current mobile networks are automated through Self-Organizing Networks (SON) functions. The actual implementation consists in a network with several SON functions deployed and operating independently. A Policy Based SON Manager (PBSM) has been introduced to configure these functions in a manner that makes the overall network fulfill the operator objectives. Given the large number of possible configurations (for each SON function instance in the network), we propose to empower the PBSM with learning capability. This Cognitive PBSM (C-PBSM) learns the most appropriate mapping between SON configurations and operator objectives based on past experience and network feedback. The proposed learning algorithm is a stochastic multi-armed bandit, namely the UCB1. We evaluate the performances of the proposed C-PBSM on an LTE-A simulator. We show that it is able to learn the optimal SON configuration and quickly adapts to objective changes.
• Raman-tailored photonic crystal fiber for telecom band photon-pair generation
  
  • Cordier Martin
  • Orieux Adeline
  • Gabet Renaud
  • Harlé Thibault
  • Dubreuil Nicolas
  • Diamanti Eleni
  • Delaye Philippe
  • Zaquine Isabelle
  Optics Letters, Optical Society of America - OSA Publishing, 2017, 42 (13), pp.2583-2586. We report on the experimental characterization of a novel nonlinear liquid-filled hollow-core photonic crystal fiber for the generation of photon pairs at a telecommuni- cation wavelength through spontaneous four-wave mixing (SFWM). We show that the optimization procedure in view of this application links the choice of the nonlinear liquid to the design parameters of the fiber, and we give an example of such an optimization at telecom wavelengths. Combining the modeling of the fiber and classical charac- terization techniques at these wavelengths, we identify for the chosen fiber and liquid combination SFWM phase- matching frequency ranges with no Raman scattering noise contamination. This is a first step toward obtaining a tele- com band fibered photon-pair source with a high signal-to- noise ratio. (10.1364/OL.42.002583)
  DOI : 10.1364/OL.42.002583
• MCMC design-based non-parametric regression for rare event. Application to nested risk computation.
  
  • Fort Gersende
  • Gobet Emmanuel
  • Moulines Éric
  Monte Carlo Methods and Applications, De Gruyter, 2017.
• Fast and privacy preserving distributed low-rank regression
  
  • Wai Hoi-To
  • Lafond Jean
  • Scaglione Anna
  • Moulines Éric
  , 2017.
• Visual Menu Techniques
  
  • Bailly Gilles
  • Lecolinet Éric
  • Nigay Laurence
  ACM Computing Surveys, Association for Computing Machinery, 2017, 49 (4), pp.60. Menus are used for exploring and selecting commands in interactive applications. They are widespread in current systems and used by a large variety of users. As a consequence, they have motivated many studies in Human-Computer Interaction (HCI). Facing the large variety of menus, it is difficult to have a clear understanding of the design possibilities and to ascertain their similarities and differences. In this article, we address a main challenge of menu design: the need to characterize the design space of menus. To do this, we propose a taxonomy of menu properties that structures existing work on visual menus. In order to highlight the impact of the properties on performance, we begin by refining performance through a list of quality criteria and by reviewing existing analytical and empirical methods for quality evaluation. The taxonomy of menu properties is an unavoidable step toward the elaboration of advanced predictive models of menu performance and the optimization of menus. A key point of this work is to focus both on menus and on the properties of menus, to enable a fine-grained analysis in terms of performance. (10.1145/3002171)
  DOI : 10.1145/3002171