An Experimental Study of Adaptive Control for Evolutionary Algorithms

The balance of exploration versus exploitation (EvE) is a key issue on evolutionary computation. In this paper we will investigate how an adaptive controller aimed to perform Operator Selection can be used to dynamically manage the EvE balance required by the search, showing that the search strategies determined by this control paradigm lead to an improvement of solution quality found by the evolutionary algorithm

Biological control of Culicidae with the copepod Mesocyclops aspericornis and larvivirous fish (Poeciliidae) in a village of French Polynesia

Le Copépode #Mesocyclops aspericornis Daday, les poissons larvivores #Gambusia affinis (B. et G.) et #Poecilia reticulata (R. et B.) ont été introduits expérimentalement dans tous les gîtes à moustiques du village de Tuherahera (atoll de Tikehau, Polynésie Française) pour lutter contre les larves de #Aedes aegypti (L.), #A. polynesiensis Marks, #Culex annulirostris Skuse et #C. quinquefasciatus Say, pendant le mois de janvier 1990. Les poissons ont éliminé rapidement les larves de moustiques des gîtes ouverts (puits, étangs). L'impact des Copépodes dans les réservoirs d'eau, "drums" et puits couverts a été faible, dépendant apparemment de la microfaune nécessaire à leur alimentation et à leur croissance. Le taux d'agressivité des #A. aegypti adultes semblant inchangé, cette expérience à l'échelle d'un village a été jugée infructueus

Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem

On the one hand, Constraint Satisfaction Problems allow one to declaratively model problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances. We thus present a technique to declaratively model set constraint problems and to encode them automatically into SAT instances. We apply our technique to the Social Golfer Problem and we also use it to break symmetries of the problem. Our technique is simpler, more declarative, and less error-prone than direct and improved hand modeling. The SAT instances that we automatically generate contain less clauses than improved hand-written instances such as in [20], and with unit propagation they also contain less variables. Moreover, they are well-suited for SAT solvers and they are solved faster as shown when solving difficult instances of the Social Golfer Problem.Comment: Submitted to Annals of Operations researc

A two-stage approach for table extraction in invoices

The automated analysis of administrative documents is an important field in document recognition that is studied for decades. Invoices are key documents among these huge amounts of documents available in companies and public services. Invoices contain most of the time data that are presented in tables that should be clearly identified to extract suitable information. In this paper, we propose an approach that combines an image processing based estimation of the shape of the tables with a graph-based representation of the document, which is used to identify complex tables precisely. We propose an experimental evaluation using a real case application

A Computational Model for Logical Analysis of Data

Initially introduced by Peter Hammer, Logical Analysis of Data is a methodology that aims at computing a logical justification for dividing a group of data in two groups of observations, usually called the positive and negative groups. Consider this partition into positive and negative groups as the description of a partially defined Boolean function; the data is then processed to identify a subset of attributes, whose values may be used to characterize the observations of the positive groups against those of the negative group. LAD constitutes an interesting rule-based learning alternative to classic statistical learning techniques and has many practical applications. Nevertheless, the computation of group characterization may be costly, depending on the properties of the data instances. A major aim of our work is to provide effective tools for speeding up the computations, by computing some \emph{a priori} probability that a given set of attributes does characterize the positive and negative groups. To this effect, we propose several models for representing the data set of observations, according to the information we have on it. These models, and the probabilities they allow us to compute, are also helpful for quickly assessing some properties of the real data at hand; furthermore they may help us to better analyze and understand the computational difficulties encountered by solving methods. Once our models have been established, the mathematical tools for computing probabilities come from Analytic Combinatorics. They allow us to express the desired probabilities as ratios of generating functions coefficients, which then provide a quick computation of their numerical values. A further, long-range goal of this paper is to show that the methods of Analytic Combinatorics can help in analyzing the performance of various algorithms in LAD and related fields

Contrôle d'Aedes aegypti et d'Aedes polynesiensis, vecteurs de dengue et de filariose, avec le copépode prédateur Mesocyclops aspericornis : essais de terrain dans des petites îles du Pacifique (rapport sur la période : Janvier 1990 - Décembre 1990, 3ème et dernière période de financement, et rapport final)

Un bilan est donné sur des essais de lutte biologique en grandeur nature, avec #M. aspericornis contre les moustiques du genre #Aedes. Deux expériences à grande échelle sont décrites : l'une concerne les terriers du crabe terrestre #C. carnifex, l'autre les réservoirs d'eau douce dans un village d'atoll polynésien. Les deux expériences n'ont pas donné entière satisfaction. Des recherches seraient à prévoir pour améliorer les caractéristiques de #M. aspericornis comme prédateur des #Aedes

Contrôle d'Aedes aegypti et d'Aedes polynesiensis, vecteurs de dengue et de filariose, avec le copépode prédateur Mesocyclops aspericornis : essais de terrain dans des petites îles du Pacifique (rapport sur la période : Janvier 1989 - Décembre 1989, deuxième période de financement)

Le copépode prédateur #M. aspericornis est testé en essai réel de lutte biologique contre #Aedes polynesiensis et #Aedes aegypti. Les gîtes traités sont les terriers du crabe terrestre #C. carnifex, sur un îlot d'atoll et une deuxième expérience est menée dans les citernes de stockage d'eau douce dans un village d'atoll. Les résultats font apparaître les limites d'utilisation du copépode comme agent de lutte biologique à grande échell

Release of Mesocyclops aspericornis (Copepoda) for control of larval Aedes polynesiensis (Diptera : Culicidae) in land crab burrows on an atoll of French Polynesia

Sur l'île de Tereia (Rangiroa, Polynésie Française), 14.321 terriers de crabes terrestres ont été traités avec le Copépode #Mesocyclops aspericornis, de janvier à juin 1986, pour lutter contre les larves de #Aedes polynesiensis Marks. En octobre 1987, Tereia a été intégralement retraitée (17.300 terriers), tandis que l'île voisine (Voisin) ne l'était pas, afin de servir de témoin. De 5 à 15 mois après, les terriers traités contenaient une moyenne de 2 Ae.p. immatures contre 97 dans les terriers non traités. La lutte antilarvaire réussit dans les bas-fonds où les terriers restent humides ou en eau. La raison principale pour laquelle #M. aspericornis n'a pas persisté dans les terriers de la totalité de l'île semble être sa mauvaise résistance au dessèchement. Sur tous les terriers traités en octobre 1987 #M. aspericornis a été retrouvé dans 89,5, 39,1 et 24,1 % des terriers échantillonnés respectivement 5, 8 et 15 mois après. Les résultats de cette expérience à grande échelle sur Tereia indiquaient qu'il n'y avait pas de réduction du taux d'agressivité des adultes par comparaison avec Voisin. Quatre expériences de lâchage d'adultes marqués indiquent une faible amplitude de vol et une basse réinfestation interîle