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

In this study, we use a lattice Boltzmann method with multi-relaxation-time model to simulate dam-break flooding in confluence channels four angles. Compared physical experiment, the simulation proves reliable. We analyze influence of angle on propagation flood. The stage hydrograph at area can be divided into stages: before wavefront reaches—rising rapidly—falling gradually—planarization perio...

We present three methods to check CTRSs for non-confluence: (1) an ad hoc method for 4-CTRSs, (2) a specialized method for unconditional critical pairs, and finally, (3) a method that employs conditional narrowing to find non-confluence witnesses. We shortly describe our implementation of these methods in ConCon [8], then look into their certification with CeTA [11], and finally conclude with e...

In the logic based framework of knowledge representation and reasoning many operators have been defined in order to capture different kinds of change: revision, update, merging and many others. There are close links between revision, update, and merging. Merging operators can be considered as extensions of revision operators to multiple belief bases. And update operators can be considered as po...

Proofs of coherence in category theory, starting from Mac Lane’s original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what one finds in the lambda calculus, or in term-rewriting systems in general. This applies to coherence results that assert that a category is a preorder, i.e. that “all diagrams commute”. This note is about this analog...