We propose and compare through simulations different ways of linking a continuum descriptiond protein dynamics translocation tissue pores with the low-scale discrete structure its inner interactions. At first we consider model emerging from version Cauchy-Born rule, written in terms velocities. Then, explore variants, which account for rate at amino acids move relatively to mass center. In repr...

A b s t r a c t . An Unfold/Fold transformation system is a source-to-source rewriting methodology devised to improve the efficiency of a program. Any such transformation should preserve the main properties of the initial program: among them, termination. When dealing with logic programs such as PROLOG programs, one is particularly interested in preserving left termination i.e. termination wrt ...