نتایج جستجو برای: tree shaped pathways
تعداد نتایج: 481462 فیلتر نتایج به سال:
We investigate the finite-time stabilization of a tree-shaped network of strings. Transparent boundary conditions are applied at all the external nodes. At any internal node, in addition to the usual continuity conditions, a modified Kirchhoff law incorporating a damping term αut with a coefficient α that may depend on the node is considered. We show that for a convenient choice of the sequence...
This paper describes an O(n log n) algorithm for 2nding the optimal location of a tree shaped facility of a speci2ed size in a tree network with n nodes, using the centdian criterion: a convex combination of the weighted average distance and the maximum weighted distance from the facility to the demand points (nodes of the tree). These optimization criteria introduced by Halpern, combine the we...
Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s. However, the tableaux for this logic do not look like traditional tree-shaped tableau systems and their processing is often quite complicated. In this paper,...
Forests are of major importance to human society, contributing several crucial ecosystem services. Biodiversity is suggested to positively influence multiple services but evidence from natural systems at scales relevant to management is scarce. Here, across a scale of 400,000 km(2), we report that tree species richness in production forests shows positive to positively hump-shaped relationships...
We report a case in an inoperable patient with the hilar malignant biliary obstruction treated palliatively by the use of a newly designed Y-shaped covered stent without interfering contra-lateral bile duct. We percutaneously inserted a newly designed Y-shaped covered stent into a biliary tree in an inoperable patient with Bismuth Type II cholangiocarcinoma. We checked tubograms, enhanced CT st...
The pig is frequently used as an experimental model for studies of the pulmonary circulation, yet the branching and dimensional geometry of the porcine pulmonary vasculature remains poorly defined. The purposes of this study are to improve the geometric definition of the porcine pulmonary arteries and to determine whether the arterial tree exhibits self-similarity in its branching geometry. Fiv...
Multicast is an important traffic mode that runs on multi-core systems, and an efficient hardware support for multicast can greatly improve the performance of the whole system. Most multicast solutions use the dimension-order routing to generate the mutlicast trees, which are neither bandwidth nor power efficient. This article presents a synthesizable router for network-on-chip (NoC) which supp...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید