Tile logic extends rewriting logic by taking into account side-eeects and rewriting synchronization. These aspects are very important when we model process calculi, because they allow us to express the dynamic interaction between processes and \the rest of the world". Since rewriting logic is the semantic basis of several language implementation eeorts, an executable speciication of tile system...

Installing subsurface tile drain systems in poorly drained claypan soils to improve corn ( L.) yields could potentially increase environmental phosphorus (P) loss through the tile drainage system. The objectives of the study were to quantify the average concentration and loss of ortho-P in tile drain water from a claypan soil and to determine whether managed subsurface drainage (MD) could reduc...

An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). We present a new construction of an aperiodic tile set that is based on Kleene’s fixed-point construction instead of geometric arguments. This constr...

Actinomvcosis is now so widely known as a patilological entity that the presentation of another series of cases should be justified by at least some unusual feature of the syndrome or a contribution to tile treatment of this difficult disease. The fact that over 80 per cent of cases in humans occur in tile gastro-intestinal or respiratory system (Boyd 1943) is strong evidence in favour of infec...

Discrete tomography deals with reconstructing finite spatial objects from their projections. The objects we study in this paper are called tilings or tile-packings, and they consist of a number of disjoint copies of a fixed tile, where a tile is defined as a connected set of grid points. A row projection specifies how many grid points are covered by tiles in a given row; column projections are ...

We present the tile style, an architectural style that allows the creation of distributed software systems for solving NP-complete problems on large public networks. The tile style preserves the privacy of the algorithm and data, tolerates faulty and malicious nodes, and scales well to leverage the size of the public network to accelerate the computation. We exploit the known property of NP-com...

Our objective was to grade, by computer-assisted quantitative image tile analysis, the intraepithelial neoplasia (also called dysplasia) that develops in esophagi of rats given N-nitrosomethybenzylamine (NMBA) for 5 weeks. To perform image tile analysis, the computer divides the video image of the neoplastic epithelium into a row of contiguous small rectangular images, or "tiles," 84 x 292 micr...