Learn More
Techniques and algorithms for efficient in-place conversion to and from standard and blocked matrix storage formats are described. Such functionality is required by numerical libraries that use different data layouts internally. Parallel algorithms and a software package for in-place matrix storage format conversion based on in-place matrix transposition(More)
In this article, we describe a possibilis-tic/probabilistic conditional planner called PTLplan. Being inspired by Bacchus and Ka-banza's TLplan, PTLplan is a progressive planner that uses strategic knowledge encoded in a temporal logic to reduce its search space. Actions effects and sensing can be context dependent and uncertain, and the information the(More)
Consider a house cleaning robot planning its activities for the day. Assume that the robot expects the human inhabitant to first dress, then have breakfast, and finally go out. Then, it should plan not to clean the bedroom while the human is dressing, and to clean the kitchen after the human has had breakfast. In general, robots operating in inhabited(More)
OBJECTIVES To study the correlation between anatomical parameters and EMG signals by means of simulations. METHODS A mathematical model of the electrical activity from muscle fibres and motor units has been developed. The electrical fields around the muscle fibres are simulated using a line source model. The model permits the simulation of single muscle(More)
We present three algorithms for Cholesky factorization using minimum block storage for a distributed memory (DM) environment. One of the distributed square blocked packed (SBP) format algorithms performs similar to ScaLAPACK PDPOTRF, and with iteration overlapping outperforms it by as much as 67%. By storing the blocks in a standard contiguous way, we get(More)
We address the issue of human-robot cohabitation in smart environments. In particular, the presence of humans in a robot's work space has a profound influence on how the latter should plan its actions. We propose the use of Human-Aware Planning, an approach in which the robot exploits the capabilities of a sensor-rich environment to obtain information about(More)
OBJECTIVE A mathematical model for simulation of the EMG from a muscle with its motor units is used. The study aims at correlating EMG findings (single-fiber EMG and concentric-needle EMG) with various induced morphological changes. METHODS Reinnervation has been simulated by removing motor units randomly followed by a complete reinnervation from adjacent(More)