George F. Corliss

30 papers A 1B 2C 1Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2016 J jnl
Identifying extreme cold events using phase space reconstruction.
Int. J. Appl. Pattern Recognit.
Babatunde I. Ishola, Richard J. Povinelli, George F. Corliss, Ronald H. Brown
2009 — ch.
Automatic Differentiation: Point and Interval Taylor Operators.
Encyclopedia of Optimization
James B. Walters, George F. Corliss
2009 — ch.
Automatic Differentiation: Point and Interval.
Encyclopedia of Optimization
Louis B. Rall, George F. Corliss
2009 — ch.
Bounding Derivative Ranges.
Encyclopedia of Optimization
George F. Corliss, Louis B. Rall
2008 — conf
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms
George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith
2008 — conf
Second Note on Basic Interval Arithmetic for IEEE754R.
Numerical Validation in Current Hardware Architectures
John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith
2007 C conf
Cluster Methodology Defines Archetype Sentinel Consomic Rats.
CIBCB
Nancy L. Sobczak, George F. Corliss, Martin A. Seitz, Peter J. Tonellato
2007 J jnl
Formulation for Reliable Analysis of Structural Frames.
Reliab. Comput.
George F. Corliss, Christopher Foley, R. Baker Kearfott
2006 J jnl
Interval Arithmetic with Containment Sets.
Computing
John D. Pryce, George F. Corliss
2006 — conf
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms
George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith
2006 J jnl
Second Scandinavian Workshop on Interval Methods and Their Applications.
Reliab. Comput.
George F. Corliss, Kaj Madsen
2003 — conf
Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic.
Numerical Software with Result Verification
George F. Corliss, Jun Yu
1999 J jnl
Reminiscences "Back in the Good Old Days...".
Reliab. Comput.
George F. Corliss
1999 J jnl
Validated solutions of initial value problems for ordinary differential equations.
Appl. Math. Comput.
Nedialko S. Nedialkov, Kenneth R. Jackson, George F. Corliss
1998 J jnl
1998 SIAM Annual Meeting: Interval Highlights - Toronto, July 13-17, 1998.
Reliab. Comput.
George F. Corliss, Ramon E. Moore
1998 B conf
Optimization Strategies for the Approximate GCD Problem.
ISSAC
Paulina Chin, Robert M. Corless, George F. Corliss
1998 — conf
Rigorous Global Search: Industrial Applications.
SCAN
George F. Corliss, R. Baker Kearfott
1998 — conf
SCAN-98 Collected Bibliography.
SCAN
George F. Corliss
1996 — conf
High-Order Stiff ODE Solvers via Automatic Differentiation and Rational Prediction.
WNAA
George F. Corliss, Andreas Griewank, Petra Henneberger, Gabriela Kirlinger, Florian A. Potra, Hans J. Stetter
1993 — book
C-XSC: A C++ Class Library for Extended Scientific Computing
C-XSC
Ulrich W. Kulisch, Rudi Klatte, Andreas Wiethoff, Carola Wolff, George F. Corliss, Christian Lawo, Michael Rauch
1992 J jnl
ADIFOR - Generating Derivative Codes form Fortran Programs.
Sci. Program.
Christian H. Bischof, Alan Carle, George F. Corliss, Andreas Griewank, Paul D. Hovland
1992 B conf
ADIFOR: Automatic Differentiation in a Source Translator Environment.
ISSAC
Christian H. Bischof, Alan Carle, George F. Corliss, Andreas Griewank
1990 — ch.
Industrial Applications of Interval Techniques.
Computer Arithmetic and Self-Validating Numerical Methods
George F. Corliss
1989 J jnl
Indefinite integration with validation.
ACM Trans. Math. Softw.
George F. Corliss, Gary S. Krenz
1989 — conf
Survey of interval algorithms for ordinary differential equations.
Conference on Numerical Ordinary Differential Equations
George F. Corliss
1984 A conf
Experiences in ADA: Perspective problems and prospects for a potential primary language of instruction.
SIGCSE
Don M. M. Booker, Barry Burd, Jerry Przybylski, Kevin Cogan, George F. Corliss, Carl Brandon, Don Yee, Phil Goldstein
1983 — conf
Using ADA as a design language - classroom experience.
ACM Annual Conference
George F. Corliss
1982 J jnl
Solving Ordinary Differential Equations Using Taylor Series.
ACM Trans. Math. Softw.
George F. Corliss, Y. F. Chang
1978 J jnl
A search for interactive computer graphics lessons in numerical analysis.
ACM SIGCSE Bull.
George F. Corliss
1976 J jnl
Computer graphics assisted numerical analysis instruction.
Comput. Graph.
George F. Corliss