Search results for " Computer"
showing 10 items of 6910 documents
On the reducibility of geometric constraint graphs
2018
Geometric modeling by constraints, whose applications are of interest to communities from various fields such as mechanical engineering, computer aided design, symbolic computation or molecular chemistry, is now integrated into standard modeling tools. In this discipline, a geometric form is specified by the relations that the components of this form must verify instead of explicitly specifying these components. The purpose of the resolution is to deduce the form satisfying all these constraints. Various methods have been proposed to solve this problem. We will focus on the so-called graph-based or graph-based methods with application to the two-dimensional space.
Optimal rates of convergence for persistence diagrams in Topological Data Analysis
2013
Computational topology has recently known an important development toward data analysis, giving birth to the field of topological data analysis. Topological persistence, or persistent homology, appears as a fundamental tool in this field. In this paper, we study topological persistence in general metric spaces, with a statistical approach. We show that the use of persistent homology can be naturally considered in general statistical frameworks and persistence diagrams can be used as statistics with interesting convergence properties. Some numerical experiments are performed in various contexts to illustrate our results.
Computation of the topological type of a real Riemann surface
2012
We present an algorithm for the computation of the topological type of a real compact Riemann surface associated to an algebraic curve, i.e., its genus and the properties of the set of fixed points of the anti-holomorphic involution $\tau$, namely, the number of its connected components, and whether this set divides the surface into one or two connected components. This is achieved by transforming an arbitrary canonical homology basis to a homology basis where the $\mathcal{A}$-cycles are invariant under the anti-holomorphic involution $\tau$.
Ein Verfahren zur Behandlung von Ausgleichsaufgaben mit Intervallkoeffizienten
1976
Es wird ein Verfahren beschrieben, das die Berechnung einer Intervalleinschliesung der Losungsmenge einer linearen Ausgleichsaufgabe mit Intervallkoeffizienten erlaubt. Es stellt eine Ubertragung des Bjorckschen Algorithmus der iterativen Verbesserung einer Naherungslosung zu einer linearen Ausgleichsaufgabe [5] auf ein bekanntes Verfahren zur Behandlung von Intervallgleichungssystemen dar.
Enhancing Attention’s Explanation Using Interpretable Tsetlin Machine
2022
Explainability is one of the key factors in Natural Language Processing (NLP) specially for legal documents, medical diagnosis, and clinical text. Attention mechanism has been a popular choice for such explainability recently by estimating the relative importance of input units. Recent research has revealed, however, that such processes tend to misidentify irrelevant input units when explaining them. This is due to the fact that language representation layers are initialized by pre-trained word embedding that is not context-dependent. Such a lack of context-dependent knowledge in the initial layer makes it difficult for the model to concentrate on the important aspects of input. Usually, th…
A-stabile Kollokationsverfahren mit mehrfachen Knoten
1982
Die Kollokationsmethoden, die vom Autor in [3] untersucht werden, liefern Spline-Approximationen fur die Losungen von Anfangswertproblemen bei gewohnlichen Differentialgleichungen. Einige allgemeine Resultate uber A-Stabilitat von Wanner, Hairer und Norsett [6] werden fur diese Methoden in dem Fall formuliert, wo sie mit gewissen impliziten Runge-Kutta-Methoden aquivalent sind. Hierbei wird die Abhangigkeit der A-Stabilitat von den Knoten und ihren Vielfachheiten offensichtlich.
Numerische Lösung gewöhnlicher Differentialgleichungen mit Splinefunktionen
1980
In dieser Arbeit wird ein allgemeines Verfahren zur Erzeugung von Splineapproximationen fur die Losungen von Anfangswertproblemen bei gewohnlichen Differentialgleichungen vorgestellt. Einige der bekannten Spline-approximationsmethoden sind als Spezialfalle enthalten. Eine gangige Vorgehensweise besteht darin, das Intervall, uber dem das Anfangswertproblem gegeben ist, in aquidistante Teilintervalle zu zerlegen und dann sukzessive die Splineapproximation zu definieren. Hierbei wird gefordert, das die Spline-approximation in den Knoten gewisse Bedingungen erfullt. Bei dem hier betrachteten allgemeinen Verfahren werden in den einzelnen Teilintervallen noch zusatzliche Zwischenknoten eingefuhrt…
Einige Bemerkungen zur Dualität in der konvexen Optimierung
1975
Die allgemeine Rockafellarsche Dualitatstheorie wird auf eine Reihe konvexer Optimierungsprobleme angewandt, um Dualitats-, Existenz-und Charakterisierungssatze fur Optimallosungen zu erhalten. Unter anderem werden auf diesem Wege einige schon bekannte Ergebnisse in sehr einfacher Weise wiedergewonnen.
On the path representation of networks
1982
A compact data structure for networks is obtained by storing arcs of paths sequentially. This structure allows forward and backward access from a node to its neighbors.
An Analysis of the Influence of Noneffective Instructions in Linear Genetic Programming
2020
Abstract Linear Genetic Programming (LGP) represents programs as sequences of instructions and has a Directed Acyclic Graph (DAG) dataflow. The results of instructions are stored in registers that can be used as arguments by other instructions. Instructions that are disconnected from the main part of the program are called noneffective instructions, or structural introns. They also appear in other DAG-based GP approaches like Cartesian Genetic Programming (CGP). This article studies four hypotheses on the role of structural introns: noneffective instructions (1) serve as evolutionary memory, where evolved information is stored and later used in search, (2) preserve population diversity, (3)…