Sciweavers

842 search results - page 11 / 169
» Numerical Analysis on a Quantum Computer
Sort
View
HYBRID
2000
Springer
13 years 11 months ago
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
Thomas A. Henzinger, Benjamin Horowitz, Rupak Maju...
CIMCA
2008
IEEE
14 years 2 months ago
Space Based Architecture for Numerical Solving
A strategy for the analytical solving of ordinary differential equations and a first implementation of it based on mobile agent community, using jini javaspace framework, are pre...
Cyril Dumont, Fabrice Mourlin
JCC
2007
63views more  JCC 2007»
13 years 7 months ago
Quantum correction to the pair distribution function
: We report a numerical technique that allows the quantum effects of zero-point motion to be incorporated into Pair Distribution Functions calculated classically for molecules usin...
V. A. Levashov, S. J. L. Billinge, M. F. Thorpe
JCC
2007
162views more  JCC 2007»
13 years 7 months ago
Bond electron pair: Its relevance and analysis from the quantum chemistry point of view
: This paper first comments on the surprisingly poor status that Quantum Chemistry has offered to the fantastic intuition of Lewis concerning the distribution of the electrons in ...
Jean-Paul Malrieu, Nathalie Guihéry, Carmen...
JCC
2002
73views more  JCC 2002»
13 years 7 months ago
Linear scaling approaches to quantum macromolecular similarity: Evaluating the similarity function
: The evaluation of the electron density based similarity function scales quadratically with respect to the size of the molecules for simplified, atomic shell densities. Due to the...
Pere Constans