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...

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 ...

A combination of unusual bilateral drainage of the testicular veins observed in a male cadaver utilized for educational and research purposes is prescribed. In specific, the right testicular vein was terminated on the right renal vein at almost right angle, whereas the left testicular vein was bifurcated into a lateral component drained into the left renal vein and a medial component opened int...

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, ...

Term rewriting systems provide a versatile model of computation. An important property which allows to abstract from potential nondeterminism of parallel execution of the modelled program is confluence. In this paper we prove that confluence of a fairly large class of systems, namely right ground term rewriting systems, is decidable. We introduce a labelling of variables with colours and constr...

The notion of confluence is studied on the context of bigraphs. Confluence will be important in modelling real-world systems, both natural (as in biology) and artificial (as in pervasive computing). The paper uses bigraphs in which names have multiple locality; this enables a formulation of the lambda calculus with explicit substitutions. The paper reports work in progress, seeking conditions o...

Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams technique to prove confluence of rewrite systems, rule-labelling heuristic has been proposed by van Oostrom (2008). We show how constraints for ensuring confluence of term rewriting systems constructed based on the rule-lab...