Search For:

Displaying 1-27 out of 27 total
Cells Are Plausible Targets for High-Level Spatial Languages
Found in: Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on
By Jacob Beal, Jonathan Bachrach
Issue Date:October 2008
pp. 284-291
High level languages greatly increase the power of a programmer at
 
Web Proto: Aggregate Programming for Everyone
Found in: 2013 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW)
By Kyle Usbeck,Jacob Beal
Issue Date:September 2013
pp. 17-18
Developing self-adaptive and self-organizing systems can be a difficult task, even for experts, because it has traditionally required programming individual devices in the hope that they exhibit the desired global behavior. A new and better approach has be...
 
Spatial Computing Meets Realistic Mobile Wireless Problems
Found in: 2013 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW)
By Bernat Wiandt,Vilmos Simon,Andras Kokuti,Jacob Beal
Issue Date:September 2013
pp. 7-8
Controlling and leveraging the vast and ever-growing number of wireless devices around us has become a serious problem. Spatial computing offers a promising approach toward solving this problem, in the form of higher-level dis-tributed programming abstract...
 
Superdiffusive Dispersion and Mixing of Swarms with Reactive Levy Walks
Found in: 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
By Jacob Beal
Issue Date:September 2013
pp. 141-148
A common swarm task is to disperse evenly through an environment from an initial tightly packed formation. Due to communication and sensing limitations, it is often necessary to execute this task with little or no communication between swarm members. Prior...
 
A Dimensionless Graceful Degradation Metric for Quantifying Resilience
Found in: 2012 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW)
By Jacob Beal
Issue Date:September 2012
pp. 89-92
Many self-* properties are variations on the same theme: resilience of a system to changes in itself or the conditions under which it operates. Quantifying resilience is difficult, however: there are no metrics of resilience that are readily comparable acr...
 
Self-Stabilizing Robot Team Formation with Proto: IEEE Self-Adaptive and Self-Organizing Systems 2012 Demo Entry
Found in: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
By Jacob Beal,Jeffrey Cleveland,Kyle Usbeck
Issue Date:September 2012
pp. 233-234
We have used the Proto spatial computing language to create teaming algorithms based on random chain formation. Our algorithms are self-stabilizing, scale easily from less than ten robots to thousands of robots, and are highly robust against dynamic change...
 
Fast Precise Distributed Control for Energy Demand Management
Found in: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
By Jacob Beal,Jeffrey Berliner,Kevin Hunter
Issue Date:September 2012
pp. 187-192
Fast and precise demand shaping is critical for the electrical power grid. With residential and small-business customers, a distributed approach to demand shaping is desirable for reasons of scalability and of privacy. The Color Power architecture [1] prov...
 
On the Evaluation of Space-Time Functions
Found in: Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on
By Jacob Beal,Kyle Usbeck
Issue Date:October 2011
pp. 49-54
The Proto spatial programming language abstracts the distributed execution of programs as evaluation of space-time functions over dynamically defined subspaces on a manifold. Previously, however, function evaluation has always been defined in terms of a co...
 
Using Morphogenetic Models to Develop Spatial Structures
Found in: Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on
By Jacob Beal,Jessica Lowell,Annan Mozeika,Kyle Usbeck
Issue Date:October 2011
pp. 85-90
A common problem in spatial computing is how to arrange the structure of a spatial computer into a geometric form adapted for its current environment and needs. In natural biological organisms, the processes of morphogenesis adapt structure to environment ...
 
Distributed Control for Small Customer Energy Demand Management
Found in: Self-Adaptive and Self-Organizing Systems, IEEE International Conference on
By Vinayak V. Ranade, Jacob Beal
Issue Date:October 2010
pp. 11-20
We present the Colored Power algorithm, which is designed to provide collaborative electricity demand shaping for residential and small-business customers. Demand shaping for this market sector is an important and challenging problem, since the vast number...
 
Dynamically Defined Processes for Spatial Computers
Found in: Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on
By Jacob Beal
Issue Date:September 2010
pp. 206-211
A program executing on a spatial computer must be able to react to changes in its environment. For example, a sensor network tracking flocks of birds needs to be able to create a spatially-extended tracking process for each flock that it detects, and these...
 
A Basis Set of Operators for Space-Time Computations
Found in: Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on
By Jacob Beal
Issue Date:September 2010
pp. 91-97
Although many different models of spatial computation have been proposed, no unifying theory of computation over continuous space-time has yet been developed. Lack of such a theory has made it difficult to compare spatial computing models and impossible to...
 
Guest Editors' Introduction: The New Frontier of Human-Level Artificial Intelligence
Found in: IEEE Intelligent Systems
By Jacob Beal, Patrick H. Winston
Issue Date:July 2009
pp. 21-23
Within the field of human-level intelligence, researchers are combining a variety of approaches toward the goals of human-like breadth, flexibility, and resilience for artificial intelligence systems.
 
Empirical Characterization of Discretization Error in Gradient-Based Algorithms
Found in: Self-Adaptive and Self-Organizing Systems, IEEE International Conference on
By Jonathan Bachrach, Jacob Beal, Joshua Horowitz, Dany Qumsiyeh
Issue Date:October 2008
pp. 203-212
Many self-organizing and self-adaptive systems use the biologically inspired
 
Continuous Space-Time Semantics Allow Adaptive Program Execution
Found in: Self-Adaptive and Self-Organizing Systems, IEEE International Conference on
By Jonathan Bachrach, Jacob Beal, Takeshi Fujiwara
Issue Date:July 2007
pp. 315-319
A spatial computer is a collection of devices filling space whose ability to interact is strongly dependent on their proximity. Previously, we have showed that programming such a computer as a continuous space can allow selfscaling across computers with di...
 
Infrastructure for Engineered Emergence on Sensor/Actuator Networks
Found in: IEEE Intelligent Systems
By Jacob Beal, Jonathan Bachrach
Issue Date:March 2006
pp. 10-19
<p>The ability to control emergent phenomena depends on decomposing them into aspects susceptible to independent engineering. The amorphous medium abstraction separates what behavior is desired on a continuous space and how the behavior is implemente...
 
QuaFL: a typed DSL for quantum programming
Found in: Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages (FPCDSL '13)
By Aaron Adler, Andrei Lapets, Jacob Beal, Marcus P. da Silva, Martin Roetteler, Mike Thome
Issue Date:September 2013
pp. 19-26
Quantum computers represent a novel kind of programmable hardware with properties and restrictions that are distinct from those of classical computers. We investigate how some existing abstractions and programming language features developed within the pro...
     
Functional synthesis of genetic regulatory networks
Found in: Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages (FPCDSL '13)
By Aaron Adler, Jacob Beal
Issue Date:September 2013
pp. 3-10
As synthetic biologists improve their ability to engineer complex computations in living organisms, there is increasing interest in using programming languages to assist in the design and composition of biological constructs. In this paper, we argue that t...
     
Mixed geometric-topological representation for electromechanical design
Found in: Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion (GECCO '13 Companion)
By Aaron Adler, Hala Mostafa, Jacob Beal
Issue Date:July 2013
pp. 105-106
Avoiding unintended representational commitments is a key challenge in generative design. We have developed a mixed geometric-topological representation based on CW-complexes, which represents structure and geometric constraints such that commitments regar...
     
A manifold operator representation for adaptive design
Found in: Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference (GECCO '12)
By Aaron Adler, Annan Mozeika, Benjamin Axelrod, Gretchen Markiewicz, Hala Mostafa, Jacob Beal, Kyle Usbeck
Issue Date:July 2012
pp. 529-536
Many natural organisms exhibit canalization: small genetic changes are accommodated by adaptation in other systems that interact with them. Engineered systems, however, are typically quite brittle, making design automation extremely difficult. We propose t...
     
An agent framework for agent societies
Found in: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11 (SPLASH '11 Workshops)
By Jacob Beal, Kyle Usbeck
Issue Date:October 2011
pp. 201-212
A key weakness of agent frameworks is the difficulty of specifying and controlling the global (emergent) behavior of the Multi-Agent System (MAS) in which they operate. The spatial computing language Proto, however, compiles descriptions of global behavior...
     
Spatial Computing: Distributed Systems That Take Advantage of Our Geometric World
Found in: ACM Transactions on Autonomous and Adaptive Systems (TAAS)
By Jacob Beal, Olivier Michel, Ulrik Pagh Schultz
Issue Date:June 2011
pp. 1-3
The acceptance and integration of social issues into computing curricula is still a work in progress twenty years after it was first incorporated into the ACM Computing Curricula. Through an international survey of computing instructors, this paper corrobo...
     
Core operational semantics of Proto
Found in: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC '11)
By Jacob Beal, Matteo Casadei, Mirko Viroli
Issue Date:March 2011
pp. 1325-1332
The Proto spatial computing language [6] simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto's successful application in a number of ...
     
Adjustable autonomy for cross-domain entitlement decisions
Found in: Proceedings of the 3rd ACM workshop on Artificial intelligence and security (AISec '10)
By Jacob Beal, Jonathan Webb, Michael Atighetchi
Issue Date:October 2010
pp. 65-71
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially trusted partners. Current identity management and access control technologie...
     
Flexible self-healing gradients
Found in: Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09)
By Jacob Beal
Issue Date:March 2009
pp. 1-5
Self-healing gradients are distributed estimates of the distance from each device in a network to the nearest device designated as a source, and are used in many pervasive computing systems. With previous self-healing gradient algorithms, even the smallest...
     
Cognitive security for personal devices
Found in: Proceedings of the 1st ACM workshop on Workshop on AISec (AISec '08)
By Jacob Beal, Rachel Greenstadt
Issue Date:October 2008
pp. 1-2
Humans should be able to think of computers as extensions of their body, as craftsmen do with their tools. Current security models, however, are too unlike those used in human minds-for example, computers authenticate users by challenging them to repeat a ...
     
Fast self-healing gradients
Found in: Proceedings of the 2008 ACM symposium on Applied computing (SAC '08)
By Dan Vickery, Jacob Beal, Jonathan Bachrach, Mark Tobenkin
Issue Date:March 2008
pp. 28-34
We present CRF-Gradient, a self-healing gradient algorithm that provably reconfigures in O(diameter) time. Self-healing gradients are a frequently used building block for distributed self-healing systems, but previous algorithms either have a healing rate ...
     
 1