A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X , if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X . A locally connected space is straight iff it is uniformly locally connected (ULC). It is easily seen that ULC spaces are stable under finite products. On the other hand the ...

A new internal structure for simple polygons, the straight skeleton, is introduced and discussed. It is composed of pieces of angular bisectores which partition the interior of a given n-gon P in a tree-like fashion into n monotone polygons. Its straight-line structure and its lower combinatorial complexity may make the straight skeleton preferable to the widely used medial axis of a polygon. A...

We propose a symbolic semantics for the finite applied pi calculus.The applied pi calculus is a variant of the pi calculus with extensions formodelling cryptographic protocols. By treating inputs symbolically, oursemantics avoids potentially infinite branching of execution trees due toinputs from the environment. Correctness is maintained by associatingwith each process a se...

We propose a symbolic semantics for the finite applied pi calculus.The applied pi calculus is a variant of the pi calculus with extensions formodelling cryptographic protocols. By treating inputs symbolically, oursemantics avoids potentially infinite branching of execution trees due toinputs from the environment. Correctness is maintained by associatingwith each process a se...

We give an algorithm that reduces the straight skeleton to the motorcycle graph in O(n log n) time for (weakly) simple polygons and O(n(log n) logm) time for a planar straight line graph with m connected components. The current fastest algorithms for computing motorcycle graphs are an O(n ) time algorithm for non-degenerate cases and O(n ) for degenerate cases. Together with our algorithm this ...

Expansive soils are found in many parts of the world that especially arid and semi-arid regions. They have caused several damages lightweight structures for decades. For this reason, a more suitable foundation type should be selected designed built on these soils. example, application belled shaft at expansive soil layer is preferable method practice. However, one worst cases design accepted sw...

abstract study design: a cross-sectional non-experimental study. objectives: to collectively detect the reliability and feasibility of the five types of clinical tests that have been used to measure endurance of the trunk muscles in subjects with and without low back pain (lbp) and identify the sensitivity of each test to predict the probability of the occurrence oflbp. background: testing spin...

In this paper, a three dimensional analysis of arbitrary straight-sided quadrilateral nanocomposite plates are investigated. The governing equations are based on three-dimensional elasticity theory which can be used for both thin and thick nanocomposite plates. Although the equations can support all the arbitrary straight-sided quadrilateral plates but as a special case, the numerical results f...