509 search results - page 17 / 102 » Standardization and Testing of Mathematical Functions |
IJSM
2007
13 years 10 months ago
2007
— We propose an iconic indexing of images to be exposed on the Web. This should be accomplished by “Keypics”, i.e. auxiliary, simplified pictures referring to the geometrica...
TAP
2010
Springer
13 years 8 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
SIAMSC
2008
13 years 10 months ago
2008
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...
RECOMB
2005
Springer
14 years 10 months ago
2005
Springer
An accurate scoring function for database search is crucial for peptide identification using tandem mass spectrometry. Although many mathematical models have been proposed to scor...
105
click to vote
Book
"The objective of this edition is not only to assist the contestants during the contest hours but also describing the core subjects of Computer Science such as C Programming, ...