Sciweavers

11462 search results - page 199 / 2293
» Developing Application-Centric Methods
Sort
View
BMCBI
2006
114views more  BMCBI 2006»
15 years 3 months ago
Evaluation and comparison of mammalian subcellular localization prediction methods
Background: Determination of the subcellular location of a protein is essential to understanding its biochemical function. This information can provide insight into the function o...
Josefine Sprenger, J. Lynn Fink, Rohan D. Teasdale
121
Voted
ICCAD
1997
IEEE
76views Hardware» more  ICCAD 1997»
15 years 7 months ago
Simulation methods for RF integrated circuits
Abstract — The principles employed in the development of modern RF simulators are introduced and the various techniques currently in use, or expected to be in use in the next few...
Kenneth S. Kundert
118
Voted
CSEE
2000
Springer
15 years 8 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
BMCBI
2006
108views more  BMCBI 2006»
15 years 3 months ago
Improved Chou-Fasman method for protein secondary structure prediction
Background: Protein secondary structure prediction is a fundamental and important component in the analytical study of protein structure and functions. The prediction technique ha...
Hang Chen, Fei Gu, Zhengge Huang
122
Voted
SIGADA
2005
Springer
15 years 9 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis