Sciweavers

11097 search results - page 2024 / 2220
» Hera presentation generator
Sort
View
RECOMB
2006
Springer
14 years 11 months ago
Detecting MicroRNA Targets by Linking Sequence, MicroRNA and Gene Expression Data
MicroRNAs (miRNAs) have recently been discovered as an important class of non-coding RNA genes that play a major role in regulating gene expression, providing a means to control th...
Jim C. Huang, Quaid Morris, Brendan J. Frey
RECOMB
2002
Springer
14 years 11 months ago
DNA sequence evolution with neighbor-dependent mutation
We introduce a model of DNA sequence evolution which can account for biases in mutation rates that depend on the identity of the neighboring bases. An analytic solution for this c...
Peter F. Arndt, Christopher B. Burge, Terence Hwa
STOC
2005
ACM
129views Algorithms» more  STOC 2005»
14 years 11 months ago
Learning with attribute costs
We study an extension of the "standard" learning models to settings where observing the value of an attribute has an associated cost (which might be different for differ...
Haim Kaplan, Eyal Kushilevitz, Yishay Mansour
OSDI
2004
ACM
14 years 11 months ago
Enhancing Server Availability and Security Through Failure-Oblivious Computing
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
Martin C. Rinard, Cristian Cadar, Daniel Dumitran,...
ICALP
2009
Springer
14 years 11 months ago
LTL Path Checking Is Efficiently Parallelizable
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
Lars Kuhtz, Bernd Finkbeiner
« Prev « First page 2024 / 2220 Last » Next »