9110 search results - page 1638 / 1822 » Formally-Based Design Evaluation |
136
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—The application of complex network theory to communication systems has led to several important results. Nonetheless, previous research has often neglected to take into account ...
144
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Although short interfering RNA (siRNA) has been widely used for studying gene functions in mammalian cells, its gene silencing efficacy varies markedly and there are o...
160
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...
260
click to vote
GIS
2005
ACM
16 years 5 months ago
2005
ACM
Geographic Information Systems (GIS) are increasingly managing very large sets of data and hence a centralized data repository may not always provide the most scalable solution. H...
146
Voted
MOBISYS
2009
ACM
16 years 4 months ago
2009
ACM
Point&Connect (P&C) offers an intuitive and resilient device pairing solution on standard mobile phones. Its operation follows the simple sequence of point-and-connect: wh...