Sciweavers

145 search results - page 23 / 29
» Chaos in Wave Interactions
Sort
View
JCC
2007
110views more  JCC 2007»
13 years 7 months ago
Electron correlation: The many-body problem at the heart of chemistry
Abstract: The physical interactions among electrons and nuclei, responsible for the chemistry of atoms and molecules, is well described by quantum mechanics and chemistry is theref...
David P. Tew, Wim Klopper, Trygve Helgaker
AUTOMATICA
2004
125views more  AUTOMATICA 2004»
13 years 7 months ago
Hamiltonian discretization of boundary control systems
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...
Goran Golo, Viswanath Talasila, Arjan van der Scha...
TJS
2002
136views more  TJS 2002»
13 years 7 months ago
A Virtual Test Facility for the Simulation of Dynamic Response in Materials
The Center for Simulating Dynamic Response of Materials at the California Institute of Technology is constructing a virtual shock physics facility for studying the response of vari...
Julian Cummings, Michael Aivazis, Ravi Samtaney, R...
IJACTAICIT
2010
192views more  IJACTAICIT 2010»
13 years 5 months ago
Service Level Security using Expected Clandestine Figure for Corroboration of Web Service Consumer
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
M. S. Saleem Basha
SIGSOFT
2008
ACM
14 years 8 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan