Tile logic is a framework to reason about the dynamic evolution of concurrent systems in a modular way, and it extends rewriting logic (in the unconditional case) by rewriting synchronization and side eeects. The subject of this dissertation concerns some interesting tile models of computation such that the mathematical structures representing conngurations (i.e., system states) and eeects (i.e...

With their application as seed coatings, the use of neonicotinoid insecticides increased dramatically during the last decade. They are now frequently detected in aquatic ecosystems at concentrations susceptible to harm aquatic invertebrates at individual and population levels. This study intent was to document surface runoff and subsurface tile drain losses of two common neonicotinoids (thiamet...

Sommerville [10] and Davies [2] classified the spherical triangles that can tile the sphere in an edge-to-edge fashion. Relaxing this condition yields other triangles, which tile the sphere but have some tiles intersecting in partial edges. This paper determines which right spherical triangles within certain families can tile the sphere.

While the complexity of concept satisfiability in both ALCO, the basic description logic ALC enriched with nominals, and ALC(D), the extension of ALC with concrete domains, is known to be PSpace-complete, in this article we show that the combination ALCO(D) of these two logics can have a NExpTime-hard concept satisfiability problem (depending on the concrete domain D used). The proof is by a re...

Chinese medicine needs a new pan for a roast that has grown since ancient times in size and shape, a metaphorical roast that we call the industrial and information revolution. Man has not changed, but the forces that impinge on him have enormously, and the signs which had particular meanings at one time in history are no longer the same. The Tight pulse is no longer a sign of internal cold, in ...

We discuss branch points of a ne coverings and their e ects on Veech groups. In particular, this allows us to show that even if one polygon tiles another, the respective Veech groups are not necessarily commensurable. We also show that there is no universal bound on the number of Teichm uller disks passing through the same point of Teichm uller space and having incommensurable lattice Veech g...

In this work we propose a generalization of Winfree’s abstract Tile Assembly Model (aTAM) in which tile types are assigned rigid shapes, or geometries, along each tile face. We examine the number of distinct tile types needed to assemble shapes within this model, the temperature required for efficient assembly, and the problem of designing compact geometric faces to meet given compatibility spe...

BACKGROUND Pelvic fractures are severe injuries with frequently associated multi-system trauma and a high mortality rate. The value of the pelvic fracture pattern for predicting transfusion requirements and mortality is not entirely clear. To address hemorrhage from pelvic injuries, the early application of pelvic binders is now recommended and arterial angio-embolization is widely used for con...