Publications

2019

• Mathematical Morphology on a Few Discrete Structures
  
  • Bloch Isabelle
  , 2019.
• Reconstruction 3D en IRM du pelvis de l'enfant : segmentation des structures osseuses par intelligence artificielle
  
  • Peyrot Q.
  • Muller C.
  • Virzi A.
  • Delmonte A.
  • Meignan P.
  • Berteloot L.
  • Grevent D.
  • Blanc T.
  • Gori P.
  • Boddaert N.
  • Bloch Isabelle
  • Sarnacki S.
  , 2019.
• Minimal Linear codes with few weights and their secret sharing.
  
  • Mesnager Sihem
  • Sinak A.
  • Yayla O.
  International Journal of Information Security Science, 2019.
• Some Results About a Conjecture on Identifying Codes in Complete Suns
  
  • Hudry Olivier
  • Lobstein Antoine
  International Transactions in Operational Research, Wiley, 2019, 26 (2), pp.732-746. Consider a graph G = (V, E) and, for every vertex v ∈ V , denote by B(v) the set {v} ∪ {u : uv ∈ E}. A subset C ⊆ V is an identifying code if the sets B(v) ∩ C, v ∈ V , are all nonempty and distinct. It is a locating-dominating code if the sets B(v) ∩ C, v ∈ V \ C, are all nonempty and distinct. Let S n be the graph whose vertex set can be partitioned into two sets U n and V n , where U n = {u 1 , u 2 ,. .. , u n } induces a clique, and V n = {v 1,2 , v 2,3 ,. .. , v n−1,n , v n,1 } induces an independent set, with edges v i,i+1 u i and v i,i+1 u i+1 , 1 ≤ i ≤ n; computations are carried modulo n. This graph is called a complete sun. We prove the conjecture, stated by Argiroffo, Bianchi and Wagler in 2014, that the smallest identifying code in S n has size equal to n. We also characterize and count all the identifying codes with size n in S n. Finally, we determine the sizes of the smallest locating-dominating codes in S n . (10.1111/itor.12320)
  DOI : 10.1111/itor.12320
• Harder-Narasimhan theory for linear codes (with an appendix on Riemann-Roch theory)
  
  • Randriambololona Hugues
  J. Pure Appl. Algebra, 2019.
• On the nonlinearity of Boolean functions with restricted input.
  
  • Mesnager Sihem
  • Zhou Z.
  • Ding C.
  Journal of Cryptography and Communications- Discrete Structures, Boolean Functions, and Sequences, 2019.
• Relay Placement for Reliable Ranging in Cooperative mm-Wave Systems
  
  • Ghatak Gourab
  • de Domenico Antonio
  • Coupechoux Marceau
  IEEE Wireless Communications Letters, Institute of Electrical and Electronics Engineers, 2019, 8 (5), pp.1324-1327. We study millimeter wave based ranging of randomly located terminal nodes (TN) using fixed relay nodes (RN) deployed around a central node (CN). This setting may correspond to a disaster-relief scenario where the rescuers require positioning information in the absence of a global positioning system (GPS). We derive the Bayesian Cramer-Rao lower bound (BCRLB) for the TNs range estimation from the CN as well as from the RNs in this network using a stochastic geometry framework. Contrary to existing studies, we take the effect of link-blockages into account while deriving the BCRLB, and thereby present a more accurate bound on the ranging error. For the special case of no blockages, we formulate a convex problem for obtaining the optimal relay positions. Our results provide the operator a guideline for initial deployment planning, in terms of number and location of RNs to be deployed in order to achieve an accurate ranging. (10.1109/LWC.2019.2915824)
  DOI : 10.1109/LWC.2019.2915824
• Ratio-Based Multitemporal SAR Images Denoising: RABASAR
  
  • Zhao Weiying
  • Deledalle Charles-Alban
  • Denis Loïc
  • Maître Henri
  • Nicolas Jean-Marie
  • Tupin Florence
  IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2019. In this paper, we propose a fast and efficient multitemporal despeckling method. The key idea of the proposed approach is the use of the ratio image, provided by the ratio between an image and the temporal mean of the stack. This ratio image is easier to denoise than a single image thanks to its improved stationarity. Besides, temporally stable thin structures are well preserved thanks to the multi-temporal mean. The proposed approach can be divided into three steps: 1) estimation of a “super-image” by temporal averaging and possibly spatial denoising; 2) denoising of the ratio between the noisy image of interest and the “super-image”; 3) computation of the denoised image by re-multiplying the denoised ratio by the “super-image”. Because of the improved spatial stationarity of the ratio images, denoising these ratio images with a speckle-reduction method is more effective than denoising images from the original multi-temporal stack. The amount of data that is jointly processed is also reduced compared to other methods through the use of the “super-image” that sums up the temporal stack. The comparison with several state-of-the-art reference methods shows better results numerically (peak signal-noise-ratio, structure similarity index) as well as visually on simulated and SAR time series. The proposed ratio-based denoising framework successfully extends single-image SAR denoising methods to time series by exploiting the persistence of many geometrical structures. (10.1109/TGRS.2018.2885683)
  DOI : 10.1109/TGRS.2018.2885683
• A Simple and Exact Algorithm to Solve Linear Problems with l1 -based Regularizers
  
  • Tendero Yohann
  • Ciril Igor
  • Darbon Jérôme
  , 2019.
• Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions
  
  • Aiguier Marc
  • Bloch Isabelle
  Journal of Applied Non-Classical Logics, Taylor & Francis, 2019, 29 (4), pp.392-429. Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphology. Based on this observation, this paper proposes to define, at the abstract level of institutions, a pair of abstract dual and logical operators as morphological erosion and dilation. Standard quantifiers and modalities are then derived from these two abstract logical operators. These operators are studied both on sets of states and sets of models. To cope with the lack of explicit set of states in institutions, the proposed abstract logical dual operators are defined in an extension of institutions, the stratified institutions, which take into account the notion of open sentences, whose satisfaction is parametrised by sets of states. A hint on the potential interest of the proposed framework for spatial reasoning is also provided. (10.1080/11663081.2019.1668678)
  DOI : 10.1080/11663081.2019.1668678
• Etude exploratoire du réseau nerveux pelvien par tractographie
  
  • Muller C.
  • Delmonte A.
  • Meignan P.
  • Peyrot Q.
  • Virzi A.
  • Berteloot L.
  • Grevent D.
  • Blanc T.
  • Gori P.
  • Boddaert N.
  • Bloch Isabelle
  • Sarnacki S.
  , 2019.
• Structural information and (hyper)graph matching for MRI piglet brain extraction
  
  • Durandeau Alexandre
  • Fasquel Jean-Baptiste
  • Bloch Isabelle
  • Mazerand Edouard
  • Menei Philippe
  • Montero-Menei Claudia
  • Dinomais Mickaël
  , 2019, pp.76-81. In the context of the study of the maturation process of the infant brain, this paper focuses on postnatal piglet brain, whose structure is similar to the one of an infant. Due to the small size of the piglet brain and the abundance of surrounding fat and muscles, the automatic brain extraction using correctely initialized deformable models is tedious, and the standard approach used for human brain does not apply. The paper proposes an original brain extraction method based on a deformable model, whose initialization is guided by a priori known relationships between some anatomical structures of the head. This concerns a structural model related to a priori known inclusion and photometric relationships between eyes, nose and other internal head entities (fat and muscles). This a priori structural information also involves the relative position of both eyes and nose, assumed to be an anatomical invariant similar to a triangle. Using this structural model, our proposal detects both eyes and nose, from which one deduces the brain center, for finally initializing deformable models. Anatomical structures are retrieved by matching observed relationships with those embedded in the a priori structural model. This involves graph and hypergraph matching, where hypergraph matching concerns relative position of eyes and nose (ternary constraint related to these 3 entities). The method has been implemented and preliminary experiments have been performed on a set of 6 piglets, to evaluate the accuracy of the brain center localization, the one of the final brain extraction using deformable models. The brain center is correctly localized with a mean error of 1.7 mm, underlying the relevance of the approach. The mean similarity index has been measured to be of 0.85 (with a standard deviation of 0.04). More generally, this work illustrates the potential of considering high level a priori known relationships, related to anatomical invariants, managed using graph and hypergraph matching.
• From Structuring Elements to Structuring Neighborhood Systems
  
  • Goy Alexandre
  • Aiguier Marc
  • Bloch Isabelle
  , 2019, LNCS 11564, pp.16-28. In the context of mathematical morphology based on structuring elements to define erosion and dilation, this paper generalizes the notion of a structuring element to a new setting called structuring neighborhood systems. While a structuring element is often defined as a subset of the space, a structuring neighborhood is a subset of the subsets of the space. This yields an extended definition of erosion; dilation can be obtained as well by a duality principle. With respect to the classical framework, this extension is sound in many ways. It is also strictly more expressive, for any structuring element can be represented as a structuring neighborhood but the converse is not true. A direct application of this framework is to generalize modal morpho-logic to a topological setting. (10.1007/978-3-030-20867-7_2)
  DOI : 10.1007/978-3-030-20867-7_2
• Pruning neural networks thanks to morphological layers
  
  • Blusseau Samy
  • Zhang Yunxiang
  • Velasco-Forero Santiago
  • Bloch Isabelle
  • Angulo Jesus
  , 2019, pp.17. Motivated by recent advances in morphological neural networks, we further study the properties of morphological units when incorporated in layers of conventional neural networks. We confirm and extend the observation that a Max-plus layer can be used to select relevant filters and reduce redundancy in its previous layer, without incurring performance loss. We present several experiments in image processing, showing that this filter selection property seems efficient and robust. We also point out the close connection between Maxout networks and our pruned Max-plus networks. The code related to our experiments is available online (https://github.com/yunxiangzhang).
• Robust Segmentation of Corpus Callosum in Multi-Scanner Pediatric T1-w MRI using Transfer Learning
  
  • La Barbera Giammarco
  • Bloch Isabelle
  • Barraza Gonzalo
  • Adamsbaum Catherine
  • Gori Pietro
  , 2019.
• A Review of Sparse Recovery Algorithms
  
  • Crespo Marques Elaine
  • Maciel Nilson
  • Naviner Lirida
  • Cai Hao
  • Yang Jun
  IEEE Access, IEEE, 2019, 7, pp.1300-1322. Nowadays, a large amount of information has to be transmitted or processed. This implies high-power processing, large memory density, and increased energy consumption. In several applications, such as imaging, radar, speech recognition, and data acquisition, the signals involved can be considered sparse or compressive in some domain. The compressive sensing theory could be a proper candidate to deal with these constraints. It can be used to recover sparse or compressive signals with fewer measurements than the traditional methods. Two problems must be addressed by compressive sensing theory: design of the measurement matrix and development of an efficient sparse recovery algorithm. These algorithms are usually classified into three categories: convex relaxation, non-convex optimization techniques, and greedy algorithms. This paper intends to supply a comprehensive study and a state-of-the-art review of these algorithms to researchers who wish to develop and use them. Moreover, a wide range of compressive sensing theory applications is summarized and some open research challenges are presented. (10.1109/ACCESS.2018.2886471)
  DOI : 10.1109/ACCESS.2018.2886471
• Optimal survey schemes for stochastic gradient descent with applications to M-estimation
  
  • Clémençon Stéphan
  • Bertail Patrice
  • Chautru Emilie
  • Papa Guillaume
  ESAIM: Probability and Statistics, EDP Sciences, 2019, 23, pp.310-337. Iterative stochastic approximation methods are widely used to solve M-estimation problems, in the context of predictive learning in particular. In certain situations that shall be undoubtedly more and more common in the Big Data era, the datasets available are so massive that computing statistics over the full sample is hardly feasible, if not unfeasible. A natural and popular approach to gradient descent in this context consists in substituting the “full data” statistics with their counterparts based on subsamples picked at random of manageable size. It is the main purpose of this paper to investigate the impact of survey sampling with unequal inclusion probabilities on stochastic gradient descent-based M-estimation methods. Precisely, we prove that, in presence of some a priori information, one may significantly increase statistical accuracy in terms of limit variance, when choosing appropriate first order inclusion probabilities. These results are described by asymptotic theorems and are also supported by illustrative numerical experiments. (10.1051/ps/2018021)
  DOI : 10.1051/ps/2018021
• Tree Sampling Divergence: An Information-Theoretic Metric for Hierarchical Graph Clustering
  
  • Charpentier Bertrand
  • Bonald Thomas
  , 2019. We introduce the tree sampling divergence (TSD), an information-theoretic metric for assessing the quality of the hierarchical clustering of a graph. Any hierarchical clustering of a graph can be represented as a tree whose nodes correspond to clusters of the graph. The TSD is the Kullback-Leibler divergence between two probability distributions over the nodes of this tree: those induced respectively by sampling at random edges and node pairs of the graph. A fundamental property of the proposed metric is that it is interpretable in terms of graph reconstruction. Specifically, it quantifies the ability to reconstruct the graph from the tree in terms of information loss. In particular, the TSD is maximum when perfect reconstruction is feasible, i.e., when the graph has a hierarchical structure and can be reconstructed exactly from the corresponding tree. Another key property of TSD is that it applies to any tree, not necessarily binary. In particular, the TSD applies to trees of height 2, corresponding to the case of usual clustering (not hierarchical) whose output is a partition of the set of nodes. The TSD can thus be viewed as a universal metric, applicable to any type of clustering. Moreover, the TSD can be used in practice to compress a binary tree while minimizing the information loss in terms of graph reconstruction, so as to get a compact representation of the hierarchical structure of a graph. We illustrate the behavior of TSD compared to existing metrics on experiments based on both synthetic and real datasets.
• Gaps between prime numbers and tensor rank of multiplication in finite fields
  
  • Randriambololona Hugues
  Designs, Codes and Cryptography, Springer Verlag, 2019.
• Progressive hologram transmission using a view-dependent scalable compression scheme
  
  • Rhammad Anas El
  • Gioia Patrick
  • Gilles Antonin
  • Cagnazzo Marco
  Annals of Telecommunications - annales des télécommunications, Springer, 2019. Over the last few years, holography has been emerging as an alternative to stereoscopic imaging since it provides users with the most realistic and comfortable three-dimensional (3D) experience. However, high quality holograms enabling a free-viewpoint visualization contain tremendous amount of data. Therefore, a user willing to access to a remote hologram repository would face high downloading time, even with high speed networks. To reduce transmission time, a joint viewpoint-quality scalable compression scheme is proposed. At the encoder side, the hologram is first decomposed into a sparse set of diffracted light rays using Matching Pursuit over a Gabor atoms dictionary. Then, the atoms corresponding to a given user's viewpoint are selected to form a sub-hologram. Finally, the pruned atoms are sorted and encoded according to their importance for the reconstructed view. The proposed approach allows a progressive decoding of the sub-hologram from the first received atom. Streaming simulations for a moving user reveal that our approach outperforms conventional scalable codecs such as scalable H.265 and enables a practical streaming with a better quality of experience.
• Dynamic and nonlinear properties of epitaxial quantum dot lasers on silicon for isolator-free integration
  
  • Duan Jianan
  • Huang Heming
  • Dong Bozhang
  • Norman Justin C
  • Zhang Zeyu
  • Bowers John
  • Grillot Frederic
  Photonics research, Optical Society of America, 2019, 7 (11), pp.1222. (10.1364/PRJ.7.001222)
  DOI : 10.1364/PRJ.7.001222
• Codes, Cryptology and Information Security
  
  • Carlet Claude
  • Guilley Sylvain
  • Nitaj Abderrahmane
  • Souidi El Mamoun
  , 2019. (10.1007/978-3-030-16458-4)
  DOI : 10.1007/978-3-030-16458-4
• Noninvasive vascular occlusion with HIFU for venous insufficiency treatment: preclinical feasibility experience in rabbits
  
  • Barnat N
  • Grisey A
  • Lecuelle B
  • Anquez J.
  • Gerold B
  • Yon S.
  • Aubry J.-F
  Physics in Medicine and Biology, IOP Publishing, 2019, 64 (2), pp.025003. Venous insufficiency is a common disease arising when veins of the lower limb become incompetent. A conventional surgical strategy consists in stripping the incompetent veins. However, this treatment option is invasive and carries complication risks. In the present study, we propose noninvasive high-intensity focused ultrasound (HIFU) to treat lower limbs venous insufficiency, in particular incompetent perforating veins (mean diameter between 2-6 mm). Sonication parameters were designed by numerical simulations using the k-Wave toolbox to ensure continuous coagulation of a vein with a diameter superior or equal to 2 mm. The selected ultrasound exposures were 4 seconds pulses in continuous wave mode. Two types of sonication were studied: (1) fixed pulses and (2) moving pulses at constant speed (0.75 mm.s-1) across the vein. The potential of these exposures to thermally occlude veins were investigated in vivo on rabbit saphenous veins. The impact of vein compression during ultrasonic exposure was also investigated. Fifteen rabbits were used in these trials. A total of 27 saphenous veins (mean diameter 2.0 ± 0.6 mm) were sonicated with a transducer operated at 3 MHz. After a mean 15 days follow-up, rabbits were euthanized and venous samples were extracted and sent for histologic assessment. Only samples with the vein within the HIFU lesion were considered for analysis. Simulated thermal damage distribution demonstrated that fixed pulses and moving pulses respectively placed every 1.5 and 0.5 mm along the vein and delivered at an acoustic power of 85 W and for 4 seconds were able to induce continuous thermal damages along the vein segments. Experimentally, both treatment parameters (1) and (2) have proven effective to occlude veins with a success rate of 82%. Occlusion was always observed when compression was applied. Our results demonstrate that HIFU can durably and non-invasively occlude veins of diameters comparable to human veins. (10.1088/1361-6560/aaf58d)
  DOI : 10.1088/1361-6560/aaf58d
• Introduction à l’optimisation continue et discrète (première édition)
  
  • Charon Irène
  • Hudry Olivier
  , 2019, pp.1-502. Ce livre propose une introduction aux méthodes d’optimisation continue ou discrète en quatre parties : 1. optimisation linéaire (algorithme du simplexe, théorie de la dualité) 2. optimisation continue non linéaire (avec ou sans contraintes ; relaxation lagrangienne) 3. résolution de problèmes d’optimisation polynomiaux en théorie des graphes (arbres couvrants de poids minimum, plus courts et plus longs chemins, flot maximum et applications des flots) 4. résolution de problèmes difficiles en optimisation combinatoire (théorie de la NP-complétude, heuristiques et métaheuristiques, méthodes arborescentes par séparation et évaluation, programmation dynamique ; applications à des problèmes classiques). Chaque chapitre contient des exercices et leurs solutions. En outre, une cinquième partie propose des problèmes corrigés ; chacun de ces problèmes implique différents chapitres du livre, pour favoriser une meilleure compréhension des interactions entre ceux-ci. L’accent y est mis en particulier sur la modélisation des problèmes traités.
• Crusts on the Eyelashes
  
  • Ouedraogo Muriel
  • Ventejou Sarah
  • Leducq Sophie
  • Desoubeaux Guillaume
  • Maruani Annabel
  J Pediatr, 2019. A 27-month-old boy was referred to pediatric dermatology for the evaluation of crusts on his eyelashes; they had been present for 2 months and were increasing in number. The crusts had appeared after a trip to Bulgaria, where his family had been sleeping in several different hotels and places. Physical examination showed crusts on both eyelashes and a few crusts on the front part of his scalp. He had slight conjunctivitis and palpebral pruri-tis. The child was in good health and the physical examination was otherwise normal. His weight was 13.5 kg. Findings of a dermoscopy examination revealed that the crusts actually consisted of agglomerates of nits on the prox-imal side of the eyelashes, and several parasites were visible (Figure). There were a few parasites on the front part of his scalp hair also. The hair on his father's chest had several nits. Parasitology examination revealed that the parasites were Phtirus pubis. The child and his parents were given oral ivermectin 400 mg/kg (day 1 and day 7) and topical ophthalmologic rifamycin ointment once a day for 7 days, along with manual removal of the nits and parasites. Complete remission was obtained after 3 weeks of treatment. After interrogation, we concluded that phthiriasis had been transmitted from the father's chest to the child, who used to sleep on the chest of his parents. Phthiriasis palpebrarum is very uncommon in children, especially infants. It can reach the eyelashes but also can extend to the hair and might be complicated by conjunctivitis by an irritative mechanism. 1,2 The clinical diagnosis is confirmed by parasitology examination. The treatment usually consists of mechanical (manual or with tweezers) removal of nits and parasites using petrolatum. In our case, ophthalmologic rifamycin ointment was used to treat the conjunctivitis and facilitated manual removal. We added ivermectin treatment with the dosage recommended for difficult-to-treat head lice, 3,4 which is greater than that for scabies. Phthiriasis in children must always raise the question of the contamination method, which in children is secondary to contact with an infested adult. The origins of this infection need to be carefully discerned, and the question of sexual abuse must be raised. 5 n (10.1016/j.jpeds.2019.02.002)
  DOI : 10.1016/j.jpeds.2019.02.002