Sciweavers

7758 search results - page 80 / 1552
» On the Number of Distributive Lattices
Sort
View
ICRA
2006
IEEE
77views Robotics» more  ICRA 2006»
14 years 4 months ago
Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-constrained Modular Robots
— We describe a novel shape formation algorithm for ensembles of 2-dimensional lattice-arrayed modular robots, based on the manipulation of regularly shaped voids within the latt...
Michael DeRosa, Seth Copen Goldstein, Peter Lee, J...
FAABS
2004
Springer
14 years 3 months ago
A Formal Analysis of Potential Energy in a Multi-agent System
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...
William M. Spears, Diana F. Spears, Rodney Heil
HPCC
2010
Springer
13 years 10 months ago
Parallel Computational Modelling of Inelastic Neutron Scattering in Multi-node and Multi-core Architectures
Abstract--This paper examines the initial parallel implementation of SCATTER, a computationally intensive inelastic neutron scattering routine with polycrystalline averaging capabi...
Michael T. Garba, Horacio González-Vé...
KES
2008
Springer
13 years 10 months ago
A Secure Mediator for Integrating Multiple Level Access Control Policies
Abstract. We present a method for mapping security levels among the components of a distributed system where data in the local sources are represented in XML. Distributed data is i...
Isabel F. Cruz, Rigel Gjomemo, Mirko Orsini
IGPL
2011
13 years 1 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski