Sciweavers

841 search results - page 77 / 169
» Cell packing structures
Sort
View
BMCBI
2010
150views more  BMCBI 2010»
15 years 1 months ago
MCL-CAw: a refinement of MCL for detecting yeast complexes from weighted PPI networks by incorporating core-attachment structure
Background: The reconstruction of protein complexes from the physical interactome of organisms serves as a building block towards understanding the higher level organization of th...
Sriganesh Srihari, Kang Ning, Hon Wai Leong
BMCBI
2010
102views more  BMCBI 2010»
14 years 8 months ago
Predicting protein-protein interactions in unbalanced data using the primary structure of proteins
Background: Elucidating protein-protein interactions (PPIs) is essential to constructing protein interaction networks and facilitating our understanding of the general principles ...
Chi-Yuan Yu, Lih-Ching Chou, Darby Tien-Hao Chang
STOC
2009
ACM
120views Algorithms» more  STOC 2009»
16 years 1 months ago
Bit-probe lower bounds for succinct data structures
We prove lower bounds on the redundancy necessary to represent a set S of objects using a number of bits close to the information-theoretic minimum log2 |S|, while answering vario...
Emanuele Viola
BMCBI
2008
79views more  BMCBI 2008»
15 years 1 months ago
In silico docking of urokinase plasminogen activator and integrins
Background: Urokinase, its receptor and the integrins are functionally associated and involved in regulation of cell signaling, migration, adhesion and proliferation. No structura...
Bernard Degryse, Juan Fernández-Recio, Vale...
ATVA
2009
Springer
125views Hardware» more  ATVA 2009»
15 years 7 months ago
Automated Analysis of Data-Dependent Programs with Dynamic Memory
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederbe...