Mutagenesis is a process which forces the coverage of certain zones of the search space during the generations of an evolution strategy, by keeping track of the covered ranges for the different variables in the so called gene matrix. Originally introduced as an artifact to control the automated stopping criterion in a memetic algorithm, ESLAT, it also improved the exploration capabilities of th...

A psychological theory is a set of statements that satisfies five philosophical criteria. The first criterion is that the proposed explanation can be used to deduce the behavioural phenomena to be explained. For example, suppose someone asks, ‘Why is bread good to eat?’ We use operational definitions of ‘bread’ and ‘good to eat’ in order to link these concepts to the world of observations. Defi...

Even though retrieval practice typically has a robust, positive influence on memory, response format (overt vs. covert retrieval) may moderate its effect when students learn complex material. Overt retrieval is likely to promote exhaustive retrieval, whereas covert retrieval may not be exhaustive for familiar key terms. In two experiments, students were instructed to study key-term definitions ...

This paper proposes a mathematical definition of an aircraft-separation criterion for kinematic-based horizontal maneuvers. It has been formally proved that kinematic maneuvers that satisfy the new criterion are independent and coordinated for repulsiveness, i.e., the distance at closest point of approach increases whether one or both aircraft maneuver according to the criterion. The proposed c...

This paper defines a sound and complete semantic criterion, based on reducibility candidates, for strong normalization of theories expressed in minimal deduction modulo à la Curry. The use of Curry-style proof-terms allows to build this criterion on the classic notion of pre-Heyting algebras and makes that criterion concern all theories expressed in minimal deduction modulo. Compared to using C...