This paper contributes a formal method to analyze consequences of agent behavior. The method is based on an automated procedure to translate a given external behavioral specification of an agent into an executable specification of internal dynamics. Having an executable internal dynamics specification allows automated analysis of the consequences of the agent's behavior, based on model checking...

Objective Composite graft of left internal thoracic artery and great saphenous vein in revascularization of the left coronary system is a technique well described in literature. The aim of this study is to analyze blood flow dynamics in this configuration of composite graft especially in what concerns left internal thoracic artery's adaptability and influence of great saphenous vein segment on ...

This paper reports results of a study investigating the visual information conveyed by the dynamics of internal articulators. Intelligibility of synthetic audiovisual speech with and without visualization of the internal articulator movements was compared. Additionally speech recognition scores were contrasted before and after a short learning lesson in which articulator trajectories were expla...

Solvation is essential for protein activities. To study internal solvation of protein, site-directed mutagenesis is applied. Intrinsic fluorescent probe, tryptophan, is inserted into desired position inside protein molecule for ultrafast spectroscopic study. Here we review this unique method for protein dynamics researches. We introduce the frontiers of protein solvation, site-directed mutagene...

Intelligent data analysis often requires one to extract meaningful conclusions about a complicated system using data from a single sensor. If the system is linear, a wealth of well-established, powerful time-series analysis techniques is available to the analyst. If it is not, the problem is much harder and one must resort to nonlinear dynamics theory in order to infer useful information from t...

In this paper we describe how a population of evolving robots can autonomously develop forms of spatial representation which allow them to self-localize and to discriminate different locations of their environment by integrating sensory-motor information over time. Evolving robots also display a remarkable ability to generalize their skill in new environmental conditions never experienced befor...

Diffusion processes in a social system are governed by external triggers and internal excitations via interactions between individuals over social networks. Underlying mechanisms are crucial to understand emergent phenomena in the real world and accordingly establish effective strategies. However, it is challenging to reveal the dynamics of a target diffusion process due to invisible causality ...