Acceleration methods are commonly used for computing precisely the effects of loops in the reachability analysis of counter machine models. Applying these methods on synchronous data-flow programs with Boolean and numerical variables, e.g. Lustre programs, firstly requires the enumeration of the Boolean states in order to obtain a control graph with numerical variables only. Secondly, accelerat...

The idea that all humans naturally belong to one of a few biological types or races that evolved in isolation was unchallenged for centuries, but large-scale modern studies failed to associate racial labels with recognizable genetic clusters. Recently, the conclusions of those studies have been questioned by authors who argue that racial classification has objective scientific bases and is indi...

We present experimental results on the analysis of turbulent velocity measurements in the flow that develops in the gap between two coaxial counter-rotating disks (von K£rm£n swirling flow). In the absence of a well-defined mean velocity we introduce the use of a "local Taylor hypothesis" to obtain spatial information from hot-wire measurement at a fixed location. The results are in agreement w...

aims: musculoskeletal disorders are common occupational hazards and disabilities in developing countries. this study was to assess postures and determine musculoskeletal disorders in employees of a water flow meter manufacturing factory in iran. materials & methods: in this descriptive analytical study that was done among workers of iran ensheab factory from water-counter manufacturing industry...

The Shear-Slip Mesh Update Method, designed to handle certain classes of flow problems with moving boundaries and interfaces, is presented. Specifically, we focus on problems with large but regular boundary displacements, such as straight-line translation or rotation. These motions are accommodated by using a thin layer of deforming space-time elements, together with limited remeshing without a...

Accurate number concentrations of particles in liquid media are needed to assess the quality of water, pharmaceuticals, and other liquids, yet there are limited reference materials or calibration services available with clear traceability to the International System of Units. We describe two methods, based on very simple modifications of commercial particle counter instruments, that can provide...

Several applications such as liquid-liquid extraction in micro-fluidic devices are concerned with the flow of two immiscible liquid phases. The commonly observed flow regimes in these systems are slug-flow and stratified flow. The latter regime in micro-channels has the inherent advantage that separation of the two liquids at the exit is efficient. Recently extraction in a stratified counter-cu...