Search results for "ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION"
showing 10 items of 140 documents
A New Set of Quartic Trivariate Polynomial Equations for Stratified Camera Self-calibration under Zero-Skew and Constant Parameters Assumptions
2012
This paper deals with the problem of self-calibrating a moving camera with constant parameters. We propose a new set of quartic trivariate polynomial equations in the unknown coordinates of the plane at infinity derived under the no-skew assumption. Our new equations allow to further enforce the constancy of the principal point across all images while retrieving the plane at infinity. Six such polynomials, four of which are independent, are obtained for each triplet of images. The proposed equations can be solved along with the so-called modulus constraints and allow to improve the performance of existing methods.
A Perturbation Approach to Continuous-Time Portfolio Selection Under Stochastic Investment Opportunities
2013
This paper studies portfolio selection in continuous-time models with stochastic investment opportunities. We consider asset allocation problems where preferences are specified as power utility derived from terminal wealth as well as consumption-savings problems with recursive utility Epstein-Zin preferences. The paper approximates the associated dynamic programming problem by perturbing the coefficients of the stochastic dynamics. We represent the Hamilton-Jacobi-Bellman equation as a series of partial differential equations that can be solved iteratively in closed-form through computer algebra software, at any desired accuracy.
Neural network approach to solving fuzzy nonlinear equations using Z-numbers
2020
In this article, the fuzzy property is described by means of the Z-number as the coefficients and variables of the fuzzy equations. This alteration for the fuzzy equation is appropriate for system modeling with Z-number parameters. In this article, the fuzzy equation with Z-number coefficients and variables is tended to be used as the models for the uncertain systems. The modeling issue related to the uncertain system is to obtain the Z-number coefficients and variables of the fuzzy equation. Nevertheless, it is extremely hard to get the Z-number coefficients of the fuzzy equations. In this article, in order to model the uncertain nonlinear systems, a novel structure of the multilayer neura…
Quantum Dual Adversary for Hidden Subgroups and Beyond
2019
An explicit quantum dual adversary for the S-isomorphism problem is constructed. As a consequence, this gives an alternative proof that the query complexity of the dihedral hidden subgroup problem is polynomial.
Virtual and arrow Temperley–Lieb algebras, Markov traces, and virtual link invariants
2021
Let [Formula: see text] be the algebra of Laurent polynomials in the variable [Formula: see text] and let [Formula: see text] be the algebra of Laurent polynomials in the variable [Formula: see text] and standard polynomials in the variables [Formula: see text] For [Formula: see text] we denote by [Formula: see text] the virtual braid group on [Formula: see text] strands. We define two towers of algebras [Formula: see text] and [Formula: see text] in terms of diagrams. For each [Formula: see text] we determine presentations for both, [Formula: see text] and [Formula: see text]. We determine sequences of homomorphisms [Formula: see text] and [Formula: see text], we determine Markov traces […
Special arrangements of lines: Codimension 2 ACM varieties in P 1 × P 1 × P 1
2019
In this paper, we investigate special arrangements of lines in multiprojective spaces. In particular, we characterize codimension 2 arithmetically Cohen–Macaulay (ACM) varieties in [Formula: see text], called varieties of lines. We also describe their ACM property from a combinatorial algebra point of view.
Hypergestures in Complex Time: Creative Performance Between Symbolic and Physical Reality
2015
Musical performance and composition imply hypergestural transformation from symbolic to physical reality and vice versa. But most scores require movements at infinite physical speed that can only be performed approximately by trained musicians. To formally solve this divide between symbolic notation and physical realization, we introduce complex time (\(\mathbb {C}\)-time) in music. In this way, infinite physical speed is “absorbed” by a finite imaginary speed. Gestures thus comprise thought (in imaginary time) and physical realization (in real time) as a world-sheet motion in space-time, corresponding to ideas from physical string theory. Transformation from imaginary to real time gives us…
Rationality and Sylow 2-subgroups
2010
AbstractLet G be a finite group. If G has a cyclic Sylow 2-subgroup, then G has the same number of irreducible rational-valued characters as of rational conjugacy classes. These numbers need not be the same even if G has Klein Sylow 2-subgroups and a normal 2-complement.
A simple proof for the formula to get symmetrized powers of group representations
1993
A general formula to decompose the p-power of irreducible representations of an arbitrary space group into sum of sets of irreducible representations of such a group, having identical permutational symmetry, is presented. Its proof is based upon a straightforward application of the properties of the generalized projection (shift) operators. © 1993 John Wiley & Sons, Inc.
An Algebraic Approach to Knowledge Representation
1999
This paper is an attempt to apply domain-theoretic ideas to a new area, viz. knowledge representation. We present an algebraic model of a belief system. The model consists of an information domain of special kind (belief algebra) and a binary relation on it (entailment). It is shown by examples that several natural belief algebras are, essentially, algebras of flat records. With an eye on this, we characterise those domains and belief algebras that are isomorphic to domains or algebras of records. For illustration, we suggest a system of axioms for revision in such a model and describe an explicit construction of what could be called a maxichoise revision.