hadamard (or complete $cat(0)$) spaces are complete, non-positive curvature, metric spaces. here, we prove a nonlinear ergodic theorem for continuous non-expansive semigroup in these spaces as well as a strong convergence theorem for the commutative case. our results extend the standard non-linear ergodic theorems for non-expansive maps on real hilbert spaces, to non-expansive maps on had...

introduction: the aim of this in vitro study was to evaluate the correlation between accuracy of root zx electronic foramen locator and root canal curvature. methods and materials: one hundred and ten extracted mandibular molars were selected. access cavity was prepared and coronal enlargement of mesiobuccal canal was performed. a #10 flexofile was inserted into the mesiobuccal canal, and a rad...

production and preparation of many parts of the aircraft body including wings with long length, smooth form, and large radius of curvature are amongst the most important challenges in this industry. in this paper, the effective factors in the rubber pad forming method on a pieces contain curvature radius have been investigated by finite element method. the effect of variables such as curvature ...

Parallel tubular channel angular pressing (PTCAP) process is a novel recently developed severe plastic deformation technique for fabrication of ultrafine grained (UFG) metallic tubes. This new process consists of two half cycles and is affected by several parameters such as channel angles, deformation ratio and curvature angles. In this paper, the effects of these parameters on the plastic defo...

The elongation of curvature-bounded paths to an expected length is fundamentally important plan missions for nonholonomic-constrained vehicles in many practical applications, such as coordinating multiple reach a destination simultaneously or performing mission with strict time window. In the paper, by applying properties reachability set paths, explicit conditions existence joining two oriente...

In this note we establish that finite-time singularities of the mean curvature flow of compact Riemannian submanifolds M t →֒ (N, h) are characterised by the blow up of the mean curvature.

Plan library's have proven their added value to the e ciency of planning. In this paper, we present results on the use of a plan library to plan repair. We show that using a relatively simple library, we can already obtain signi cant improvements in e ciency compared to plan repair without a library.

The ultimate objective in planning is to construct plans for execution. However, when a plan is executed in a real environment it can encounter differences between the expected and actual context of execution. These differences can manifest as divergences between the expected and observed states of the world, or as a change in the goals to be achieved by the plan. In both cases, the old plan mu...

Planning as satissability has hitherto focused only on purely generative planning. There is an evidence in traditional reenement planning that planning incrementally by reusing or merging plans can be more eecient than planning from scratch (sometimes reuse is not eecient, but becomes necessary if the cost of abandoning the reusable plan is too high, when users are charged for the planning solu...