Éditeur(s) : HAL CCSD
Résumé : International audience
The Sigma-Lognormal model of the Kinematic Theory of rapid human movements allows us to represent on-line signatures with an analytical neuromuscular model. It has been successfully used in the past to generate synthetic signatures in order to improve the performance of an automatic verification system. In this paper, we attempt for the first time to build a verification system based on the model parameters themselves. For describing individual lognormal strokes, we propose eighteen features which capture cognitive psychomotor characteristics of the signer. They are matched by means of dynamic time warping to derive a dissimilarity measure for signature verification. Promising initial results are reported for an experimental evaluation on the SUSIG visual sub-corpus, which contains some of the most skilled forgeries currently available for research.
17th Biennial Conference of the International Graphonomics Society
Pointe-à-Pitre, Guadeloupe

hal-01165871
https://hal.univ-antilles.fr/hal-01165871
https://hal.univ-antilles.fr/hal-01165871/document
https://hal.univ-antilles.fr/hal-01165871/file/IGS_2015_submission_11.pdf

Éditeur(s) : HAL CCSD SAGE Publications
Résumé : International audience
This work aims at developing a general methodology to determine the spatial changes in the basic reproduction number for vector-borne diseases. This requires a spatially explicit modeling system which will be based on a cellular automata (CA) approach and applied to the Chagas disease for both homogeneous and heterogeneous landscapes. Using an extension of the so-called next-generation matrix, we obtained an expression for the basic reproduction number Formula that characterizes the spatial heterogeneity of the risk of emergence of an outbreak. The performed simulation with the built CA model shows the effect of local vector dispersal in a heterogeneous landscape for Chagas disease transmission.
ISSN: 0037-5497

hal-01271476
https://hal-univ-perp.archives-ouvertes.fr/hal-01271476
DOI : 10.1177/0037549715626520

Éditeur(s) : HAL CCSD
Résumé : International audience
The published literature related to distributed parameter systems theory is quite large, and it is not feasible in a single book to give a detailed review on the wide historical development of all of it. Our choice of what to cover was motivated by the following consideration. Since distributed parameter systems evolve in time and space, the research investigations on their analysis and control focus on considering the whole system domain for any study. We feel strongly that within this research field, animportant consideration was missing; that of considering that the system may give raise to prescribed subdomains (regions) where one has to achieve an objective. This is the case of so many applications ranging from engineering to life sciences. For that reason, covering classical prerequisite in analysis and control areas, we have devoted the book to the extension of the classical distributed parameter results to regional ones.Students of mathematics do not come into contacts with distributed parameter systems during their classes. They are introduced to them when they start research and often they are influenced by the knowledge and the advice of experimented scientists. This was our case at the very beginning of these research investigations in the mid 70’s. We would liketo express our special thanks to many of them and mainly late Professor Anthony J. Pritchard (University of Warwick, GB) and late Professor J.L. Lions (College de France) who were so encouraging in front of our determination in driving an academic carrier. We also express our thanks to our co-workers and research students. We wish to acknowledge the feedback from all those who took courses based on various parts of this book.This book may be used by graduate students in mathematics, engineering, physics, and even by students from other fields such as life or environmental sciences. This book may also be used as an information source for researchers and education professionals. We assume that the readers already know the basic concepts of analysis and control of distributedparameter systems.
https://hal.archives-ouvertes.fr/hal-01297188

ISBN : 978-2-35412-140-2
hal-01297188
https://hal.archives-ouvertes.fr/hal-01297188

Éditeur(s) : HAL CCSD
Résumé : International audience
High-mass-resolution imaging mass spectrometry promises to localize hundreds of metabolites in tissues, cell cultures, and agar plates with cellular resolution, but it is hampered by the lack of bioinformatics tools for automated metabolite identification. We report pySM, a framework for false discovery rate (FDR)-controlled metabolite annotation at the level of the molecular sum formula, for high-mass-resolution imaging mass spectrometry (https://github.com/alexandrovteam/pySM). We introduce a metabolite-signal match score and a target-decoy FDR estimate for spatial metabolomics. © 2017 Nature America, Inc., part of Springer Nature. All rights reserved.
Nature Methods

hal-01467553
https://hal-univ-rennes1.archives-ouvertes.fr/hal-01467553
DOI : 10.1038/nmeth.4072
PUBMED : 27842059

Éditeur(s) : HAL CCSD Elsevier
Résumé : International audience
Resolving the early diversification of animal lineages has proven difficult, even using genome-scale datasets. Several phylogenomic studies have supported the classical scenario in which sponges (Porifera) are the sister group to all other animals (''Porifera-sister''3 hypothesis), consistent with a single origin of the gut, nerve cells, and muscle cells in the stem lineage of eumetazoans (bilaterians + ctenophores + cnidarians). In contrast, several other studies have recovered an alternative topology in which ctenophores are the sister group to all other animals (including sponges). The ``Ctenophora-sister'' hypothesis implies that eumetazoan-specific traits, such as neurons and muscle cells, either evolved once along the metazoan stem lineage and were then lost in sponges and placozoans or evolved at least twice independently in Ctenophora and in Cnidaria + Bilateria. Here, we report on our reconstruction of deep metazoan relationships using a 1,719-gene dataset with dense taxonomic sampling of non-bilaterian animals that was assembled using a semi-automated procedure, designed to reduce known error sources. Our dataset outperforms previous metazoan gene superalignments in terms of data quality and quantity. Analyses with a best-fitting site-heterogeneous evolutionary model provide strong statistical support for placing sponges as the sister-group to all other metazoans, with ctenophores emerging as the second-earliest branching animal lineage. Only those methodological settings that exacerbated long-branch attraction artifacts yielded Ctenophora-sister. These results show that methodological issues must be carefully addressed to tackle difficult phylogenetic questions and pave the road to a better understanding of how fundamental features of animal body plans have emerged.
ISSN: 0960-9822

hal-01681528
https://hal.archives-ouvertes.fr/hal-01681528
DOI : 10.1016/j.cub.2017.02.031

Éditeur(s) : HAL CCSD Elsevier
Résumé : International audience
3D seismic data located in the Gjallar Ridge (Vøring Basin, offshore Norway) reveals a closely-spaced polygonal fault system affecting more than 800 m of homogeneous mud-dominated Quaternary and Tertiary sequences. As some faults reach the modern seafloor, they represent an active polygonal fault system at present day. Even if the processes remain unclear and are still under debate, it is generally agreed that the initiation of polygonal faults is the result of shallow burial dewatering of fine-grained unconsolidated sediments by volumetric compaction. 3D seismic data are commonly interpreted by propagating horizons automatically and by picking faults manually. However, in the case of polygonal fault intervals, this approach is time consuming due to the huge number of faults and because automatic propagation can be misleading. In this study, we applied a new technique of 3D seismic interpretation based on a sequential stratigraphy analysis, using the new PaleoScan© software (Eliis Company). It allowed us to build a 3D geological model computing more than 300 horizons within the faulted intervals. We then used the coherency attribute, depicting anomalies in the shape of seismic waveform like faults, in order to constrain a possible link between fault distribution and stratigraphic levels. Our approach allows fault throws to be calculated in milliseconds on any polygonal fault plane. The result shows that fault segments have been reactivated by dip-linkage. Distribution of faults depends on mechanical units, intervals characterized by different petrophysical properties, which are independent from lithological and diagenetic changes. According to these results, we propose a model showing the evolution of polygonal fault intervals in which faulting stages are separated by a quiescence phase during burial. A first tier of polygonal faults is initiated at a specific depth, according to the Cam-clay model. Then, following a period of quiescence during which mud-rich sediments continued to accumulate, new fault segments are initiated above the first mechanical unit and within this undeformed interval. New nucleated faults then connect downward to pre-existing underlying polygonal fault system, thus progressively increasing the thickness of the faulted interval.
ISSN: 0025-3227

hal-00772470
https://hal.archives-ouvertes.fr/hal-00772470
DOI : 10.1016/j.margeo.2012.07.016

Éditeur(s) : HAL CCSD
Résumé : International audience
La littérature existante sur la stabilité des systèmes est assez importante mais disparate et l’objet de ce livre est de réunir en un seul document les résultats essentiels sur la stabilité des systèmes dynamiques de dimension finie et leurs extensions dans le cas de dimension infinie. Comme les systèmes distribués évoluent dans le temps et l’espace, les explorations et les recherches sur leur stabilité étaient essentiellement centrées sur le domaine global dans lequel évolue le système. Nous avons fortement ressenti que, dans ce sens, des considérations importantes manquaient : celles qui consistentà considérer que le système peut faire l’objet d’intérêt dans une certaine région donnée de ce domaine global. Cela est le cas dans de nombreuses applications allant des sciences de l’ingénieur aux sciences du vivant. Pour cette raison, nous avons dédié cet ouvrage à une extension des résultats classiques au cas régional.Cet ouvrage s’adresse aux étudiants des licences et masters, aux élèves ingénieurs et aux chercheurs intéressés par la stabilité des systèmes dynamiques, sous diverses aspects. Il est organisé en suivant une difficulté croissante. Le premier chapitre portent sur la stabilité et la stabilisabilité des systèmes localisés (c’est-à-dire décrits par des équations différentielles ordinaires), puis sur la stabilité des systèmes linéaires distribués (c’est-à-diredécrits par des équations différentielles aux dérivées partielles). Les chapitres suivants concernent des aspects originaux et innovantsde la stabilité et la stabilisabilité de certaines classes de systèmes motivés par des applications réelles, c’est-à-dire les systèmes semilinéaireset bilinéaires. La stabilité de ces systèmes a été considérée d’un point de vue global et régional. Un aspect particulier concernant la stabilité du gradient a été également considéré pour diverses classes de systèmes.
https://hal.archives-ouvertes.fr/hal-01297263

ISBN : 978-2-35412-231-7
hal-01297263
https://hal.archives-ouvertes.fr/hal-01297263

Éditeur(s) : HAL CCSD
Résumé : International audience
The aim of this study is to perform a simulation of large scale Wireless Sensor Networks (WSN) working on medical diagnosis. The main feature of this WSN is its density and the fact that all sensors are in the same radio range. Our approach helps medical staff to diagnose diseases in an automatic way. In this context, each patient is equipped to a set of sensors. Each sensor is connected to a transducer dedicated to measure a specific health parameter . This WSN will perform some computations and run an alarm when some diseases are suspected. This technique is based on the population protocol to handle data exchanged between sensors. This approach is in fact an efficient distributed algorithm which implies that the diagnose may be done by any sensor dealing with the disease detection. The main result of this paper is: the method supports large scalability which proves its practicability for real cases.
Computers and Communications (ISCC), 2010 IEEE Symposium on Computers and Communications.
Riccione, Italy

hal-00519595
https://hal.archives-ouvertes.fr/hal-00519595

Éditeur(s) : HAL CCSD
Résumé : International audience
Data integration and knowledge capitalization combine data and information coming from different data sources designed by different experts having different purposes. In this paper, we propose to assist the underlying model merging activity. For close models made by experts of various specialities on the same system, we partially automate the identification of a Greatest Common Model (GCM) which is composed of the common concepts (core-concepts) of the different models. Our methodology is based on Formal Concept Analysis which is a method of data analysis based on lattice theory. A decision tree allows to semiautomatically classify concepts from the concept lattices and assist the GCM extraction. We apply our approach on the EIS-Pesticide project, an environmental information system which aims at centralizing knowledge and information produced by different research teams.
14th International Conference on Enterprise Information Systems (ICEIS 2012)
Wroclaw, Poland

lirmm-01319858
http://hal-lirmm.ccsd.cnrs.fr/lirmm-01319858
DOI : 10.1007/978-3-642-40654-6_5

Éditeur(s) : HAL CCSD
Résumé : International audience
This paper focuses on the study of the influence of a newly implemented mechanism on a Pittsburgh-like classifier system. The Adapted Pittsburgh Classifier System is a learning classifier system that uses genetic algorithms to evolve its ruleset. The new mechanism discussed is inspired from Wilson work on the eXtended Classifier System (XCS): it allows the concerned LCS to adapt its rule set when facing a new signal by modifying an existing rule. This mechanism is called covering mechanism due to the fact that the rule is covered up by a new rule which is sensitive to this new signal. Effects of this covering mechanism are first measured on the performances of APCS on well known multi-step environments: maze-type environments (Woods 101 and E2). In addition, further measures presented in this paper indicate that we could possibly rely on the behavior of this covering mechanism to automate the research of a correct cognitive capacity needed by the APCS to solve a given multistep problem.
2008 Eighth International Conference on Hybrid Intelligent Systems
Barcelone, Spain

hal-00520608
https://hal.archives-ouvertes.fr/hal-00520608
DOI : 10.1109/HIS.2008.105

Éditeur(s) : HAL CCSD IRD
Résumé : International audience
The number of satellites and remote sensing sensors devoted to earth observation becomes increasingly high, providing more and more data and especially images. In the same time the access to such a data and to the tools to process them has been considerably improved. In the presence of such data flow - and regarding the necessity to follow up and predict environmental and societal changes in highly dynamic socio-environmental contexts - we need automatic image interpretation methods. This could be accomplished by exploring some strengths of artificial intelligence. Our main idea consists in inducing classification rules that explicitly take into account structural knowledge, using Aleph, an Inductive Logic Programming (ILP) system. We applied our proposed methodology to three land cover/use maps of the French Guiana littoral. One hundred and forty six classification rules were induced for the 39 land-cover classes of the maps. These rules are expressed in first order logic language which make them intelligible and interpretable by non-experts. A ten-fold cross validation gave average values for classification accuracy, specificity and sensibility equal to, respectively, 98.82 %, 99.65% and 70%. The proposed methodology could be valuably exploited to automatically classify new objects and/or help operators using object-based classification procedures.
Symposium of the Latin American Society for Remote Sensing and Spatial Information Systems (SELPER)
Cayenne, French Guiana

ird-00797337
http://hal.ird.fr/ird-00797337
http://hal.ird.fr/ird-00797337/document
http://hal.ird.fr/ird-00797337/file/Bayoudh_et_al_2012_FP_SELPER-086.pdf
IRD : fdi:010058343

Éditeur(s) : HAL CCSD
Résumé : International audience
The aim of this study is to suggest an automated technique for distributed decision. It is based on protocol population deployed on Wireless Sensor Networks (WSN). This approach is able to help medical staff to detect earlier than usual some diseases on patients. It could be easily adapted for many other fields (fire monitoring, environment supervising, ...) In this context, a patient is equipped with health parameter transducers which are connected to a WSN. This WSN will perform some computations and raise an alarm when some diseases are suspected. The algorithm is distributed, i.e., the decision may be done by any mote dealing with the disease detection. The experimentations show promising results.
a venir
Denver, Colorado, United States

hal-00519597
https://hal.archives-ouvertes.fr/hal-00519597

Éditeur(s) : HAL CCSD IEEE
Résumé : International audience
This paper proposes a novel automated approach for the categorization of cells in fluorescence microscopy images. Our supervised classification method aims at recognizing patterns of unlabeled cells based on an annotated dataset. First, the cell images need to be indexed by encoding them in a feature space. For this purpose, we propose tailored bio-inspired features relying on the distribution of contrast information. Then, a supervised learning algorithm is proposed for classifying the cells. We carried out experiments on cellular images related to the diagnosis of autoimmune diseases, testing our classification method on the HEp-2 Cells dataset of Foggia et al (CBMS 2010). Results show classification precision larger than 96% on average, thus confirming promising application of our approach to the challenging application of cellular image classification for computer-aided diagnosis.
ICPR 2012
Tsukuba, Japan

hal-00958856
https://hal.archives-ouvertes.fr/hal-00958856
https://hal.archives-ouvertes.fr/hal-00958856/document
https://hal.archives-ouvertes.fr/hal-00958856/file/icpr_2012.pdf

Éditeur(s) : HAL CCSD
Résumé : International audience
A key issue for any project that aims to study endangered animals is the counting process. In this work, we propose an algorithm for automatic counting of singing birds in their habitat by using wireless sensors fitted with microphone. Sensors are used to record audio samples of bird songs and samples are analyzed to extract fingerprints that permit to recognize bird species. This paper details the counting algorithm that uses graph theory and audio inputs comparison. Finally, we demonstrate our scheme efficiency through experimentations.
International Symposium on a World of Wireless, Mobile and Multimedia Networks
Lucca, Italy

hal-00618563
https://hal.archives-ouvertes.fr/hal-00618563
DOI : 10.1109/WoWMoM.2011.5986215

Éditeur(s) : HAL CCSD Cépaduès-Éditions
Résumé : International audience
Nous présentons dans cet article un nouvel automate : le FIA qui permet de traiter de façon efficace la problématique de l'extraction des itemsets fréquents dans les data streams. Le FIA est une structure de données très compacte et informative qui, par ailleurs, présente des propriétés incrémentales facilitant grandement la mise à jour avec une granularité très fine. L'algorithme développé pour la mise à jour du FIA effectue un unique passage sur les données qui sont prises en compte par batch, itemset par itemset et pour chaque itemset, item par item. Utilisé dans le cadre d'une approche prédictive, le FIA permet d'indexer les itemsets véritablement fréquents du stream en maximisant soit le rappel soit la précision.
EGC: Extraction et Gestion des Connaissances
Nice, France

hal-00447420
https://hal.archives-ouvertes.fr/hal-00447420
https://hal.archives-ouvertes.fr/hal-00447420/document
https://hal.archives-ouvertes.fr/hal-00447420/file/2008--Jean-Emile_Symphor--Le_FIA_un_nouvel_automate_permettant_l_extraction_efficace_d_itemsets_frequents_dans_les_data_streams.pdf

Éditeur(s) : HAL CCSD Cépaduès-Éditions
Résumé : International audience
Nous présentons dans cet article un nouvel algorithme permettant la construction et la mise à jour incrémentale du FIAθ : FIASCO. Notre algorithme effectue un seul passage sur les données et permet de prendre en compte les nouveaux batches, itemset par itemset et pour chaque itemset, item par item.
EGC: Extraction et Gestion des Connaissances
Nice, France

hal-00447421
https://hal.archives-ouvertes.fr/hal-00447421
https://hal.archives-ouvertes.fr/hal-00447421/document
https://hal.archives-ouvertes.fr/hal-00447421/file/2008--Lionel_Vinceslas--FIASCO_un_nouvel_algorithme_d_extraction_d_itemsets_frequents_dans_les_flots_de_donnees.pdf

Éditeur(s) : HAL CCSD
Résumé : International audience
The aim of this study is to suggest two automated techniques able to help medical staff to detect earlier than usual some diseases using wireless sensor networks (WSNs). In this context, a patient is equipped with physical sensors (for temperature, pressure, ..). This WSN will perform some computations and will run an alarm when a disease is suspected. The first technique uses a population protocol to handle data exchanged between motes and provides an efficient algorithm to suggest that a disease is diagnosed on a patient. The algorithm is distributed, i.e., the decision may be done by any mote dealing with the disease detection. The second technique uses a token algorithm where, some motes, denoted as masters. Each of them is in charge of deciding if a specific disease occurs. This technique is not totally distributed but enhances the network efficiency regarding to the energy consumption, the time execution and the number of exchanged messages.
Proceedings of The Ninth IEEE International Symposium on Networking Computing and Applications
Cambridge, MA, United States

hal-00519599
https://hal.archives-ouvertes.fr/hal-00519599

Éditeur(s) : HAL CCSD
Résumé : International audience
The study of complex biological processes requires to forgo simplified models for extensive ones. Yet, these models' size and complexity place them beyond understanding. Their analysis requires new methods for identifying general patterns. The Transforming Growth Factor TGF-β is a multifunctional cytokine that regulates mammalian cell development , differentiation, and homeostasis. Depending on the context, it can play the antagonistic roles of growth inhibitor or of tumor promoter. Its context-dependent pleiotropic nature is associated with complex sig-naling pathways. The most comprehensive model of TGF-β-dependent signaling is composed of 15,934 chains of reactions (trajectories) linking TGF-β to at least one of its 159 target genes. Identifying functional patterns in such a network requires new automated methods. This article presents a framework for identifying groups of similar trajec-tories composed of the same molecules using an exhaustive and without prior assumptions approach. First, the trajectories were clustered using the Relevant Set Correlation model, a shared nearest-neighbors clustering method. Five groups of trajectories were identified. Second, for each cluster the over-represented molecules were determined by scoring the frequency of each molecule implicated in trajectories. Third, Gene set enrichment analysis on the clusters of trajectories revealed some specific TGF-β-dependent biological processes, with different clusters associated to the antagonists roles of TGF-β. This confirms that our approach yields biologically-relevant results. We developed a web interface that facilitates graph visualization and analysis. Our clustering-based method is suitable for identifying families of functionally-similar trajectories in the TGF-β signaling network. It can be generalized to explore any large-scale biological pathways.
CMSB 2017 - 15th International Conference on Computational Methods in Systems Biology
Darmstadt, France

hal-01559249
https://hal.archives-ouvertes.fr/hal-01559249
https://hal.archives-ouvertes.fr/hal-01559249/document
https://hal.archives-ouvertes.fr/hal-01559249/file/JeanCoquet_CMSB.pdf

Éditeur(s) : HAL CCSD Elsevier
Résumé : International audience
The number of satellites and sensors devoted to Earth observation has become increasingly elevated, delivering extensive data, especially images. At the same time, the access to such data and the tools needed to process them has considerably improved. In the presence of such data flow, we need automatic image interpretation methods, especially when it comes to the monitoring and prediction of environmental and societal changes in highly dynamic socio-environmental contexts. This could be accomplished via artificial intelligence. The concept described here relies on the induction of classification rules that explicitly take into account structural knowledge, using Aleph, an Inductive Logic Programming (ILP) system, combined with a multi-class classification procedure. This methodology was used to monitor changes in land cover/use of the French Guiana coastline. One hundred and fifty-eight classification rules were induced from 3 diachronic land cover/use maps including 38 classes. These rules were expressed in first order logic language, which makes them easily understandable by non-experts. A 10-fold cross-validation gave significant average values of 84.62%, 99.57% and 77.22% for classification accuracy, specificity and sensitivity, respectively. Our methodology could be beneficial to automatically classify new objects and to facilitate object-based classification procedures.
ISSN: 0098-3004

hal-01369822
https://hal.archives-ouvertes.fr/hal-01369822
https://hal.archives-ouvertes.fr/hal-01369822/document
https://hal.archives-ouvertes.fr/hal-01369822/file/CAGEO-D-13-00538R1_article.pdf
DOI : 10.1016/j.cageo.2014.08.013

Éditeur(s) : HAL CCSD
Résumé : International audience
The published literature related to distributed parameter systems theoryis quite large, and it is not feasible in a single book to give a detailedreview on the wide historical development of all of it. Our choice of whatto cover was motivated by the following consideration. Since distributedparameter systems evolve in time and space, the research investigationson their analysis and control focus on considering the whole system domainfor any study. We feel strongly that within this research field, animportant consideration was missing; that of considering that the systemmay give raise to prescribed subdomains (regions) where one has toachieve an objective. This is the case of so many applications rangingfrom engineering to life sciences. For that reason, covering classical prerequisitein analysis and control areas, we have devoted the book to theextension of the classical distributed parameter results to regional ones.Students of mathematics do not come into contacts with distributedparameter systems during their classes. They are introduced to themwhen they start research and often they are influenced by the knowledgeand the advice of experimented scientists. This was our case at the verybeginning of these research investigations in the mid 70’s. We would liketo express our special thanks to many of them and mainly late ProfessorAnthony J. Pritchard (University of Warwick, GB) and late Professor J.L. Lions (College de France) who were so encouraging in front of our determinationin driving an academic carrier. We also express our thanksto our co-workers and research students. We wish to acknowledge thefeedback from all those who took courses based on various parts of thisbook.This book may be used by graduate students in mathematics, engineering,physics, and even by students from other fields such as life orenvironmental sciences. This book may also be used as an informationvi Avant-propossource for researchers and education professionals. We assume that thereaders already know the basic concepts of analysis and control of distributedparameter systems.
https://hal.archives-ouvertes.fr/hal-01297261

ISBN : 978-2-35412-140-2
hal-01297261
https://hal.archives-ouvertes.fr/hal-01297261