We consider the links between Ramsey theory in the integers, based on van der Waerden’s theorem, and (boolean, CNF) SAT solving. We aim at using the problems from exact Ramsey theory, concerned with computing Ramsey-type numbers, as a rich source of test problems, where especially methods for solving hard problems can be developed. We start our investigations here by reviewing the known van der...

We would like to thank Tao et al. [1] for their interest in our article [2]. As the authors of the letter point out, our study clearly demonstrates that preoperative anaemia is an important risk factor for morbidity and mortality after aortic valve surgery. While cardiac surgical procedures can be safely performed in this population, anaemic patients experience perioperative complications more ...

The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models – UML models, but there are many open questions such as: Should we assume that the code we write is a model or not; What are models and metamodels, and why do we need them; What does it mean to transform a model into a programmin...

In contrast to the traditional viewpoint of psychopathology, which compulsivity [a repetitive ritualistic behavior which persists albeit its inappropriateness to the given situation and often result in undesirable consequences] and impulsivity [which encompasses actions that are insufficiently conceived, prematurely expressed, excessively risky or inappropriate to the situation, and that often ...

In this paper we present the results of a practical experience on the evaluation of two message-passing middleware platforms for developing distributed applications, i.e. the ACE/TAO Real Time Event Channel (RTEC) and the Maestro/Ensemble group communication toolkit (M/E). In particular, we compare their functionalities and their performances in a simple yet meaningful deployment configuration....

Si le testing adaptatif par ordinateur (TAO) possède des avantages reconnus depuis plusieurs décennies, il recèle également quelques inconvénients. Par exemple, tel que l’a déjà souligné Wainer (2000, p. xxiii), ne serait pas très approprié d’utiliser la stratégie du TAO pour les tests à enjeux critiques (high stake tests) comme examens. De même, puisque nombre d’items administrés selon est lim...

The Adaptive Communication Environment (ACE) and The ACE ORB (TAO) are cutting edge, real-time software products that by nature support and grow from change. Therefore, eXtreme Programming (XP) would seem to be appropriate for these projects. In fact, their developers have been following many XP practices all along. We describe these practices here, and identify some that we do not follow rigor...