Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
A rear-projection multi-touch tabletop display was augmented with hand tracking utilizing computer vision techniques. While both touch detection and hand tracking can be independe...
K. C. Dohse, Thomas Dohse, Jeremiah D. Still, Derr...
Background: The identification and characterization of interacting domain pairs is an important step towards understanding protein interactions. In the last few years, several met...
: To overcome limitations of small screens and to provide intuitive ways of interacting with personal data, this work addresses the seamless combination of sensor-enabled phones wi...
Background: Interaction data for a given protein may be spread across multiple databases. We set out to create a unifying index that would facilitate searching for these data and ...