Flows can modify the eeects of nonlinear reactions. Here we use a lattice Boltz-mann method to simulate an athermal ow which advects reactant species. As an example we consider a reactive system modeled by the Brusselator which exhibits Turing structures; the system is subjected to mixing as induced by the wakes behind obstacles. The resulting eeect is a modiication of the reaction patterns whi...

An open workflow net is basically a workflow net extended with a message passing interface. Open workflow nets are adequate models for services or parts of inter-organizational business processes. We investigate the problem of controlla ilit , a natural counterpart of soundness in classical workflow nets (as studied by van der Aalst). We distinguish centralized, distributed, and local controlla...

We consider two types of buffering policies that are used in network switches supporting QoS (Quality of Service). In the FIFO type, packets must be released in the order they arrive; the difficulty in this case is the limited buffer space. In the bounded-delay type, each packet has a maximum delay time by which it must be released, or otherwise it is lost. We study the cases where the incoming...

A maximum dynamic ow generalizes the standard maximum ow problem by introducing time. The object is to send as much ow from source to sink in T time units as possible. A related problem is the universally maximum ow, which asks to send a ow from source to sink that maximizes the amount of ow arriving at the sink by time t for all t T. We consider a further generalization of this problem that al...

In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection push the boundaries of what we can learn about programs statically. This work illuminates and poses solutions to theoretical and practical challenges that stand in the way of combining the power of these techniques. Pushdown flow analysis grants unbounded yet computable polyvariance to the anal...

Hemopuriˆcation is an eŠective therapy for acute kidney injury, deˆned as creatinine clearance less than 30 ml/ min, which occurs frequently in the intensive care unit. These critically ill patients often have severe infectious complications and are thus often treated with antibiotics. However, the eŠect of hemopuriˆcation on the pharmacokinetics of antibiotics is not well understood. In this s...

We consider the problem of wrapping around an object, of which two views are available, a reference surface and recovering the resulting parametric ow using direct computations (via spatio-temporal derivatives). The well known examples are a ne ow models and 8-parameter ow models | both describing a ow eld of a planar reference surface. We extend those classic ow models to deal with a Quadric r...

This paper presents a technique for multi-channel optical ow estimation. We combine the brightness constancy constraint with the relationship between optical ow elds and disparity elds in estimating optical ow elds by solving systems of linear equations. In this formulation, the so called round-about compatibility constraint is used to ensure the coherence between optical ow elds and to pin dow...

Work ow processes are long duration activities and therefore it is not possible to apply the well accepted correctness techniques of transactions directly to work ow systems In this paper we rst mention the correctness problems of work ow systems and then exploit the available seman tics in work ow speci cation in the form of data and serial control ow dependencies to de ne isolation units We s...

the meshless local radial point interpolation (mlrpi) method is applied to examine the magnetohydrodynamic (mhd) ow of third grade uid in a porous medium. the uid saturates the porous space between the two boundaries. several limiting cases of fundamental ows can be obtained as the special cases of present analysis. the variations of pertinent parameters are addressed.