Search results for "Symbolic"
showing 10 items of 449 documents
Vectors, Tensors, Manifolds and Special Relativity
2015
Assuming that the reader is familiar with the notion of vectors, within a few pages, with a few examples, the reader will get to be familiar with the generic picture of tensors. With the specific notions given in this chapter, the reader will be able to understand more advanced tensor courses with no further effort. The transition between tensor algebra and tensor calculus is done naturally with a very familiar example. The notion of manifold and a few basic key aspects on Special Relativity are also presented.
A Non-antisymmetric Tensor Contraction Engine for the Automated Implementation of Spin-Adapted Coupled Cluster Approaches
2015
We present a symbolic manipulation algorithm for the efficient automated implementation of rigorously spin-free coupled cluster (CC) theories based on a unitary group parametrization. Due to the lack of antisymmetry of the unitary group generators under index permutations, all quantities involved in the equations are expressed in terms of non-antisymmetric tensors. Given two tensors, all possible contractions are first generated by applying Wick's theorem. Each term is then put down in the form of a non-antisymmetric Goldstone diagram by assigning its contraction topology. The subsequent simplification of the equations by summing up equivalent terms and their factorization by identifying co…
The Bernstein Basis and its applications in solving geometric constraint systems
2012
International audience; This article reviews the properties of Tensorial Bernstein Basis (TBB) and its usage, with interval analysis, for solving systems of nonlinear, univariate or multivariate equations resulting from geometric constraints. TBB are routinely used in computerized geometry for geometric modelling in CAD-CAM, or in computer graphics. They provide sharp enclosures of polynomials and their derivatives. They are used to reduce domains while preserving roots of polynomial systems, to prove that domains do not contain roots, and to make existence and uniqueness tests. They are compatible with standard preconditioning methods and fit linear program- ming techniques. However, curre…
Data for: Analytical induced force solution in conducting cylindrical bodies and rings due to a rotating finite permanent magnet
2019
Implementation of analytical current density solution in numerical calculations using Wolfram Mathematica software. THIS DATASET IS ARCHIVED AT DANS/EASY, BUT NOT ACCESSIBLE HERE. TO VIEW A LIST OF FILES AND ACCESS THE FILES IN THIS DATASET CLICK ON THE DOI-LINK ABOVE
On a new proof of Moser's twist mapping theorem
1976
Based on a new idea of the author, a new proof of J. Moser's twist mapping theorem is presented.
Computation of a few smallest eigenvalues of elliptic operators using fast elliptic solvers
2001
The computation of a few smallest eigenvalues of generalized algebraic eigenvalue problems is studied. The considered problems are obtained by discretizing self-adjoint second-order elliptic partial differential eigenvalue problems in two- or three-dimensional domains. The standard Lanczos algorithm with the complete orthogonalization is used to compute some eigenvalues of the inverted eigenvalue problem. Under suitable assumptions, the number of Lanczos iterations is shown to be independent of the problem size. The arising linear problems are solved using some standard fast elliptic solver. Numerical experiments demonstrate that the inverted problem is much easier to solve with the Lanczos…
Melancolía de mujeres Solas.
2019
En este trabajo vamos a relacionar la película de Benito Zambrano Solas (1999) con el género o familia de films del melodrama de la mujer desconocida que propone Cavell (2009). Para ello, después de introducir el “método” asociativo cavelliano, vamos a presentar los rasgos más característicos de dicho género y la imagen de la mujer que en ellos se dibuja: el autoconocimiento de la protagonista, su relación con el mundo masculino, su emancipación del mismo a través de la conquista de la voz. El resto del trabajo consiste en una propuesta de lectura de la película de Zambrano, dentro de un marco cavelliano, pero subrayando el papel de la melancolía como mito cultural (Bartra 2001), la relació…
Biologinen sosiaalisen mallina. Valintoja uuden hedelmöityshoitolain kentällä.
2007
Tarkastelen artikkelissa hedelmöityshoitoja koskevan lakiprosessin aikaista kamppailua, joka realisoitui Laiksi hedelmöityshoidoista (1237/2006). Analysoin tarkemmin lain viidettä pykälää (1237/2006, 5§) sekä siitä lakiesityksessä HE 3/2006 esitettyjä perusteluja. Pykälän mukaan lääkärin tulee valita sukusolujen luovuttajista hoitoa saavan parin osapuolia muistuttavat henkilöt, sillä lapsen tulee saada muistuttaa myös sosiaalista vanhempaansa. Analysoin lain viidennen pykälän sisältämiä vanhempien ja lapsen asemaa koskevia lausumia modaalisuusanalyyttisesti käyttäen apuna semioottista neliötä. Neliön kautta ilmennän hoitoihin osallistuvien positioiden modaalista astevaihtelua, joka osoittaa…
An associative link from geometric to symbolic representations in artificial vision
1991
Recent approaches to modelling the reference of internal symbolic representations of intelligent systems suggest to consider a computational level of a subsymbolic kind. In this paper the integration between symbolic and subsymbolic processing is approached in the framework of the research work currently carried on by the authors in the field of artificial vision. An associative mapping mechanism is defined in order to relate the constructs of the symbolic representation to a geometric model of the observed scene.
Balance as Symbol and Object of Art
2014
The symbolic use of the balance is reviewed, covering mythology and religion, icons and arts, its use in astronomy and astrology as well as in literature and music. In Old Egypt many paintings show men’s height balances symbolically used for soul weighing. In Greece the fate balance was known. In the Roman Empire the symbolic use changed to justice fairness, and legitimacy of coins and this holds until modern time. In the Bible and the Koran fair weighing in trade are demanded. In the Book of Revelation the balance is symbol for misery. Michael archangel became guide of the deceased to the last judgement and weighed the poor sinner against his good deeds. In the witch balance the mass of th…