Different flow patterns of downward gas-liquid two-phaseflow using simple mixer are studied in an experimental manner. An experimental setup is designed and fabricated to allow the visual observation of downward two-phase flow patterns and their transitions. The flow patterns are recorded by a 1200 frames per second high speed video camera. The quality of downward two-phase flow patterns photos...

The aim of this study was to develop a functional model of monofin swimming by assigning numerical forms to certain technique parameters. The precise determination of optimal foot displacement and monofin strain points toward a model aspect for increasing swimming speed. Eleven professional swimmers were filmed underwater. The kinematic data were then used as entry variable for an artificial ne...

Shoots of the lazy-2 (lz-2) gravitropic mutant of tomato (Lycopersicon esculentum Mill.) have a normal gravitropic response when grown in the dark, but grow downward in response to gravity when grown in the light. Experiments were undertaken to investigate the nature of the light induction of the downward growth of lz-2 shoots. Red light was effective at causing downward growth of hypocotyls ...

In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data structure to represent infinite downward closed sets of markings and to compute symbolically the minimal coverability set of Petri Nets, we identify a subclass of Transfer Nets for which the forward approach generalizes and ...

There is a growing body of evidence that models overestimate clear-sky downward shortwave surface irradiances (Charlock and Alberta 1996, Kato et al. 1997, Kinne et at. 1997, Wild et al. 1981). Kato et al. (1997) showed that their model, with the best available gaseous absorption cross section data, accurately computes direct irradiance provided that the model has as input accurate water vapor ...

We study the expressive power of the downward and vertical fragments of XPath equipped with (in)equality tests over data trees. We give necessary and sufficient conditions for a class of pointed data trees to be definable by a set of formulas or by a single formula of each of the studied logics. To do so, we introduce a notion of saturation, and show that over saturated data trees bisimulation ...

Prior research on regret has assumed a consideration set of only two-alternatives. The authors have relaxed that assumption and have developed hypotheses to examine the influence of the unawareness set and order effects in the measurement of consumer regret in a post-purchase evaluation. The results demonstrated that the brands consumers were previously unaware of, do indeed influence consumer ...

CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes a fixed point over the lattice of contravariant antichains. Here contravariant antichains are antichains over pairs consisting of an information set and an allow set representing the associated move. We demonstrate how...