In the simulation-on-demand paradigm, we invest computational effort by running a simulation experiment before a question is asked, and then we quickly provide an answer by making use of the results of the earlier simulation experiment. This can be done by building a metamodel, but standard metamodeling methods used in stochastic simulation have the disadvantage that they require validation. We...

We develop the idea of using a physical experiment as an oracle to an algorithm. As a case study, we compare the computational power of deterministic and non-deterministic Turing machines connected to a simple physical oracle, namely, the scatter machine experiment. We prove relativisation theorems for the conjectures concerning P , NP , PSPACE relative to this physical oracle. Finally, we refl...

Numerical evaluation of the path integral for QCD on a discrete space-time lattice has been used to calculate ground state matrix elements specifying moments of quark density and spin distributions. This talk will explain how these matrix elements have been calculated in full QCD using dynamical quarks, show how physical extrapolation to the chiral limit including the physics of the pion cloud ...

In this paper, a method of blind separation for convolved non-stationary signals (e.g., speech signals and music) is presented. Our method achieves blind separation by forcing mixed signals to uncorrelate with each other. The validity of the proposed method has been con rmed by a computer simulation and an experiment in an anechoic room [7]. In this paper, we apply our method to an experiment w...

Computational approaches are breaking new ground in understanding how embryos form. Here, we discuss recent studies that couple precise measurements in the embryo with appropriately matched modeling and computational methods to investigate classic embryonic patterning strategies. We include signaling gradients, activator-inhibitor systems, and coupled oscillators, as well as emerging paradigms ...

Computer simulation holds great promise to significantly complement experiment as a tool for biological and biophysical characterization. Simulations offer the promise of atomic spatial detail with femtosecond temporal resolution. However, the application of computational methodology has been greatly limited due to fundamental computational challenges: put simply, for much of what one would wan...

We present computational approaches as alternatives to the recent microwave cavity experiment by S. (1994)) on iso-spectral cavities built from triangles. A straightforward proof of iso-spectrality is given based on the mode matching method. Our results show that the experiment is accurate to 0.3% for the first 25 states. The level statistics resemble those of GOE when the integrable part of th...

Recognizing Mandarin ba sentences as the Ba Resultative Construction, this study implements a rigid test of Ding's (1993) treatment of ba as a matrix verb in the periphrastic resultative construction. The computational experiment is facilitated with a formal rendition of the analysis of ba in Head-driven Phrase Structure Grammar. Moreover, the small parsing experiment also highlights the import...

This paper proposes a novel computational framework for improving realism and fidelity of finite element analysis simulations through experimental test data. The proposed scheme utilizes an artificial neural network to learn and compensate for the differences between a finite element analysis model simulation and corresponding experiment. The proposed computational methodology is poised to sign...