Sciweavers

2008 search results - page 166 / 402
» Computing with Equations
Sort
View
CIMCA
2008
IEEE
15 years 9 months ago
Space Based Architecture for Numerical Solving
A strategy for the analytical solving of ordinary differential equations and a first implementation of it based on mobile agent community, using jini javaspace framework, are pre...
Cyril Dumont, Fabrice Mourlin
ICCHP
2004
Springer
15 years 7 months ago
Multi-modal Mathematics: Conveying Math Using Synthetic Speech and Speech Recognition
Over the past decade, the notion of multi-modal access to technology has moved from the realms of science fiction to reality. It is not now unthinkable to communicate with a machi...
Donal Fitzpatrick, Arthur I. Karshmer
JSCIC
2008
67views more  JSCIC 2008»
15 years 2 months ago
Superposition of Multi-Valued Solutions in High Frequency Wave Dynamics
The weakly coupled WKB system captures high frequency wave dynamics in many applications. For such a system a level set method framework has been recently developed to compute mult...
Hailiang Liu, Zhongming Wang
BIRTHDAY
2004
Springer
15 years 7 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
GRID
2007
Springer
15 years 8 months ago
A robust PDE solver for the 3D Stokes/Navier-Stokes systems on the grid environment
Since grid computing provides users with more distributed computing and storage resources, it gives us an opportunity to design new efficient and robust solvers for the numerical...
Huidong Yang, Walter Zulehner, Ulrich Langer, Mark...