|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
134 | R. Baker Kearfott |
GlobSol: History, Composition, and Advice on Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 17-31, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Verified global optimization, GlobSol, constraint propagation, automatic differentiation, interval analysis |
42 | R. Baker Kearfott |
GlobSol user guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Methods Softw. ![In: Optim. Methods Softw. 24(4-5), pp. 687-708, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | R. Baker Kearfott, G. William Walster |
On stopping criteria in verified nonlinear systems or optimization algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 26(3), pp. 373-389, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
GlobSol, verified computations, stopping criteria |
30 | R. Baker Kearfott, Markus Neher 0001, Shin'ichi Oishi, Fabien Rico |
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Software with Result Verification ![In: Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, pp. 36-63, 2003, Springer, 3-540-21260-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|