Sciweavers

2028 search results - page 196 / 406
» Differential Power Analysis Model and Some Results
Sort
View
BIBM
2009
IEEE
155views Bioinformatics» more  BIBM 2009»
16 years 1 months ago
Towards Reliable Isoform Quantification Using RNA-Seq Data
Background: In eukaryotes, alternative splicing often generates multiple splice variants from a single gene. Here weexplore the use of RNA sequencing (RNA-Seq) datasets to address...
Brian E. Howard, Steffen Heber
AAAI
2004
15 years 8 months ago
Agent-based Simulation of Geo-Political Conflict
The intelligence analysis task of anticipating crises and providing decision makers with reasonable (supportable, explainable)possiblefuturesisextremelydifficult.Toperform this ta...
Glenn Taylor, Richard Frederiksen, Russell R. Vane...
BMCBI
2006
161views more  BMCBI 2006»
15 years 6 months ago
A method for rapid similarity analysis of RNA secondary structures
Background: Owing to the rapid expansion of RNA structure databases in recent years, efficient methods for structure comparison are in demand for function prediction and evolution...
Na Liu, Tianming Wang
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 12 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
TPHOL
2005
IEEE
16 years 4 days ago
A HOL Theory of Euclidean Space
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
John Harrison