Sciweavers

690 search results - page 133 / 138
» Multi-Agent Only Knowing
Sort
View
IPL
2007
99views more  IPL 2007»
13 years 8 months ago
Substitutions into propositional tautologies
We prove that there is a polynomial time substitution (y1, . . . , yn) := g(x1, . . . , xk) with k << n such that whenever the substitution instance A(g(x1, . . . , xk)) of ...
Jan Krajícek
BMCBI
2005
100views more  BMCBI 2005»
13 years 8 months ago
Speeding disease gene discovery by sequence based candidate prioritization
Background: Regions of interest identified through genetic linkage studies regularly exceed 30 centimorgans in size and can contain hundreds of genes. Traditionally this number is...
Euan A. Adie, Richard R. Adams, Kathryn L. Evans, ...
BMCBI
2005
130views more  BMCBI 2005»
13 years 8 months ago
MiMiR: a comprehensive solution for storage, annotation and exchange of microarray data
Background: The generation of large amounts of microarray data presents challenges for data collection, annotation, exchange and analysis. Although there are now widely accepted f...
Mahendra Navarange, Laurence Game, Derek Fowler, V...
BMCBI
2005
90views more  BMCBI 2005»
13 years 8 months ago
An algorithm for the determination and quantification of components of nucleic acid mixtures based on single sequencing reaction
Background: Determination and quantification of nucleic acid components in a mixture is usually accomplished by microarray approaches, where the mixtures are hybridized against sp...
Alexander E. Pozhitkov, Kathryn Stemshorn, Diethar...
BMCBI
2005
100views more  BMCBI 2005»
13 years 8 months ago
Evolutionary models for insertions and deletions in a probabilistic modeling framework
Background: Probabilistic models for sequence comparison (such as hidden Markov models and pair hidden Markov models for proteins and mRNAs, or their context-free grammar counterp...
Elena Rivas