Sciweavers

4228 search results - page 191 / 846
» Models and Methods in Comparative Genomics
Sort
View
BMCBI
2008
105views more  BMCBI 2008»
15 years 4 months ago
Improving the prediction of mRNA extremities in the parasitic protozoan Leishmania
Background: Leishmania and other members of the Trypanosomatidae family diverged early on in eukaryotic evolution and consequently display unique cellular properties. Their appare...
Martin Smith, Mathieu Blanchette, Barbara Papadopo...
CMPB
2011
69views more  CMPB 2011»
14 years 11 months ago
Modelling acute renal failure using blood and breath biomarkers in rats
: This paper compares three methods for estimating renal function, tested in rats. Acute Renal Failure (ARF) was induced via a 60-minute bilateral renal artery clamp in 8 Sprague-D...
Katherine T. Moorhead, Jonathan V. Hill, J. Geoffr...
CAV
2005
Springer
127views Hardware» more  CAV 2005»
15 years 9 months ago
Incremental and Complete Bounded Model Checking for Full PLTL
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
Keijo Heljanko, Tommi A. Junttila, Timo Latvala
CIBCB
2005
IEEE
15 years 9 months ago
Predicting Single Genes Related to Immune-Relevant Processes
— In this paper we address the problem of predicting gene activities by finding gene regulatory dependencies in experimental DNA microarray data. Only few approaches to infer th...
Christian Spieth, Felix Streichert, Nora Speer, Ch...
143
Voted
WSC
2007
15 years 6 months ago
Flexible modeling of linear schedules for integrated mathematical analysis
Developing and analyzing schedules is essential for successfully controlling the time aspect of construction projects. The critical path method of scheduling is by far the most wi...
Gunnar Lucko