Dear Reader, The MoVES project on Modelling, Verification and Evolution of Software is sponsored by the Belgian government with its “Interuniversity Attraction Poles” (IAP) Programme which aims at providing support for teams of excellence in basic research that belong to Belgium’s various (linguistic) Communities. These teams work as part of a network in order to increase their joint contributi...

Mobile applications and on-body devices are becoming increasingly ubiquitous tools for physical activity tracking. We propose utilizing a self-tracker’s habits to support continuous prediction of whether they will reach their daily step goal, thus enabling a variety of potential persuasive interventions. Our aim is to improve the prediction by leveraging historical data and other qualitative (m...

Dear reader, This here is the third installment of the Fundamental Issues in Modelling, Verification and Evolution of Software (MoVES) newsletter. The goal of the newsletter is to highlight the work performed in the context of the project through the different workpackages. As with previous issues, this edition of the newsletter is divided in two parts, the first one focusing on the results ach...

T concept of dominance among nodes of a branch-and-bound tree, although known for a long time, is typically not exploited by general-purpose mixed-integer linear programming (MILP) codes. The starting point of our work was the general-purpose dominance procedure proposed in the 1980s by Fischetti and Toth, where the dominance test at a given node of the branch-and-bound tree consists of the (po...

Dear Reader, this edition of the MoVES newsletter is dedicated to Workpackage 6, focused on verification methods and tools, and presents results obtained by the University of Liège on that topic. This issue of the newsletter describes three recent results that cover different research topics in the field of verification. The first result, presented on p. 2, introduces an original method for ana...

How does it work and what is it for? Two explanations have been offered. Yarrow et al. hypothesized that it serves to create perceptual continuity across saccadic eye movements during which visual sensitivity is largely reduced, mainly due to saccadic suppression. Rose’s and Summers’ demonstration of chronostasis without eye movements, however, raises a question about this. The time perception ...

In this paper an evolutionary method consisting of encoding a set of local adaptation rules that synapses obey while a robot freely moves in the environment is compared to standard evolution of fixed-weight control networks. The results show that evolutionary adaptive controllers can adapt online without additional evolutionary training to strong environmental changes where instead the performa...

In this paper an evolutionary method consisting of encoding a set of local adaptation rules that synapses obey while a robot freely moves in the environment is compared to standard evolution of fixed-weight control networks. The results show that evolutionary adaptive controllers can adapt online without additional evolutionary training to strong environmental changes where instead the performa...