Sciweavers

2272 search results - page 344 / 455
» Validity Invariants and Effects
Sort
View
BMCBI
2010
116views more  BMCBI 2010»
15 years 4 months ago
Predicting success of oligomerized pool engineering (OPEN) for zinc finger target site sequences
Background: Precise and efficient methods for gene targeting are critical for detailed functional analysis of genomes and regulatory networks and for potentially improving the eff...
Jeffry D. Sander, Deepak Reyon, Morgan L. Maeder, ...
CGF
2010
111views more  CGF 2010»
15 years 4 months ago
Estimation and Modeling of Actual Numerical Errors in Volume Rendering
In this paper we study the comprehensive effects on volume rendered images due to numerical errors caused by the use of finite precision for data representation and processing. To...
Joel Kronander, Jonas Unger, Torsten Möller, ...
54
Voted
CORR
2010
Springer
34views Education» more  CORR 2010»
15 years 4 months ago
Statistical Modelling of ft to Process Parameters in 30 nm Gate Length Finfets
This paper investigates the effect of process variations on unity gain frequency (ft) in 30 nm gate length FinFET by performing extensive TCAD simulations. Six different geometric...
B. Lakshmi, R. Srinivasan
115
Voted
CORR
2010
Springer
127views Education» more  CORR 2010»
15 years 4 months ago
Profile Based Sub-Image Search in Image Databases
Sub-image search with high accuracy in natural images still remains a challenging problem. This paper proposes a new feature vector called profile for a keypoint in a bag of visual...
Vishwakarma Singh, Ambuj K. Singh
137
Voted
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 4 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi