Sciweavers

2542 search results - page 18 / 509
» integration 2010
Sort
View
IFIP
2010
Springer
14 years 5 months ago
Match It or Die: Proving Integrity by Equality
Matteo Centenaro, Riccardo Focardi
IJMMSC
2010
92views more  IJMMSC 2010»
14 years 5 months ago
Integral HOMFLY-PT and sl(n)-Link Homology
Using the diagrammatic calculus for Soergel bimodules, developed by B. Elias and M. Khovanov, as well as Rasmussen's spectral sequence, we construct an integral version of HO...
Daniel Krasner
MOC
2010
14 years 5 months ago
Integral deferred correction methods constructed with high order Runge-Kutta integrators
Spectral deferred correction (SDC) methods for solving ordinary differential equations (ODEs) were introduced by Dutt, Greengard and Rokhlin [5]. It was shown in [5] that SDC metho...
Andrew J. Christlieb, Benjamin W. Ong, Jing-Mei Qi...
ENTCS
2007
83views more  ENTCS 2007»
14 years 10 months ago
An Integrated and "Engaging" Package for Tree Animations
This paper describes a prototypical system that combines several aspects of engagement as defined in (Naps et al. 2003) for the topic of tree and tree algorithm animations.
Guido Rößling, Silke Schneider