Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
A discrete-time financial market model is considered with a sequence of investors whose preferences are described by utility functions Un defined on the whole real line. It is s...
We benchmark the Covariance Matrix Adaptation-Evolution Strategy (CMA-ES) algorithm with an Increasing POPulation size (IPOP) restart policy on the BBOB noiseless testbed. The IPO...
LeSelect is a mediator system which allows scientists to publish their resources (data and programs) so they can be transparently accessed. The scientists can typically issue quer...