A parallel distributed approach to refine a mesh while preserving the curvature of a target geometry is presented. Our approach starts by generating a coarse linear mesh of the computational domain. Second, the former coarse mesh is curved to match the curvature of the target geometry. Then, the curved mesh is partitioned and the subdomain meshes are sent to the slaves. Finally, the curved elem...

The problem of finding edge-disjoint trees in a hypercube e.g. arises in the context of parallel computing [3]. Independent of applications it is of high aesthetic appeal. A hypercube of dimension n, denoted by Qn, comprises 2 n vertices each corresponding to a distinct binary string of length n. An edge exists between two vertices if and only if their corresponding binary strings differ in exa...

A ranking of a graph G is a mapping, p, from the vertices of G to the natural numbers such that for every path between any two vertices u and u, uf II, with p(u) = p(u), there exists at least one vertex w on that path with p(w) > p(u) = p(u). The value p(u) of a vertex u is the rank of vertex II. A ranking is optimal if the largest rank assigned is the smallest among all rankings. The optimal r...

We study transport through double quantum dots coupled to normal and superconducting leads, where the Andreev reflection plays a key role in determining characteristic transport properties. We shall discuss two typical cases, i.e. double dots with serial or parallel geometry. For the parallel geometry, the interference of electrons via multiple paths is induced, so that the transmission probabi...

Cooperative arms are two or more arms in series which assume the structure of a parallel robot on account of gripping an intermediary object, and are commonly used in accurate assembly industries, coaxialization, movement of object, etc. Gripping an intermediary object is one of the complicated subjects in analysis of cooperative arms, whose analysis is mostly dependent upon the manner the obje...

[1] Shear-wave splitting observations from many subduction zones show complex patterns of seismic anisotropy that commonly have trench-parallel fast directions. Three-dimensional flow may give rise to trench-parallel stretching and provide an explanation for these patterns of seismic anisotropy. Along-strike variations in slab geometry produce trench-parallel pressure gradients and are therefor...

We discuss the automatic creation and adaptive refinement of an unstructured mesh within a complex geometry such as the space surrounding an airplane. This may be formulated as two distinct parts; a non-parallel part requiring global knowledge which automatically creates a coarse compatible mesh, and a parallel local refinement algorithm, which refines the mesh until simulation can begin, then ...

Euclidean geometry, as presented by Euclid, consists of straightedge-andcompass constructions and rigorous reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. This involves finding “uniform” constructions where normally a case distinction is used. For example, in finding a perpendicular to line L through point p, ...

Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathematics” leads to the development of a first-order theory ECG of the “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid ...

Finding and classifying specific objects is a key part in most of the tasks autonomous systems could face. Properly being able to reach objects and find their exact location is very important for successfully achieving higher level robotic behaviors. To perform full object detection and recognition tasks in a wide environment several perception approaches need to be brought together to achieve ...