Sciweavers

2542 search results - page 18 / 509
» integration 2010
Sort
View
81
Voted
IFIP
2010
Springer
14 years 7 months ago
Match It or Die: Proving Integrity by Equality
Matteo Centenaro, Riccardo Focardi
IJMMSC
2010
92views more  IJMMSC 2010»
14 years 7 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
94
Voted
MOC
2010
14 years 7 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...
80
Voted
ENTCS
2007
83views more  ENTCS 2007»
15 years 11 days 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