A basis set of operators for space-time computations

Proceedings - 2010 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop, SASOW 2010

Volumn , Issue , 2010, Pages 91-97

  Beal, Jacob ^a  

^a BBN TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

BASIS SETS; CAUSAL COMPUTATIONS; CONTINUOUS SPACES; MATHEMATICAL BASIS; SPACE TIME; SPATIAL COMPUTATIONS; SPATIAL COMPUTING; THEORY OF COMPUTATION;

MATHEMATICAL OPERATORS;

EID: 79953159860     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SASOW.2010.21     Document Type: Conference Paper

References (23)

1. J. Beal and J. Bachrach, "Infrastructure for engineered emergence in sensor/actuator networks," IEEE Intelligent Systems, pp. 10-19, March/April 2006.
2. J.-L. Giavitto, C. Godin, O. Michel, and P. zemyslaw Prusinkiewicz, "Computational models for integrative and developmental biology," Univerite d'Evry, LaMI, Tech. Rep. 72-2002, 2002.
3. R. Newton and M. Welsh, "Region streams: Functional macroprogramming for sensor networks," in First International Workshop on Data Management for Sensor Networks (DMSN), Aug. 2004.
4. M. Mamei and F. Zambonelli, "Programming pervasive and mobile computing applications: the TOTA approach," ACM Transactions on Software Engineering and Methodology, 2008.
5. M. D. Rosa, S. C. Goldstein, P. Lee, J. D. Campbell, and P. Pillai, "Programming modular robots with locally distributed predicates," in IEEE International Conference on Robotics and Automation (ICRA '08), 2008.
6. M. P. Ashley-Rollman, S. C. Goldstein, P. Lee, T. C. Mowry, and P. Pillai, "Meld: A declarative approach to programming ensembles," in IEEE International Conference on Intelligent Robots and Systems (IROS '07), 2007.
7. D. Yamins, "A theory of local-to-global algorithms for one-dimensional spatial mu lti-agent systems," Ph.D. dissertation, Harvard, December 2007.
8. A. Adamatzky, "Programming reaction-diffusion processors." in UPP, 2004, pp. 33-46.
9. T. J. Naughton and D. Woods, "On the computational power of a continuous-space optical model of computation," in Machines, Computations, and Universality, ser. Lecture Notes in Computer Science, 2001, pp. 288-299.
10. O. Bournez and M. L. Campagnolo, "A survey on continuous time computations," in New Computational Paradigms. Springer New York, 2008, pp. 383-423.
11. C. Shannon, "Mathematical theory of the differential analyser," Journal of Mathematics and Physics, vol. 20, pp. 337-354, 1941.
12. J. J. Hopfield, "Neural networks with graded responses have collective computational properties like those of two-state neurons," Proceedings of the National Academy of Sciences, vol. 81, pp. 3088-3092, 1984.
13. R. Alur and P. Madhusudan, "Decision problems for timed automata: A survey," in Formal Methods for the Design of Real-Time Systems, ser. Lecture Notes in Computer Science, M. Bernardo and F. Corradini, Eds., 2004, vol. 3185, pp. 1-24.
14. L. Blum, M. M. Shub, and S. Smale, "On a theory of computation and complexity over the real numbers; np completeness, recursive functions and universal machines," Bulletin of the American Mathematical Society, vol. 21, pp. 1-46, 1989.
15. D. Graca, M. Campagnolo, and J. Buescu, "Robust simulations of turing machines with analytic maps and ows," in Proceedings of CiE05, New Computational Paradigms, ser. Lecture Notes in Computer Science. Springer, 2005, vol. 3526, pp. 169-179.
16. P. Koiran and C. Moore, "Closed-form analytic maps in one and two dimensions can simulate universal turing machines," Theoretical Computer Science, vol. 210, no. 1, pp. 217-223, 1999.
17. D. Woods and T. Naughton, "An optical model of computation," Theoretical Computer Science, vol. 334, pp. 227-258, 2005.
18. R. Nagpal, "Programmable self-assembly: Constructing global shape using biologically-inspired local interactions and origami mathematics," Ph.D. dissertation, MIT, 2001.
19. J. Beal, J. Bachrach, and M. Tobenkin, "Constraint and restoring force," MIT CSAIL, Tech. Rep. MIT-CSAIL-TR-2007-044, August 2007.
20. J. Beal, "Programming an amorphous computational medium," in Unconventional Programming Paradigms International Workshop, September 2004.
21. J. Bachrach, J. Beal, and J. McLurkin, "Composable continuous space programs for robotic swarms," Neural Computing and Applications, vol. 19, no. 6, pp. 825-847, 2010.
22. J. Bachrach, J. Beal, J. Horowitz, and D. Qumsiyeh, "Empirical characterization of discretization error in gradient-based algorithms," in IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) 2008, October 2008.
23. G. J. Sussman and J. Wisdom, Structure and interpretation of classical mechanics. Cambridge, MA, USA: MIT Press, 2001.