Sciweavers

2867 search results - page 353 / 574
» Effectiveness of Index Expressions
Sort
View
BMCBI
2010
93views more  BMCBI 2010»
15 years 6 months ago
Hybridization thermodynamics of NimbleGen Microarrays
Background: While microarrays are the predominant method for gene expression profiling, probe signal variation is still an area of active research. Probe signal is sequence depend...
Ulrike Mückstein, Germán G. Leparc, Al...
EXPERT
2007
109views more  EXPERT 2007»
15 years 6 months ago
Mexar2: AI Solves Mission Planner Problems
s planners work at a higher abstraction level while it performs low-level, often-repetitive tasks. It also helps them produce a plan rapidly, explore alternative solutions, and cho...
Amedeo Cesta, Gabriella Cortellessa, Michel Denis,...
RECOMB
2009
Springer
16 years 7 months ago
Storage and Retrieval of Individual Genomes
A repetitive sequence collection is one where portions of a base sequence of length n are repeated many times with small variations, forming a collection of total length N. Example...
Gonzalo Navarro, Jouni Sirén, Niko Väl...
CAV
2009
Springer
133views Hardware» more  CAV 2009»
16 years 7 months ago
Cardinality Abstraction for Declarative Networking Applications
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
Andrey Rybalchenko, Atul Singh, Juan Antonio Navar...
POPL
2006
ACM
16 years 7 months ago
On flow-sensitive security types
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
Sebastian Hunt, David Sands