Sciweavers

4666 search results - page 75 / 934
» Equations on Timed Languages
Sort
View
IPPS
2003
IEEE
15 years 10 months ago
PROSIDIS: A Special Purpose Processor for PROtein SImilarity DIScovery
This work presents the architecture of PROSIDIS, a special purpose processor designed to search for the occurrence of substrings similar to a given ‘template string’ within a ...
Alessandro Marongiu, Paolo Palazzari, Vittorio Ros...
FOGA
1998
15 years 6 months ago
Schemata as Building Blocks: Does Size Matter?
We analyze the schema theorem and the building block hypothesis using a recently derived, exact schemata evolution equation. We derive a new schema theorem based on the concept of...
Christopher R. Stephens, Henri Waelbroeck, R. Agui...
CASC
2010
Springer
160views Mathematics» more  CASC 2010»
15 years 4 months ago
Factorization of Polynomials and GCD Computations for Finding Universal Denominators
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
Sergei A. Abramov, A. Gheffar, D. E. Khmelnov
FOCM
2008
76views more  FOCM 2008»
15 years 5 months ago
On Smale's 17th Problem: A Probabilistic Positive Solution
Smale's 17th Problem asks "Can a zero of n complex polynomial equations in n unknowns be found approximately, on the average [for a suitable probability measure on the s...
Carlos Beltrán, Luis Miguel Pardo
SIAMSC
2011
112views more  SIAMSC 2011»
15 years 4 days ago
A Discontinuous Galerkin Solver for Front Propagation
We propose a new discontinuous Galerkin (DG) method based on [9] to solve a class of Hamilton-Jacobi equations that arises from optimal control problems. These equations are connec...
Olivier Bokanowski, Yingda Cheng, Chi-Wang Shu