Sciweavers

2008 search results - page 87 / 402
» Computing with Equations
Sort
View
ANTS
2004
Springer
109views Algorithms» more  ANTS 2004»
14 years 2 months ago
On the Complexity of Computing Units in a Number Field
Given an algebraic number field K, such that [K : Q] is constant, we show that the problem of computing the units group O∗ K is in the complexity class SPP. As a consequence, w...
Vikraman Arvind, Piyush P. Kurur
IROS
2007
IEEE
93views Robotics» more  IROS 2007»
14 years 3 months ago
Computational sensor networks
— We propose Computational Sensor Networks as a methodology to exploit models of physical phenomena in order to better understand the structure of the sensor network. To do so, i...
Thomas C. Henderson, Christopher A. Sikorski, Edwa...
CSC
2006
13 years 10 months ago
Analytical solution of problems in heat transfer for pyramidal spines using Computer Algebra
: The solution of the equation of heat transfer for pyramidal spines is obtained using computer algebra software. We consider pyramidal spines with three different sectional areas:...
Juan Felipe Paschke, Juan Ospina
ISPDC
2008
IEEE
14 years 3 months ago
Scalable Dense Factorizations for Heterogeneous Computational Clusters
This paper discusses the design and the implementation of the LU factorization routines included in the Heterogeneous ScaLAPACK library, which is built on top of ScaLAPACK. These ...
Ravi Reddy Manumachu, Alexey L. Lastovetsky, Pedro...
CP
2006
Springer
14 years 27 days ago
When Interval Analysis Helps Inter-block Backtracking
Inter-block backtracking (IBB) computes all the solutions of sparse systems of non-linear equations over the reals. This algorithm, introduced in 1998 by Bliek et al., handles a sy...
Bertrand Neveu, Gilles Chabert, Gilles Trombettoni