Sciweavers

974 search results - page 50 / 195
» Optimal Causal Inference
Sort
View
CAV
2008
Springer
89views Hardware» more  CAV 2008»
14 years 12 months ago
Inferring Congruence Equations Using SAT
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
Andy King, Harald Søndergaard
CSB
2003
IEEE
110views Bioinformatics» more  CSB 2003»
15 years 3 months ago
Statistical Inference for Well-ordered Structures in Nucleotide Sequences
Distinct, local structures are frequently correlated with functional RNA elements involved in posttranscriptional regulation of gene expression. Discovery of microRNAs (miRNAs) su...
Shu-Yun Le, Jih-H. Chen, Jacob V. Maizel
ANTSW
2008
Springer
14 years 12 months ago
Two-Level ACO for Haplotype Inference Under Pure Parsimony
Abstract. Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genoty...
Stefano Benedettini, Andrea Roli, Luca Di Gaspero
HIS
2008
14 years 11 months ago
Towards a Highly Scalable Hybrid Metaheuristic for Haplotype Inference Under Parsimony
Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genotype. This ...
Stefano Benedettini, Luca Di Gaspero, Andrea Roli
CIBCB
2005
IEEE
15 years 3 months ago
Feedback Memetic Algorithms for Modeling Gene Regulatory Networks
— In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of memetic algori...
Christian Spieth, Felix Streichert, Jochen Supper,...