2009 |
19 | EE | Louis B. Rall,
George F. Corliss:
Automatic Differentiation: Point and Interval.
Encyclopedia of Optimization 2009: 165-170 |
18 | EE | James B. Walters,
George F. Corliss:
Automatic Differentiation: Point and Interval Taylor Operators.
Encyclopedia of Optimization 2009: 170-176 |
17 | EE | George F. Corliss,
Louis B. Rall:
Bounding Derivative Ranges.
Encyclopedia of Optimization 2009: 318-325 |
2008 |
16 | EE | John D. Pryce,
George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
Spencer Smith:
Second Note on Basic Interval Arithmetic for IEEE754R.
Numerical Validation in Current Hardware Architectures 2008 |
15 | EE | George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
John D. Pryce,
Spencer Smith:
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms 2008: 28-43 |
2007 |
14 | EE | Nancy L. Sobczak,
George F. Corliss,
Martin A. Seitz,
Peter J. Tonellato:
Cluster Methodology Defines Archetype Sentinel Consomic Rats.
CIBCB 2007: 54-57 |
13 | EE | George F. Corliss,
Christopher Foley,
R. Baker Kearfott:
Formulation for Reliable Analysis of Structural Frames.
Reliable Computing 13(2): 125-147 (2007) |
2006 |
12 | EE | George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
John D. Pryce,
Spencer Smith:
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms 2006 |
11 | EE | John D. Pryce,
George F. Corliss:
Interval Arithmetic with Containment Sets.
Computing 78(3): 251-276 (2006) |
10 | EE | George F. Corliss,
Kaj Madsen:
Second Scandinavian Workshop on Interval Methods and Their Applications.
Reliable Computing 12(2): 167-169 (2006) |
2003 |
9 | EE | George F. Corliss,
Jun Yu:
Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic.
Numerical Software with Result Verification 2003: 91-106 |
1999 |
8 | EE | Nedialko S. Nedialkov,
Kenneth R. Jackson,
George F. Corliss:
Validated solutions of initial value problems for ordinary differential equations.
Applied Mathematics and Computation 105(1): 21-68 (1999) |
7 | EE | George F. Corliss:
Reminiscences "Back in the Good Old Days...".
Reliable Computing 5(2): 209-209 (1999) |
1998 |
6 | EE | Paulina Chin,
Robert M. Corless,
George F. Corliss:
Optimization Strategies for the Approximate GCD Problem.
ISSAC 1998: 228-235 |
5 | EE | George F. Corliss,
Ramon E. Moore:
1998 SIAM Annual Meeting: Interval Highlights - Toronto, July 13-17, 1998.
Reliable Computing 4(4): 411-412 (1998) |
1996 |
4 | | George F. Corliss,
Andreas Griewank,
Petra Henneberger,
Gabriella Kirlinger,
Florian A. Potra,
Hans J. Stetter:
High-Order Stiff ODE Solvers via Automatic Differentiation and Rational Prediction.
WNAA 1996: 114-125 |
1992 |
3 | EE | Christian H. Bischof,
Alan Carle,
George F. Corliss,
Andreas Griewank:
ADIFOR: Automatic Differentiation in a Source Translator Environment.
ISSAC 1992: 294-302 |
2 | EE | Christian H. Bischof,
Alan Carle,
George F. Corliss,
Andreas Griewank,
Paul D. Hovland:
ADIFOR - Generating Derivative Codes form Fortran Programs.
Scientific Programming 1(1): 11-29 (1992) |
1976 |
1 | EE | George F. Corliss:
Computer graphics assisted numerical analysis instruction.
Computers & Graphics 2(1): 11-13 (1976) |