This abstract presents SmartCell, a coarse-grained reconfigurable architecture, which tiles a large number of computing units with flexible interconnection fabrics on a single chip. SmartCell is a highly evolvable system in the sense that the number of processing units can be dynamically changed to adapt to different system requirements. It can also be configured to operate in various computing...

The syntax and semantics of actors and-agents is rst de-ned separately, using a uniform, \unbiased" approach. New coordination primitives are the added to the union of the two calculi which allow actors and-agents to cooperate. The syntax and semantics of actors and-agents are rst deened separately, using a uniform, \unbiased" approach. Since we aim at modeling concurrent distributed systems, a...

Two of the most studied tile self-assembly models in the literature are the abstract Tile Assembly Model (aTAM) [7] and the Two-Handed Tile Assembly Model (2HAM) [4]. Both models constitute a mathematical model of self-assembly in which system components are four-sided Wang tiles with glue types assigned to each tile edge. Any pair of glue types are assigned some nonnegative interaction strengt...

Wang tiles are square tiles with colored edges. We construct an aperiodic set of Wang tiles that is strongly deterministic in the sense that any two adjacent edges of a tile determine the tile uniquely. Consequently, the tiling group of this set is not hyperbolic and it acts discretely and co-compactly on a CAT(0) space.

Self-assembly, the process by which objects autonomously come together to form complex structures, is omnipresent in the physical world. Recent experiments in self-assembly demonstrate its potential for the parallel creation of a large number of nanostructures, including possibly computers. A systematic study of self-assembly as a mathematical process has been initiated by L. Adleman and E. Win...

We give a new construction of strongly aperiodic set of tiles in H, exhibiting a kind of hierarchical structure, simplifying the central framework of Margenstern’s proof that the Domino problem is undecidable in the hyperbolic plane [13]. Ludwig Danzer once asked whether, in the hyperbolic plane, where there are no similarities, there could be any notion of hierarchical tiling—an idea which pla...

We propose an image mosaic method based on tile template. Compared with a conventional mosaic which is comprised of the circle or the square tiles, our approach uses the arbitrary shaped tiles. But an arbitrary shaped tile leaves the excessive gap between tiles in the mosaic construction. Then the gap makes it difficult to preserve the fine detail of an original image. Our approach controls ove...

Tiles are rewrite rules with side e ects, reminiscent of both Plotkin SOS and Meseguer rewriting logic rules. They are well suited for modeling coordination languages, since they can be composed both statically and dynamically via possibly complex synchronization and workow mechanisms. In this paper, we give a tile-based bisimilarity semantics for the asynchronous -calculus of Honda and Tokoro ...

Given a tiling of a 2D grid with several types of tiles, we can count for every row and column how many tiles of each type it intersects. These numbers are called the projections. We are interested in the problem of reconstructing a tiling which has given projections. Some simple variants of this problem, involving tiles that are 1× 1 or 1× 2 rectangles, have been studied in the past, and were ...

Benthic grazing strongly controls periphyton biomass. The question therefore arises whether benthic grazing could be used as a tool to reduce excessive growth of periphyton in nutrient-enriched rivers. Although benthic invertebrate grazers reduce the growth of periphyton, this is highly context dependent. Here we assessed whether the only obligate herbivorous fish in European rivers, the common...