In this work we consider the application of two metaheuristics, namely evolution strategies and scatter search, to the problem of fitting rectangular signals to time-data series. The application background is to search for exoplanet-transit signals in stellar photometric observation data.

We apply evolution strategies to optimize the instability growth of several pairs of vortices which model the wake of airplanes in landing configuration. For the case of two pairs, the evolution strategy finds a set of optimal parameters strikingly similar to those found in the linear stability analysis of Crouch (1997). The case of four pairs is also considered and leads to a larger distortion...

This paper proves that, for a normal membership conditional term rewriting system (MCTRS), (1) a reducible term has a needed redex if the MCTRS is nonoverlapping, and (2) whether a redex is nv-needed is decidable.

The current trend in Online Dispute Resolution focuses mostly on the development of technological tools that allow parties to solve conflicts through telecommunication means. However, this tendency leaves aside key issues, namely the context information that was previously available in traditional Alternative Dispute Resolution processes. The main weakness of this approach is that conflict reso...

This paper investigates experimentally how organisational decision processes affect the moral motivations of actors inside a firm that must forego profits to reduce harming a third party. In a “vertical” treatment, one insider unilaterally sets the harm-reduction strategy; the other can only accept or quit. In a “horizontal” treatment, the insiders decide by consensus. Our 2-by-2 design also co...

We study superdevelopments in the weak lambda calculus of Çaǧman and Hindley, a confluent variant of the standard weak lambda calculus in which reduction below lambdas is forbidden. In contrast to developments, a superdevelopment from a term M allows not only residuals of redexes in M to be reduced but also some newly created ones. In the lambda calculus there are three ways new redexes may be ...

This paper proposes to study gender influences on subjective evaluations in images. Our goal is to verify if some common conclusions in psychology experiences are confirmed during the subjective evaluations we organized. Our database and our test strategy are the main originalities of this work. We built a new low semantic images database, composed of 350 natural images. The tests were accessib...

This paper investigates experimentally how organisational decision processes affect the moral motivations of actors inside a firm that must forego profits to reduce harming a third party. In a “vertical” treatment, one insider unilaterally sets the harm-reduction strategy; the other can only accept or quit. In a “horizontal” treatment, the insiders decide by consensus. Our 2-by-2 design also co...

A rewrite sequence is said to be outermost-fair if every outer-most redex occurrence is eventually eliminated. Outermost-fair rewriting is known to be (head-)normalising for almost orthogonal rewrite systems. In this paper we study (head-)normalisation for the larger class of weakly orthogonal rewrite systems. Normalisation is established and a counterexample against head-normalisation is provi...