Sciweavers

1096 search results - page 79 / 220
» Type inference for atomicity
Sort
View
SAT
2009
Springer
91views Hardware» more  SAT 2009»
14 years 3 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
BMCBI
2008
98views more  BMCBI 2008»
13 years 9 months ago
Empirical Bayes models for multiple probe type microarrays at the probe level
Background: When analyzing microarray data a primary objective is often to find differentially expressed genes. With empirical Bayes and penalized t-tests the sample variances are...
Magnus Åstrand, Petter Mostad, Mats Rudemo
BMCBI
2010
125views more  BMCBI 2010»
13 years 9 months ago
Asymmetric microarray data produces gene lists highly predictive of research literature on multiple cancer types
Background: Much of the public access cancer microarray data is asymmetric, belonging to datasets containing no samples from normal tissue. Asymmetric data cannot be used in stand...
Noor B. Dawany, Aydin Tozeren
IKE
2007
13 years 10 months ago
A Set-Theoretic Data Model For Evolving Database Environments
The paper presents an integrated set-theoretic data model that offers a framework for defining a unified schema for any database environment. We utilise the concepts ”entity...
Emmanuel J. Yannakoudakis, Panagiotis Andrikopoulo...
GECCO
2006
Springer
220views Optimization» more  GECCO 2006»
14 years 26 days ago
Comparing evolutionary algorithms on the problem of network inference
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 different evoluti...
Christian Spieth, Rene Worzischek, Felix Streicher...