It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
Pathogenicity islands (PAIs) are genetic elements whose products are essential to the process of disease development. They have been horizontally (laterally) transferred from othe...
Sung Ho Yoon, Young-Kyu Park, Soohyun Lee, Doil Ch...
We describe PReMod, a new database of genomewide cis-regulatory module (CRM) predictions for both the human and the mouse genomes. The prediction algorithm, described previously i...
Vincent Ferretti, Christian Poitras, Dominique Ber...
Surveillance wireless sensor networks are deployed at perimeter or border locations to detect unauthorized intrusions. For deterministic deployment of sensors, the quality of depl...
Most image registration problems are formulated in an asymmetric fashion. Given a pair of images, one is implicitly or explicitly regarded as a template, and warped onto the other...