This paper describes CVPP, a tool set for compositional verification of control–flow safety properties for programs with procedures. The compositional verification principle that underlies CVPP is based on maximal models constructed from component specifications. Maximal models replace the actual components when verifying the whole program, either for the purposes of modularity of verification ...

Aerobic mineralization of PCBs, which are toxic and persistent organic pollutants, involves the upper (biphenyl, BP) and lower (benzoate, BZ) degradation pathways. The activity of different members of the soil microbial community in performing one or both pathways, and their synergistic interactions during PCB biodegradation, are not well understood. This study investigates BP and BZ biodegrada...

there are limited clinical investigations identifying the percentage of t helper 1 (th1) and t regulatory (treg) cells in stable as well as rejected kidney allografts, a concept which needs to be more studied. the aim of our study was to compare the percentage of cd4+ ifn-γ+ cells, the number of ifn-γ secreting cells and the amount of foxp3 expression in patients with or without stable graft fu...

Given a stable configuration of point vortices for steady two-dimensional inviscid, incompressible fluid flow in a domain D, it is shown that there is another stable configuration of stationary vortices in D with vortices near the original vortices plus additional vortices near any points on the boundary where the speed of the original flow is a nonzero relative minimum.

In this paper, we develop a class of mixed finite element methods for the ferrofluid flow model proposed by Shliomis (1972). We show that energy stability weak solutions to is preserved exactly both semi-discrete and fully discrete solutions. Furthermore, prove existence uniqueness derive optimal error estimates schemes. Numerical experiments confirm theoretical results.

For a hypersurface in ${\mathbb R}^3$, Willmore flow is defined as the $L^2$--gradient of classical energy: integral squared mean curvature. This geometric evolution law interest differential geometry, image reconstruction and mathematical biology. In this paper, we propose novel numerical approximations for axisymmetric hypersurfaces. semidiscrete continuous-in-time variants prove stability re...