Elimination of local bridges
Let p be a prime number, p ≠ 2,3 and Fp the finite field with p elements. An elliptic curve E over Fp is a projective nonsingular curve of genus 1 defined over Fp. Each one of these curves has an isomorphic model given by an (Weierstrass) equation E: y2 = x3 + Ax + B, A,B ∈ Fp with D = 4A3 + 27B2 ≠ 0. The j-invariant of E is defined by j(E) = 1728·4A3/D.The aim of this note is to establish some results concerning the cardinality of the group of points on elliptic curves over Fp with j-invariants...
We inductively describe an embedding of a complete ternary tree Tₕ of height h into a hypercube Q of dimension at most ⎡(1.6)h⎤+1 with load 1, dilation 2, node congestion 2 and edge congestion 2. This is an improvement over the known embedding of Tₕ into Q. And it is very close to a conjectured embedding of Havel [3] which states that there exists an embedding of Tₕ into its optimal hypercube with load 1 and dilation 2. The optimal hypercube has dimension ⎡(log₂3)h⎤ ( = ⎡(1.585)h⎤) or ⎡(log₂3)h⎤+1....
It is well known that the k-ary n-cube has been one of the most efficient interconnection networks for distributed-memory parallel systems. A k-ary n-cube is bipartite if and only if k is even. Let (X,Y) be a bipartition of a k-ary 2-cube (even integer k ≥ 4). In this paper, we prove that for any two healthy vertices u ∈ X, v ∈ Y, there exists a hamiltonian path from u to v in the faulty k-ary 2-cube with one faulty vertex in each part.
Supervised learning methods are powerful techniques to learn a function from a given set of labeled data, the so-called training data. In this paper the support vector machines approach is applied to an image classification task. Starting with the corresponding Tikhonov regularization problem, reformulated as a convex optimization problem, we introduce a conjugate dual problem to it and prove that, whenever strong duality holds, the function to be learned can be expressed via the dual optimal solutions....
We show that the FIX type theory introduced by Crole and Pitts [3] can be encoded in variants of Abadi and Cardelli's object calculi. More precisely, we show that the FIX type theory presented with judgements of both equality and operational reduction can be translated into object calculi, and the translation proved sound. The translations we give can be seen as using object calculi as a metalanguge within which FIX can be represented; an analogy can be drawn with Martin Löf's Theory of Arities...
We consider the problem of electrical impedance tomography where conductivity distribution in a domain is to be reconstructed from boundary measurements of voltage and currents. It is well-known that this problem is highly illposed. In this work, we propose the use of the Mumford–Shah functional, developed for segmentation and denoising of images, as a regularization. After establishing existence properties of the resulting variational problem, we proceed by demonstrating the approach in several...
We consider the problem of electrical impedance tomography where conductivity distribution in a domain is to be reconstructed from boundary measurements of voltage and currents. It is well-known that this problem is highly illposed. In this work, we propose the use of the Mumford–Shah functional, developed for segmentation and denoising of images, as a regularization. After establishing existence properties of the resulting variational problem, we proceed by demonstrating the approach in several...