972 search results - page 190 / 195 » Intersection types and computational effects |
MOBICOM
2010
ACM
13 years 7 months ago
2010
ACM
This paper describes the design and implementation of a network virtualization substrate (NVS) for effective virtualization of wireless resources in WiMAX networks. Virtualization...
ICMCS
2010
IEEE
13 years 7 months ago
2010
IEEE
In daily life, we can see images of real-life objects on posters, television, or virtually any type of smooth physical surfaces. We seldom confuse these images with the objects pe...
BMCBI
2010
13 years 7 months ago
2010
Background: With the continued development of new computational tools for multiple sequence alignment, it is necessary today to develop benchmarks that aid the selection of the mo...
BMCBI
2010
13 years 7 months ago
2010
Background: The accumulation of high-throughput data greatly promotes computational investigation of gene function in the context of complex biological systems. However, a biologi...
BMCBI
2010
13 years 7 months ago
2010
Background: Post-translational modifications (PTMs) have a key role in regulating cell functions. Consequently, identification of PTM sites has a significant impact on understandi...