Sciweavers

11716 search results - page 303 / 2344
» Computable symbolic dynamics
Sort
View
ALGORITHMICA
1999
123views more  ALGORITHMICA 1999»
15 years 6 months ago
Distributed Matrix-Free Solution of Large Sparse Linear Systems over Finite Fields
We describe a coarse-grain parallel software system for the homogeneous solution of linear systems. Our solutions are symbolic, i.e., exact rather than numerical approximations. O...
Erich Kaltofen, A. Lobo
CMA
2010
155views more  CMA 2010»
15 years 4 months ago
Approximate solutions to a parameterized sixth order boundary value problem
In this paper, the homotopy analysis method (HAM) is applied to solve a parameterized sixth order boundary value problem which, for large parameter values, cannot be solved by oth...
Songxin Liang, David J. Jeffrey
185
Voted
CPHYSICS
2010
118views more  CPHYSICS 2010»
15 years 4 months ago
The multithreaded version of FORM
We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation use...
M. Tentyukov, J. A. M. Vermaseren
160
Voted
TWC
2010
15 years 1 months ago
A fixed-lag particle smoother for blind SISO equalization of time-varying channels
We introduce a new sequential importance sampling (SIS) algorithm which propagates in time a Monte Carlo approximation of the posterior fixed-lag smoothing distribution of the symb...
Alberto Gaspar Guimarães, Boujemaa Ait-El-F...
ISSAC
2011
Springer
225views Mathematics» more  ISSAC 2011»
14 years 9 months ago
On the structure of compatible rational functions
A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-...
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li