Sciweavers

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