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

In this paper we explore fuzzy semantics for a wide class of normal modal systems enriched with multiple instances of the axiom of confluence and prove a general completeness result for such systems.

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

objective: malfunction in the intimacy, marital conflict and early maladaptive schemas have always been considered as one of the principal reasons of couples’ divorce. employment of effective therapies may help in the improvement of couples’ problems and decrease of divorce. methods: the present research employed a single-subject research design and selected 3 women suing for divorce from among...

disclosure of classified public interest information has become one of the major legal challenges in recent years. in the past decades the conflict between the right of people to receive information and principle of sovereignty within the framework of traditional media (direct broadcast satellite) resolved in favor of  principle of free flow of information and the said conflict was replaced by ...

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