Sciweavers

4666 search results - page 300 / 934
» Equations on Timed Languages
Sort
View
JNS
2010
61views more  JNS 2010»
15 years 5 months ago
Validity and Failure of the Boltzmann Approximation of Kinetic Annihilation
This paper introduces a new method to show the validity of a continuum description for the deterministic dynamics of many interacting particles. Here the many particle evolution is...
Karsten Matthies, Florian Theil
SIAMSC
2010
132views more  SIAMSC 2010»
15 years 5 months ago
New Algorithms for Optimal Online Checkpointing
Frequently, the computation of derivatives for optimizing time-dependent problems is based on the integration of the adjoint differential equation. For this purpose, the knowledge...
Philipp Stumm, Andrea Walther
SIAMSC
2010
117views more  SIAMSC 2010»
15 years 5 months ago
Least-Squares Finite Element Methods for Quantum Electrodynamics
A significant amount of the computational time in large Monte Carlo simulations of lattice field theory is spent inverting the discrete Dirac operator. Unfortunately, traditional...
James J. Brannick, C. Ketelsen, Thomas A. Manteuff...
SIMPRA
2010
137views more  SIMPRA 2010»
15 years 5 months ago
Co-simulation for performance prediction of integrated building and HVAC systems - An analysis of solution characteristics using
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
Marija Trcka, Jan L. M. Hensen, Michael Wetter
PE
2011
Springer
321views Optimization» more  PE 2011»
15 years 1 months ago
Quasi-birth-and-death processes with restricted transitions and its applications
In this paper we identify a class of Quasi-Birth-and-Death (QBD) processes where the transitions to higher (resp. lower) levels are restricted to occur only from (resp. to) a subs...
Juan F. Pérez, Benny Van Houdt