Sciweavers

2008 search results - page 64 / 402
» Computing with Equations
Sort
View
AISC
2004
Springer
14 years 2 months ago
Solving Equations Involving Sequence Variables and Sequence Functions
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...
Temur Kutsia
CPHYSICS
2006
109views more  CPHYSICS 2006»
13 years 9 months ago
Comparison of time splitting and backsubstitution methods for integrating Vlasov's equation with magnetic fields
The standard approach for integrating the multidimensional Vlasov equation using grid based, conservative schemes is based on a time splitting approach. Here, we show that althoug...
H. Schmitz, R. Grauer
MICCAI
2010
Springer
13 years 7 months ago
Fast Ultrasound Image Simulation Using the Westervelt Equation
Abstract. The simulation of ultrasound wave propagation is of high interest in fields as ultrasound system development and therapeutic ultrasound. From a computational point of vi...
Athanasios Karamalis, Wolfgang Wein, Nassir Navab
RTA
2010
Springer
14 years 1 months ago
Declarative Debugging of Missing Answers for Maude
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
Adrián Riesco, Alberto Verdejo, Narciso Mar...
AES
2005
Springer
105views Cryptology» more  AES 2005»
13 years 9 months ago
TH-collocation for the biharmonic equation
This paper is intended as a contribution to enhance orthogonal collocation methods. In this, a novel collocation method--TH-collocation--is applied to the biharmonic equation and ...
Martín Díaz, Ismael Herrera