Results 1 - 10 of 84

Local Statistics For Random Domino Tilings Of The Aztec Diamond

by Henry Cohn, Noam Elkies, James Propp - Duke Math. J , 1996
"... . We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of adjacent lattice squares. This formula quantifies the effect of the diam ..."
Abstract - Cited by 99 (12 self) - Add to MetaCart
. We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of adjacent lattice squares. This formula quantifies the effect

Eight Questions about Corruption

by Jakob Svensson - JOURNAL OF ECONOMIC PERSPECTIVES—VOLUME 19, NUMBER 3—SUMMER 2005—PAGES 19–42 , 2005
"... Some years ago I interviewed the chief executive officer of a successful Thai manufacturing firm as part of a pilot survey project. While trying to figure out a good way to quantify the firm’s experience with government regulations and corruption in the foreign trade sector, the CEO exclaimed: “I ho ..."
Abstract - Cited by 171 (3 self) - Add to MetaCart
Some years ago I interviewed the chief executive officer of a successful Thai manufacturing firm as part of a pilot survey project. While trying to figure out a good way to quantify the firm’s experience with government regulations and corruption in the foreign trade sector, the CEO exclaimed: “I

FATIGUE TESTING OF DIAMOND-SHAPED SPECIMENS

by Pelton Gong Duerig, A. Pelton, Alan R. Pelton, Xiao-yan Gong, Tom Duerig , 2009
"... This study quantifies the cyclic deformation behavior of superelastic Nitinol in order to calculate design safety factors for medical devices. Displacement-controlled fatigue testing was performed on stent-like devices that were laser-cut from microtubing, shape set and electropolished. Fatigue stra ..."
Abstract - Add to MetaCart
This study quantifies the cyclic deformation behavior of superelastic Nitinol in order to calculate design safety factors for medical devices. Displacement-controlled fatigue testing was performed on stent-like devices that were laser-cut from microtubing, shape set and electropolished. Fatigue

Cover semantics for quantified lax logic

by Robert Goldblatt - Journal of Logic and Computation
"... Lax modalities occur in intuitionistic logics concerned with hardware verification, the computational lambda calculus, and access control in secure systems. They also encapsulate the logic of Lawvere-Tierney-Grothendieck topologies on topoi. This paper provides a complete semantics for quantified la ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Lax modalities occur in intuitionistic logics concerned with hardware verification, the computational lambda calculus, and access control in secure systems. They also encapsulate the logic of Lawvere-Tierney-Grothendieck topologies on topoi. This paper provides a complete semantics for quantified

The complexity of reasoning with boolean modal logics

by Carsten Lutz, Ulrike Sattler - LTCSReport 00-02, LuFG Theoretical Computer Science, RWTH , 2001
"... 1 Motivation Since Modal Logics are an extension of Propositional Logic, they provide Boolean operators for constructing complex formulae. However, most Modal Logics do not admit Boolean operators for constructing complex modal parameters to be used in the box and diamond operators. This asymmetry i ..."
Abstract - Cited by 46 (6 self) - Add to MetaCart
is not present in Boolean Modal Logics, in which box and diamond quantify over arbitrary Boolean combinations of atomic modal parameters [9]. Boolean Modal Logics have been considered in various forms and contexts: 1. "Pure " Boolean Modal Logic has been studied in [9]. Negation

Microform Calibration Uncertainties of Rockwell Diamond Indenters

by Rockwell Diamond Indenters, J. F. Song, F. F. Rudder, T. V. Vorburger, J. H. Smith , 1995
"... this paper, we describe the instrument setup, calibration and check standards, calibration procedures, error sources and uncertainty components, expanded uncertainty calculations, and calibration results. The approach makes it possible to quantify the uncertainty, uniformity, and reproducibility of ..."
Abstract - Cited by 4 (3 self) - Add to MetaCart
this paper, we describe the instrument setup, calibration and check standards, calibration procedures, error sources and uncertainty components, expanded uncertainty calculations, and calibration results. The approach makes it possible to quantify the uncertainty, uniformity, and reproducibility

Quantifying Collaboration on Computationally-Enhanced Tables

by Meredith Ringel Morris, Terry Winograd - CSCW 2004 Workshop on Methodologies for Evaluating Collaboration Behaviour in Co-located Environments
"... Recent research in our group has focused on tabletop interface design, with an emphasis on identifying design guidelines that facilitate group work. We have developed several collaborative tabletop applications, and have evaluated them through formal usability studies and informal walkthroughs. Howe ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
stepping-stone for developing a standard for quantitatively and qualititatively describing the impact of groupware technology on collaboration. Experiences and Challenges We have designed and evaluated several four-user tabletop applications for DiamondTouch tables [1]. For example, we have developed

Cutting force in stone machining by diamond disk

by S Turchetta - Advances in Materials Science and Engineering 2010 (2010), DOI 10.1155/2010/631437. 8 Turchetta S, Cutting
"... Stone machining by diamond disk is a widespread process to manufacture standard products, such as tiles, slabs, and kerbs. Cutting force and energy may be used to monitor stone machining. Empirical models are required to guide the selection of cutting conditions. In this paper, the effects of cutti ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Stone machining by diamond disk is a widespread process to manufacture standard products, such as tiles, slabs, and kerbs. Cutting force and energy may be used to monitor stone machining. Empirical models are required to guide the selection of cutting conditions. In this paper, the effects

Relaying Utilization Metrics of Diamond Cooperative Diversity Systems

by Theodoros A. Tsiftsis, Zoran Hadzi-velkov, George K. Karagiannidis, Nikola Zlatanov
"... Abstract—We introduce relaying utilization statistical metrics to quantify the contribution of a relay node to the overall relaying process in cooperative diversity systems. Motivated by the second order statistics of the relay fading channel, the following metrics are defined: i) the average relayi ..."
Abstract - Add to MetaCart
Abstract—We introduce relaying utilization statistical metrics to quantify the contribution of a relay node to the overall relaying process in cooperative diversity systems. Motivated by the second order statistics of the relay fading channel, the following metrics are defined: i) the average

Grain-Scale Modeling of CVD of Polycrystalline Diamond Films

by M. Grujicic, S. G. Lai
"... The evolution of grain size, grain-size distribution, morphological and crystallographic texture, surface roughness, and the contribution of various surface facets to the growth of polycrystalline diamond films is performed by carrying out a series of two-dimensional computer simulations. The films ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
The evolution of grain size, grain-size distribution, morphological and crystallographic texture, surface roughness, and the contribution of various surface facets to the growth of polycrystalline diamond films is performed by carrying out a series of two-dimensional computer simulations. The films
Results 1 - 10 of 84