Sciweavers

1090 search results - page 142 / 218
» The Equivalence between Biology and Computation
Sort
View
NAR
2007
149views more  NAR 2007»
15 years 22 days ago
UniHI: an entry gate to the human protein interactome
Systematic mapping of protein–protein interactions has become a central task of functional genomics. To map the human interactome, several strategies have recently been pursued....
Gautam Chaurasia, Yasir Iqbal, Christian Häni...
BMCBI
2010
104views more  BMCBI 2010»
15 years 1 months ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...
BMCBI
2005
251views more  BMCBI 2005»
15 years 1 months ago
Contextual weighting for Support Vector Machines in literature mining: an application to gene versus protein name disambiguation
Background: The ability to distinguish between genes and proteins is essential for understanding biological text. Support Vector Machines (SVMs) have been proven to be very effici...
Tapio Pahikkala, Filip Ginter, Jorma Boberg, Jouni...
NAR
2011
219views Computer Vision» more  NAR 2011»
14 years 4 months ago
SCLD: a stem cell lineage database for the annotation of cell types and developmental lineages
Stem cell biology has experienced explosive growth over the past decade as researchers attempt to generate therapeutically relevant cell types in the laboratory. Recapitulation of...
Edward Hemphill, Asav P. Dharia, Chih Lee, Carolin...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 4 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis