منابع مشابه
DNA Tiles, Wang Tiles and Combinators
In this paper we explore the relation between Wang Tiles and Schonfinkel Combinators in order to investigate Functional Combinators as an programming language for Self-assembly and DNA computing. We show: How any combinatorial program can be expressed in terms of Wang Tiles, and again, how any computation of the program fits into a grid of tiles of a suitable finite, tile set, and finally, how ...
متن کاملTiles and Colors
Tiling models are classical statistical models in which different geometric shapes, the tiles, are packed together such that they cover space completely. In this paper we discuss a class of two-dimensional tiling models in which the tiles are rectangles and isosceles triangles. Some of these models have been solved recently by means of Bethe Ansatz. We discuss the question why only these models...
متن کاملTiles for Reo
Reo is an exogenous coordination model for software components. The informal semantics of Reo has been matched by several proposals of formalization, exploiting co-algebraic techniques, constraint-automata, and coloring tables. We aim to show that the Tile Model offers a flexible and adequate semantic setting for Reo, such that: (i) it is able to capture context-aware behavior; (ii) it is equip...
متن کاملTiles with No Spectra
We exhibit a subset of a finite Abelian group, which tiles the group by translation, and such that its tiling complements do not have a common spectrum (orthogonal basis for their L space consisting of group characters). This disproves the Universal Spectrum Conjecture of Lagarias and Wang [7]. Further, we construct a set in some finite Abelian group, which tiles the group but has no spectrum. ...
متن کاملWhat Is... Penrose’s Tiles?
A tiling of a subset A of R is a countable set T of tiles in R such that: (1) ∪T = A, (2) whenever S, T belong to T and are distinct we have intS ∩ intT = ∅. Part of a pentagonal tiling is shown in Figure 2. A patch is a tiling by finitely many tiles of a connected, simply connected subset of R which cannot be disconnected by removing one point. To say that a patch A belongs to a tiling T means...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Architecture and Code Optimization
سال: 2020
ISSN: 1544-3566,1544-3973
DOI: 10.1145/3369382