نتایج جستجو برای: conflict of confluence
تعداد نتایج: 21171930 فیلتر نتایج به سال:
In this note we introduce critical-pair-closing systems which are aimed at analyzing confluence of term rewriting systems. Based on the notion two new confluence criteria are presented. One is a generalization of weak orthogonality based on relative termination, and another is a partial solution to the RTA Open Problem #13.
The relationship between the level of cell confluence near the plateau phase of growth and blastocyst yield following somatic cell cloning is not well understood. We examined the effect of distinct cell culture confluence levels on in vitro development of cloned bovine embryos. In vitro-matured bovine oocytes were manually bisected and selected by DNA staining. One or two enucleated hemi-cytopl...
Confluence reduction and partial order reduction by means of ample sets are two different techniques for state space reduction in both traditional and probabilistic model checking. This paper provides an extensive comparison between these two methods, and answers the question how they relate in terms of reduction power when preserving branching time properties. We prove that, while both preserv...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید