We report experimental results for the MapReduce algorithms proposed by Afrati, Das Sarma, Menestrina, Parameswaran and Ullman in ICDE’12 to compute fuzzy joins of binary strings using Hamming Distance. Their algorithms come with complete theoretical analysis, however, no experimental evaluation is provided. They argue that there is a tradeoff between communication cost and processing cost, and...

We describe lambda calculus reduction strategies using big-step operational semantics and show how to efficiently trace such reductions. This is used in a web-based lambda calculus reducer, at http://www.dina.kvl.dk/~sestoft/lamreduce/.

Abstract The power unit of self-propelled artillery rotational shell magazine is a vulnerable part in the whole system. Aiming at problem fault diagnosis under multiple loads, method motor current characteristic analysis and support vector machine used to diagnose reducer. Through establishment virtual prototype certain revolving magazine, state characteristics reducer are analyzed from perspec...

INTRODUCTION Alongside the remarkable progress in therapeutic strategies destined to patients with coronary artery disease (CAD), a growing number of patients who suffer from severe and diffuse CAD not amenable for revascularization, continue to experience severe debilitating angina despite optimal medical therapy. The Coronary Sinus (CS) Reducer has emerged as a novel therapeutic strategy for ...

Despite the tremendous development in CNC programming facilities, linear and circular cuts parallel to the coordinate planes continue to be the standard motions of modern CNC machines. However, the increasing industrial demand for parts with intricate shapes cannot be satisfied with only these standard motions. The proportion of parts which are not covered by the standard CNC motions is certain...

This paper shows how functional languages can be adapted for transaction processing, and discusses the implementation of a parallel runtime system for such functional transaction processing languages. We extend functional languages with current state variables and result state variables to allow the definition of transactions that can update, create and delete bindings in a state. Our runtime s...

In operational modal analysis process of the rotating machinery, it is always difficult to adopt usual modal analysis methods in parameter correction because of the modal parameter identification problems caused by harmonic modes. A technique to distinguish harmonic and structural modes is proposed here, that is, through frequency domain decomposition (FDD) of the vibration signals power spectr...

Carbon dioxide is seldom used as pH reducer in swimming pools. Nevertheless it offers two interesting advantages. First, its use instead of the usual hydrochloric acid avoids the characteristic and serious accident of mixing the disinfectant with that strong acid, which forms a dangerous chlorine gas cloud and, second, it allows the facility to become slightly a depository of that greenhouse ga...

By analyzing the shortcomings of various types of cycloid drives, a kind of drive was innovated, which was named as output-pin-wheel cycloid drive. Using the pin-wheel as output part is the biggest different of this kind of drive compared with traditional cycloid reducer. The construction of reducer was redesigned for its specific transmission structure, and corresponding structures and dimensi...