George F. Corliss

According to our database1, George F. Corliss authored at least 26 papers between 1976 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Identifying extreme cold events using phase space reconstruction.
Int. J. Appl. Pattern Recognit., 2016

2009
Automatic Differentiation: Point and Interval Taylor Operators.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Automatic Differentiation: Point and Interval.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Bounding Derivative Ranges.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

2008
Second Note on Basic Interval Arithmetic for IEEE754R.
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

2007
Formulation for Reliable Analysis of Structural Frames.
Reliab. Comput., 2007

Cluster Methodology Defines Archetype Sentinel Consomic Rats.
Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2007

2006
Second Scandinavian Workshop on Interval Methods and Their Applications.
Reliab. Comput., 2006

Interval Arithmetic with Containment Sets.
Computing, 2006

Interval Subroutine Library Mission.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

2003
Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic.
Proceedings of the Numerical Software with Result Verification, 2003

1999
Reminiscences "Back in the Good Old Days...".
Reliab. Comput., 1999

Validated solutions of initial value problems for ordinary differential equations.
Appl. Math. Comput., 1999

1998
1998 SIAM Annual Meeting: Interval Highlights - Toronto, July 13-17, 1998.
Reliab. Comput., 1998

Rigorous Global Search: Industrial Applications.
Proceedings of the Developments in Reliable Computing, 1998

SCAN-98 Collected Bibliography.
Proceedings of the Developments in Reliable Computing, 1998

Optimization Strategies for the Approximate GCD Problem.
Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1996
High-Order Stiff ODE Solvers via Automatic Differentiation and Rational Prediction.
Proceedings of the Numerical Analysis and Its Applications, First International Workshop, 1996

1993
C-XSC: A C++ Class Library for Extended Scientific Computing
Springer Berlin Heidelberg, ISBN: 978-3-540-56328-0, 1993

1992
ADIFOR - Generating Derivative Codes form Fortran Programs.
Sci. Program., 1992

ADIFOR: Automatic Differentiation in a Source Translator Environment.
Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

1990
Industrial Applications of Interval Techniques.
Proceedings of the Computer Arithmetic and Self-Validating Numerical Methods, 1990

1989
Indefinite integration with validation.
ACM Trans. Math. Softw., 1989

1983
Using ADA as a design language - classroom experience.
Proceedings of the 1983 Annual Conference on Computers: extending the human resource, 1983

1982
Solving Ordinary Differential Equations Using Taylor Series.
ACM Trans. Math. Softw., 1982

1976
Computer graphics assisted numerical analysis instruction.
Comput. Graph., 1976


  Loading...