Publications

2017

• Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard
  
  • Besnard Loic
  • Gautier Thierry
  • Le Guernic Paul
  • Guy Clément
  • Talpin Jean-Pierre
  • Larson Brian
  • Borde Etienne
  , 2017. (10.1007/978-981-10-4436-6_3)
  DOI : 10.1007/978-981-10-4436-6_3
• Robust Downbeat Tracking Using an Ensemble of Convolutional Networks
  
  • Durand Simon
  • Bello Juan Pablo
  • David Bertrand
  • Richard Gael
  IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2017, 25 (1), pp.76-89. <div><p>In this paper, we present a novel state of the art system for automatic downbeat tracking from music signals. The audio signal is first segmented in frames which are synchronized at the tatum level of the music. We then extract different kind of features based on harmony, melody, rhythm and bass content to feed convolutional neural networks that are adapted to take advantage of the characteristics of each feature. This ensemble of neural networks is combined to obtain one downbeat likelihood per tatum. The downbeat sequence is finally decoded with a flexible and efficient temporal model which takes advantage of the assumed metrical continuity of a song. We then perform an evaluation of our system on a large base of 9 datasets, compare its performance to 4 other published algorithms and obtain a significant increase of 16.8 percent points compared to the second best system, for altogether a moderate cost in test and training. The influence of each step of the method is studied to show its strengths and shortcomings.</p></div> (10.1109/TASLP.2016.2623565)
  DOI : 10.1109/TASLP.2016.2623565
• On some bounds for symmetric tensor rank of multiplication in finite fields
  
  • Ballet Stéphane
  • Pieltant Julia
  • Rambaud Matthieu
  • Sijsling Jeroen
  , 2017, 686, pp.93 - 121. We establish new upper bounds about symmetric bilinear complexity in any extension of finite fields. Note that these bounds are not asymptotical but uniform. Moreover, we discuss the validity of certain published bounds. (10.1090/conm/686/13779)
  DOI : 10.1090/conm/686/13779
• Planck intermediate results. LI. Features in the cosmic microwave background temperature power spectrum and shifts in cosmological parameters
  
  • Aghanim N.
  • Akrami Yashar
  • Ashdown M.
  • Aumont J.
  • Ballardini M.
  • Banday A.J.
  • Barreiro R.B.
  • Bartolo N.
  • Basak S.
  • Benabed K.
  • Bersanelli M.
  • Bielewicz P.
  • Bonaldi A.
  • Bonavera L.
  • Bond J.R.
  • Borrill J.
  • Bouchet F.R.
  • Burigana C.
  • Calabrese E.
  • Cardoso J.F.
  • Challinor A.
  • Chiang H.C.
  • Colombo L.P.L.
  • Combet C.
  • Crill B.P.
  • Curto A.
  • Cuttaia F.
  • de Bernardis P.
  • de Rosa A.
  • de Zotti G.
  • Delabrouille J.
  • Di Valentino E.
  • Dickinson C.
  • Diego J.M.
  • Dore O.
  • Ducout A.
  • Dupac X.
  • Dusini S.
  • Efstathiou G.
  • Elsner F.
  • Ensslin T.A.
  • Eriksen H.K.
  • Fantaye Y.
  • Finelli F.
  • Forastieri F.
  • Frailis M.
  • Franceschi E.
  • Frolov A.
  • Galeotta S.
  • Galli S.
  • Ganga K.
  • Genova-Santos R.T.
  • Gerbino M.
  • Gonzalez-Nuevo J.
  • Gorski K.M.
  • Gruppuso A.
  • Gudmundsson J.E.
  • Herranz D.
  • Hivon E.
  • Huang Z.
  • Jaffe A.H.
  • Jones W.C.
  • Keihanen E.
  • Keskitalo R.
  • Kiiveri K.
  • Kim J.
  • Kisner T.S.
  • Knox L.
  • Krachmalnicoff N.
  • Kunz M.
  • Kurki-Suonio H.
  • Lagache G.
  • Lamarre J.M.
  • Lasenby A.
  • Lattanzi M.
  • Lawrence C.R.
  • Le Jeune M.
  • Levrier F.
  • Lewis A.
  • Lilje P.B.
  • Lilley M.
  • Lindholm V.
  • Lopez-Caniego M.
  • Lubin P.M.
  • Ma Y.Z.
  • Macias-Perez J.F.
  • Maggio G.
  • Maino D.
  • Mandolesi N.
  • Mangilli A.
  • Maris M.
  • Martin P.G.
  • Martinez-Gonzalez E.
  • Matarrese S.
  • Mauri N.
  • Mcewen J.D.
  • Meinhold P.R.
  • Mennella A.
  • Migliaccio M.
  • Millea M.
  • Miville-Deschenes M.A.
  • Molinari D.
  • Moneti A.
  • Montier L.
  • Morgante G.
  • Moss A.
  • Narimani A.
  • Natoli P.
  • Oxborrow C.A.
  • Pagano L.
  • Paoletti D.
  • Patanchon G.
  • Patrizii L.
  • Pettorino V.
  • Piacentini F.
  • Polastri L.
  • Polenta G.
  • Puget J.L.
  • Rachen J.P.
  • Racine B.
  • Reinecke M.
  • Remazeilles M.
  • Renzi A.
  • Rossetti M.
  • Roudier G.
  • Rubino-Martin J.A.
  • Ruiz-Granados B.
  • Salvati L.
  • Sandri M.
  • Savelainen M.
  • Scott D.
  • Sirignano C.
  • Sirri G.
  • Stanco L.
  • Suur-Uski A.S.
  • Tauber J.A.
  • Tavagnacco D.
  • Tenti M.
  • Toffolatti L.
  • Tomasi M.
  • Tristram M.
  • Trombetti T.
  • Valiviita J.
  • van Tent F.
  • Vielva P.
  • Villa Francesca
  • Vittorio N.
  • Wandelt B.D.
  • Wehus I.K.
  • White M.
  • Zacchei A.
  • Zonca A.
  Astron.Astrophys., 2017, 607, pp.A95. The six parameters of the standard ΛCDM model have best-fit values derived from the Planck temperature power spectrum that are shifted somewhat from the best-fit values derived from WMAP data. These shifts are driven by features in the Planck temperature power spectrum at angular scales that had never before been measured to cosmic-variance level precision. We have investigated these shifts to determine whether they are within the range of expectation and to understand their origin in the data. Taking our parameter set to be the optical depth of the reionized intergalactic medium τ, the baryon density ωb, the matter density ωm, the angular size of the sound horizon θ∗, the spectral index of the primordial power spectrum, ns, and Ase− 2τ (where As is the amplitude of the primordial power spectrum), we have examined the change in best-fit values between a WMAP-like large angular-scale data set (with multipole moment ℓ < 800 in the Planck temperature power spectrum) and an all angular-scale data set (ℓ < 2500Planck temperature power spectrum), each with a prior on τ of 0.07 ± 0.02. We find that the shifts, in units of the 1σ expected dispersion for each parameter, are { Δτ,ΔAse− 2τ,Δns,Δωm,Δωb,Δθ∗ } = { −1.7,−2.2,1.2,−2.0,1.1,0.9 }, with a χ2 value of 8.0. We find that this χ2 value is exceeded in 15% of our simulated data sets, and that a parameter deviates by more than 2.2σ in 9% of simulated data sets, meaning that the shifts are not unusually large. Comparing ℓ < 800 instead to ℓ> 800, or splitting at a different multipole, yields similar results. We examined the ℓ < 800 model residuals in the ℓ> 800 power spectrum data and find that the features there that drive these shifts are a set of oscillations across a broad range of angular scales. Although they partly appear similar to the effects of enhanced gravitational lensing, the shifts in ΛCDM parameters that arise in response to these features correspond to model spectrum changes that are predominantly due to non-lensing effects; the only exception is τ, which, at fixed Ase− 2τ, affects the ℓ> 800 temperature power spectrum solely through the associated change in As and the impact of that on the lensing potential power spectrum. We also ask, “what is it about the power spectrum at ℓ < 800 that leads to somewhat different best-fit parameters than come from the full ℓ range?” We find that if we discard the data at ℓ < 30, where there is a roughly 2σ downward fluctuation in power relative to the model that best fits the full ℓ range, the ℓ < 800 best-fit parameters shift significantly towards the ℓ < 2500 best-fit parameters. In contrast, including ℓ < 30, this previously noted “low-ℓ deficit” drives ns up and impacts parameters correlated with ns, such as ωm and H0. As expected, the ℓ < 30 data have a much greater impact on the ℓ < 800 best fit than on the ℓ < 2500 best fit. So although the shifts are not very significant, we find that they can be understood through the combined effects of an oscillatory-like set of high-ℓ residuals and the deficit in low-ℓ power, excursions consistent with sample variance that happen to map onto changes in cosmological parameters. Finally, we examine agreement between PlanckTT data and two other CMB data sets, namely the Planck lensing reconstruction and the TT power spectrum measured by the South Pole Telescope, again finding a lack of convincing evidence of any significant deviations in parameters, suggesting that current CMB data sets give an internally consistent picture of the ΛCDM model.Key words: cosmology: observations / cosmic background radiation / cosmological parameters / cosmology: theory (10.1051/0004-6361/201629504)
  DOI : 10.1051/0004-6361/201629504
• Balanced Fair Resource Sharing in Computer Clusters
  
  • Bonald Thomas
  • Comte Céline
  Performance Evaluation, Elsevier, 2017. We represent a computer cluster as a multi-server queue with some arbitrary graph of compatibilities between jobs and servers. Each server processes its jobs sequentially in FCFS order. The service rate of a job at any given time is the sum of the service rates of all servers processing this job. We show that the corresponding queue is quasi-reversible and use this property to design a scheduling algorithm achieving balanced fair sharing of the computing resources. (10.1016/j.peva.2017.08.006)
  DOI : 10.1016/j.peva.2017.08.006
• Towards a framework for the levels and aspects of selfaware computing systems
  
  • Lewis Peter
  • Bellman Kirstie
  • Landauer Chris
  • Esterle Lukas
  • Glette Kyrre
  • Diaconescu Ada
  • Giese Holger
  , 2017, pp.51-85.
• FDOPA Patterns in Adrenal Glands
  
  • Moreau Aurélie
  • Giraudet Anne Laure
  • Kryza David
  • Borson-Chazot Françoise
  • Bournaud-Salinas Claire
  • Mognetti Thomas
  • Lifante Jean-Christophe
  • Combemale Patrick
  • Giammarile Francesco
  • Houzard Claire
  Clinical Nuclear Medicine, Lippincott, Williams & Wilkins, 2017, 42 (5), pp.379-382. (10.1097/RLU.0000000000001636)
  DOI : 10.1097/RLU.0000000000001636
• Goal-oriented Holonic Systems
  
  • Diaconescu Ada
  , 2017, pp.209-258.
• On Stochastic Proximal Gradient Algorithms
  
  • Atchadé Y.
  • Fort Gersende
  • Moulines Eric
  Journal of Machine Learning Research, Microtome Publishing, 2017.
• Towards the Generation of Expressive Co-Speech Gestures
  
  • Ravenet Brian
  • Clavel Chloé
  • Pelachaud Catherine I
  , 2017.
• Acoustic Features for Environmental Sound Analysis
  
  • Serizel Romain
  • Bisot Victor
  • Essid Slim
  • Richard Gael
  , 2017, pp.71-101. Most of the time it is nearly impossible to differentiate between particular type of sound events from a waveform only. Therefore, frequency domain and time-frequency domain representations have been used for years providing representations of the sound signals that are more inline with the human perception. However, these representations are usually too generic and often fail to describe specific content that is present in a sound recording. A lot of work have been devoted to design features that could allow extracting such specific information leading to a wide variety of hand-crafted features. During the past years, owing to the increasing availability of medium scale and large scale sound datasets, an alternative approach to feature extraction has become popular, the so-called feature learning. Finally, processing the amount of data that is at hand nowadays can quickly become overwhelming. It is therefore of paramount importance to be able to reduce the size of the dataset in the feature space. The general processing chain to convert an sound signal to a feature vector that can be efficiently exploited by a classifier and the relation to features used for speech and music processing are described is this chapter. (10.1007/978-3-319-63450-0_4)
  DOI : 10.1007/978-3-319-63450-0_4
• Convergence to multi-resource fairness under end-to-end window control
  
  • Bonald Thomas
  • Roberts James
  • Vitale Christian
  , 2017. The paper relates to multi-resource sharing between flows with heterogeneous requirements as arises in networks with wireless links or software routers implementing network function virtualization. Bottleneck max fairness (BMF) is a sharing objective in this context with good performance. The paper shows that BMF results when local fairness is imposed at each resource while flow rates are controlled by an end-to-end window. We analytically prove convergence to BMF under a fluid model when flows share a network limited to 2 resources while numerical results confirm BMF convergence for larger networks. Simulation results illustrate the impact of packetized transmission.
• Multiview approaches to event detection and scene analysis
  
  • Essid Slim
  • Parekh Sanjeel
  • Duong Ngoc Q. K.
  • Serizel Romain
  • Ozerov Alexey
  • Antonacci Fabio
  • Sarti Augusto
  , 2017, pp.243-276. This chapter addresses sound scene and event classification in multiview settings, that is, settings where the observations are obtained from multiple sensors, each sensor contributing a particular view of the data (e.g., audio microphones, video cameras, etc.). We briefly introduce some of the techniques that can be exploited to effectively combine the data conveyed by the different views under analysis for a better interpretation. We first provide a high-level presentation of generic methods that are particularly relevant in the context of multiview and multimodal sound scene analysis. Then, we more specifically present a selection of techniques used for audiovisual event detection and microphone array-based scene analysis. (10.1007/978-3-319-63450-0_9)
  DOI : 10.1007/978-3-319-63450-0_9
• Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors
  
  • de Vogeleer Karel
  • Memmi Gerard
  • Jouvelot Pierre
  Sustainable Computing : Informatics and Systems, Elsevier, 2017, 15, pp.16-27. Both theoretical and experimental evidence are presented in this work in order to validate the existence of an Energy/Frequency Convexity Rule, which relates energy consumption and microprocessor frequency for nanometer-scale microprocessors. Data gathered during several month-long experimental acquisition campaigns, supported by several independent publications, suggest that energy consumed is indeed depending on the microprocessor's clock frequency, and, more interestingly, the curve exhibits a clear minimum over the processor's frequency range. An analytical model for this behavior is presented and motivated, which fits well with the experimental data. A parameter sensitivity analysis shows how parameters affect the energy minimum in the clock frequency space. The conditions are discussed under which this convexity rule can be exploited, and when other methods are more effective, with the aim of improving the computer system's energy management efficiency. We show that the power requirements of the computer system, besides the microprocessor, and the overhead affect the location of the energy minimum the most. The sensitivity analysis of the Energy/Frequency Convexity Rule puts forward a number of simple guidelines especially for by low-power systems, such as battery-powered and embedded systems, and less likely by high-performance computer systems. (10.1016/j.suscom.2017.05.001)
  DOI : 10.1016/j.suscom.2017.05.001
• Using modular extension to provably protect Edwards curves against fault attacks
  
  • Dugardin Margaux
  • Guilley Sylvain
  • Moreau Martin
  • Najm Zakaria
  • Rauzy Pablo
  Journal of Cryptographic Engineering, Springer, 2017, vol. 7, nb. 4.
• Repenser les médiations. Analyse des manières de faire découvrir et apprécier les œuvres et pratiques culturelles, de la production à la réception
  
  • Bonnéry Stéphane
  • Coavoux Samuel
  • Deslyper Rémi
  • Eloy Florence
  • Francois Sébastien
  • Giraud Frédérique
  • Legon Tomas
  • Mille Muriel
  , 2017.
• Dispositif échantillonneur- bloqueur de signal électrique
  
  • Meyer A.
  • Louis B.
  • Corbière Rémi
  • Petit V.
  • Desgreys Patricia
  • Petit H.
  , 2017.
• Application cases of secret key generation in communication nodes and terminals
  
  • Sibille Alain
  • Delaveau François
  • Kameni Ngassa Christiane L.
  • Molière Renaud
  • Mazloum Taghrid
  • Kotelba Adrian
  • Suomalainen Jani
  • Boumard Sandrine
  • Shapira Nir
  , 2017. The main objective of this chapter is to study explicit key extraction techniques and algorithms for the security of radio communication. After some recalls on the main processing steps (Figure 19.1(a)) and on theoretical results relevant to the radio wiretap model (Figure 19.1(b)), we detail recent experimental results on randomness properties of real field radio channels. Furthermore, we detail a practical implantation of secret key generation (SKG) schemes, based on the Channel Quantization Alternate (CQA) algorithm helped with channel decorrelation techniques, into modern public networks such as WiFi and radio-cells of fourth generation (LTE, long-term evolution). Finally, through realistic simulations and real field experiments of radio links, we analyze the security performance of the implemented SKG schemes, and highlight their significant practical results and perspectives for future implantations into existing and next-generation radio standards.
• Topological relations between bipolar fuzzy sets based on mathematical morphology
  
  • Bloch Isabelle
  , 2017, LNCS 10225, pp.40-51. In many domains of information processing, both vagueness, or imprecision, and bipolarity, encompassing positive and negative parts of information, are core features of the information to be modeled and processed. This led to the development of the concept of bipolar fuzzy sets, and of associated models and tools. Here we propose to extend these tools by defining set theoretical and topological relations between bipolar fuzzy sets, including intersection, inclusion, adjacency and RCC relations widely used in mereotopology, based on bipolar connectives and on mathematical morphology operators.
• A new method based on template registration and deformable models for pelvic bones semi-automatic segmentation in pediatric MRI
  
  • Virzi Alessio
  • Marret Jean-Baptiste
  • Muller Cécile
  • Berteloot Laureline
  • Boddaert Nathalie
  • Sarnacki Sabine
  • Bloch Isabelle
  , 2017, pp.323-326. In this paper we address the problem of bone segmentation in MRI images of children, in the region of the pelvis. To cope with the complex structure of the bones in this region and their changing topology during growth, we propose a method relying on 3D bone templates. These models are built from 3D CT images. For a given MRI volume, the closest template is chosen and registered on the MRI data. This leads to an initial segmentation which is then refined using a deformable model approach, where the regularization parameters depend on the local curvature, and the landmarks used during the registration are fixed anchors during the deformation. This approach was successfully applied to 15 MRI volumes of children between 1 and 18 years old, with an average accuracy in terms of medium distance of M D = 1.17 ± 0.29 mm and Dice Index of DC = 0.81 ± 0.04.
• A top-down engineering curriculum and application to a French "grande école
  
  • Chinchilla Raphael
  • Rodriguez G.
  IEEE Transactions on Education, Institute of Electrical and Electronics Engineers, 2017.
• Exploring structure for long-term tracking of multiple objects in sports videos
  
  • Morimitsu Henrique
  • Bloch Isabelle
  • Cesar R. M.
  Computer Vision and Image Understanding, Elsevier, 2017, 159, pp.89-104. In this paper we propose a novel approach for exploring structural relations to track multiple objects that may undergo long-term occlusion and abrupt motion. We use a model-free approach that relies only on annotations given in the first frame of the video to track all the objects online, i.e. without knowledge from future frames. We initialize a probabilistic Attributed Relational Graph (ARG) from the first frame, which is incrementally updated along the video. Instead of using structural information only to evaluate the scene, the proposed approach considers it to generate new tracking hypotheses. In this way, our method is capable of generating relevant object candidates that are used to improve or recover the track of lost objects. The proposed method is evaluated on several videos of table tennis matches and on the ACASVA dataset. The results show that our approach is very robust, flexible and able to outperform other state-of-the-art methods in sports videos that present structural patterns.
• On metric convexity, the discrete Hahn-Banach theorem, separating systems and sets of points forming only acute angles
  
  • Randriambololona Hugues
  Int. J. of Information and Coding Theory, 2017, 4 (2/3), pp.159-169.
• Brain MRI Segmentation using Fully Convolutional Network and Transfer Learning
  
  • Xu Yongchao
  • Géraud Thierry
  • Puybareau Elodie
  • Bloch Isabelle
  , 2017.
• 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