Sciweavers

5244 search results - page 862 / 1049
» Structural Complexity of AvgBPP
Sort
View
ICFEM
2009
Springer
15 years 3 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
IGARSS
2009
15 years 3 months ago
Spectral Variability within Species and its Effects on Savanna Tree Species Discrimination
Differences in within-species phenology and structure driven by factors including topography, edaphic properties, and climatic variables present important challenges for species d...
Moses Azong Cho, Pravesh Debba, Renaud Mathieu, Bo...
214
Voted
BMCBI
2010
172views more  BMCBI 2010»
15 years 1 months ago
Nonparametric identification of regulatory interactions from spatial and temporal gene expression data
Background: The correlation between the expression levels of transcription factors and their target genes can be used to infer interactions within animal regulatory networks, but ...
Anil Aswani, Soile V. E. Keränen, James Brown...
221
Voted
BMCBI
2011
15 years 1 months ago
Using Stochastic Causal Trees to Augment Bayesian Networks for Modeling eQTL Datasets
Background: The combination of genotypic and genome-wide expression data arising from segregating populations offers an unprecedented opportunity to model and dissect complex phen...
Kyle C. Chipman, Ambuj K. Singh
BMCBI
2011
15 years 1 months ago
Predicting functionally important SNP classes based on negative selection
Background: With the advent of cost-effective genotyping technologies, genome-wide association studies allow researchers to examine hundreds of thousands of single nucleotide poly...
Mark A. Levenstien, Robert J. Klein