Results 11 to 20 of about 29,683 (252)
Exact symbolic–numeric computation of planar algebraic curves
Theoretical Computer Science, 2013 We present a novel certified and complete algorithm to compute arrangements of real planar algebraic curves. It provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic curves in terms of a cylindrical algebraic decomposition.
Berberich, E. +3 more
openaire +5 more sources
Decomposition and Cross-Product-Based Method for Computing the Dynamic Equation of Robots
International Journal of Advanced Robotic Systems, 2012 This paper aims to demonstrate a clear relationship between Lagrange equations and Newton-Euler equations regarding computational methods for robot dynamics, from which we derive a systematic method for using either symbolic or on-line numerical ...
Ching-Long Shih, Wen-Yo Lee, Chia-Pin Wu
doaj +1 more source
Symbolic computation for evaluation of measurement uncertainty [PDF]
, 2007 In recent years, with the rapid development of symbolic computation, the integration of symbolic and numeric methods is increasingly applied in various applications.
Jones, BE, Salleh, MR, Wei, P, Yang, QP
core +1 more source
Group Communication Patterns for High Performance Computing in Scala [PDF]
, 2014 We developed a Functional object-oriented Parallel framework (FooPar) for high-level high-performance computing in Scala. Central to this framework are Distributed Memory Parallel Data structures (DPDs), i.e., collections of data distributed in a shared ...
Hargreaves, Felix P. +2 more
core +1 more source
Ontologies to interpret remote sensing images: why do we need them?
GIScience & Remote Sensing, 2019 The development of new sensors and easier access to remote sensing data are significantly transforming both the theory and practice of remote sensing. Although data-driven approaches based on innovative algorithms and enhanced computing capacities are ...
Damien Arvor +4 more
doaj +1 more source
A Symbolic-Numeric Algorithm for Genus Computation [PDF]
, 2011 We report on a method for computing the genus of a plane complex algebraic curve based on the topology of singular points and on knot theory. We propose a symbolic-numeric algorithm to be used for plane complex algebraic curves whose defining polynomials have numeric coefficients. Together with its main functionality to compute the genus, the algorithm
Mădălina Hodorog, Josef Schicho
openaire +1 more source
Symbolic-numeric computation of implicit riquier bases for PDE [PDF]
Proceedings of the 2007 international symposium on Symbolic and algebraic computation, 2007 Riquier Bases for systems of analytic pde are, loosely speaking, a differential analogue of Grobner Bases for polynomial equations. They are determined in the exact case by applying a sequence of prolongations (differentiations) and eliminations to an input system of pde.We present a symbolic-numeric method to determine Riquier Bases in implicit form ...
Wenyuan Wu, Greg Reid
openaire +1 more source
Verification of Hierarchical Artifact Systems [PDF]
, 2016 Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis.
Belardinelli F. +11 more
core +4 more sources
SYNAPS: A Library for Dedicated Applications in Symbolic Numeric Computing [PDF]
, 2008 We present an overview of the open source library synaps. We describe some of the representative algorithms of the library and illustrate them on some explicit computations, such as solving polynomials and computing geometric information on implicit curves and surfaces.
Mourrain, Bernard +4 more
openaire +2 more sources
Hybrid symbolic‐numeric algorithms for computational convex analysis [PDF]
PAMM, 2007 AbstractComputational convex analysis focuses on developing efficient tools to compute fundamental transforms arising in convex analysis. Symbolic computation tools have been developed, and have allowed more insight into the calculation of the Fenchel conjugate and related transforms. When such tools are not applicable e.g. when there is no closed form,
openaire +1 more source