Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
This paper presents GeoGrid, a geographical location service overlay network system, for providing scalable location-based services to a large and growing number of mobile users. ...
Coinfection ofa single cell with two or more HIVstrains may produce recombinant viruses upon template switching by the replication machinery. We applied a hierarchical multiple ch...
Misha L. Rajaram, Vladimir N. Minin, Marc A. Sucha...
In addition to their prevalent use for analyzing gene expression, DNA microarrays are an efficient tool for biological, medical, and industrial applications because of their abil...
Gunnar W. Klau, Sven Rahmann, Alexander Schliep, M...
—This paper reports on the results of an experiment designed to study fine grain physiological responses of participants to an immersive virtual simulation of an urban environmen...
Andrea Brogni, Vinoba Vinayagamoorthy, Anthony Ste...