We use unsupervised probabilistic machine learning ideas to try to explain the kinds of learning observed in real neurons, the goal being to connect abstract principles of self-or...
Background: Detecting remote homologies by direct comparison of protein sequences remains a challenging task. We had previously developed a similarity score between sequences, cal...
Background: Regions of interest identified through genetic linkage studies regularly exceed 30 centimorgans in size and can contain hundreds of genes. Traditionally this number is...
Euan A. Adie, Richard R. Adams, Kathryn L. Evans, ...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
We presenta group of methods of decomposingan arbitrary 3D volume rotation into a sequenceof simple shear(i.e., regular shift) operations. We explore different types of shear oper...