We present a reconfigurable optical directed logic architecture that offers several significant improvements over the original directed logic presented by Hardy and Shamir. Specific embodiments of on-chip, waveguided, large-scale-integrated, cellular optical directed logic fabrics are proposed and analyzed. Five important logic functions are presented as examples to show that the same switch fa...

Cellular automata are discrete mathematical models that have been proven useful as representations of a wide variety of systems exhibiting emergent behavior. Detection of emergent behavior is typically computationally expensive as it relies on computer simulations. We propose to specify cellular automata using a suitable Temporal Description Logic and we show that we can formulate queries about...

We show how to characterize puzzles by logic programs and how to use those characterizations to build puzzles automatically. We can control the difficulty level of the puzzles by choosing how and when to invoke the logic program.

This paper presents a cellular-automatic model of a reversible regular structure called Davio lattice. Regular circuits are investigated because of the requirement of future (nano-) technologies where long wires should be avoided. Reversibility is a valuable feature because it means much lower energy dissipation. A circuit is reversible if the number of its inputs equals the number of its outpu...

Based on a simple circuit model of a tunneling phase logic (TPL) element that is driven by a sinusoidal voltage source and biased by a DC voltage source, we present simulations of operations in cellular nonlinear networks (CNN) that could potentially be used to perform general computations in 2D arrays of simple, locally connected nanoscale devices. Some examples are presented to demonstrate th...

Cellular automata are discrete mathematical models that have been proven useful as representations of a wide variety of systems that feature non-linear dynamics, in many scientific fields. They are composed of an enumerable set of homogenous cells which can take on a finite number of states. Rules of local interaction are then conditioning the global behavior which evolves in discrete time step...

Biochemical logic circuits that precisely control gene activity in cells are useful for creating novel living organisms with well-defined purposes and behaviors. An important element in designing and implementing these circuits is matching logic gates such that the couplings produce the correct behavior. In this paper, we report in-vivo experimental results that examine and optimize the steady ...

A major goal of synthetic biology is to reprogram living organisms to solve pressing challenges in manufacturing, environmental remediation, or healthcare. While many types of genetic logic gates have been engineered, their scalability remains limited. Previous work demonstrated that Distributed Multicellular Computation (DMC) enables the implementation of complex logic within cellular consorti...

Jongmin Kim,† Peng Yin,*,†,‡ and Alexander A. Green* †Wyss Institute for Biologically Inspired Engineering, Harvard University, Boston, Massachusetts 02115, United States ‡Department of Systems Biology, Harvard Medical School, Boston, Massachusetts 02115, United States Biodesign Center for Molecular Design and Biomimetics, The Biodesign Institute and School of Molecular Sciences, Arizona State ...