Entity

Time filter

Source Type


Hoen A.G.,Childrens Hospital Boston | Hoen A.G.,Harvard University | Hoen A.G.,McGill University | Keller M.,Institute Of Recherche En Informatique Et Automatique | And 6 more authors.
Emerging Infectious Diseases | Year: 2012

The current dengue epidemic in Latin America represents a major threat to health. However, surveillance of affected regions lacks timeliness and precision. We investigated real-time electronic sources for monitoring spread of dengue into new regions. This approach could provide timely estimates of changes in distribution of dengue, a critical component of prevention and control efforts.


Gesbert L.,University Paris Est Creteil | Gava F.,University Paris Est Creteil | Loulergue F.,CNRS Orleans Fundamental Informatics Laboratory | Dabrowski F.,Institute Of Recherche En Informatique Et Automatique
Future Generation Computer Systems | Year: 2010

Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementation, avoiding concurrency related problems (deadlocks, indeterminism). Only a limited set of the features of OCaml can be used in BSML to respect its properties of safety: this paper describes a way to add exception handling to this set by extending and adapting OCaml's exceptions. The behaviour of these new exceptions and the syntactic constructs to handle them, together with their implementation, are described in detail, and results over an example are given. © 2009 Elsevier B.V. All rights reserved.


Zouari R.,Institute Of Recherche En Informatique Et Automatique | Zouari R.,SNECMA | Mevel L.,Institute Of Recherche En Informatique Et Automatique | Basseville M.,CNRS Research on Informatics and Random Systems | Basseville M.,French National Center for Scientific Research
Journal of Aircraft | Year: 2012

One important issue to be handled online during flight testing is flutter monitoring, here addressed as a detection problem. From subspace detection algorithms proposed for vibration-based monitoring, several online flutter monitoring algorithms have been designed by the authors. They are based on a recursive version of the subspacebased residual and onan hypothesis test for detecting changes in a specific instability indicator with respectto afixedreference modal parameter (identified on a safe structure). However, the flutter onset time provided by those algorithms turns outto be too conservative. Inthis paper, a moving-reference approachis proposed to overcome that issue. Two adaptive flutter-monitoring algorithms are proposed that update the reference modal state during the online test. The usefulness of the proposed approach is discussed based on experimental results obtained on simulation data provided by two academic and industry-relevant simulated aircraft models. Copyright © by. Publishedbythe American Institute of Aeronautics and Astronautics, Inc.


Tamim A.,Mohammed V University | Minaoui K.,Mohammed V University | Daoudi K.,Institute Of Recherche En Informatique Et Automatique | Yahia H.,Institute Of Recherche En Informatique Et Automatique | Aboutajdine D.,Mohammed V University
IEEE Geoscience and Remote Sensing Letters | Year: 2015

An unsupervised classification method is developed for the coarse segmentation of Moroccan coastal upwelling using the sea surface temperature (SST) satellite images. The algorithm is started with the generation of a c-partitioned labeled image using Otsu's method for the purpose of finding regions of homogenous temperatures. Then, two well-known validity indices are used to select the c-partition that best reproduces the shape of upwelling area. A region-growing algorithm is developed that is used to remove the noisy structures in the offshore waters not belonging to the upwelling area. The algorithm is used to provide a seasonal variability of upwelling activity in the southern Moroccan Atlantic coast using 70 SST images of the years 2007 and 2008. The performance of the proposed methodology has been validated by an oceanographer, showing its effectiveness for automatic delimitation of the Moroccan upwelling region. © 2014 IEEE.

Discover hidden collaborations