Iterative theories, which were introduced by Calvin Elgot, formalise potentially infinite computations as unique solutions of recursive equations. One of the main results of Elgot and his coauthors is a description of a free iterative theory as the theory of all rational trees. Their algebraic proof of this fact is extremely complicated. In our paper we show that by starting with ‘iterative alg...

This study investigated the link between daily health symptoms and spousal emotional well-being in a sample of 96 older dyads. Higher negative mood and lower positive mood were associated with spousal symptoms in couples wherein husbands or wives reported higher average levels of symptoms. For wives, partner effects were moderated by husbands’ marital satisfaction and illness severity. Specific...

Interest in automatic music mood classification is increasing because it could enable people to browse and manage their music collections by means of the music’s emotional expression complementary to the widely used music genres. We continue our work on designing a well defined ground-truth database for music mood classification and show a demonstrator of automatic mood estimation. While a subj...

ERCIM News is the magazine of ERCIM. Published quarterly, it reports on joint actions of the ERCIM partners, and aims to reflect the contribution made by ERCIM to the European Community in Information Technology and Applied Mathematics. Through short articles and news items, it provides a forum for the exchange of information between the institutes and also with the wider scientific community. ...

This paper presents the encoding of the hybridisation method proposed in [MMDB11,DM13] into the HETS platform.

create a new Department at Headquarters, which would be particularly concerned with the work of Local Associations. On September 1st, 1961, Mrs. Morgan, who had already been working in the Social Services Department of N.A.M.H. for some years, was apointed Local Associations Organiser. She is responsible to the Local Associations Committee: a standing committee responsible in its turn to the Ex...

We present the left inverse of Reynolds’s defunctionalization and we show its relevance to programming and to programming languages. We propose two methods to transform a program that is almost in defunctionalized form into one that is actually in defunctionalized form, and we illustrate them with a recognizer for Dyck words and with Dijkstra’s shunting-yard algorithm. Revised version of BRICS ...

We investigate how and why the productivity of a worker varies as a function of the productivity of her co-workers in a group production process. In theory, the introduction of a high productivity worker could lower the effort of incumbent workers because of free riding; or it could increase the effort of incumbent workers because of peer effects induced by social norms, social pressure, or lea...