33,537 research outputs found
Can Computer Algebra be Liberated from its Algebraic Yoke ?
So far, the scope of computer algebra has been needlessly restricted to exact
algebraic methods. Its possible extension to approximate analytical methods is
discussed. The entangled roles of functional analysis and symbolic programming,
especially the functional and transformational paradigms, are put forward. In
the future, algebraic algorithms could constitute the core of extended symbolic
manipulation systems including primitives for symbolic approximations.Comment: 8 pages, 2-column presentation, 2 figure
Conformal Mapping on Rough Boundaries I: Applications to harmonic problems
The aim of this study is to analyze the properties of harmonic fields in the
vicinity of rough boundaries where either a constant potential or a zero flux
is imposed, while a constant field is prescribed at an infinite distance from
this boundary. We introduce a conformal mapping technique that is tailored to
this problem in two dimensions. An efficient algorithm is introduced to compute
the conformal map for arbitrarily chosen boundaries. Harmonic fields can then
simply be read from the conformal map. We discuss applications to "equivalent"
smooth interfaces. We study the correlations between the topography and the
field at the surface. Finally we apply the conformal map to the computation of
inhomogeneous harmonic fields such as the derivation of Green function for
localized flux on the surface of a rough boundary
A Unifying Approach to Quaternion Adaptive Filtering: Addressing the Gradient and Convergence
A novel framework for a unifying treatment of quaternion valued adaptive
filtering algorithms is introduced. This is achieved based on a rigorous
account of quaternion differentiability, the proposed I-gradient, and the use
of augmented quaternion statistics to account for real world data with
noncircular probability distributions. We first provide an elegant solution for
the calculation of the gradient of real functions of quaternion variables
(typical cost function), an issue that has so far prevented systematic
development of quaternion adaptive filters. This makes it possible to unify the
class of existing and proposed quaternion least mean square (QLMS) algorithms,
and to illuminate their structural similarity. Next, in order to cater for both
circular and noncircular data, the class of widely linear QLMS (WL-QLMS)
algorithms is introduced and the subsequent convergence analysis unifies the
treatment of strictly linear and widely linear filters, for both proper and
improper sources. It is also shown that the proposed class of HR gradients
allows us to resolve the uncertainty owing to the noncommutativity of
quaternion products, while the involution gradient (I-gradient) provides
generic extensions of the corresponding real- and complex-valued adaptive
algorithms, at a reduced computational cost. Simulations in both the strictly
linear and widely linear setting support the approach
Toward an architecture for quantum programming
It is becoming increasingly clear that, if a useful device for quantum
computation will ever be built, it will be embodied by a classical computing
machine with control over a truly quantum subsystem, this apparatus performing
a mixture of classical and quantum computation.
This paper investigates a possible approach to the problem of programming
such machines: a template high level quantum language is presented which
complements a generic general purpose classical language with a set of quantum
primitives. The underlying scheme involves a run-time environment which
calculates the byte-code for the quantum operations and pipes it to a quantum
device controller or to a simulator.
This language can compactly express existing quantum algorithms and reduce
them to sequences of elementary operations; it also easily lends itself to
automatic, hardware independent, circuit simplification. A publicly available
preliminary implementation of the proposed ideas has been realized using the
C++ language.Comment: 23 pages, 5 figures, A4paper. Final version accepted by EJPD ("swap"
replaced by "invert" for Qops). Preliminary implementation available at:
http://sra.itc.it/people/serafini/quantum-computing/qlang.htm
Graph matching with a dual-step EM algorithm
This paper describes a new approach to matching geometric structure in 2D point-sets. The novel feature is to unify the tasks of estimating transformation geometry and identifying point-correspondence matches. Unification is realized by constructing a mixture model over the bipartite graph representing the correspondence match and by affecting optimization using the EM algorithm. According to our EM framework, the probabilities of structural correspondence gate contributions to the expected likelihood function used to estimate maximum likelihood transformation parameters. These gating probabilities measure the consistency of the matched neighborhoods in the graphs. The recovery of transformational geometry and hard correspondence matches are interleaved and are realized by applying coupled update operations to the expected log-likelihood function. In this way, the two processes bootstrap one another. This provides a means of rejecting structural outliers. We evaluate the technique on two real-world problems. The first involves the matching of different perspective views of 3.5-inch floppy discs. The second example is furnished by the matching of a digital map against aerial images that are subject to severe barrel distortion due to a line-scan sampling process. We complement these experiments with a sensitivity study based on synthetic data
- …