Publications

2018

• An Improved Path Optimum Algorithm for Container Relocation Problems in Port Terminals Worldwide
  
  • Wang A.
  • Mehmood Fahad
  • Mohmand Y.T.
  • Zheng S.
  Journal of Coastal Research, Coastal Education and Research Foundation, 2018, 34 (3), pp.752--765. The container relocation problem (CRP) for ports worldwide has been a highly significant research topic because of its contribution to the improvement of yard-running efficiency. It can be defined as a sequence that allows each container to be extracted with the least number of relocations when identical containers in a cluster have been stacked in a block. This study differs from previous research mainly in five aspects: (1) a two-level goal programming model for CRP is presented that can help in understanding of this problem and provide a solid theoretical ground for this research; (2) because of the NP time hardness of the CRP, heuristic rules are proposed to reduce hunting space by the way of dividing solution space; (3) an improved path optimum algorithm (I-POA) is proposed to reduce unfeasible solutions and find a high-quality solution for any three-dimensional case in a shorter running time; (4) the numerical experiments show that the algorithm proposed in this research achieves better performance than similar algorithms because of its higher levels of efficiency and more robust property; and (5) a general expression for the utilization level of the storage area and the number of relocations is proposed to check the reliability of the result by conducting a sensitivity analysis. Based on this research, the following conclusion can be obtained: I-POA possesses significant practical value in the improvement of intelligent resource scheduling standards of coastal container ports worldwide. \textcopyright 2018 Coastal Education and Research Foundation, Inc. (10.2112/JCOASTRES-D-17-00056.1)
  DOI : 10.2112/JCOASTRES-D-17-00056.1
• Defining services and service orchestrators acting on shared sensors and actuators
  
  • Baghli Rayhana
  • Najm Elie
  • Traverson Bruno
  , 2018.
• Scalable Model-Based Cascaded Imputation of Missing Data
  
  • Montiel Jacob
  • Read Jesse
  • Bifet Albert
  • Abdessalem Talel
  , 2018, 10939, pp.64-76.
• Unsupervised real-time detection of BGP anomalies leveraging high-rate and fine-grained telemetry data
  
  • Putina Andrian
  • Barth Steven
  • Bifet Albert
  • Pletcher Drew
  • Precup Cristina
  • Nivaggioli Patrice
  • Rossi Dario
  , 2018, pp.1-2. (10.1109/INFCOMW.2018.8406838)
  DOI : 10.1109/INFCOMW.2018.8406838
• Mass Volume Curves and Anomaly Ranking
  
  • Clémençon Stéphan
  • Thomas Albert
  Electronic Journal of Statistics, Shaker Heights, OH : Institute of Mathematical Statistics, 2018, 12 (2). This paper aims at formulating the issue of ranking multivariate unlabeled observations depending on their degree of abnormality as an unsupervised statistical learning task. In the 1-d situation, this problem is usually tackled by means of tail estimation techniques: univariate observations are viewed as all the more `abnormal' as they are located far in the tail(s) of the underlying probability distribution. It would be desirable as well to dispose of a scalar valued `scoring' function allowing for comparing the degree of abnormality of multivariate observations. Here we formulate the issue of scoring anomalies as a M-estimation problem by means of a novel functional performance criterion, referred to as the Mass Volume curve (MV curve in short), whose optimal elements are strictly increasing transforms of the density almost everywhere on the support of the density. We first study the statistical estimation of the MV curve of a given scoring function and we provide a strategy to build confidence regions using a smoothed bootstrap approach. Optimization of this functional criterion over the set of piecewise constant scoring functions is next tackled. This boils down to estimating a sequence of empirical minimum volume sets whose levels are chosen adaptively from the data, so as to adjust to the variations of the optimal MV curve, while controling the bias of its approximation by a stepwise curve. Generalization bounds are then established for the difference in sup norm between the MV curve of the empirical scoring function thus obtained and the optimal MV curve. (10.1214/18-EJS1474)
  DOI : 10.1214/18-EJS1474
• Subsampling for big data : some recent advances
  
  • Bertail Patrice
  • Jelassi Ons
  • Tressou Jessica
  • Zetlaoui Mélanie
  , 2018.
• Planets, candidates, and binaries from the CoRoT/Exoplanet programme
  
  • Deleuil Magali
  • Aigrain Suzanne
  • Moutou Claire
  • Cabrera Juan
  • Bouchy François
  • Deeg Hans-Jörg
  • Almenara J. M.
  • Hébrard Guillaume
  • Santerne Alexandre
  • Alonso Rafael
  • Bonomo Aldo Stefano
  • Bordé Pascal
  • Csizmadia Szilard
  • Diaz Rodrigo Fernando
  • Erikson Anders
  • Fridlund Malcolm
  • Gandolfi Davide
  • Guenther Eike
  • Guillot Tristan
  • Guterman Pascal
  • Grziwa Sascha
  • Hatzes Artie
  • Léger Alain
  • Mazeh Tsevi
  • Ofir Aviv
  • Ollivier Marc
  • Pätzold Martin
  • Parviainen Hannu
  • Rauer Heike
  • Rouan Daniel
  • Schneider Jean
  • Titz-Weider Ruth
  • Tingley Brandon
  • Weingrill Jörg
  Astronomy & Astrophysics - A&A, EDP Sciences, 2018, 619, pp.A97. The CoRoT space mission observed 163 665 stars over 26 stellar fields in the faint star channel. The exoplanet teams detected a total of 4123 transit-like features in the 177 454 light curves. We present the complete re-analysis of all these detections carried out with the same softwares so that to ensure their homogeneous analysis. Although the vetting process involves some human evaluation, it also involves a simple binary flag system over basic tests: detection significance, presence of a secondary, difference between odd and even depths, colour dependence, V-shape transit, and duration of the transit. We also gathered the information from the large accompanying ground-based programme carried out on the planet candidates and checked how useful the flag system could have been at the vetting stage of the candidates. From the initial list of transit-like features, we identified and separated 824 false alarms of various kind, 2269 eclipsing binaries among which 616 are contact binaries and 1653 are detached ones, 37 planets and brown dwarfs, and 557 planet candidates. We provide the catalogue of all these transit-like features, including false alarms. For the planet candidates, the catalogue gives not only their transit parameters but also the products of their light curve modelling: reduced radius, reduced semi-major axis, and impact parameter, together with a summary of the outcome of follow-up observations when carried out and their current status. For the detached eclipsing binaries, the catalogue provides, in addition to their transit parameters, a simple visual classification. Among the planet candidates whose nature remains unresolved, we estimate that eight (within an error of three) planets are still to be identified. After correcting for geometric and sensitivity biases, we derived planet and brown dwarf occurrences and confirm disagreements with Kepler estimates, as previously reported by other authors from the analysis of the first runs: small-size planets with orbital period less than ten days are underabundant by a factor of three in the CoRoT fields whereas giant planets are overabundant by a factor of two. These preliminary results would however deserve further investigations using the recently released CoRoT light curves that are corrected of the various instrumental effects and a homogeneous analysis of the stellar populations observed by the two missions. (10.1051/0004-6361/201731068)
  DOI : 10.1051/0004-6361/201731068
• An iterative multi-atlas patch-based approach for cortex segmentation from neonatal MRI
  
  • Tor-Díez Carlos
  • Passat Nicolas
  • Bloch Isabelle
  • Faisan Sylvain
  • Bednarek Nathalie
  • Rousseau François
  Computerized Medical Imaging and Graphics, Elsevier [1988-....], 2018, 70, pp.73-82. Brain structure analysis in the newborn is a major health issue. This is especially the case for premature neonates, in order to obtain predictive information related to the child development. In particular, the cortex is a structure of interest, that can be observed in MRI (magnetic resonance imaging). However, neonatal MRI data present specific properties that make them challenging to process. In this context, multi-atlas approaches constitute an efficient strategy, taking advantage of images processed beforehand. The method proposed in this article relies on such multi-atlas strategy. More precisely, it uses two paradigms: first, a non-local model based on patches; second, an iterative optimization scheme. Coupling both concepts allows us to consider patches related not only to the image information, but also to the current segmentation. This strategy is compared to other multi-atlas methods proposed in the literature. Experiments show that the proposed approach provides robust cortex segmentation results. (10.1016/j.compmedimag.2018.09.003)
  DOI : 10.1016/j.compmedimag.2018.09.003
• Evolving Attacker Perspectives for Secure Embedded System Design
  
  • Li Letitia W.
  • Lugou Florian
  • Apvrille Ludovic
  , 2018. In our increasingly connected world, security is a growing concern for embedded systems. A systematic design and verification methodology could help detect vulnerabilities before mass production. While Attack Trees help a designer consider the attacks a system will face during a preliminary analysis phase, they can be further integrated into the design phases. We demonstrate that explicitly modeling attacker actions within a system model helps us to evaluate its impact and possible countermeasures. This paper describes how we evolved the SysML-Sec Methodology with ``Attacker Scenarios'' for the improved design of secure embedded systems.