George F. Corliss

30 papers A 1B 2C 1Journal 12Unranked 9

Year	Rank	Type	Title / 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