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)
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)
Low-rank tensor completion addresses the task of filling in missing entries in multi-dimensional data. It has proven its versatility in numerous applications, including context-aware rec-ommender systems and multivariate function learning. To handle large-scale datasets and applications that feature high dimensions, the development of distributed algorithms(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)
The bispyridinium oxime HI 6 (1-(((4-amino-carbonyl)pyridino)methoxy)methyl)-2-(hydroxyimino )methyl)-pyridinium dichloride monohydrate), combined with atropine, is effective for treating poisoning with organophosphate nerve agents. The protective action of HI 6 in soman poisoning has been attributed mainly to its peripheral reactivation of inhibited(More)