One of the absolute greats of primatology, Toshisada Nishida (March 3, 1941– June 7, 2011), recently passed away at the age of 70 (Figure 1). We have come such a long way in our knowledge of chimpanzees, and the discoveries have reached us in such a gradual and cumulative fashion, that it is easy to forget how little was known when Nishida set out for Africa to establish one of the first chimpa...

This paper addresses the question of how to incorporate constraint propagation into logic programming. A likely candidate is the CLP scheme, which allows one to exploit algorithmic opportunities while staying within logic programming semantics. CLP(R) is an example: it combines logic programming with the algorithms for solving linear equalities and inequalities. In this paper we describe two co...

Attention is focused in this paper on the approximation problem of system identii-cation with information theoretic criteria. For a class of problems it is shown that the criterion of mutual information rate is identical to the criterion of exponential-of-quadratic cost and to H 1 entropy. In addition the relation between the likelihood function and divergence is explored. As a consequence of t...

médée d’anouilh, resurgie des profondeurs de la mythologie, met en scène la mère passionnée et infanticide. atteinte de la démesure, médée sacrifie tout pour l’amour de jason. mais confrontée à la trahison, elle met une fin sanglante à sa passion débordée. médée d’anouilh se diffère de médée antique par ce fait qu’elle refuse de continuer à vivre dans le monde des médiocres, par-là elle préfère...

Rapport d'expertise au compte du Bureau Asie Pacifique (BAP) de l'Agence universitaire de la Francophonie

Temporal logic has been successfully used for modeling and analyzing the behavior of reactive and concurrent systems. One shortcoming of (standard) temporal logic is that it is inadequate for real-time applications, because it only deals with qualitative timing properties. This is overcome by metric temporal logics which ooer a uniform logical framework in which both qualitative and quantitativ...

P.O. Box 1 3720 BA Bilthoven The Netherlands www.rivm.nl/en Our food, our health Healthy and unhealthy diets receive a lot of attention nowadays, and there are good reasons for this. Each year, overweight and unfavourable dietary composition account for thousands of new cases of illness and unnecessary deaths. The number of young people and adults who are overweight is increasing. Foodborne inf...

Although every computable data type has an initial algebra speci-cation with hidden functions, it may happen that some of the homo-morphic images of the data type are not models of the speciication. The latter are reducts of algebras that would be models of the specii-cation if all its functions were visible, whereas the homomorphic images of the data type are independent of the speciication an...