Sciweavers

16513 search results - page 156 / 3303
» Numerical Analysis Methods
Sort
View
SAC
2009
ACM
15 years 9 months ago
A systematic method for generating quality requirements spectrum
Spectrum analysis for quality requirements is useful for measuring and tracking them, but current spectrum analysis largely depends on expertise of each analyst. Therefore, it tak...
Shunichi Suzuki, Akira Osada, Tomonori Sato, Haruh...
SIAMMAX
2010
105views more  SIAMMAX 2010»
14 years 9 months ago
Construction of Covariance Matrices with a Specified Discrepancy Function Minimizer, with Application to Factor Analysis
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
So Yeon Chun, A. Shapiro
102
Voted
BMCBI
2008
127views more  BMCBI 2008»
15 years 2 months ago
Human Pol II promoter recognition based on primary sequences and free energy of dinucleotides
Background: Promoter region plays an important role in determining where the transcription of a particular gene should be initiated. Computational prediction of eukaryotic Pol II ...
Jian-Yi Yang, Yu Zhou, Zu-Guo Yu, Vo Anh, Li-Qian ...
97
Voted
FM
2005
Springer
108views Formal Methods» more  FM 2005»
15 years 7 months ago
Formal Methods and Testing: Hypotheses, and Correctness Approximations
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
Marie-Claude Gaudel
CCE
2004
15 years 2 months ago
Solving distillation problems by terrain methods
This paper clearly shows that the recently proposed terrain methodology of Lucia and Yang (2003) can be used to solve steady-state distillation problems in a reliable and efficien...
Angelo Lucia, Feng Yang