The notion of τ -confluence provides a form of partial order reduction of Labelled Transition Systems (Ltss), by enabling to identify the τ -transitions, whose execution does not alter the observable behaviour of the system. Several forms of τ -confluence adequate with branching bisimulation were studied in the literature, ranging from strong to weak forms according to the length of τ -transiti...

To improve the efficiency of model checking in general, and probabilistic model checking in particular, several reduction techniques have been introduced. Two of these, confluence reduction and partial-order reduction by means of ample sets, are based on similar principles, and both preserve branching-time properties for probabilistic models. Confluence reduction has been introduced for probabi...

In the abstract operational semantics of Constraint Handling Rules (CHR), propagation rules, i.e. rules that only add information, can be applied again and again. This trivial non-termination is typically avoided by a propagation history. A more declarative approach are persistent constraints. Constraints that are introduced by propagation rules are made persistent and cannot be removed. Now a ...

CONTEXT Various techniques for reconstruction after superior mesenteric-splenic-portal vein confluence resection during pancreaticoduodenectomy have been introduced. A certain kind of vascular grafting may be necessary especially when long segmental resection of superior mesenteric-splenic-portal vein confluence is required. CASE REPORT We herein report the cases of two patients who underwent...

We present a useful web interface for tools that participate in the annual confluence competition.

We assume that the Stefan problem with undercooling has a classical solution until the moment of contact of free boundaries and the free boundaries have continuous velocities until the moment of contact. Under these assumptions , we construct a smooth approximation of the global solution of the Stefan problem with undercooling, which, until the contact, gives the classical solution mentioned ab...

Water originating from coal-bed natural gas (CBNG) production wells typically contains ammonium and is often disposed via discharge to ephemeral channels. A study conducted in the Powder River Basin, Wyoming, documented downstream changes in CBNG water composition, emphasizing nitrogen-cycling processes and the fate of ammonium. Dissolved ammonium concentrations from 19 CBNG discharge points ra...

BACKGROUND After establishment of a cell culture, inhomogenous growth and cell selection takes place at early passages. Reproducing the same confluence state among experiments might be difficult. MATERIALS AND METHODS Here we used cDNA arrays to compare the global gene expression pattern of two oral cancer cell lines at 80%, 100% and super-confluence stages. Also, the stability of the global ...

Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming. An important issue, in either case, is determining whether a rewrite system has the Church-Rosser, or confluence, property. In this paper, we settle negatively the question whether "joinabihty of critical pairs" is, ...