In this paper, we study dimension reduction of the three-dimensional (3D) Gross–Pitaevskii equation (GPE) modeling Bose–Einstein condensation under different limiting interact...
Weizhu Bao, Yunyi Ge, Dieter Jaksch, Peter A. Mark...
The accessible surface of a macromolecule is a significant determinant of its action. The interaction between biomolecules or protein-ligand is dependent on their surfaces rather ...
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
Consequent to previously published theoretical work by Marshall, Broucke, and Francis, this paper summarizes the apparatus and results of multirobot coordination experiments condu...
Joshua A. Marshall, Terence Fung, Mireille E. Brou...
Neural field models of firing rate activity have had a major impact in helping to develop an understanding of the dynamics seen in brain slice preparations. These models typically...