نتایج جستجو برای: confluence
تعداد نتایج: 5587 فیلتر نتایج به سال:
OBJECTIVE Complex vertebral confluence aneurysms remain clinically challenging despite the rapid technological advances in endovascular technology. Therefore, animal confluence aneurysm models are urgently needed for the preclinical development of related medical devices and training clinicians. This study aimed to establish canine confluence aneurysm model and evaluate hemodynamics in this mod...
The rule labeling heuristic aims to establish confluence of (left-)linear term rewrite systems via decreasing diagrams. We present a formalization of a confluence criterion based on the interplay of relative termination and the rule labeling in the theorem prover Isabelle. Moreover, we report on the integration of this result into the certifier CeTA, facilitating the checking of confluence cert...
In this paper we extend the concept of ∆-confluence to ∆k-confluence by allowing more generalized junctions, called ∆k-junctions. We present an algorithm for recognizing graphs that are ∆k-confluent. We then generalize ∆k-confluence to Ok-confluence by allowing non-intersecting chords within a junction, resulting in Ok-junctions. We present an algorithm for recognizing graphs that are Ok-conflu...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید