Abstract

Abstract
This paper describes a humanoid robot simulator supporting joint trajectory optimization, following accurately the real robot characteristics. The simulator, based on a rigid body simulator (Open Dynamics Engine) and an OpenGL based graphics librmy (GLScene), provides instant visual feedback and realistic dynamics. It allows to design and test behaviours and control methods without access to the real hardware, preventing damages in the real robot in the earlier stages of development. Having in mind the energy consumption minimization, the low level trajectory planning is discussed and experimental results are presented. The proposed methods arc shown to minimize the total energy assuming two intervals of constant acceleration. Copyright © 2008 by World Scientific Publishing Co. Pte. Ltd.

Abstract
In vivo observation and tracking of cell division in the Arabidopsis thaliana root meristem, by time-lapse confocal microscopy, is central to biology research. The research herein described is based on large amount of image data, which must be analyzed to determine the location and state of cells. The possibility of automating the process of cell detection/marking is an important step to provide research tools to the biologists in order to ease the search for a special event as cell division. This paper discusses an automatic cell segmentation method, which selects the best cell candidates from a starting watershed based image segmentation. The selection of individual cells is obtained using a Support Vector Machine (SVM) classifier, based on the shape and edge strength of the cells' contour. The resulting segmentation is largely pruned of badly segmented cells, which can reduce the false positive detection of cell division. This is a good result on its own and a starting point for improvement of cell segmentation methodology.

Abstract
Arguably. the most successful data, structure for tabling is tries. However, while tries are very efficient for variant based tabled evaluation, they are limited in their ability to recognize and represent, repeated terms in different tabled calls or/and answers. lit this paper, we propose a new design for the table space where tabled terms are stored in a common global trie instead of being spread over several different tries.

Abstract
Service-oriented systems constitute a suitable approach for the development of modular, flexible and reconfigurable production systems, addressing the current requirements imposed by global markets. This paper focuses on the process control of Service-oriented production systems, whose behavior is regulated by the coordination of services that are available from distributed modular and collaborative control components. The proposed control is based on a kind of High-level Petri Nets tailored for the description, connection and synchronization of different concurrent processes. Several features can be distinguished by this approach, since its modularity, control reusability, flexibility and other valuable inherited characteristics from the proposed High-Level Petri Nets.

Abstract
The past few years have seen a surge of interest in the field of probabilistic logic learning or statistical relational learning. In this endeavor, many probabilistic logics have been developed. ProbLog is a recent probabilistic extension of Prolog motivated by the mining of large biological networks. In ProbLog, facts can be labeled with mutually independent probabilities that they belong to a randomly sampled program. Different kinds of queries can be posed to ProbLog programs. We introduce algorithms that allow the efficient execution of these queries, discuss their implementation on top of the YAP-Prolog system, bind evaluate their performance in the context of large networks of biological entities.