Sciweavers

203 search results - page 16 / 41
» A Generalized Numerical Solution for Fuzzy Relation Equation...
Sort
View
AAECC
1993
Springer
94views Algorithms» more  AAECC 1993»
13 years 11 months ago
Relations Among Lie Formal Series and Construction of Symplectic Integrators
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
Pierre-Vincent Koseleff
ICCAD
2002
IEEE
81views Hardware» more  ICCAD 2002»
14 years 4 months ago
Making Fourier-envelope simulation robust
Fourier-envelope algorithms are an important component of the mixed-signal/RF verification toolbox. In this paper, we address the unpredictability and lack of robustness that has...
Jaijeet S. Roychowdhury
SIAMAM
2010
117views more  SIAMAM 2010»
13 years 6 months ago
Dynamics of Three-Dimensional Gravity-Capillary Solitary Waves in Deep Water
A model equation for gravity-capillary waves in deep water is proposed. This model is a quadratic approximation of the deep water potential flow equations, and has wavepacket-type...
Benjamin Akers, Paul A. Milewski
CP
2006
Springer
13 years 11 months ago
Inner and Outer Approximations of Existentially Quantified Equality Constraints
We propose a branch and prune algorithm that is able to compute inner and outer approximations of the solution set of an existentially quantified constraint where existential param...
Alexandre Goldsztejn, Luc Jaulin
AAAI
1990
13 years 8 months ago
Solving Term Inequalities
This work pertains to the Knuth-Bendix (KB) algorithm which tries to find a complete set of reductions from a given set of equations. In the KB algorithm a term ordering is employ...
Gerald E. Peterson