Sciweavers

36 search results - page 2 / 8
» Integral deferred correction methods constructed with high o...
Sort
View
FOCM
2010
100views more  FOCM 2010»
13 years 4 months ago
Higher-Order Averaging, Formal Series and Numerical Integration I: B-series
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...
P. Chartier, A. Murua, J. M. Sanz-Serna
ITICSE
2003
ACM
13 years 11 months ago
Studying program correctness by constructing contracts
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D...
ICCS
2001
Springer
13 years 10 months ago
Path Integral Monte Carlo Simulations and Analytical Approximations for High-Temperature Plasmas
Abstract. The results of analytical approximations and extensive calculations based on a path integral Monte Carlo (PIMC) scheme are presented. A new (direct) PIMC method allows fo...
V. Filinov, M. Bonitz, D. Kremp, W.-D. Kraeft, V. ...
DICTA
2003
13 years 7 months ago
Concept of Color Correction on Multi-Channel CMOS Sensors
Color image acquisition and image processing have become a key in modern data application. In order to provide high quality images, the field of accurate acquisition is most import...
Stephan Henker, Jens-Uwe Schluessler, René ...
CNSR
2005
IEEE
13 years 8 months ago
An Integrated Error Control and Constrained Sequence Code Based on Multimode Coding
We present a method of integrating constrained sequence (CS) and error control (EC) codes for digital communication systems. This technique is based on multimode coding where a si...
A. Hughes, I. J. Fair