نتایج جستجو برای: tile work

تعداد نتایج: 951349  

1999
Roberto Bruni Ugo Montanari

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...

Journal: :Journal of environmental quality 2015
Patrick R Nash Kelly A Nelson Peter P Motavalli Manjula Nathan Chris Dudenhoeffer

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...

Journal: :Electronic Colloquium on Computational Complexity (ECCC) 2008
Bruno Durand Andrei E. Romashchenko Alexander Shen

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...

Journal: :The Journal of bone and joint surgery. British volume 1951
C H CULLEN M E SHARP

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...

Journal: :CoRR 2009
Marek Chrobak Christoph Dürr Flavio Guiñez Antoni Lozano Nguyen Kim Thang

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 ...

2008
Yuriy Brun Nenad Medvidovic

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...

Journal: :Journal of Clinical Microbiology 2011

Journal: :ACM Transactions on Architecture and Code Optimization 2013

Journal: :Journal of Combinatorial Theory, Series A 1989

Journal: :Cancer epidemiology, biomarkers & prevention : a publication of the American Association for Cancer Research, cosponsored by the American Society of Preventive Oncology 2000
C W Boone G D Stoner J V Bacus V Kagan M A Morse G J Kelloff J W Bacus

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید