Porosity is one of the key properties fluvial sediments. It defined as ratio pore volume to total volume. In river science, porosity often assumed be spatially constant, which might a gross simplification reality. Ignoring spatial variations in can cause errors morphological, ecological, hydrological, hydrogeological and sedimentological applications. Although detailed information about obtaine...

For terminating double-pushout (DPO) graph rewriting systems confluence is, in general, undecidable. We show that confluence is decidable for an extension of DPO rewriting to graphs with interfaces. This variant is important due to it being closely related to rewriting of string diagrams. We show that our result extends, under mild conditions, to decidability of confluence for terminating rewri...

We develop diagram techniques for proving confluence in abstract reductions systems. The underlying theory gives a systematic and uniform framework in which a number of known results, widely scattered throughout the literature, can be understood. These results include Newman's lemma, Lemma 3.1 of Winkler and Buchberger, the Hindley Rosen lemma, the Request lemmas of Staples, the Strong Confluen...

τ -confluence is a reduction technique used in enumerative model-checking of labeled transition systems to avoid the state explosion problem. In this paper, we propose a new on-the-fly algorithm to calculate partial τ -confluence, and propose new techniques to do so on large systems in a compositional manner. Using information inherent in the way a large system is composed of smaller systems, w...

This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques implemented so far can be combined flexibly. Methods developed for termination analysis are adapted to prove and disprove confluence. Preliminary experimental results show the potential of our tool.

Concerning the previous anatomical knowledge and requirements of current hepato-pancreato-biliary practice it was our aim to enhance the anatomy knowledge of the caudate lobe biliary drainage. Using the injection-corrosion method we made 27 acrylic porto-biliary casts of proper quality from 30 post-mortem, adult human liver specimens. During the observation under a magnifying glass a portal vas...

Confluence is a critical property of computational systems which is related with determinism and non ambiguity and thus with other relevant computational attributes of functional specifications and rewriting system as termination and completion. Several criteria have been explored that guarantee confluence and their formalisations provide further interesting information. This work discusses top...