This paper introduces a calculus of state-based software components modelled as concrete coalgebras for some Set endofunctors, with specified initial conditions. The calculus is parametrized by a notion of behaviour, introduced as a strong (usually commutative) monad. The proposed component model and calculus are illustrated through the characterisation of a particular class of components, clas...

In previous works we designed a comprehensive approach for conformance testing based on UML behavioral state machines. In this paper we propose two extensions to this approach. First, we apply our approach in the context of a component-based development, and address the problem of checking the interoperability of two connected components. Second, we address the problem of selecting relevant inp...

This article describes a self-healing mechanism for statemachine based distributed components. Each component is composed of two layers: a healing (HL) and a service or functional layer (FL). At least, the functional layer must be implemented according to a statemachine specification. The healing layer has the capacity of monitoring the service layer of the component of witch it is a part and r...

Cognitive functions such as memory retrieval involve a combination of state- and item-related processes. State-related processes are sustained throughout a task (e.g., "retrieval mode" associated with ongoing goals), whereas item-related processes are transient and allied to individual stimuli (e.g., "retrieval success" associated with the recovery of information from memory). The present study...

1 B. Terry Beck, Kansas State University, Mechanical and Nuclear Engineering Department, 302 Rathbone Hall, Manhattan, KS 66506 [email protected] Abstract  The main objective of this paper is to present two different experiments that have been developed to successfully demonstrate transient heat conduction phenomena. The first experiment illustrates the approximate measurement of transient local h...

We show that the continuous-variable analogues to the multipartite entangled Greenberger-Horne-Zeilinger states of qubits violate Bell-type inequalities imposed by local realistic theories. Our results suggest that the degree of nonlocality of these nonmaximally entangled continuous-variable states, represented by the maximum violation, grows with increasing number of parties. This growth does ...

The objective of the SALA (SpeechDat across Latin America) project is to record large SpeechDat-like databases to train telephone speech recognisers for any country in Latin America. The SALA consortium is composed by several European The Netherlands). This paper gives an overview of the project, introduces the definition of the databases, shows the dialectal distribution in the countries where...

In this paper a 1-D model for the evolution of inelastic particles in a thermal bath is studied. We derive an equation for the evolution of the probability density of the particles in phase space. The analysis of the homogeneous equation is the main objective of this paper. The existence and uniqueness of this equation is addressed. Finally, we prove that the asymptotic behavior is governed by ...

M. S. Schöffler1,∗ C. Stuck, M. Waitz, F. Trinter, T. Jahnke, U. Lenz, M. Jones, A. Belkacem, A. Landers, C. L. Cocke, J. Colgan, A. Kheifets, Igor Bray, H. Schmidt-Böcking, R. Dörner, and Th. Weber 1 Lawrence Berkeley National Laboratory, Berkeley, CA 94720, USA 2 Institut für Kernphysik, University Frankfurt, Max-von-Laue-Str. 1, 60438 Frankfurt, Germany 3 Department of Physics, Auburn Univer...