In this study, numerical simulations using the Environmental Fluid Dynamics Code model were conducted to elucidate effects of flow structures in recirculation zone on solute storage based junction angle. Numerical performed at a angle 30° 90° with momentum flux ratio 1.62. The simulation results revealed that an increase caused length and width strengthened development helical motion. motion in...

Background: In the field of cellular therapy, the impact of confluence degreeonharvesting or differentiation of BMMSCs and the effect of cell-to-cell contact remain controversial. Therefore, the effect of confluence on properties of BMMSCs was studied and efficiency of confluence-associated osteogenic differentiation was identified. Materials andMethods: The impact of 20, 50, 70, 80 and 100% co...

Constraint Handling Rules (CHRs) are a powerful rule based language for specifying constraint solvers. Critical for any rule based language is the notion of confluence, and for terminating CHRs there is a decidable test for confluence. But many CHR programs that in practice are confluent fail this confluence test. The problem is that the states that illustrate non-confluence are not reachable i...

Abstract This paper exposes how HIDROVIA S.A. (Inland Waterway Concession company) worked in the Middle Paraná River inland waterway “Santa Fe – Confluence” to maintain navigation channel without dredging works by means of four steps: frequent bathymetric surveys, study AIS vessels tracks, a special coordination logistic river with technical team and buoy tenders crew effective communication pl...

We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and mathematically more realistic) look at cut-free proofs. We analyze which witnesses they choose for which quantifiers, or in other words: we only consider the Herbrand-d...

We investigate con uence properties for concurrent systems of message-passing processes, because such properties have proved to be useful for a variety of applications, ranging from reasoning about concurrent objects to mobile and high-speed telecommunication protocols. Roughly, con uence means that for every two computations starting from a common system state, it is possible to continue the c...

This paper describes the Conditional Confluence tool, a fully automatic confluence checker for first-order conditional term rewrite systems. The tool implements various confluence criteria that have been proposed in the literature. A simple technique is presented to test conditional critical pairs for infeasibility, which makes conditional confluence criteria more useful. Detailed experimental ...

During the last decade, model based tracking of objects and its necessity in visual servoing and manipulation has been advocated in a number of systems [4], [7], [9], [12], [13], [14]. Most of these systems demonstrate robust performance for cases where either the background or the object are relatively uniform in color. In terms of manipulation, our basic interest is handling of everyday objec...