| author | = | "T. Coleman and B. Garbow and J. More", | |
| title | = | "Software for Estimating Sparse Jacobian Matrices", | |
| journal | = | "ACM TOMS", | |
| volume | = | "10", | |
| number | = | "3", | |
| year | = | "1984", | |
| pages | = | "329-345"} |
| author | = | "E. Lusk and R. Overbeek", | |
| month | = | "June", | |
| year | = | "1984", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "A. Sameh and C. Kamath", | |
| title | = | "The Preconditioned Conjugate Gradient Algorithm on a Multiprocessor", | |
| number | = | "MCS-TM-28", | |
| month | = | "June", | |
| year | = | "1984", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "K. E. Hillstrom", | |
| title | = | "Installation Guide for JAKEF", | |
| number | = | "MCS-TM-17", | |
| month | = | "January", | |
| year | = | "1984", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "K. E. Hillstrom", | |
| title | = | "User Guide for JAKEF", | |
| number | = | "MCS-TM-16", | |
| month | = | "January", | |
| year | = | "1984", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Dongarra and S. Chen and S. Hsiung", | |
| title | = | "Multiprocessing Linear Algebra Algorithms on the CRAY X-MP2: Experiences with Small Granularity", | |
| number | = | "MCS-TM-24", | |
| year | = | "1984", | |
| month | = | "February", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Dongarra and A. Sameh", | |
| title | = | "On Some Parallel Banded System Solvers", | |
| number | = | "MCS-TM-27", | |
| month | = | "March", | |
| year | = | "1984", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Dongarra and E. Lusk and R. Overbeek and B. Smith and D. Sorensen", | |
| title | = | "New Directions in Software fo rAdvanced Computer Architectures", | |
| month | = | "August", | |
| year | = | "1984", | |
| number | = | "MCS-TM-32", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "D. C. Sorensen", | |
| title | = | "Analysis of Pairwise Pivoting in Gaussian Elimination", | |
| number | = | "MCS-TM-26", | |
| year | = | "1984", | |
| month | = | "February", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "D. C. Sorensen", | |
| title | = | "Buffereing for Vector Performance on a Pipelined MIMD Machine", | |
| number | = | "MCS-TM-29", | |
| year | = | "1984", | |
| month | = | "April", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Dongarra and D. Sorensen", | |
| title | = | "A Paralle Linear Algebra Library for the Denelcor HEP", | |
| month | = | "October", | |
| year | = | "1984", | |
| number | = | "MCS-TM-33", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Dongarra and J. DuCroz and S. Hammarlling and R. Hanson", | |
| title | = | "A Proposal for an Extended Set of Fortran Basic Linear Algebra Subprograms", | |
| year | = | "1984", | |
| number | = | "MCS-TM-41", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "P. Messina and B. Smith and J. Dongarra", | |
| title | = | "Proceedings form the Argonne Workshop on Programing the Next Generation of Supercomputers", | |
| year | = | "1984", | |
| number | = | "MCS-TM-34", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Dongarra and L. Kaufman and S. Hammarlling", | |
| title | = | "Squeezing the Most out of Eigenvalue Solvers on High Performance Computers", | |
| year | = | "1984", | |
| number | = | "MCS-TM-46", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Dongarra and E. Grosse", | |
| title | = | "Distribution of Mathematical Software via Electronic Mail", | |
| year | = | "1984", | |
| number | = | "MCS-TM-48", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Dongarra and T. Hewitt", | |
| title | = | "Implementing Dense Linear Algebra Algorithms Using Multitasking on the CRAY X-MP-4", | |
| month | = | "August", | |
| year | = | "1985", | |
| number | = | "MCS-TM-55", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "H. G. Kaper and M. K. Kwong and F. V. Atkinson", | |
| title | = | "An Oscillation Criterion for Linear SEcond-Order Differential Systems", | |
| booktitle | = | "Proceedings of the American Mathematical Society", | |
| volume | = | "94", | |
| number | = | "1", | |
| year | = | "1985", | |
| month | = | "May"} |
| author | = | "I. S. Duff and C. W. Gear", | |
| title | = | "Computing the Structural Index", | |
| journal | = | "SIAM J. Alg. Disc. Meth.", | |
| volume | = | "7", | |
| issue | = | "4", | |
| year | = | "1986"} |
| author | = | "I. Duff and A. Erisman and C. Gear and J. Reid", | |
| title | = | "Some Remarks on Inverses of Sparse Matrices", , CRAY X-MP-4", | |
| year | = | "1985", | |
| number | = | "MCS-TM-51", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "I. Duff", | |
| title | = | "Comments on the Solution of Sparse Linear Equations", CRAY X-MP-4", | |
| month | = | "September", | |
| year | = | "1985", | |
| number | = | "MCS-TM-58", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "I. S. Duff", | |
| title | = | "Use of Vector and Parallel Computers in the Solution of Large, Sparse Linear Equations", CRAY X-MP-4", | |
| month | = | "November", | |
| year | = | "1986", | |
| number | = | "MCS-TM-84", | |
| institution | = | "Argonne National Laboratory"} |
| title | = | "Implementation of Some Concurrent Algorithms afor Matrix Factorization", | |
| journal | = | {Parallel Computing", | |
| volume | = | "3", | |
| year | = | "1986", | |
| pages | = | "25-32"} |
| author | = | "M. Minkoff and K. E. Hillstrom and S. D. King and R. Crane", | |
| title | = | "Performance Modelling of Large-Grained Parallelism", | |
| number | = | "MCS-TM-63", | |
| month | = | "March", | |
| year | = | "1986", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Dongarra and I. Duff", | |
| title | = | "Advanced Architecture Computers", CRAY X-MP-4", | |
| month | = | "October", | |
| year | = | "1985", | |
| number | = | "MCS-TM-57", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. J. Dongarra and D. C. Sorensen", | |
| title | = | "A Fully Parallel Algorithm for the Symmetric Eigenvalue Problem", CRAY X-MP-4", | |
| month | = | "January", | |
| year | = | "1986", | |
| number | = | "MCS-TM-62", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. J. Dongarra and D. C. Sorensen", | |
| title | = | "SCHEDULE: tools for Developing and Analyzing Parallel Fortran Programs", CRAY X-MP-4", | |
| month | = | "November", | |
| year | = | "1986", | |
| number | = | "MCS-TM-86", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. J. Dongarra and L. Johnsson", | |
| title | = | "Solving Banded Systems o n a Parallel Processor", , CRAY X-MP-4", | |
| month | = | "November", | |
| year | = | "1986", | |
| number | = | "MCS-TM-85", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "H. Kaper and M. Kwong and A. Zettl", | |
| title | = | "Singular Sturm-Liouville Problems with Nonnegative and Indefinite Weights", | |
| journal | = | Monatshefte fur Mathematik", | |
| month | = | "April", | |
| year | = | "1984", | |
| volume | = | "97", | |
| pages | = | "177-189", |
| author | = | "H. Kaper and M. Kwong and Z. Zettl", | |
| title | = | "Regularizing Transformations for Certain Singular Sturm-Liouville Value Problems", | |
| journal | = | "SIAM J. Math. Anal.", | |
| volume | = | "15", | |
| number | = | "5", | |
| year | = | "1984" |
| author | = | "H. Kaper and M. Kwong and C. Lekkeerkerker and A. Zettl", | |
| title | = | "Full and Partial Range Eigenfunctions Expansions for Sturm-Liouville Problems with Indefinite Weights", | |
| journal | = | "Proc. Royal Society of Edinburgh", | |
| volume | = | "98A", | |
| pages | = | "68-88", | |
| year | = | "1984", |
| author | = | "H. Kaper and G. Leaf and B. Matkowsky and M. Matalon", | |
| title | = | "The Stability of Plane Flames Attached to a Flameholder", | |
| journal | = | "Journal of Combustion Science and Tech.", | |
| volume | = | 43", | |
| year | = | "1985", | |
| pages | = | "271-286", |
| author | = | "G. Chisholm and J. Kljaich and B. Smith and A. Wojcik"} | |
| title | = | "Preliminary Report on the Formal Analysis of the Draper FTP Hardware and Software Using FTP", | |
| year | = | "1985", | |
| month | = | "September", | |
| institution | = | "Argonne National Laboratory", | |
| number | = | "MCS-TM-59"} |
| author | = | "P. Frederickson and R. Jones and B. Smith", | |
| title | = | "Synchronization and Control of Parallel Algorithms", | |
| journal | = | "Parallel Computing", | |
| volume | = | "2", | |
| year | = | "1985", | |
| pages | = | "255-264"} |
| author | = | "H. G. Kaper and G. K .leaf and B. J. Matkowsky", | |
| title | = | "On the Stability of the Porous Plug Burner Flame", | |
| journal | = | "Combustin Sci. and Tech.", | |
| year | = | "1986", | |
| volume | = | "47", | |
| pages | = | "93-101", | |
| year | = | "1986", |
| author | = | "W. R. Cowell", | |
| title | = | "The Toolpack Tools ISTUD, ISTCD, and ISTSB: Guide for Users and Installers", | |
| year | = | "1986", | |
| month | = | "June", | |
| institution | = | "Argonne National LAbortory", | |
| number | = | "MCS-TM-74"} |
| author | = | "D. Sorensen and M. Heath", | |
| title | = | "A Pipelined Givens Method for Computing the QR Factorizatin of a Sparse Matrix", | |
| journal | = | "Linear Algebra and Its Applications", | |
| volume | = | :77", | |
| pages | = | "189-203", | |
| year | = | "1986"} |
| author | = | "B. Gabutti and J. Lyness", | |
| title | = | "Some Generalizations of the Euler-Knopp Transformation", | |
| journal | = | "Numerische Mathematik", | |
| volume | = | "48", | |
| year | = | "1986", | |
| pages | = | "199-220"} |
| author | = | "J. N. Lyness and G Giunta", | |
| title | = | "A Modification of the Weeks Method for Numerical Inversion of the Laplace Transform", | |
| volume | = | "47", | |
| journal | = | "Mathematics of Computation", | |
| year | = | "1986", | |
| volume | = | "47", | |
| number | = | "175", | |
| pages | = | "313-322"} |
| author | = | "H. Kpaer and C. Lekkerkerker", | |
| title | = | "Spectral Analysis of the Multigroup Transport Operator", | |
| journal | = | "Tansport Theory and Statistical Physics", | |
| volume | = | "15", | |
| number | = | :4", | |
| pages | = | "411-447", | |
| year | = | "1986", |
| author | = | "H. Kaper and M. K. Kwong", | |
| title | = | "Asympototics of the Titchmarsh-Weyl m-coefficient for Integrable Potentials", | |
| year | = | "1986", | |
| pages | = | "347-358", | |
| volume | = | "103A", |
| author | = | "F. V. Atkinson and A. B. Mingarelli", | |
| title | = | "Asymptotics of the Number of Zeros and the Eigenvalues of General Weighted Sturm-Liouville Problems", | |
| journal | = | "J. fuer Reine und Angewandte Mathematik", | |
| volume | = | "375/376", | |
| year | = | "1987", | |
| pages | = | "380-393"} |
| author | = | J. Clausing and R. hagstrom and E. Lusk and R. overbeek", | |
| title | = | "A Technique for Achieving Portability among Multiprocessors: Implementation on the Lemur", | |
| journal | = | "Parallel Computing", | |
| volume | = | "2", | |
| year | = | "1985", | |
| pages | = | "137-162"} |
| author | = | "K. E. Jordan", | |
| title | = | "The Good, the Bad, and the Ugly: Comparing High-Speed Computer Systems", | |
| number | = | "MCS-TM-196", | |
| month | = | "December", | |
| year | = | "1987"} |
| author | = | "F. V. Atkinson and L. A. Peletier", | |
| title | = | "Elliptic Equations with Nearly Critical Growth", | |
| journal | = | "J. Diff. Eq.", | |
| volume | = | "70", | |
| issue | = | "3", | |
| year | = | "1987", | |
| pages | = | "349-365"} |
| author | = | "F. V. Atkinson and L. A. Peletier", | |
| title | = | "Elliptic Equations with Critical Exponents", | |
| booktitle | = | "Nonlinear Parabolic equations: Qualitative Properties of Solutions, Pitman Res. Notes in Math. 149", | |
| editor | = | "L. Boccardo and A. Tesei", | |
| publisher | = | "Longman and Wiley", | |
| year | = | "1987", | |
| pages | = | "13-21"} |
| author | = | "F. V. Atkinson and L. A. Peletier", | |
| title | = | "Radial Similarity Solutions of a Parabolic Equation", | |
| booktitle | = | "Nonlinear Parabolic Equations: Qualitative Properties of Solutions, Pitman Res. Notes in Math. 149", | |
| editor | = | " L. Boccardo and A. Tesei", | |
| publisher | = | "Longman and Wiley", | |
| year | = | "1987", | |
| pages | = | "9-12"} |
| author | = | "F. V. Atkinson and Zhang Shunian", | |
| title | = | "Asymptotic Behavior of Solutions of Linear Delay Equations", | |
| journal | = | "Acta Mathematica Sinica", | |
| volume | = | "n.s. 3", | |
| issue | = | " 4", | |
| year | = | "1987", | |
| pages | = | "289-300"} |
| author | = | "A. Bayliss and B. J. Matkowsky and M. Minkoff", | |
| title | = | "Adaptive Pseudo-Spectral Computation of Cellular Flames Stabilized by a Point Source", | |
| journal | = | "App. Math. Lett.", | |
| volume | = | "1", | |
| issue | = | "1", | |
| year | = | "1988", | |
| pages | = | "19-24"} |
| author | = | "J. M. Boyle and K. W. Dritz and M. N. Muralidharan and R. J. Taylor", | |
| title | = | "Deriving Sequential and Parallel Programs from Pure LISP Specifications by Program Transformation", | |
| booktitle | = | "Program Specification and Transformation (Proc. of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tolz, Germany, April 15-17, 1986)", | |
| editor | = | " L. G. L. T. Meertens", | |
| publisher | = | "North-Holland", | |
| address | = | "New York", | |
| year | = | "1987"} |
| author | = | "J. Boyle and R. Butler and T. Disz and B. Glickfeld and E. Lusk and R. Overbeek and J. Patterson and R. Stevens", | |
| title | = | "Portable Programs for Parallel Processing", | |
| publisher | = | "Holt, Rinehart, and Winston", | |
| address | = | "New York", | |
| year | = | "1987"} |
| author | = | "J. M. Boyle and M. N. Muralidharan", | |
| title | = | "Program Reusability through Program Transformation", | |
| journal | = | "IEEE Transactions on Software Engineering", | |
| volume | = | "SE-10", | |
| issue | = | "5", | |
| year | = | "1984", | |
| pages | = | "574-588", | |
| note | = | "Reprinted in: Tutorial: Software Reusability, ed. Peter Freeman, IEEE Computer Society, Washington, D.C., 1987"} |
| author | = | "W. J. Cody", | |
| title | = | "Software for Special Functions", | |
| number | = | "MCS-TM-37", | |
| month | = | "October", | |
| year | = | "1984", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. M. Boyle and K. W. Dritz and M. N. Muralidharan and R. Taylor", | |
| title | = | "Deriving Sequential and Parallel Programs from Pure LISP Specifications by Program Transformation", | |
| booktitle | = | "Program Specification and Transformation (Proceedings of the IFIP TC2/WG2.1 Working Conference on Program Specification and Transformation, Bad-Tolz, FRG, 15-17 April 1986)", | |
| editor | = | "L. G. L. T. Meertens", | |
| publisher | = | "North-Holland", | |
| address | = | "Amsterdam", | |
| year | = | "1988"} |
| author | = | "P. H. Calamai and J. J. More'", | |
| title | = | "Quasi-Newton Updates with Bounds", | |
| journal | = | "SIAM J. Num. Anal.", | |
| volume | = | "24", | |
| year | = | "1987", | |
| pages | = | "1434-1441"} |
| author | = | "P. H. Calamai and J. J. More'", | |
| title | = | "Projected Gradient Methods for Linearly Constrained Problems", | |
| journal | = | "Math. Programming", | |
| volume | = | "39 ", | |
| year | = | "1987", | |
| pages | = | "93-116"} |
| author | = | "R. C. Y. Chin and G. W. Hedstrom and J. S. Scroggs and D. C. Sorensen", | |
| title | = | "Parallel Computation of a Domain Decomposition Method", | |
| booktitle | = | "Advances in Computer Methods for Partial Differential Equations VI", | |
| editor | = | "R. Vichnevetsky and R. S. Stepleman", | |
| organization | = | "IMACS", | |
| address | = | "New Brunswick, NJ", | |
| year | = | "1987"} |
| author | = | "W. J. Cody", | |
| title | = | "{SPECFUN}---A Portable Special Function Package", | |
| booktitle | = | "Microcomputers in Large-Scale Scientific Computing", | |
| editor | = | " A. Wouk", | |
| publisher | = | "SIAM", | |
| addrress | = | "Philadelphia", | |
| year | = | "1987"} |
| author | = | "R. W. Colley and S. E. Seeman and D. E. Smith and J. R. Gabriel and E. L. Lusk and R. A. Overbeek", | |
| title | = | "An Entity-Relationship Model for Nuclear Power Plants", | |
| booktitle | = | "Proceedings of the 1985 International Topical Meeting on Computer Applications for Nuclear Power Plant Operation and Control", | |
| publisher | = | "Tri-Cities", | |
| address | = | "Washington, D.C.", | |
| year | = | "1986", | |
| pages | = | "765-770"} |
| author | = | "W. R. Cowell and C. P. Thompson", | |
| title | = | "Transforming Fortran DO Loops to Improve Performance on Vector Architectures", | |
| journal | = | "ACM Trans. on Math. Soft.", | |
| volume | = | "12", | |
| issue | = | "4", | |
| year | = | "1986", | |
| pages | = | "324-353"} |
| author | = | "J. J. Dongarra", | |
| title | = | "Experimental Parallel Computing Architectures", | |
| publisher | = | "North-Holland", | |
| year | = | "1987"} |
| author | = | "J. J. Dongarra and L. Johnssonu", | |
| title | = | "Solving Banded Systems on a Parallel Processor", | |
| journal | = | "Parallel Computing", | |
| volume | = | "5", | |
| year | = | "1987", | |
| pages | = | "219-246"} |
| iauthor | = | "J. J. Dongarra and J. Martin and J. Worlton", | |
| title | = | "Evaluating Computers and Their Performance: Perspectives, Pitfalls, and Paths", | |
| journal | = | "IEEE Spectrum", | |
| year | = | "1987"} |
| author | = | "J. J. Dongarra and D. C. Sorensen", | |
| title | = | "A Fully Parallel Algorithm for the Symmetric Eigenvalue Problem", | |
| journal | = | "SIAM J. of Sci. and Stat. Comp.", | |
| volume | = | "8", | |
| issue | = | "2", | |
| year | = | "1987", | |
| year | = | "139-154"} |
| author | = | "J. J. Dongarra and D. C. Sorensen", | |
| title | = | "On the Implementation of a Fully Parallel Algorithm for the Symmetric Eigenvalue Problem", | |
| Journal | = | "SPIE, Advanced Algorithms and Architectures for Signal Processing", | |
| volumer | = | "696", | |
| year | = | "1986", | |
| pages | = | "45-53"} |
| author | = | "J. J. Dongarra and D. C. Sorensen", | |
| title | = | "A Portable Environment for Developing Parallel FORTRAN Programs", | |
| journal | = | "Parallel Computing", | |
| volume | = | "5", | |
| year | = | "1987", | |
| pages | = | "175-186"} |
| author | = | "F. B. Hanson and A.-M. Wazwaz", | |
| title | = | "Singular and Turning Point Resonance: Small Perturbations - Big Effects", | |
| journal | = | "Applied Mathematics Letters", | |
| year | = | "1988"} |
| author | = | "W. J. Cody", | |
| title | = | "Algorithm 665 - MACHAR: A Subroutine to Dynamically Determine Machine parameters", | |
| journal | = | "ACM TOME:", | |
| volume | = | "14", | |
| issue | = | "4", | |
| year | = | "1988", | |
| pages | = | "303-311"} |
| author | = | "H. G. Kaper and Man Kam Kwong", | |
| title | = | "Asymptotics of the Titchmarsh-Weyl m-coefficient for Integrable Potentials", | |
| booktitle | = | "Proc. of the Royal Soc. of Edinburgh", | |
| volume | = | "103A", | |
| year | = | "1986", | |
| pages | = | "347-358"} |
| author | = | "H. G. Kaper and Man Kam Kwong", | |
| title | = | "Oscillation Theory for Linear Second-Order Differential Systems", | |
| booktitle | = | "Canadian Mathematical Society Conf. Proc.", | |
| volume | = | "8", | |
| year | = | "1987", | |
| pages | = | "187-197"} |
| author | = | "H. G. Kaper and Man Kam Kwong and A. Zettl", | |
| title | = | "Characterization of the Friedrichs Extensions of Singular Sturm-Liouville Expressions", | |
| journal | = | "SIAM J. Math. Anal.", | |
| volume | = | "17", | |
| issue | = | "4", | |
| year | = | "1986", | |
| pages | = | "772-777"} |
| author | = | "H. G. Kaper and G. K. Leaf and S. B. Margolis and B. J. Matkowsky", | |
| title | = | "On Nonadiabatic Condensed Phase Combustion", | |
| journal | = | "Combust. Sci. and Tech.", | |
| volume | = | "53", | |
| year | = | "1987", | |
| pages | = | "289-314"} |
| author | = | "H. G. Kaper and G. K. Leaf and B. J. Matkowsky and W. E. Olmstead", | |
| title | = | "Dynamics of Nonadiabatic Premixed Flames in a Gravitational Field", | |
| journal | = | "SIAM J. Appl. Math.", | |
| volume | = | "47", | |
| issue | = | "3", | |
| month | = | "June", | |
| year | = | "1987", | |
| pages | = | "544-555" |
| author | = | "H. G. Kaper and B. E. Spellman", | |
| title | = | "Best Constants in Norm Inequalities for the Difference Operator", | |
| journal | = | "Trans. Amer. Math. Soc. ", | |
| volume | = | "299", | |
| month | = | " January", | |
| year | = | "1987", | |
| pages | = | " 351-372" |
| author | = | "Man Kam Kwong and R. Bapat", | |
| title | = | "A Generalization of $A . A ^{-1}$ >= I", | |
| journal | = | "Linear Alg. Appl.", | |
| volume | = | "93", | |
| year | = | "1987", | |
| pages | = | "107-112" |
| author | = | "Man Kam Kwong and J. W. Hooker and W. T. Patula", | |
| title | = | "Oscillatory Second-order Linear Difference Equations and Riccati Equations", | |
| journal | = | "SIAM J. Math. Anal.", | |
| volume | = | "18", | |
| year | = | "1987", | |
| pages | = | "54-63" |
| author | = | "Man Kam Kwong and W. T. Patula", | |
| title | = | "Comparison Theorems for First-Order Linear Delay Equations", | |
| journal | = | "J. Diff. Eq.", | |
| volume | = | "70", | |
| year | = | "1987", | |
| pages | = | "275-292" |
| author | = | "Man Kam Kwong and James S.W. Wong", | |
| title | = | "Oscillation of Emden-Fowler Systems", | |
| journal | = | "Differential and Integral Equations", | |
| volume | = | "1", | |
| number | = | "2", | |
| month | = | "April", | |
| year | = | "1988", | |
| pages | = | "133-141" |
| author | = | "Man Kam Kwong and A. Zettl", | |
| title | = | "Extremals in Landau's Inequality for the Difference Operator", | |
| journal | = | "Proc. Royal Soc. Edinburgh", | |
| volume | = | "107A", | |
| year | = | "1987", | |
| pages | = | " 299-311" |
| author | = | "Man Kam Kwong and A. Zettl", | |
| title | = | "Landau's Inequality for the Differential and Difference Operators, General Inequalities V", | |
| booktitle | = | "Proc. of the Conf. on Inequalities at Oberwolfach 1986", | |
| publisher | = | "Birkhaeuser-Verlag", | |
| address | = | "Basel", | |
| year | = | "1987", | |
| pages | = | "367-379" |
| author | = | "G. K. Leaf and M. Minkoff and J. C. Diaz", | |
| title | = | "Preconditioned Iterative Methods for Partial Differential Equations", | |
| booktitle | = | "Advances in Computer Methods for Partial Differential Equations VI", | |
| editor | = | "R. Vichnevetsky and R. Stepleman", | |
| publisher | = | "IMACS", | |
| year | = | "1987", | |
| pages | = | "551-555" |
| author | = | "C. G. Lekkerkerker and H. G. Kaper", | |
| title | = | "Spectral Analysis of the Multigroup Transport Operator", | |
| journal | = | "Transport Theory and Stat. Physics", | |
| volume | = | "15", | |
| number | = | "4", | |
| year | = | "1986", | |
| pages | = | "411-447" |
| author | = | "B. Lucier and R. Overbeek", | |
| title | = | "A Parallel Adaptive Numerical Scheme for Hyperbolic Systems of Conservation Laws", | |
| journal | = | "SIAM J. on Sci. and Stat. Comp.", | |
| volume | = | " 8", | |
| month | = | "March", | |
| year | = | "1987", | |
| pages | = | "203-219" |
| author | = | "E. L. Lusk and R. A. Overbeek", | |
| title | = | "The Role of Multiprocessors in the Nuclear Power Industry: Comments on Determining Factors", | |
| booktitle | = | "ANS", | |
| address | = | "La Grange Park, Illinois", | |
| year | = | "1986", | |
| pages | = | "771-775" |
| author | = | "E. Lusk", | |
| title | = | "Review of The Computer Modelling of Mathematical Reasoning, by Allen Bundy", | |
| journal | = | "SIAM Review", | |
| volume | = | "29", | |
| number | = | "3", | |
| year | = | "1987" |
| author | = | "J. N. Lyness", | |
| title | = | "Some Quadrature Rules for Finite Trigonometric and Related Integrals", | |
| booktitle | = | "Numerical Integration", | |
| editor | = | "P. Keast and G. Fairweather", | |
| publisher | = | "D. Reidel Publishing Company", | |
| address | = | "North-Holland", | |
| year | = | "1987", | |
| pages | = | "17-33" |
| author | = | "J. N. Lyness and E. de Doncker-Kapenga", | |
| title | = | "On Quadrature Error Expansions: Part I", | |
| journal | = | "J. Comp. and Appl. Math.", | |
| volume | = | "17", | |
| year | = | "1987", | |
| pages | = | "131-149" |
| author | = | "J. N. Lyness and T. J. Kaper", | |
| title | = | "Calculating Fourier Transforms of Long-Tailed Functions", | |
| journal | = | "SIAM J. Sci. Stat. Comput.", | |
| volume | = | "8", | |
| number | = | " 6", | |
| month | = | "November", | |
| year | = | "1987", | |
| pages | = | "1005-1011" |
| author | = | "W. McCune and L. Wos", | |
| title | = | "A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "3", | |
| number | = | "1", | |
| year | = | "1987", | |
| pages | = | "91-107" |
| author | = | "M. Minkoff", | |
| title | = | "Approaches to Optimization/Simulation Problems", | |
| journal | = | "Applied Numerical Mathematics", | |
| volume | = | "3", | |
| year | = | "1987", | |
| pages | = | "453-466" |
| author | = | "Z. Nagy and R. H. Land and M. Minkoff and G. K. Leaf", | |
| title | = | "Applicability of the Potential Step Relaxation Technique in the Nonlinear Current Density-Overpotential Range", | |
| journal | = | "Electrochimica ACTA", | |
| volume | = | "32", | |
| year | = | "1987", | |
| pages | = | "1777-1782" |
| author | = | "R. Stevens", | |
| title | = | "Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover", | |
| journal | = | "J. Automated REasoning", | |
| volume | = | "3", | |
| number | = | "2", | |
| month | = | "June", | |
| year | = | "1987", | |
| pages | = | " 211-221" |
| author | = | "L. Wos", | |
| title | = | "Automated Reasoning: 33 Basic Research Problems", | |
| publisher | = | "Prentice-Hall", | |
| address | = | "Englewood Cliffs, N.J.", | |
| year | = | "1987" |
| author | = | "L. Wos", | |
| title | = | "The Problem of Extending the Set of Support Strategy", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "3", | |
| year | = | "1987", | |
| pages | = | "319-328" |
| author | = | "L. Wos", | |
| title | = | "The Problem of Choosing the Inference Rule to Employ", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "3", | |
| number | = | "2", | |
| month | = | "June", | |
| year | = | "1987", | |
| pages | = | "201-209" |
| author | = | "L. Wos", | |
| title | = | "Some Obstacles to the Automation of Reasoning, and the Problem of Redundant Information", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "3", | |
| issue | = | "1", | |
| year | = | "1987", | |
| pages | = | "81-90" |
| author | = | "L. Wos", | |
| title | = | "Automated Reasoning", | |
| booktitle | = | "A Computer Science Reader: Selections from Abacus", | |
| editor | = | "E. A. Weiss", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1987", | |
| pages | = | "110-137" |
| author | = | "L. Wos and W. McCune", | |
| title | = | "Negative Paramodulation", | |
| booktitle | = | "Proc. of the 8th Conference on Automated Deduction, Lecture Notes in Computer Science 230", | |
| editor | = | "J. H. Siekmann", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1986", | |
| pages | = | "229-239" |
| author | = | "L. Wos and R. Veroff", | |
| title | = | "Resolution, Binary: Its Nature, History, and Impact on the Use of Computers", | |
| booktitle | = | "Encyclopedia of Artificial Intelligence", | |
| publisher | = | "John Wiley and Sons", | |
| year | = | "1987", | |
| pages | = | "892-902", |
| author | = | "M. Carlsson and K. Danhof and R. Overbeek", | |
| title | = | "Practical Issues Relating to the Internal Database Predicates in an OR-Paralell Prolog: Extensions and Useful Hacks", | |
| institution | = | "Argonne National Laboratory", | |
| number | = | "ANL-88-11", | |
| month | = | "February", | |
| year | = | "1988" |
| author | = | "W. R. Cowell and S. J. Hague and R. M. Iles", | |
| title | = | "Toolpack/1 Release 2: Introductory Guide", | |
| number | = | "ANL-86-43", | |
| month | = | "March", | |
| year | = | "1987" |
| author | = | "W. R. Cowell and Burton S. Garbow", | |
| title | = | "Users' Guide to Toolpack/1 (Release 2) in a Unix Environment", | |
| number | = | "ANL-87-12", | |
| month | = | "March", | |
| year | = | "1987" |
| author | = | "K. W. Dritz and J. M. Boyle", | |
| title | = | "Beyond `Speedup': Performance Analysis of Parallel Programs", | |
| number | = | "ANL-87-7", | |
| month | = | "February", | |
| year | = | "1987" |
| author | = | "J. R. Gabriel", | |
| title | = | "An Algebraic Theory of Program Specification and Correctness Using Symmetry Operations", | |
| number | = | "ANL-87-10", | |
| month | = | "March", | |
| year | = | "1987" |
| author | = | "J. R. Gabriel and R. O. Chapman", | |
| title | = | "Deriving Properties of Systems from Properties of Parts and Lists of Connections", | |
| number | = | "ANL-86-51", | |
| month | = | "December", | |
| year | = | "1986" |
| author | = | "J. R. Gabriel and R. O. Chapman and J. L. Kljaich", | |
| title | = | "A Theory of Program Correctness, and Algorithms for Proofs", | |
| number | = | "ANL-87-4", | |
| month | = | "January", | |
| year | = | "1987" |
| author | = | "B. Glickfeld and R. Overbeek", | |
| title | = | "An Approach to Implementing State Space Searches on Heterogeneous Systems of Multiprocessors", | |
| number | = | "ANL-88-36", | |
| month | = | "September", | |
| year | = | "1987" |
| author | = | "T. J. Heames and J. G. Daley and M. Minkoff", | |
| title | = | "SEAMOPT: A Stirling Engine Performance Optimization Code", | |
| number | = | "ANL-CT-86-2", | |
| month | = | "May", | |
| year | = | "1986" |
| title | = | "Mathematics and Computer Science Division Five-Year Plan", | |
| number | = | "ANL-86-47", | |
| month | = | "November", | |
| year | = | "1986" |
| author | = | "R. Hempel", | |
| title | = | "The SUPRENUM Communications Subroutine Library for Grid-oriented Problems", | |
| number | = | "ANL-87-23", | |
| month | = | "June", | |
| year | = | "1987" |
| author | = | "J. A. Kalman", | |
| title | = | "An ITP Workbook", | |
| number | = | "ANL-86-56", | |
| month | = | "December", | |
| year | = | "1986" |
| author | = | "Man Kam Kwong", | |
| title | = | "REDUCE-aided Study of a Problem in Hermitian Matrix Theory", | |
| number | = | "ANL-87-31", | |
| month | = | "July", | |
| year | = | " 1987" |
| author | = | "G. W. Pieper", | |
| title | = | "Research in Mathematics and Computer Science", | |
| number | = | "ANL-86-35", | |
| month | = | "July", | |
| year | = | "1986" |
| author | = | "P. T. P. Tang", | |
| title | = | "Portable Implementation of a Generic Exponential Function", | |
| number | = | "ANL-88-3", | |
| year | = | "1988" |
| author | = | "C. P. Thompson and G. K. Leaf and S. P. Vanka", | |
| title | = | "Application of a Multigrid Method to a Buoyancy-induced Flow Problem", | |
| book | = | "Multigrid Methods - Theory, Applications, and Supercomputing", | |
| editor | = | "S. F. McCormick", | |
| publisher | = | "Marcel Dekker, Inc.", | |
| address | = | "New York", | |
| pages | = | "605-629", | |
| note | = | "also ANL-87-46", | |
| year | = | "1988", |
| author | = | "A. Bayliss and D. Gottlieb and B. J. Matkowsky and M. Minkoff", | |
| title | = | "An Adaptive Pseudo-Spectral Method for Reaction Diffusion Problems", | |
| journal | = | "J. Comp. Phys." | |
| volume | = | "81", | |
| issue | = | "2", | |
| year | = | "1989", | |
| note | = | "also MCS-TM-100", |
| author | = | "P. Mayes and G. Radicati", | |
| title | = | "LAPACK Working Note No. 12 -- Banded Cholesky Factorization Using Level 3 BLAS", | |
| number | = | "ANL/MCS-TM-134", | |
| month | = | "August", | |
| year | = | "1989"} |
| author | = | "P. Deift and J. Demmel and L.-C. Li and C. Tomei", | |
| title | = | "LAPACK Working Note No. 11 - The Bidiagonal Singular Value Decomposition and Hamiltonian Mechanics", | |
| number | = | "MCS-TM-133", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "R. H. Byrd and J. Nocedal", | |
| title | = | "A Tool for the Analysis of quasi-Newton Methods with Application to Unconstrained Minimization", | |
| number | = | "MCS-TM-103", | |
| month | = | "December", | |
| year | = | "1987", |
| title | = | "Numerical Solution of Bound Constrained Problems", | |
| author | = | "J. J. More", | |
| note | = | "also MCS-TM-96", | |
| book | = | "Proc. 1987 International Conf. on Computational Techniques and Applications", | |
| editor | = | "J. Noye and C. Fletcher", | |
| year | = | "1987"} |
| author | = | "J. V. Burke", | |
| title | = | "An Exact Penalization Viewpoint of Constrained Optimization", | |
| number | = | "MCS-TM-95", | |
| month | = | "August", | |
| year | = | "1987", |
| author | = | "R. Butler and E. Lusk and W. McCune and R. Overbeek", | |
| title | = | "Parallel Logic Programming for Numeric Applications", | |
| number | = | "MCS-TM-72", | |
| month | = | "April", | |
| year | = | "1986", |
| author | = | "L. wos", | |
| title | = | "Automated Reasoning: Basic Research Problems", | |
| number | = | "MCS-TM-67", | |
| year | = | "1986"} |
| author | = | "R. Butler and E. Lusk and W. McCune and R. Overbeek", | |
| title | = | "Paths to High-Performance Automated Theorem Proving", | |
| number | = | "MCS-TM-71", | |
| year | = | "1986", |
| author | = | "R. Chin and G. Hedstrom and J. Scroggs and D. Sorensen", | |
| title | = | "Parallel Computation of a Domain Decomposition Method", | |
| number | = | "MCS-TM-91", | |
| month | = | "April", | |
| year | = | "1987", |
| author | = | "W. J. Cody", | |
| title | = | "ELEFUNT Test Results under FX/FORTRAN Version 1.0 on the Alliant FX/8", | |
| number | = | "MCS-TM-78", | |
| month | = | "July", | |
| year | = | "1986", |
| author | = | "W. J. Cody", | |
| title | = | "ELEFUNT Test Results under NS320000 FORTRAN V2.5.3 on the Sequent Balance", | |
| number | = | "MCS-TM-80", | |
| month | = | "September", | |
| yeaer | = | "1986", |
| author | = | "W. R. Cowell", | |
| title | = | "UNIX Shell Scripts to Invoke a Set of Toolpack/1 Tools", | |
| number | = | "MCS-TM-77", | |
| month | = | "July", | |
| year | = | "1986", |
| author | = | "J. Demmel and J. Dongarra and J. DuCroz and A. Greenbaum and S. Hammarling and D. Sorensen", | |
| title | = | "Prospectus for the Development of a Linear Algebra Library for High-Performance Computers", | |
| number | = | "MCS-TM-97", | |
| month | = | "September", | |
| year | = | "1987", |
| author | = | "J. J. Dongarra and S. Hammarling and D. C. Sorensen", | |
| title | = | "LAPACK Working Note No. 2: Block Reduction of Matrices to Condesned Forms for Eigenvalue Computations", , CRAY X-MP-4", | |
| month | = | "September", | |
| year | = | "1987", | |
| number | = | "MCS-TM-99", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Demmel and J. Du Croz and S. Hammarling and D. Sorensen", | |
| title | = | "LAPACK Working Note \#4: Guidelines for the Design of Symmetric Eigenroutines, SVD, and Iterative Refinement and Condition Estimation for Linear Systems", | |
| number | = | "MCS-TM-111", | |
| month | = | "February ", | |
| year | = | "1988", |
| author | = | "J. Demmel and W. Kahan", | |
| title | = | "LAPACK Working Note \#3: Computing Small Singular Values of Bidiagonal Matrices with Guaranteed High Relative Accuracy", | |
| number | = | "MCS-TM-110", | |
| month | = | "February", | |
| year | = | "1988", |
| author | = | "T. Disz and E. Lusk and R. Overbeek", | |
| title | = | "Experiments with OR-Parallel Logic Programs", | |
| book | = | "Proc. 4th International Conf. on Logic Programming", | |
| note | = | "also "MCS-TM-87", | |
| year | = | "1987", |
| author | = | "J. J. Dongarra", | |
| title | = | "Performance of Various Computers Using Standard Linear Equations Software in a Fortran Environment", | |
| number | = | "MCS-TM-23", | |
| month | = | "January", | |
| year | = | "1988", |
| author | = | "J. J. Dongarra", | |
| title | = | "Workshop on the Level 3 BLAS", | |
| number | = | "MCS-TM-89", | |
| month | = | "March", | |
| year | = | "1987", |
| author | = | "J. J. Dongarra and J. Du Croz and I. Duff and S. Hammarling", | |
| title | = | "A Proposal for a Set of Level 3 Basic Linear Algebra Subprograms", | |
| number | = | "MCS-TM-88", | |
| month | = | "April", | |
| year | = | "1987", |
| author | = | "J. J. Dongarra and J. Du Croz and S. Hammarling and R. J. Hanson", | |
| title | = | "An Extended Set of Fortran Basic Linear Algebra Subprograms: Model Implementation and Test Programs", | |
| number | = | "MCS-TM-81", | |
| month | = | "January", | |
| year | = | "1987", |
| author | = | "J. J. Dongarra and S. Hammarling and D. Sorensen", | |
| title | = | "Block Reduction of Matrices to Condensed Forms for Eigenvalue Computations", | |
| journal | = | "Journal of Computational and Applied Mathematics", | |
| volume | = | "27", | |
| pages | = | "215-227", | |
| year | = | "1989", |
| author | = | "A. Griewank", | |
| title | = | "The Global Convergence of Partitioned BFGS on Problems with Convex Decompositions and Lipschitzian Gradients", | |
| journal | = | "Math. Programming", | |
| volume | = | "50", | |
| pages | = | "141-175", | |
| note | = | "also MCS-TM-105", | |
| year | = | "1991", |
| author | = | "J. Michalakes", | |
| title | = | "Analysis of Workload and Load Balancing Issues in the NCAR Community Climate Model", | |
| number | = | "ANL/MCS-TM-144", | |
| month | = | "January", | |
| year | = | "1991"} |
| author | = | "H. G. Kaper", | |
| number | = | "ANL/MCS-TM-151", | |
| month | = | "June", | |
| year | = | "1991", | |
| title | = | "Educational Opportunities in Computational Science at Argonne National Laboratory"} |
| author | = | "H. G. Kaper", | |
| number | = | "ANL/MCS-TM-146", | |
| month | = | "March", | |
| year | = | "1991", | |
| title | = | "Mathematical Models of Superconductivity"} |
| author | = | "A. Baehr and R. Hagstrom and D. Joerg and R. Overbeek", | |
| title | = | "Querying Genomic Databases", | |
| number | = | "ANL/MCS-TM-155", | |
| year | = | "1991"} |
| author | = | "E. R. Jessup and D. C. Sorensen", | |
| title | = | "A Parallel Algorithm for Computing the Singular Value Decomposition of a Matrix", | |
| number | = | "MCS-TM-102", | |
| month | = | "December", | |
| year | = | "1987", |
| author | = | "K. E. Jordan and A. Bayliss", | |
| title | = | "A Multigrid Preconditioner Applied to a Two-Dimensional Convection-Diffusion Problem", | |
| number | = | "MCS-TM-101", | |
| month | = | "November", | |
| year | = | "1987", |
| author | = | "D. C. Liu and J. Nocedal", | |
| title | = | "Algorithms for Conic Termination for Linear Optimization", | |
| number | = | "MCS-TM-104", | |
| month | = | "December", | |
| year | = | "1987" |
| author | = | "W. W. McCune", | |
| title | = | "Un-Skolemizing Clause Sets", | |
| journal | = | "Information Processing Letters", | |
| volume | = | "29", | |
| year | = | "1988", | |
| pages | = | :257-263"} |
| author | = | "W. W. McCune and L .J. Henschen", | |
| title | = | "Maintaining State Constraints in Relational Databases: A Proof Theoretic Basis", | |
| journal | = | "JACM", | |
| year | = | "1989", | |
| volume | = | "36", | |
| number | = | "1", | |
| pages | = | "46-68"} |
| author | = | "R. Butler and T. Butler and I. Foster and N. Karonis and R. Olson and N. Pfluger and M. Price and S. Tuecke", | |
| title | = | "Generating Alignments of Genetic Sequences", | |
| numer | = | "ANL/MCS-TM-132", | |
| year | = | "1989"} |
| author | = | "J. J. More'", | |
| title | = | "Numerical Solution of Bound Constrained Problems", | |
| journal | = | "SIAM J. Optimization", | |
| volume | = | "1", | |
| issue | = | "1", | |
| pages | = | "93-111, | |
| year | = | "1989", |
| author | = | "J. J. More'", | |
| title | = | "Trust Regions and Projected Gradients", | |
| number | = | "MCS-TM-107", | |
| month | = | "January", | |
| year | = | "1988", |
| author | = | "L. R. Scott and J. M. Boyle and B. Bagheri", | |
| title | = | "Distributed Data Structures for Scientific Computation", | |
| number | = | "291", | |
| institution | = | "Institute for Mathematics and Its Applications", | |
| address | = | "Minneapolis", | |
| month | = | "January", | |
| year | = | "1987", |
| author | = | "F. V. Atkinson", | |
| title | = | "On the Order of Magnitude of Titchmarsh-Weyl Functions", | |
| journal | = | "Diff. and Integral Equations", | |
| volume | = | "1", | |
| issue | = | "1", | |
| year | = | "1988", | |
| pages | = | "79-96"} |
| author | = | "F. V. Atkinson and W. N. Everitt and A. Zettl", | |
| title | = | "Regularization of a Sturm-Liouville Problem with an Interior Singularity Using Quasi-Derivatives", | |
| journal | = | "Diff. and Integral Equations", | |
| volume | = | "1", | |
| year | = | "1988", | |
| pages | = | "213-221"} |
| autohr | = | "A. Bayliss and D. Gottlieb and B. J. Matkowsky and M. Minkoff", | |
| title | = | "An Adaptive Pseudo-Spectral Method for Reaction Diffusion Problems", | |
| journal | = | "J. Comp. Physics", | |
| volume | = | "81", | |
| issue | = | "2", | |
| year | = | "1989", | |
| pages | = | "421-443"} |
| author | = | "A. Bayliss and B. J. Matkowsky and M. Minkoff", | |
| title | = | "Adaptive Pseudo-Spectral Computation of Cellular Flames Stabilized by a Point Source", | |
| journal | = | "Applied Mathematics Letters", | |
| volume | = | "1", | |
| year | = | "1988", | |
| pages | = | "19-24"} |
| author | = | "A. Bayliss and B. Matkowsky and M. Minkoff", | |
| title | = | "Cascading Cellular Flames", | |
| journal | = | "SIAM J. on Applied Math.", | |
| year | = | "1989" | |
| volume | = | "49", | |
| issue | = | "5", | |
| pages | = | "1421-1432"} |
| author | = | "A. Bayliss and B. J. Matkowsky and M. Minkoff", | |
| title | = | "Period Doubling Gained, Period Doubling Lost", | |
| journal | = | "SIAM J. on Applied Math.", | |
| volume | = | "49", | |
| year | = | "1989", | |
| pages | = | "1047-1063"} |
| author | = | "C. H. Bischof", | |
| title | = | "Adaptive Blocking in the QR Factorization", | |
| journal | = | "The Journal of Supercomputing", | |
| volume | = | "3", | |
| issue | = | "3", | |
| year | = | "1989", | |
| pages | = | "193-208"} |
| author | = | "J. M. Boyle", | |
| title | = | "Abstract Programming and Program Transformation--An Approach to Reusing Programs", | |
| booktitle | = | "Software Reusability", | |
| eidtor | = | "T. J. Biggerstaff and A. Perlis", | |
| publisher | = | "Addison-Wesley", | |
| year | = | "1989", | |
| pages | = | "361--413"} |
| author | = | "O. Brewer and J. Dongarra and D. Sorensen", | |
| title | = | "LAPACK Working Note No. 6: Tools to Aid in the Analysis of Memory Access Patterns for Fortran Programs", | |
| journal | = | "Parallel Computing", | |
| volume | = | "9", | |
| year | = | "1989", | |
| pages | = | "25-35"} |
| autohr | = | "J. V. Burke and J. J. More", | |
| title | = | "On the Identification of Active Constraints", | |
| journal | = | {SIAM J. Numer. Anal.}, | |
| volume | = | "25", | |
| issue | = | "5", | |
| month | = | "October", | |
| year | = | "1988", | |
| pages | = | "1197-1211"} |
| author | = | "R. Butler and T. Butler and I. Foster and N. Karonis and R. Olson and N. Pfluger and M. Price and S. Tuecke", | |
| title | = | "Aligning Genetic Sequences", | |
| booktitle | = | "Strand: New Concepts in Parallel Programming", | |
| editor | = | "I. Foster and S. Taylor", | |
| publisher | = | "Prentice-Hall", | |
| address | = | " Englewood Cliffs", | |
| year | = | "1989", | |
| pages | = | "253-271" |
| author | = | "A. Bayliss and G. K. Leaf and B. J. Matkowsky", | |
| title | = | "Pulsating and Chaotic Dynmaics near the Extinction Limit", | |
| journal | = | "Combustion Sci. and Tech.", | |
| volume | = | "84", | |
| year | = | "1992", | |
| pages | = | "253-278"} |
| author | = | "C. Bischof and G. Corliss and A. Griewank", | |
| title | = | "ADIFOR Working Note No. 8: Hybrid Evaluations of Second Derivatives in ADIFOR", | |
| number | = | "MCS-TM-166", | |
| institution | = | Argonne National Laboratory", | |
| year | = | 1992"} |
| title | = | "On the Parallelization of an Adaptive Multigrid Algorithm for a Class of Flow Problems", | |
| author | = | "C. P. Thompson and W. R. Cowell and G. K. Leaf", | |
| journal | = | "Parallel Computing", | |
| volume | = | "18", | |
| year | = | "1992", | |
| pages | = | "449-466"} |
| title | = | "A Dynamically Adaptive Multigrid Algorithm for the Incompressible Navier-Stokes Equations -- Validation and Model Problems", | |
| author | = | "C. P. Thompson and W. R. Cowell and G. K. Leaf", | |
| journal | = | "Applied Numerical Mathematics", | |
| volume | = | "9", | |
| year | = | "1992", | |
| pages | = | "511-532"} |
| author | = | "W. D. Gropp and D. E. Keyes", | |
| title | = | "Domain Decomposition Methods in Computational Fluid Dynammics", | |
| journal | = | "Intnl. J. Numer. Methods Fluids", | |
| volume | = | "14", | |
| pages | = | "147-165", | |
| year | = | "1992"} |
| author | = | "M. Garbey and H. G. Kaper and G. K. Leaf and B. J. Matkowsky", | |
| title | = | "Quasi-Periodic Waves and the Transfer of Stability in condensed-Phase Surface Combustion", | |
| journal | = | "SIAM J. Appl. Math.", | |
| volume | = | "52", | |
| issue | = | "2", | |
| year | = | "1992", | |
| pages | = | "384-395"} |
| author | = | "I. Foster and R. Olson and S. Tuecke", | |
| title | = | "Productive Parallel Programming: The PCN Approach", | |
| journal | = | Sci. Programming", | |
| volume | = | "1", | |
| year | = | "1992", | |
| pages | = | "51-66"} |
| title | = | "The Parallel Scalability of the Spectral Transform Method", | |
| author | = | "I. Foster and w. Gropp and R. Stevens", | |
| journal | = | "Monthly Weather Review", | |
| volume | = | "120", | |
| issue | = | "5", | |
| year | = | "1992"} |
| author | = | "G. Corliss and A. Griewank and T. Robey and S. Wright", | |
| title | = | "Automatic Differentiation Applied to Unsaturated Flow -- ADOL-C Case Study", | |
| number | = | "MCS-TM-162", | |
| year | = | "1992"} |
| author | = | "K. W. Dritz", | |
| title | = | "Development of an Ada Standard for Primitive Floating-Point Functions", | |
| book | = | "ADA Yearbook 1992", | |
| editor | = | "F. Long", | |
| publisher | = | "Chapman and Hall", | |
| address | = | "London", | |
| year | = | "1992"} |
| author | = | "I.-L. Chern and T. Colin and H. G. Kaper", | |
| title | = | "Classical Solutions of the Nondivergent Barotropic Equations on the Sphere", | |
| journal | = | "Commun. in PDEs", | |
| volume | = | "17", | |
| pages | = | "1001-1019", | |
| issue | = | "5-6", | |
| year | = | "1992"} |
| author | = | "X.-C. Cai and W. D. Gropp and D. E. Keyes", | |
| title | = | "Convergence Rate Estimate for a Domain Decomposition Method", | |
| journal | = | "Numerische Mathematik", | |
| volume | = | "61", | |
| pages | = | "153-169", | |
| year | = | "1992"} |
| author | = | "J. M. Boyle and T. J. Harmer", | |
| title | = | "A Practical Functional Program for the CRAY X-MP", | |
| journal | = | "J. Functional Programming", | |
| volume | = | "2", | |
| issue | = | "1", | |
| year | = | "1992", | |
| pages | = | "81-126"} |
| author | = | " C. Bischof and G. Corliss and L. Green and A. Griewank and K. Haigler and P. Newman", | |
| title | = | "Automatic Differentiation of Advanced CFD Codes for Multidisciplinary Design", | |
| journal | = | "Computing Systems in Engineering", | |
| volume | = | "3", | |
| issue | = | "6", | |
| pages | = | "625-637", | |
| year | = | "1992"} |
| author | = | "H. Bellout", | |
| title | = | "A Regularity Result for a Quasilinear Equation and Its Consequences for Blowing-up Solution s of Semilinear Heat Equations", | |
| journal | = | "J. Differential Equations", | |
| volue | = | "100", | |
| issue | = | "1", | |
| year | = | :1992", | |
| pages | = | "162-172"} |
| author | = | "C. Y. Chan and Man Kam Kwong", | |
| title | = | "On a Result on the Problem of Quenching", | |
| journal | = | "Nonlinear Analysis", | |
| volume | = | "12", | |
| year | = | "1988", | |
| pages | = | "1377-1383" |
| author | = | "C. Y. Chan and H. G. Kaper", | |
| title | = | "Quenching for Semilinear Singular Parabolic Problems", | |
| journal | = | "SIAM J. Math. Anal.", | |
| volume | = | "20", | |
| issue | = | "3", | |
| year | = | "1989", | |
| pages | = | "558-566" |
| author | = | "C. Y. Chan and Man Kam Kwong", | |
| title | = | "Existence Results of Steady-States of Semilinear Reaction-Diffusion Equations and Their Applications", | |
| journal | = | "J. Diff. Eq.", | |
| volume | = | "77", | |
| issue | = | " 2", | |
| month | = | "February", | |
| year | = | "1989", | |
| pages | = | "304-321" |
| author | = | "W. J. Cody", | |
| title | = | "MACHAR: A Subroutine to Dynamically Determine Machine Parameters", | |
| journal | = | "ACM Trans. on Math. Soft. ", | |
| volume | = | "14", | |
| issue | = | "4", | |
| month | = | "December", | |
| year | = | "1988", | |
| pages | = | "303-311" |
| author | = | "W. J. Cody and L. Stoltz", | |
| title | = | "Performance Evaluation of Programs for Certain Bessel Functions", | |
| journal | = | "ACM Trans. on Math. Soft.", | |
| volume | = | "15", | |
| issue | = | "1", | |
| month | = | "March", | |
| year | = | "1989", | |
| pages | = | "41-48" |
| author | = | "W. R. Cowell", | |
| title | = | "DO Loop Transforming Tools", | |
| booktitle | = | "Using Toolpack Software Tools", | |
| editor | = | "A. Pollicini", | |
| publisher | = | "Kluwer", | |
| address | = | "Boston", | |
| year | = | "1989", | |
| pages | = | "161-180" |
| author | = | "W. R. Cowell", | |
| title | = | "Tool Writing", | |
| booktitle | = | "Using Toolpack Software Tools", | |
| editor | = | "A. A. Pollicini", | |
| publisher | = | "Kluwer", | |
| address | = | "Boston", | |
| year | = | "1989", | |
| pages | = | "251-275" |
| author | = | "J. J. Dongarra and J. DuCroz and S. Hammarling and R. Hanson", | |
| title | = | "An Extended Set of Fortran Basic Linear Algebra Subprograms", | |
| journal | = | "ACM Trans. on Math. Soft.", | |
| volume | = | "14", | |
| issue | = | "1", | |
| month | = | "March", | |
| year | = | "1988", | |
| pages | = | "1-17" |
| author | = | "J. J. Dongarra and J. DuCroz and S. Hammarling and R. Hanson", | |
| title | = | "Algorithm 656: An Extended Set of Fortran Basic Linear Algebra Subprograms: Model Implementation and Test Programs", | |
| journal | = | "ACM Trans. Math. Soft.", | |
| volume | = | "14", | |
| issue | = | "1", | |
| year | = | "1988", | |
| pages | = | "18-32" |
| author | = | "J. J. Dongarra and D. C. Sorensen and K. Connolly and J. Patterson", | |
| title | = | "Programming Methodology and Performance Issues for Advanced Computer Architecture", | |
| journal | = | "Parallel Computing", | |
| volume | = | "8", | |
| year | = | "1988", | |
| pages | = | "41-58"} |
| author | = | "K. W. Dritz", | |
| title | = | "Plugging the Holes in the Sieve of Eratosthenes", | |
| journal | = | "Ada Letters", | |
| volume | = | "9", | |
| issue | = | "2", | |
| month | = | "March/April", | |
| year | = | "1989", | |
| pages | = | "72-77" |
| autohr | = | "I. Foster and S. Taylor", | |
| title | = | "Strand: New Concepts in Parallel Programming", | |
| publisher | = | "Prentice-Hall", | |
| address | = | "Englewood Cliffs", | |
| year | = | "1989"} |
| author | = | "B. S. Garbow and G. Giunta and J. N. Lyness and A. Murli", | |
| title | = | "Software for an Implementation of Weeks' Method for the Inverse Laplace Transform Problem", | |
| journal | = | "ACM Trans. on Math. Soft.", | |
| volume | = | "14", | |
| issue | = | "2", | |
| month | = | "June", | |
| year | = | "1988", | |
| pages | = | "163-170"} |
| author | = | "B. S. Garbow and G. Giunta and J. N. Lyness", | |
| title | = | "Algorithm 662: A FORTRAN Software Package for the Numerical Inversion of the Laplace Transform Based on Weeks' Method", | |
| journal | = | "ACM Trans. on Math. Soft.", | |
| volume | = | "14", | |
| issue | = | "2", | |
| month | = | "June", | |
| year | = | "1988", | |
| pages | = | "171-176"} |
| author | = | "D. W. Gillman and H. G. Kaper and Man Kam Kwong", | |
| title | = | "L sup 2-Norm Inequalities for the Differentiation Operator on Compact Intervals", | |
| journal | = | "Proc. Roy. Soc. of Edinburgh", | |
| volume | = | "110A", | |
| year | = | "1988", | |
| pages | = | "335-342"} |
| author | = | "C. Gupta", | |
| title | = | "Existence and Uniqueness Theorems for a Third-Order Generalized Boundary Value Problem", | |
| journal | = | "J. Applied Math. and Simulation", | |
| volume | = | "2", | |
| issue | = | "1", | |
| year | = | "1989", | |
| pages | = | "33-51"} |
| author | = | "A. Griewank and G. W. Reddien", | |
| title | = | "Computation of Cusp Singularities for Operator Equations and Their Discretizations", | |
| journal | = | "J. Computational and Applied Mathematics", | |
| volume | = | "26", | |
| year | = | "1989", | |
| pages | = | "133-153"} |
| author | = | "F. B. Hanson and A.-M. Wazwaz", | |
| title | = | "Singular and Turning Point Resonance: Small Perturbations--Big Effects", | |
| journal | = | "Applied Math. Letters", | |
| volume | = | "1", | |
| year | = | "1988", | |
| pages | = | "137-140"} |
| author | = | "H. G. Kaper and Man Kam Kwong", | |
| title | = | "Concavity and Monotonicity Properties of Solutions of Emden-Fowler Equations", | |
| journal | = | "Diff. and Integral Equations", | |
| volume | = | "1", | |
| year | = | "1988", | |
| pages | = | "327-340"} |
| author | = | "H. G. Kaper and Man Kam Kwong", | |
| title | = | "A Non-Oscillation Theorem for the Emden-Fowler Equation: Ground States for Semilinear Elliptic Equations with Critical Exponents", | |
| journal | = | "J. Differential Equations", | |
| volume | = | "75", | |
| year | = | "1988", | |
| pages | = | "158-185"} |
| author | = | "H. G. Kaper and Man Kam Kwong", | |
| title | = | "Uniqueness for a Class of Nonlinear Initial Value Problems", | |
| journal | = | "J. Math. Anal. Appl.", | |
| volume | = | "130", | |
| number | = | "2", | |
| year | = | "1988", | |
| pages | = | "467-473"} |
| author | = | "H. G. Kaper and M. K. Kwong", | |
| title | = | "Uniqueness Results for Some Nonlinear Initial and Boundary Value Problems", | |
| journal | = | "Arch. Rat. Mech. Anal.", | |
| volume | = | "102", | |
| year | = | "1988", | |
| pages | = | "45-56"} |
| author | = | "H. G. Kaper and G. K. Leaf and B. J. Matkowsky and W. E. Olmstead", | |
| title | = | "Dynamics of Nearly Extinguished Nonadiabatic Premixed Flames in a Gravitational Field", | |
| journal | = | "SIAM J. Appl. Math.", | |
| volume | = | "48", | |
| year | = | "1988", | |
| pages | = | "1054-1063"} |
| author | = | "T. Kazic and E. Lusk and R. Olson and R. Overbeek and S. Tuecke", | |
| title | = | "Prototyping Databases in Prolog", | |
| booktitle | = | "Practice of Prolog", | |
| editor | = | "Leon Sterling", | |
| publisher | = | "MIT Press", | |
| address | = | "Cambridge, Mass.", | |
| year | = | "1990"} |
| author | = | "D. Juedes and A. Griewank", | |
| title | = | "Implementing Automatic Differentiation Efficiently", | |
| number | = | "MCS-TM-140", | |
| year | = | "1990"} |
| author | = | "B. N. Karp and C. H. Bischof", | |
| title | = | "Increasing the Granularity of Parallelism and Reducing Contention in Automatic Differentiation", | |
| number | = | "ANL/MCS-TM-142", | |
| year | = | "1990"} |
| author | = | "B. S. Garbow and J. N. Lyness", | |
| title | = | "Remark on Algorithm 662", | |
| journal | = | "ACM TOMS", | |
| volume | = | "16", | |
| issue | = | "4", | |
| year | = | "1990", | |
| pages | = | "405-406"} |
| author- | = | "A. M. Krall and A. Zettl", | |
| title | = | "Singular Self-Adjoint Sturm-Liouville Problems", | |
| journal | = | "Diff. and Integral Equations", | |
| volume | = | "1", | |
| issue | = | "2", | |
| month | = | "October", | |
| year | = | "1988", | |
| pages | = | "423-432"} |
| author | = | "A. M. Krall and A. Zettl", | |
| title | = | "Singular Self-Adjoint Sturm-Liouville Problems II: Interior Singular Points", | |
| journal | = | "SIAM J. Math. Anal.", | |
| volume | = | "19", | |
| issue | = | "5", | |
| month | = | "September", | |
| year | = | "1988", | |
| pages | = | "1135-1141"} |
| author | = | "M. K. Kwong", | |
| title | = | "On the Definiteness of the Solution of Certain Matrix Equation", | |
| journal | = | "Linear Algebra and Its Applications", | |
| volume | = | "108", | |
| year | = | "1988", | |
| pages | = | "177-197"} |
| author | = | "M. K. Kwong", | |
| title | = | "Some Results on Matrix Monotone Functions", | |
| journal | = | "Linear Algebra and Its Applications", | |
| volume | = | "118", | |
| year | = | "1989", | |
| pages | = | "129-153"} |
| author | = | "M. K. Kwong", | |
| title | = | "Uniqueness of Positive Solutions of Delta u - u + u sup p =0 in R sup n", | |
| journal | = | "Arch. Rat. Mech.", | |
| volume | = | "105", | |
| year | = | "1989", | |
| pages | = | "243-266"} |
| author | = | "M. K. Kwong and C. Bandle", | |
| title | = | "Semilinear Elliptic Problems in Annular Domains", | |
| journal | = | "ZAMP", | |
| volume | = | "40", | |
| year | = | "1989", | |
| pages | = | "245-257"} |
| author | = | "M. K. Kwong and James S. W. Wong", | |
| title | = | "Oscillation of Emden-Fowler Systems", | |
| journal | = | "Diff. and Integral Equations", | |
| volume | = | "1", | |
| year | = | "1988", | |
| pages | = | "133-141"} |
| author | = | "M. K. Kwong and A. Zettl", | |
| title | = | "Best Constants for Discrete Kolmogorov Inequalities", | |
| journal | = | "Houston J. Math.", | |
| volume | = | "15", | |
| number | = | "1", | |
| year | = | "1989", | |
| pages | = | "99-119"} |
| author | = | "M. K. Kwong and A. Zettl", | |
| title | = | "Extremals in Landau's Inequality for the Difference Operator", | |
| journal | = | "Proc. Roy. Soc. Edinburgh", | |
| volume | = | "107A", | |
| year | = | "1987", | |
| pages | = | "299-311"} |
| author | = | "M. K. Kwong and A. Zettl", | |
| title | = | "Landau's Inequality for the Difference Operator", | |
| journal | = | "Proc. AMS", | |
| volume | = | "104", | |
| issue | = | "1", | |
| year | = | "1988", | |
| pages | = | "201-206"} |
| author | = | "N. Q. Lam and T. Nguyen and G. K. Leaf and S. Yip", | |
| title | = | "Kinetics of Radiation-Induced Precipitation at the Alloy Surface", | |
| journal | = | "Nuclear Instruments and Methods in Physics Research", | |
| volume | = | "B31", | |
| year | = | "1988", | |
| pages | = | "415-424"} |
| author | = | "G. K. Leaf and M. Minkoff and J. C. Diaz", | |
| title | = | "Nested Factorization Preconditioners for Convective-Diffusion Problems in Three Dimensions", | |
| booktitle | = | "Mathematics for Large-Scale Computing", | |
| editor | = | "J. C. Diaz", | |
| publisher | = | "Marcel Decker", | |
| year | = | "1989"} |
| author | = | "W. W. McCune", | |
| title | = | "Un-Skolemizing Clause Sets", | |
| journal | = | "Information Processing Letters", | |
| volume | = | "29", | |
| year | = | "1988", | |
| pages | = | "257-263"} |
| author | = | "W. McCune and L. Henschen", | |
| title | = | "Maintaining State Constraints in Relational Databases: A Proof Theoretic Basis", | |
| journal | = | "J. ACM", | |
| volume | = | "36", | |
| year | = | "1989", | |
| pages | = | "46-68"} |
| author | = | "J. J. More' and G. Toraldo", | |
| title | = | "Algorithms for Bound Constrained Quadratic Programming Problems", | |
| journal | = | "Numerische Mathematik", | |
| volume | = | "55", | |
| year | = | "1989", | |
| pages | = | "377-400"} |
| author | = | "Z. Nagy and P. J. Hernes and M. Minkoff and G. K. Leaf and R. H. Land", | |
| itle | = | "Effect of Diffusion Layer Structure on the Determination of Corrosion Rates from dc Transient Measurements", | |
| journal | = | "J. Electrochem. Soc.", | |
| volume | = | "136", | |
| issue | = | "10", | |
| year | = | "1989", | |
| pages | = | "2816-2820"} |
| author | = | "Z. Nagy and G. K. Leaf and M. Minkoff and R. H. Land", | |
| title | = | "Extension of dc Transient Techniques to Reactions with a Potential Dependent Charge Transfer Coefficient", | |
| journal | = | "Electrochemica Acta", | |
| volume | = | "33", | |
| year | = | "1988", | |
| pages | = | "1589-1593"} |
| author | = | "I. H. Sloan and J. N. Lyness", | |
| title | = | "The Representation of Lattice Quadrature Rules as Multiple Sums", | |
| journal | = | "Math. Comp.", | |
| volume | = | "52", | |
| year | = | "1989", | |
| pages | = | "81-94"} |
| author | = | "P. T. P. Tang", | |
| title | = | "A Fast Algorithm for Linear Complex Chebyshev Approximations", | |
| journal | = | "Math. Comp.", | |
| volume | = | "51", | |
| year | = | "1988", | |
| pages | = | "721-739"} |
| author | = | "P. T. P. Tang", | |
| title | = | "Table-Driven Implementation of the Exponential Function in IEEE Floating-Point Arithmetic", | |
| journal | = | "ACM Trans. on Math. Soft.", | |
| volume | = | "15", | |
| isse | = | "2", | |
| year | = | "1989", | |
| pages | = | "144-157"} |
| author | = | "P. T. P. Tang", | |
| title | = | "Accurate and Efficient Testing of the Exponential and Logarithm Functions", | |
| journal | = | "ACM Trans. Math. Soft.", | |
| volume | = | "16", | |
| year | = | "1990", | |
| pages | = | "185-200"} |
| author | = | "T.-C. Wang and R. Stevens", | |
| title | = | "Solving Open Problems in Right Alternative Rings with Z-Module Reasoning", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "5", | |
| issue | = | "2", | |
| year | = | "1989", | |
| pages | = | "141-165"} |
| author | = | "C. A. Wick and W. W. McCune", | |
| title | = | "Automated Reasoning about Elementary Point-Set Topology", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "5", | |
| issue | = | "2", | |
| year | = | "1989", | |
| pages | = | "239-255" |
| author | = | "L. Wos", | |
| title | = | "The Problem of Explaining the Disparate Performance of Hyperresolution and Paramodulation", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "4", | |
| year | = | "1988", | |
| pages | = | "215-217" |
| author | = | "L. Wos", | |
| title | = | "The Problem of Finding a Strategy to Control Binary Paramodulation", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "4", | |
| year | = | "1988", | |
| pages | = | "101-107"} |
| author | = | "L. Wos", | |
| title | = | "The Problem of Self-analytically Choosing the Set of Support", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "4", | |
| year | = | "1988", | |
| pages | = | "327-330"} |
| author | = | "L. Wos", | |
| title | = | "The Problem of Self-analytically Choosing the Weights", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "4 ", | |
| year | = | "1988", | |
| pages | = | "463-464"} |
| author | = | "L. Wos", | |
| title | = | "The Problem of Finding an Inference Rule for Set Theory", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "5", | |
| year | = | "1989", | |
| pages | = | "93-95"} |
| author | = | "L. Wos", | |
| title | = | "The Problem of Determining the Size of a Complete Set of Reductions", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "5", | |
| year | = | "1989", | |
| pages | = | "235-237"} |
| author | = | "L. Wos", | |
| title | = | "The Problem of Guaranteeing the Existence of a Complete Set of Reductions", | |
| volume | = | "5", | |
| issue | = | "3", | |
| year | = | "1989", | |
| pages | = | "399-401"} |
| author | = | "A. Bayliss and B. J. Matkowsky and M. Minkoff", | |
| title | = | "Bistable Cellular Flames", | |
| booktitle | = | "Proc. of a Symposium to Honor C. C. Lin", | |
| editor | = | "D. J. Benney and F. H. Shu and C. Yuan", | |
| publisher | = | "World Scientific", | |
| address | = | "Singapore", | |
| year | = | "1988", | |
| pages | = | "108-115"} |
| author | = | "A. Bayliss and B. J. Matkowsky and M. Minkoff", | |
| title | = | "Numerical Computation of Bifurcation Phenomena and Pattern Formation in Combustion", | |
| booktitle | = | "Preprints of the Third International Conf. on Numerical Combustion", | |
| address | = | "Antibes, France", | |
| year | = | "1989", | |
| pages | = | "311-322"} |
| author | = | "O. Brewer and J. Dongarra and D. Levine and D. Sorensen", | |
| title | = | "Graphics Tools for Developing High-Performance Algorithms", | |
| booktitle | = | "Parallel Computing: Methods, Algorithms and Applications", | |
| year | = | "1989", | |
| pages | = | "39-50"} |
| author | = | "R. Butler and T. Disz and E. Lusk and R. Overbeek and R. Stevens", | |
| title | = | "Scheduling OR-Parallelism: An Argonne Perspective", | |
| booktitle | = | "Logic Programming", | |
| editor | = | "R. A. Kowalsky and K. A. Bowen", | |
| publisher | = | "The MIT Press", | |
| address | = | "Cambridge, Mass.", | |
| year | = | "1988", | |
| pages | = | "1590-1605"} |
| author | = | "R. M. Butler and N. T. Karonis", | |
| title | = | "Exploitation of Parallelism in Prototypical Deduction Problems", | |
| booktitle | = | "Lecture Notes in Computer Science Vol. 310", | |
| editor | = | "E. Lusk and R. Overbeek", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1988", | |
| pages | = | "333-343"} |
| author | = | "R. M. Butler and R. Loganantharaj and R. Olson", | |
| title | = | "Notes on Prolog Transformations, Prolog Style, and Efficient Compilation to the Warren Abstract Machine", | |
| booktitle | = | "Lecture Notes in Computer Science Vol. 310", editor E. Lusk and R. Overbeek", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1988", | |
| pages | = | "323-332"} |
| author | = | "D. Callahan and J. Dongarra and D. Levine", | |
| title | = | "Vectorizing Compilers: A Test Suite and Results", | |
| booktitle | = | "Proc. of Supercomputing'88", | |
| publisher | = | "IEEE Press", | |
| year | = | "1988", | |
| pages | = | "98-105"} |
| author | = | "M. Carlsson and K. Danhof and R. Overbeek", | |
| title | = | "A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment", | |
| booktitle | = | "Logic Programming", | |
| editor | = | "R. A. Kowalski and K. A. Bowen", | |
| publisher | = | "The MIT Press", | |
| address | = | "Cambridge, Mass.", | |
| year | = | "1988", | |
| pages | = | "1565-1577"} |
| author | = | "W. J. Cody", | |
| title | = | "Floating-Point Standards: Theory and Practice", | |
| booktitle | = | "Reliability in Computing: The Role of Interval Methods in Scientific Computing", | |
| editor | = | "R. E. Moore", | |
| publisher | = | "Academic Press", | |
| address | = | "San Diego", | |
| year | = | "1988", | |
| pages | = | "99-107"} |
| author | = | "J. J. Dongarra", | |
| title | = | "LINPACK Benchmark---An Explanation", | |
| booktitle | = | "Supercomputing", | |
| editor | = | "E. N. Houstichs and T. S. Papatheodorou and C. D. Polychronopoulos", | |
| booktitle | = | "Lecture Notes in Computer Science Vol. 297", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1988", | |
| pages | = | "456-475"} |
| author | = | "J. J. Dongarra and J. DuCroz and I. Duff and S. Hammarling", | |
| title | = | "A Proposal for a Set of Level 3 Basic Linear Algebra Subprograms", | |
| booktitle | = | "Parallel Processing for Scientific Computing", | |
| editor | = | "G. Rodrigue", | |
| publisher | = | "SIAM", | |
| address | = | "Philadelphia", | |
| year | = | "1988", | |
| pages | = | "40-44"} |
| author | = | "J. J. Dongarra and D. C. Sorensen", | |
| title | = | "Algorithm Design for High-Performance Computers", | |
| booktitle | = | "Parallel Systems and Computation", | |
| editor | = | " G. Paul and G. S. Almasi", | |
| publisher | = | "North-Holland", | |
| year | = | "1988", | |
| pages | = | "83-98"} |
| author | = | "J. J. Dongarra and D. C. Sorensen", | |
| title | = | "A Look at Software for Dense Matrix Problems over the Past Fifteen Years",'' | |
| booktitle | = | "Numerical Algorithms for Modern Parallel Computer Architectures: IMA Volumes in Mathematics and Its Applications Vol. 13", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1988"} |
| author | = | "J. J. Dongarra and D. C. Sorensen and O. Brewer", | |
| title | = | "Tools and Methodology for Programming Parallel Processors", | |
| booktitle | = | "Aspects of Computation on Asynchronous Parallel Processors", | |
| editor | = | "M. H. Wright", | |
| publisher | = | "Elsevier Science Publ.", | |
| year | = | "1989", | |
| pages | = | "125-137"} |
| author | = | "A. Esfahanian and L. Ni and B. E. Sagan", | |
| title | = | "On Enhancing Hypercube Multiprocessors: 1988 International Conf. on Parallel Processing, Vol. Architecture", | |
| address | = | "St. Charles, Ill.", | |
| year | = | "1988", | |
| pages | = | "86-89"} |
| author | = | "I. Foster", | |
| title | = | "A Multicomputer Garbage Collector for a Single-Assignment Language", | |
| journal | = | "intl. J. Parallel Programming", | |
| volume | = | "19", | |
| year | = | "1990"} |
| author | = | "F. B. Hanson", | |
| title | = | "Parallel Computation for Stochastic Dynamic Programming: Row Versus Column Code Orientation", | |
| booktitle | = | "Algorithms and Applications", | |
| editor | = | "D. H. Bailey", | |
| publisher | = | "Penn. State Univ. Press", | |
| address | = | "University Park", | |
| year | = | "1988", | |
| pages | = | "117-119"} |
| author | = | "M. D. Hirsch and S. Vavasis", | |
| title | = | "Exponential Lower Bounds for Finding Brouwer Fixed Points", | |
| booktitle | = | "Proc. of the 28th Annual Symposium on Foundations of Computer Science", | |
| publisher | = | "Computer Society Press", | |
| address | = | "Washington", | |
| year | = | "1988", | |
| pages | = | "401-410"} |
| author | = | "E. R. Jessup and D. C. Sorensen", | |
| title | = | "A Divide and Conquer Algorithm for Computing the Singular Value Decomposition", | |
| booktitle | = | "Parallel Processing for Scientific Computing", | |
| editor | = | "G. Rodrigue", | |
| publisher | = | "SIAM", | |
| address | = | "Philadelphia", | |
| year | = | "1988", | |
| pages | = | "61-66"} |
| author | = | "H. G. Kaper and M. K. Kwong", | |
| title | = | "Asymptotics of the Titchmarsh-Weyl $m$-Coefficient for Integrable Potentials II", | |
| booktitle | = | "Lecture Notes in Mathematics Vol. 1285," | |
| editor | = | 'I. W. Knowles and Y. Saito", | |
| publisher | = | "Springer-Verlag", | |
| year | = | "1986", | |
| pages | = | "222-229"} |
| author- | = | "H. G. Kaper and M. K. Kwong", | |
| title | = | "Comparison Theorems and Their Use in the Analysis of Some Nonlinear Diffusion Problems", | |
| booktitle | = | "Transport Theory, Invariant Imbedding, and Integral Equations", | |
| editor | = | "P. Nelson et al.", | |
| publisher | = | "Marcel Dekker", | |
| address | = | "New York", | |
| year | = | "1989"} |
| author | = | "H. G. Kaper and Man Kam Kwong", | |
| title | = | "Oscillation Theory for Linear Second-Order Differential Systems", | |
| booktitle | = | "Oscillation, Bifurcation and Chaos: CMS Conf. Proc.", | |
| Volume | = | "8", | |
| editor | = | "F. V. Atkinson and W. F. Langford and A. B. Mingarelli", | |
| publisher | = | "AMS", | |
| address | = | "Providence, R.I.", | |
| year | = | "1988", | |
| pages | = | "187-198"} |
| author | = | "H. G. Kaper and M. K. Kwong", | |
| title | = | "Uniqueness of Non-Negative Solutions of a Class of Semi-linear Elliptic Equations", | |
| booktitle | = | "Nonlinear Diffusion Equations and Their Equilibrium States", | |
| editor | = | "W.-M. Ni and L. A. Pelletier and J. Serrin", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1988", | |
| pages | = | "1-17"} |
| author | = | "Chung-Ta King and Wen-Hwa Chou and L. M. Ni", | |
| title | = | "Pipelined Data Parallel Algorithms: Concept and Modeling", | |
| booktitle | = | "Proc. of the 1988 International Conf. on Supercomputing", | |
| address | = | "Saint-Malo, France", | |
| year | = | "1988", | |
| pages | = | "385-395"} |
| author | = | "Y. Lan and L. Ni and A.-H. Esfahanian", | |
| title | = | "Distributed Multi-Destination Routing in Hypercube Multiprocessors", | |
| booktitle | = | "Proc. of the Third Conf. on Hypercube Concurrent Computers and Applications", | |
| year | = | "1988", | |
| pages | = | "631-639"} |
| author | = | "E. Lusk and others", | |
| title | = | "The Aurora OR-Parallel Prolog System", | |
| journal | = | "New Generation Computing", | |
| volume | = | "7", | |
| year | = | "1990", | |
| pages | = | "243-271"} |
| author | = | "E. Lusk and R. Overbeek", | |
| title | = | "Lecture Notes in Computer Science Vol. 310", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1988"} |
| author | = | "J. N. Lyness", | |
| title | = | "Some Comments on Quadrature Rule Construction Criteria", | |
| booktitle | = | "International Series of Numerical Mathematics Vol. 85, Numerical Integration III", | |
| editor | = | "G. Hammerlin and H. Brass", | |
| publisher | = | "Birkhauser Verlag", | |
| address | = | "Basel", | |
| year | = | "1988", | |
| pages | = | "117-129"} |
| author | = | "W. McCune", | |
| title | = | "Challenge Equality Problems in Lattice Theory", | |
| booktitle | = | "Lecture Notes in Computer Science Vol. 310", | |
| editor | = | "E. Lusk and R. Overbeek", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1988", | |
| pages | = | "704-409"} |
| author | = | "B. McMillin and L. M. Ni", | |
| title | = | "Executable Assertion Development for Reliable Parallel Processing", | |
| booktitle | = | "Proc. of the 1988 COMPSAC", | |
| address | = | "Chicago", | |
| year | = | "1988", | |
| pages | = | "284-291"} |
| author | = | "J. J. More'", | |
| title | = | "Numerical Solution of Bound Constrained Problems", | |
| booktitle | = | "Computational Techniques and Applications CTAC-87", | |
| editor | = | "J. Noye and C. Fletcher", | |
| publisher | = | "North-Holland", | |
| address | = | "New York", | |
| year | = | "1988", | |
| pages | = | "29-37"} |
| author | = | "J. J. More'", | |
| title | = | "Trust Regions and Projected Gradients", | |
| booktitle | = | "Lecture Notes in Control and Information Sciences Vol. 113", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| yeaer | = | "1988", | |
| pages | = | "1-13"} |
| author | = | "L. M. Ni", | |
| title | = | "Large-grain Pipelining on Hypercube Computers", | |
| booktitle | = | "Proc. of the Third Conf. on Hypercube Concurrent Computers and Applications", | |
| year | = | "1988", | |
| pages | = | "1583-1591"} |
| author | = | "L. M. Ni", | |
| title | = | "Relay Approach Message Routing in Hypercube Multiprocessors", | |
| booktitle | = | "Proc. of the Third Intl. Conf. on Supercomputing", | |
| address | = | "Boston", | |
| year | = | "1988", | |
| pages | = | "174-182"} |
| author | = | "L. M. Ni", | |
| title | = | "Large-Grain Pipelining on Distributed-Memory Multiprocessors", | |
| booktitle | = | "Proc. of the Third Intl. Conf. on Supercomputing", | |
| address | = | "Boston", | |
| year | = | "1988", | |
| pages | = | "188-194"} |
| author | = | "R. L. Stevens", | |
| title | = | "Challenge Problems from Nonassociative Rings for Theorem Provers", | |
| booktitle | = | "Lecture Notes in Computer Science Vol. 310", | |
| editor | = | "E. Lusk and R. Overbeek", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1988", | |
| pages | = | "730-734"} |
| author | = | "C. P. Thompson and G. K. Leaf and S. P. Vanka", | |
| title | = | "Application of a Multigrid Method to a Buoyancy-Induced Flow Problem", | |
| booktitle | = | "Multigrid Methods: Theory, Applications, and Supercomputing", | |
| editor | = | "S. F. McCormick", | |
| publisher | = | "Marcel Dekker", | |
| address | = | "New York", | |
| year | = | "1988", | |
| pages | = | "605--629"} |
| author | = | "T.-C. Wang", | |
| title | = | "Elements of Z-Module Reasoning", | |
| booktitle | = | "Lecture Notes in Computer Science Vol. 310", | |
| editor | = | " E. Lusk and R. Overbeek", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1988", | |
| pages | = | "21-40"} |
| author | = | "L. Wos and W. McCune", | |
| title | = | "Challenge Problems Focusing on Equality and Combinatory Logic Evaluating Automated Theorem-Proving Programs", | |
| booktitle | = | "Lecture Notes in Computer Science Vol. 310", | |
| editor | = | "E. Lusk and R. Overbeek", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "New York", | |
| year | = | "1988", | |
| pages | = | "714-729"} |
| author | = | "J. Dongarra and J. DuCroz and I. Duff and S. Hammarling", | |
| title | = | "A Set of Level 3 Basic Linear Algebra Subprograms", | |
| number | = | "MCS-P1-0888", | |
| institution | = | "Argonne national Laboratory", | |
| year | = | "1988"} |
| author | = | "J. Dongarra and J. DuCroz and I. Duff and S. Hammarling", | |
| title | = | "Level 3 Basic Linear Algebra Subprograms: Model Implementation and Test Programs", | |
| number | = | "MCS-P2-0888", | |
| institution | = | "Argonne national Laboratory", | |
| year | = | "1988"} |
| author | = | "Man Kam Kwong", | |
| title | = | "Oscillation of First-Order Delay Equations", | |
| journal | = | "J. Math. Anal. and Applic.", | |
| volume | = | "156', | |
| volume | = | "1", | |
| year | = | "1991", | |
| pages | = | "274-286"} |
| author | = | "A. Griewank", | |
| title | = | "Automatic Evaluation of First- and Higher-Derivative Vectors", | |
| book | = | "Internatinoal Series of Numerical Mathematics, Vol. 96", | |
| year | = | "1991", | |
| publisher | = | "Birkhauser Verlag", | |
| addrress | = | "Basel"} |
| author | = | "I.-L. Chern", | |
| title | = | "Large-Time Behavior of Solutions of Lax-Friedrichs Finite Difference Equations for Hyperbolic Conservation Laws", | |
| journal | = | "Math. Computation", | |
| volume | = | "56", | |
| issue | = | "193", | |
| year | = | "1991", | |
| pages | = | "107-118"} |
| title | = | "A Comparative Study of Automatic Vectorizing Compilers", | |
| author | = | "D. Levine and D. Callahan and J. Dongarra", | |
| journal | = | "Parallel Computing", | |
| volume | = | "17", | |
| year | = | "1991", | |
| pages | = | "1223-1244"} |
| authors | = | "J. M. Boyle and T. J. Harmer", | |
| title | = | "Functional Specifications for Mathematical Computations", | |
| book | = | "Constructing Programs from Specifications", | |
| editor | = | B. Moller", | |
| publisher | = | "Elsevier Science Publ.", | |
| address | = | "North=Holland", | |
| year | = | "1991", | |
| pages | = | "205-224"} |
| author | = | "A. Griewank and L. Sheng", | |
| title | = | "On the Gauss-Broyden Method for Nonlinear Least Squares", | |
| booktitle | = | "Mathematics for Large Scale Computing", | |
| editor | = | "J. C. Diaz", | |
| publisher | = | "Marcel Dekker", | |
| place | = | "New York", | |
| year | = | "1989", | |
| pages | = | "1-31"} |
| author | = | "Man Kam Kwong and A. Zettl", | |
| title | = | "Determining the Best Constant for the 2 x 2 Matrix Landau Inequality Using MAPLE", | |
| number | = | "MCS-P7-0988", | |
| year | = | "1988"} |
| author | = | "Man Kam Kwong and A. Zettl", | |
| title | = | "Norm Inequalities for the Powers of a Matrix", | |
| journal | = | "American Mathematical Monthly", | |
| volume | = | "98", | |
| issue | = | "6", | |
| year | = | "1991", | |
| pages | = | "533-538"} |
| author | = | "R. H. Byrd and J. Nocedal", | |
| title | = | "An Analysis of Reduced Hessian Methods for Constrained Optimization", | |
| journal | = | "Math. Prog.", | |
| volume | = | "49", | |
| year | = | "1991", | |
| pages | = | "285-323"} |
| author | = | "W. J. Cody", | |
| title | = | "Performance Evaluation of Programs Related to the Real Gamma Function", | |
| number | = | "MCS-P12-0988", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1988"} |
| author | = | "K. Dritz", | |
| title | = | "Influence of Language Features on the Specification of a Standardized Generic Package of Elementary Functions in Ada", | |
| number | = | "MCS-P16-1088", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1988"} |
| author | = | "P. B. Bailey and B. S. Garbow and H. G. Kaper and A. Zettl", | |
| title | = | "Eigenvalue and Eigenfunction Computations for Sturm-Liouville Problems", | |
| journal | = | "ACM Trans. Math. Software", | |
| volume | = | "17", | |
| issue | = | "4", | |
| year | = | "1991", | |
| pages | = | "491-499"} |
| author | = | "S. Balakrishna and L. T. Biegler", | |
| journal | = | "Industrial and Engineering Chemistry Resesarch", | |
| year | = | "1992", | |
| page | = | "31", | |
| title | = | "Constructive Targeting Approaches for the Synthesis of Chemical Reaactor Networks"} |
| author | = | "K. Deng and M. K. Kwong and H. A. levine", | |
| title | = | "The Influence of Nonlocal Nonlinearities on the Long Time Behavior of Solutions of Burgers's Equation", | |
| journal | = | "Q. Applied Math.", | |
| volume | = | "L", | |
| issue | = | "1", | |
| year | = | "1992", | |
| pages | = | "173-200"} |
| title | = | "Some Numerical Results on Best Uniform Rational Approximation of xa on [0,1]", | |
| author | = | R. Varga and A. Carpenter", | |
| journal | = | "Numerical Algorithms", | |
| volume | = | "2", | |
| year | = | "1992", | |
| pages | = | " 171-185"} |
| author | = | "P. B. Bailey and B. S. Garbow and H. G. Kaper and A. Zettl", | |
| title | = | "Algorithm XXX: A Fortran Software Package for Sturm-Liouville Problems", | |
| number | = | "MCS-P19-1088", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1988"} |
| author | = | "P. T. P. Tang", | |
| title | = | "A Fast Algorithm for Linear Complex Chebyshev Approximation", | |
| journal | = | "Math. Comp.", | |
| volume | = | "51", | |
| year | = | "1988", | |
| pages | = | "721-739"} |
| author | = | "C. H. Bischof", | |
| title | = | "A Parallel QR Factorization Algorithm with Controlled Local Pivoting", | |
| journal | = | "SIAM J. Sci. Stat. Comput.", | |
| volume | = | "12", | |
| issue | = | "1", | |
| year | = | "1991", | |
| pages | = | "36-57"} |
| author | = | "F. B. Hanson and D. C. Sorensen", | |
| title | = | "The SCHEDULE Parallel Programming Package with Recycling Job Queues and Iterated Dependency Graphs", | |
| journal | = | "Concurrency: Practice and Experience", | |
| volume | = | "2", | |
| year | = | "1990", | |
| pages | = | "33-53"} |
| author | = | "P. T. P. Tang", | |
| title | = | "Use of Language Features in the Implementation and Validation of a Standardized Generic Package of Elementary Functions in Ada", | |
| booktitle | = | "Sandia Workshop on Ada in Real-Time and Scientific Environments", | |
| address | = | "Albuquerque", | |
| year | = | "1988"} |
| author | = | "A. Griewank and P. J. Rabier", | |
| title | = | "On the Smoothness of Convex Envelopes", | |
| journal | = | "Trans. Amer. Math. Soc.", | |
| volume | = | "322", | |
| year | = | "1990", | |
| pages | = | "691-709"} |
| author | = | "M. T. Chu", | |
| title | = | "A Continuous Jacobi-like Approach to the Simultaneous Reduction of Real Matrices", | |
| journal | = | "Linear Algebra and Its Applications", | |
| volume | = | "147", | |
| year | = | "1991", | |
| pages | = | "75-96"} |
| author | = | "I. B. Tjoa and L. T. Biegler", | |
| title | = | "Simultaneous Strategies for Data Reconciliation and Gross Error Detection of Nonlinear Systems", | |
| journal | = | "Computers and Chemical Engineering", | |
| volume | = | "15", | |
| issue | = | "10", page = "679", | |
| year | = | "1991"} |
| author | = | "S. J. Wright", | |
| title | = | "Algorithms for Minimization Subject to Bounds", | |
| number | = | "MCS-P32-1288", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1988"} |
| author | = | "W. Winsborough", | |
| title | = | "Source-Level Transformations for Multiple Specialization of Horn Clauses", | |
| number | = | "MCS-P33-1288", | |
| year | = | "1988"} |
| author | = | "J. N. Lyness and T. Sorevik and P. Keast", | |
| title | = | "Notes on Integration and Integer Sublattices", | |
| journal | = | "Math. Comp.", | |
| volume | = | "56", | |
| issue | = | "193", | |
| year | = | "1991", | |
| pages | = | "243-255"} |
| author | = | "M. Garbey and H. G. Kaper and G. K. Leaf and B. J. Matkowsky", | |
| title | = | "Bifurcation Analysis of Condensed-Phase Surface Combustion", | |
| journal | = | "Euro. J. Applied Math.", | |
| volume | = | "1", | |
| year | = | "1990", | |
| pages | = | "73-89"} |
| author | = | "M. Garbey and H. G. Kaper and G. K. Leaf and B. J. Matkowsky", | |
| title | = | "Linear Stability Analysis of Cylindrical Flames", | |
| journal | = | "Quart. Appl. Math.", | |
| volume | = | "42", | |
| year | = | "1989", | |
| pages | = | "691-704"} |
| author | = | "J. J. More' and S. A. Vavasis", | |
| title | = | "On the Solution of Concave Knapsack Problems", | |
| journal | = | "Mathematical Programming", | |
| volume | = | "49", | |
| year | = | "1991", | |
| pages | = | "397-411"} |
| author | = | "A. Griewank", | |
| title | = | "The Equivalence of Strict Convexity and Injectivity of the Gradient in Bounded Level Sets", | |
| number | = | "MCS-P41-0189", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "J. V. Burke", | |
| title | = | "On the Identification of Active Constraints II: The Nonconvex Case", | |
| number | = | "MCS-P43-0189", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "E. Lusk and R. Olson and R. Overbeek and S. Tuecke", | |
| title | = | "Prototyping Databases in Prolog", | |
| booktitle | = | "Practice of Prolog", | |
| editor | = | "Leon Sterling", | |
| publisher | = | "MIT Press", | |
| year | = | "1989"} |
| author | = | "M. T. Chu", | |
| title | = | "A Derivative-Free Iterative Method for Locating the Hand Position of a Robot Manipulator", | |
| number | = | "MCS-P48-0189", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "A. Bayliss and B. Matkowsky and M. Minkoff", | |
| title | = | "Numerical Computation of Bifurcation Phenomena and Pattern Formation in Combustion", | |
| number | = | "MCS-P52-0189", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "G. K. Leaf and M. Minkoff and J. C. Diaz", | |
| title | = | "Nested Block Factorization Preconditioners for Convective-Diffusion Problems in Three Dimensions", | |
| number | = | "MCS-P53-0289", | |
| institution | = | "Argonne National Laboratory", | |
| yeaer | = | "1989"} |
| author | = | "P. T. P. Tang", | |
| title | = | "Table-Driven Implementation of the Logarithm Function in IEEE Floating-Point Arithmetic", | |
| number | = | "MCS-P55-0289", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "P. Takac", | |
| title | = | "A Fast Diffusion Equation Which Generates a Monotone Local Semiflow I: Local Existence and Uniqueness", | |
| journal | = | "Diff. and Integral Eqs.", | |
| volume | = | "4", | |
| issue | = | "1", | |
| year | = | "1991", | |
| pages | = | "151-174"} |
| author | = | "P. Takac", | |
| title | = | "A Fast Diffusion Equation Which Generates a Monotone Local Semiflow II: Global Existence and Asymptotic Behavior", | |
| journal | = | "Diff. and Integral Eqs.", | |
| volume | = | "4", | |
| issue | = | "1", | |
| year | = | "1991", | |
| pages | = | "175-187"} |
| author | = | "C. Gupta", | |
| title | = | "Existence and Uniqueness Theorems for a Fourth Order Boundary Value Problem of Sturm-Liouville Type", | |
| journal | = | Differential and Integral Equations", | |
| volume | = | "4", | |
| issue | = | "2", | |
| pages | = | "397-410", | |
| year | = | "1991"} |
| author | = | "W. J. Cody and L. Stoltz", | |
| title | = | "The Use of Taylor Series to Test Accuracy of Function Programs", | |
| journal | = | "ACM Trans. on Math. Soft.", | |
| volume | = | "17", | |
| issue | = | "1", | |
| year | = | "1991", | |
| pages | = | "55-63"} |
| author | = | "M. S. Du and Man Kam Kwong", | |
| title | = | "Sturm Comparison Theorems for Second-Order Delay Equations", | |
| year | = | "1990", | |
| volume | = | "152", | |
| issue | = | "2", | |
| pages | = | "305-323", |
| author | = | "J. M. Howie and R. B. McFadden", | |
| title | = | "Ideals Are Greater on the Left", | |
| journal | = | "Semigroup Forum", | |
| volume | = | "40", | |
| year | = | "1990", | |
| pages | = | "247-248"} |
| author | = | "S. J. Wright", | |
| title | = | "A Parallel Algorithm for Banded Linear Systems", | |
| number | = | "MCS-P64-0289", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "M. T. Chu and K. R. Driessel", | |
| title | = | "The Projected Gradient Method for Least Squares Matrix Approximations with Spectral Constraints", | |
| journal | = | "SIAM J. Numer. Anal.", | |
| volume | = | "27", | |
| year | = | "1990", | |
| pages | = | "1050-1060"} |
| author | = | "O. Brewer and J. Dongarra and D. Sorensen", | |
| title | = | "A Graphics Tool to Aid in the Generation of Parallel Fortran Programs", | |
| booktitle | = | "Proc. 13th Annual International Computer Software and Appl. Conf.", | |
| year | = | "1989", | |
| publisher | = | 'IEEE", | |
| address | = | "Washington", | |
| pages | = | "89-93"} |
| author | = | "J. Demmel and A. McKenney", | |
| title | = | "LAPACK Working Note No. 9: A Test Matrix Generation Suite", | |
| number | = | "MCS-P69-0389", | |
| year | = | "1989", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "M. T. Chu", | |
| title | = | "Least Squares Approximation by Real Normal Matrices with Specified Spectrum", | |
| journal | = | "SIAM J. Matrix Anal. Appl.", | |
| volume | = | "12", | |
| year | = | "1991", | |
| pages | = | "115-127"} |
| author | = | "C. Bischof", | |
| title | = | "Computing the Singular Value Decomposition on a Distributed System of Vector Processors", | |
| number | = | "MCS-P71-0389", | |
| journal | = | "Parallel Computing", | |
| volume | = | "11", | |
| pages | = | "171-186", | |
| year | = | "1989"} |
| author | = | "M. K. Kwong", | |
| title | = | "A Comparison Result and Elliptic Equations Involving Subcritical Exponents", | |
| book | = | "Progress in Nonlinear Differential Equalitons", | |
| editor | = | "N. G. Lloyd and W. M. Ni and L. A. Peletier and J. Serrin", | |
| address | = | "Birkhauser", | |
| year | = | "1992"} |
| author | = | "P. Takac", | |
| title | = | "Invariant 2-Tori in the Time-Dependent Ginsburg-Landau Equation", | |
| journal | = | "Nonlinearity", | |
| pages | = | "289-321", | |
| volume | = | "5", | |
| year | = | "1992"} |
| author | = | "R. Stevens and P. McDonough", | |
| title | = | "Instruction Timings and Message Passing Performance of the Connection Machine 2", | |
| number | = | "MCS-P76-0489", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "J. J. More' and G. Toraldo", | |
| title | = | "On the Solution of Large Quadratic Programming Problems with Bound Constraints", | |
| journal | = | "SIAM Journal on Optimization", | |
| volume | = | "1", | |
| year | = | "1991", | |
| pages | = | "93-113"} |
| author | = | "L. Wos and W. McCune", | |
| title | = | "Automated Theorem Proving and Logic Programming: A Natural Symbiosis", | |
| journal | = | "J. Logic Programming", | |
| volume | = | "11", | |
| issue | = | '1", | |
| year | = | "1991", | |
| pages | = | "1-53"} |
| author | = | "C. P. Gupta", | |
| title | = | "Existence and Uniqueness Theorems for Some Fourth Order Fully Quasilinear Boundary Value Problems", | |
| journal | = | "Applicable Analysis", | |
| volume | = | "36", | |
| year | = | "1990", | |
| pages | = | "157-169"} |
| author | = | "I. Foster and S. Taylor", | |
| title | = | "Strand: A Practical Parallel Programming Tool", | |
| booktitle | = | "Proc. North American Symp. on Logic Programming", | |
| publisher | = | 'MIT Press", | |
| pages | = | "497-512", | |
| year | = | "1989"} |
| author | = | "S. Wright", | |
| title | = | "Convergence of an Inexact Algorithm for Composite Nonsmooth Optimization", | |
| number | = | "MCS-P83-0689", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "P. T. P. Tang", | |
| title | = | "Testing Computer Arithmetic by Elementary Number Theory", | |
| number | = | "MCS-P84-0889", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "M. Garbey and D. Levine", | |
| title | = | "Massively Parallel Computation of Conservation Laws", | |
| journal | = | "Parallel Computing", | |
| volume | = | "16", | |
| year | = | "1990", | |
| pages | = | "293-304"} |
| author | = | "W. Winsborough", | |
| title | = | "Path-Dependent Reachability Analysis for Multiple Specialization", | |
| number | = | "MCS-P86-0689", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "W. McCune and L. Wos", | |
| title | = | "The Absence and the Presence of Fixed Point Combinators", | |
| journal | = | "Theoretical Computer Science", | |
| volume | = | "87", | |
| pages | = | '221-228", | |
| year | = | "1991"} |
| author | = | "T. Harmer and J. M. Boyle", | |
| title | = | "An Optimization to Increase Parallelism in Parallel Pure Lisp Implementations", | |
| number | = | "MCS-P88-0689", | |
| year | = | "1989", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "S. J. Wright", | |
| title | = | "Solution of Discrete-Time Optimal Control Problems on Parallel Computers", | |
| journal | = | "Parallel Computing", | |
| volume | = | "16", | |
| year | = | "1990", | |
| pages | = | "221-238"} |
| author | = | "W. J. Cody", | |
| title | = | "ALGORITHM XXX: Functions to Support the IEEE Standard for Binary Floating-Point Arithmetic", | |
| number | = | " MCS-P90-0789", | |
| year | = | "1989", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "F. V. Atkinson and L. A. Pelletier", | |
| title | = | "Oscillation of Solutions of Perturbed Autonomous Equations, with an Application to Nonlinear Elliptic Eigenvalue Problems Involving Critical Sobolev Exponents", | |
| number | = | "MCS-P91-0789", | |
| year | = | "1989", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Scroggs and D. Sorensen", | |
| title | = | "An Asymptotic Induced Numerical Method for the Convection-Diffusion-Reaction Equation", | |
| booktitle | = | "Mathematics for Large Scale Computing", | |
| editor | = | "J. C. Diaz", | |
| publisher | = | "Marcel Dekker", | |
| address | = | "New York", | |
| year | = | "1989", | |
| pages | = | "81-114"} |
| author | = | "L. Wos and R. Overbeek and E. Lusk", | |
| title | = | "Subsumption: A Sometimes Undervalued Procedure", | |
| booktitle | = | "Festschrift for J. A. Robinson" | |
| editor | = | ' J.-L. Lassez and Gordon Plotkin", | |
| publisher | = | "MIT Press", | |
| address | = | "Cambridge, Mass.", | |
| pages | = | "3-40", | |
| year | = | "1991"} |
| author | = | "C. A. Bischof", | |
| title | = | "A Block QR Factorization Algorithm Using Restricted Pivoting", | |
| number | = | "MCS-P95-0789", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "L. Wos", | |
| title | = | "The Problem of Guaranteeing the Absence of a Complete Set of Reductions", | |
| journal | = | "Journal of Automated Reasoning", | |
| volume | = | "5", | |
| issue | = | "4", | |
| pages | = | "531-532", | |
| year | = | "1989"} |
| author | = | "C. P. Gupta", | |
| title | = | "Solvability of a Fourth-Order Fully Quasilinear Boundary Value Problem with Periodic Boundary Conditions II", | |
| journal | = | "Internat. J. Math. and Sci.", | |
| volume | = | "14", | |
| year | = | "1991", | |
| pages | = | "127-138"} |
| author | = | "Man Kam Kwong and Peng-Yung Woo and Rondong Wang", | |
| title | = | "Using MAPLE for Symbolic Derivation of Dynamic Equations of Robotic Manipulators", | |
| number | = | "MCS-P97-0889", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} @article"SinOve89:derive, | |
| author | = | "A. K. Singh and R. Overbeek", | |
| title | = | "Derivation of Efficient Parallel Programs: An Example from Genetic Sequence Analysis", | |
| journal | = | "Int. J. Parallel Programming", | |
| volume | = | "18", | |
| issue | = | "6", | |
| year | = | "1989"} |
| author | = | "L. Bomans and R. Hempel", | |
| title | = | "The Argonne/GMD Macros in FORTRAN for Portable Parallel Programming and Their Implementation of the Intel iPSC/2", | |
| number | = | "MCS-P98-0889", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "I. Foster and W. Winsborough", | |
| title | = | "Copy Avoidance through Compile-Time Analysis and Local Reuse",' | |
| booktitle | = | "Proc. Intl. Symp. on Logic Programming", | |
| pages | = | "455-469", | |
| publisher | = | 'MIT Press", | |
| year | = | "1991"} |
| author | = | "F. V. Atkinson", | |
| title | = | "Asymptotics of an Eigenvalue Problem Involving an Interior Singularity", | |
| booktitle | = | "Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems: vol. 2, Singular Differential Equations, ANL-87-26", | |
| year | = | "1988", | |
| pages | = | "1-18"} |
| author | = | "F. V. Atkinson", | |
| title | = | "Estimation of the Titchmarsh-Weyl Function m(lambda) in a Case with an Oscillating Leading Coefficient", | |
| booktitle | = | "Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems: Vol. 2: Singular Differential Equations, ANL-87-26", | |
| year | = | "1988", pages "19-43"} |
| author | = | "F. V. Atkinson and C. T. Fulton", | |
| title | = | "Asymptotics of the Titchmarsh-Weyl $m$-Coefficient for Nonintegrable Potentials", | |
| booktitle | = | "Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems: Vol. 2: Singular Differential Equations, ANL-87-26", | |
| year | = | "1988", | |
| pages | = | "79-103"} |
| author | = | "F. V. Atkinson and A. M. Krall and G. K. Leaf and A. Zettl", | |
| title | = | "On the Numerical Computation of Eigenvalues of Sturm-Liouville Problems with Matrix Coefficients", | |
| booktitle | = | "Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems: Vol. 3, Linear Differential Equations and Systems, ANL-87-26", | |
| year | = | "1989", | |
| pages | = | "21-38"} |
| author | = | "C. Bischof and J. Demmel and J. Dongarra and A. Greenbaum and S. Hammarling and D. Sorensen", | |
| title | = | "LAPACK Working Note No. 5: Provisional Contents", | |
| number | = | "ANL-88-38", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "M. Carlsson and K. Danforth and R. Overbeek", | |
| title | = | "Practical Issues Relating to the Internal Database Predicates in an OR-Parallel Prolog: Extensions and Useful Hacks", | |
| number | = | "ANL-88-11", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "W. R. Cowell", | |
| title | = | "Users' Guide to Toolpack/1 Tools for Data Dependency Analysis and Program Transformation", | |
| number | = | "ANL-88-17", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "K. W. Dritz", | |
| title | = | "Rationale for the Proposed Standard for a Generic Package of Elementary Functions for Ada", | |
| number | = | "ANL-89/2", | |
| year | = | "1989", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "C. T. Fulton and S. A. Pruess", | |
| title | = | "A User's Guide to Subroutine SPDNSF,'' | |
| booktitle | = | "Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems: Vol. 3: Linear Differential Systems and Equations ANL-87-26", | |
| year | = | "1989", | |
| pages | = | "77-101"} |
| author | = | "D. W. Gillman and H. G. Kaper and M. K. Kwong", | |
| title | = | "L2-Norm Inequalities for the Differentiation Operator on Compact Intervals", | |
| booktitle | = | "Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems" Vol. 3: Linear Differential Systems and Equations ANL-87-26", | |
| year | = | "1989", | |
| pages | = | "103-111" |
| author | = | "H. G. Kaper and B. Schultze", | |
| title | = | "Spectral Analysis of a Fourth-Order Singular Differential Operator,'' Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems ANL-87-26, Vol. 2: Singular Differential Equations", | |
| year | = | "1988", | |
| pages | = | "113-124"} |
| author | = | "M. K. Kwong and H. G. Kaper", | |
| title | = | "Landau's Inequality for the Difference Operator", | |
| booktitle | = | "Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems, ANL-87-26, Vol. 3: Linear Differential Systems and Equations", | |
| year | = | "1989", | |
| pages | = | "127-134"} |
| author | = | "J. N. Lyness and W. Newman", | |
| title | = | "A Classification of Lattice Rules Using the Reciprocal Lattice Generator Matrix", | |
| number | = | "ANL-89/20", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989"} |
| author | = | "W. W. McCune", | |
| title | = | "OTTER 1.0 Users' Guide", | |
| number | = | "ANL-88-44", | |
| year | = | "1989}, | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "G. W. Pieper, ed.', | |
| title | = | "Activities and Operations of the Advanced Computing Research Facility: November 1987 - December 1988", | |
| number | = | "ANL-89/1", | |
| year | = | "1989", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "G. W. Pieper, ed.", | |
| title | = | "Research in Mathematics and Computer Science at Argonne: July 1, 1986 - January 6, 1988", | |
| number | = | "ANL-88-18", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| title | = | "Proceedings of the Workshop on Advanced Computer Technologies and Biological Sequencing", | |
| number | = | "ANL-88-45", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "B. T. Smith", | |
| title | = | "Reference Manual for the Environmental Theorem Prover: An Incarnation of AURA", | |
| number | = | "ANL-88-2", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "P. T. P. Tang", | |
| title | = | "Accurate and Efficient Testing of the Exponential and Logarithm Functions in Ada", | |
| number | = | "ANL-88-24", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "P. T. P. Tang", | |
| title | = | "Portable Implementation of a Generic Exponential Function in Ada", | |
| number | = | "ANL-88-3", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "L. Wos and W. McCune", | |
| title | = | "Searching for Fixed Point Combinators by Using Automated Theorem Proving: A Preliminary Report", | |
| number | = | "ANL-88-10", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "D. Adams et al.", | |
| title | = | "Global Trends in Computer Technology and Their Impact on Export Control, National Research Council Report", | |
| year | = | "1988"} |
| author | = | "E. Anderson and J. Dongarra", | |
| title | = | "LAPACK Working Note No. 10: Installing and Testing the Initial Release of LAPACK Unix and Non-Unix Versions", | |
| number | = | "MCS-TM-130", | |
| year | = | "1989", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "Z. Bai and J. Demmel", | |
| title | = | "LAPACK Working Note No. 8: On a Block Implementation of Hessenberg Multishift QR Iteration", | |
| number | = | "MCS-TM-127", | |
| year | = | "1989", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "D. Bailey and E. Brooks and J. Dongarra and A. Hayes and M. Heath and G. Lyons", | |
| title | = | "Benchmarks to Supplant Export `FPDR' Calculations", | |
| institution | = | "Institute for Computer Science and Technology", | |
| number | = | "NBSIR 88-3795", | |
| year | = | "1988) |
| author | = | "J. Barlow and J. Demmel", | |
| title | = | "LAPACK Working Note 7: Computing Accurate Eigensystems of Scaled Diagonally Dominant Matrices", | |
| number | = | "MCS-TM-126", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. V. Burke and J. J. More' and G. Toraldo", | |
| title | = | "Convergence Properties of Trust Region Methods for Linear and Convex Constraints", | |
| journal | = | "Math. Prog.", | |
| volume | = | "47", | |
| year | = | "1990", | |
| pages | = | 305-336", | |
| year | = | "1988", | |
| note | = | "also MCS-TM-116"} |
| author | = | "W. J. Cody", | |
| title | = | "ELEFUNT Test Results under FORTRAN-PLUS on the Active Memory Technology DAP 510-8", | |
| number | = | "MCS-TM-125", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "W. J. Cody", | |
| title | = | "ELEFUNT Test Results Using Titan Fortran under Ardent UNIX 2.0 on the Titan", | |
| number | = | "MCS-TM-129", | |
| year | = | "1989", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Demmel and W. Kahan", | |
| title | = | "LAPACK Working Note No. 3: Computing Small Singular Values of Bidiagonal Matrices with Guaranteed High Relative Accuracy", | |
| number | = | "MCS-TM-110", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Demmel and J. DuCroz and S. Hammarling and D. Sorensen", | |
| title | = | "LAPACK Working Note No. 4: Guidelines for the Design of Symmetric Eigenroutines, SVD, and Iterative Refinement and Condition Estimation for Linear Systems", | |
| number | = | "MCS-TM-111", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. Dongarra", | |
| title | = | "Performance of Various Computers Using Standard Linear Equations Software in a Fortran Environment", | |
| number | = | "MCS-TM-23", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. J. Dongarra and E. L. Lusk", | |
| title | = | "Final Report: Institute in Parallel Computing", | |
| number | = | "MCS-TM-122", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "A. Griewank", | |
| title | = | "The Global Convergence of Partitioned BFGS on Problems with Convex Decompositions and Lipschitzian Gradientsu", | |
| num ber | = | "MCS-TM-105", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "F. Hanson", | |
| title | = | "Computational Dynamic Programming for Stochastic Optimal Control on a Vector Multiprocessor", | |
| number | = | "MCS-TM-113", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "A. Jindal and R. Overbeek and W. McCune", | |
| title | = | "A Parallel Processing Approach for Implementing High-Performance First-Order Logic Deduction Systems", | |
| number | = | "MCS-TM-131", | |
| year | = | "1989", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "E. L. Lusk and R. Overbeek and L. Sterling", | |
| title | = | "Effective Utilization of OR-Parallelism: A Modest Proposal", | |
| number | = | "MCS-TM-124", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "P. Mehrotra and J. van Rosendale", | |
| title | = | "The BLAZE Family of Languages: Programming Environments for Shared and Distributed Memory Architectures", | |
| number | = | "MCS-TM-108", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "J. J. More' and G. Toraldo", | |
| title | = | "Algorithms for Bound-Constrained Quadratic Programming Problems", | |
| year | = | "1989", | |
| journal | = | "Numer. Math", | |
| volume | = | "55", | |
| pages | = | "377-400"} |
| author | = | "J. Scroggs", | |
| title | = | "The Solution of a Parabolic Partial Differential Equation via Domain Decomposition: The Synthesis of Asymptotic and Numerical Analysis", | |
| number | = | "MCS-TM-123", | |
| year | = | "1988", | |
| institution | = | "Argonne National Laboratory"} |
| author | = | "F. V. Atkinson", | |
| title | = | "Self-Intersecting Solutions of the Prescribed Mean Curvature Equation", | |
| booktitle | = | "Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems: Nonlinear Differential Equations 4: ANL-87-26", | |
| publisher | = | "Argonne National Laboratory", | |
| pages | = | "1-20", | |
| year | = | 1989 | |
| Abstract | = | " Inequalities and asymptotic estimates are obtained for solutions of the prescribed mean curvature equation in a group of cases in which f(u) is positive, increasing, and unbounded. This system is the intrinsic version of the radially symmetric prescribed mean curvature equation and permits the study of certain generalized solutions of this equation." |
| author | = | "F. V. Atkinson and L. A. Peletier", | |
| title | = | "Bounds for Vertical Points of Solutions of Prescribed Mean Curvature Type Equations,'' | |
| journal | = | "Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems: Nonlinear Differential Equations", | |
| volume | = | "4, ANL-87-26", | |
| pages | = | "21-42" | |
| Abstract | = | "Conditions are obtained under which radial solutions of generalized capillary-type equations exhibit a first vertical point, together with bounds and asymptotic estimates for these points." |
| author | = | "F. V. Atkinson and L. A. Peletier", | |
| title | = | "Large Solutions of Elliptic Equations Involving Critical Exponents", | |
| jounral | = | "Proc. of the Focused Research Program on Spectral Theory and Boundary Value Problems: Nonlinear Differential Equations", volume "4, ANL-87-26", | |
| year | = | "1989", | |
| pages | = | " 43-72", | |
| Abstract | = | " This paper focuses on obtaining precise estimates of positive radial solutions of particular elliptic equations." |
| title | = | "Bifurcation and Pattern Formation in Combustion", | |
| author | = | A. Bayliss and B. J. Matkowsky and M. Minkoff", | |
| booktitle | = | "Ordinary and Partial Differential Equations", | |
| editor | = | "B. D. Sleeman and R. J. Jarvis", | |
| publisher | = | "John Wiley and Sons", | |
| address | = | "N.Y.", | |
| year | = | 1989, | |
| pages | = | "1-51" | |
| Abstract | = | " The authors have developed an adaptive pseudo-spectral method that is both very accurate and very efficient. The algorithm allows them to describe the solution on bifurcation branches in combustion, far beyond the region where analytical methods work well. The analytical results that they obtain are used to choose appropriate parameter values and initial conditions for the numerical computations. In addition, the analytical results serve as benchmarks for the computations. The computations reveal new and interesting behavior. Two problems are discussed, involving solid and gaseous fuel combustion." |
| author | = | "C. H. Bischof", | |
| title | = | "Incremental Condition Estimation'", | |
| journal | = | "SIAM J. Matrix Anal. Appl.", | |
| volume | = | "11", | |
| issue | = | "2", | |
| year | = | "1990", | |
| pages | = | "312-322", | |
| Abstract | = | ' This paper introduces a technique for estimating the smallest singular value of a dense triangular matrix as it is generated one row or column at a time. Numerical experiments demonstrate that despite its small computational cost, this condition estimator is very reliable. The paper also gives an example that shows the advantage of incorporating the incremental condition estimation strategy into the QR factorization algorithm with column pivoting to guard against failure of the pivoting strategy going unnoticed." |
| author | = | "C. H. Bischof and J. J. Dongarra", | |
| title | = | "A Linear Algebra Library for High-Performance Computers", | |
| booktitle | = | "Parallel Supercomputing: Methods, Algorithms and Applications", | |
| editor | = | "G. F. Carey", | |
| publisher | = | "John Wiley and Sons", | |
| address | = | "N. Y.", | |
| year | = | "1989", | |
| pages | = | "45-56", | |
| Abstract | = | " Argonne, the Courant Institute, and NAG are developing a transportable linear algebra library in Fortran 77. The library (called LAPACK) will provide routines for solving systems of simultaneous linear equations, least-squares solutions of overdetermined systems of equations, and eigenvalue problems. The new library will be based on the successful EISPACK and LINPACK libraries. It will be designed to be efficient and transportable across a wide range of computing environments, with special emphasis on modern high-performance computers. The new library will be distributed over a system similar to netlib, at no or minimal cost." |
| author | = | "R. Butler and I. Foster and A. Jindal and R. Overbeek", | |
| title | = | "A High-Performance Parallel Theorem Prover", | |
| booktitle | = | "Proc. 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, Vol. 449", | |
| editor | = | " M. E. Stickel", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "Berlin", | |
| year | = | "1990", | |
| pages | = | "649-650", | |
| Abstract | = | " This paper reports on the implementation of a parallel theorem proving system that supports hyperresolution, subsumption, and the set of support strategy. The upper level of the program, written in the concurrent programming language Strand, implements the general algorithm and describes the interconnectivity of processes that perform the theorem-proving tasks such as resolution and subsumption. These compute-intensive tasks are performed by procedures implemented in C. Speedups have been demonstrated on such test problems as SAM's lemma." |
| author | = | "M. T. Chu and G. H. Guirguis", | |
| title | = | "A Numerical Method for Solving Interface Problems Arising in Two-Point Boundary Value Problems", | |
| journal | = | "Computer Methods in Appl. Mech. and Engrg.", | |
| volume | = | "74", | |
| year | = | "1989", | |
| pages | = | "99-113", | |
| Abstract | = | " A numerical approach iterating on the position of interface points is suggested for solving interface problems arising in two-point boundary value problems (BVPs). Given an interface problem, it is decomposed into several standard local boundary value problems that are coupled at the interface points. Meanwhile, a nonlinear equation involving the interface points is formulated from the interface conditions. The advantages of this approach are that the boundary conditions for each local problem can easily be selected by considering the natural physical requirements and that each of the local problems can be solved independently by standard numerical BVP techniques." |
| author | = | "W. J. Cody", | |
| title | = | "ELEFUNT Test Results under AST Fortran V1.8.0 on the Sequent Symmetry", | |
| number | = | "MCS-TM-138", | |
| year | = | "1990", | |
| Abstract | = | { This report discusses testing of the floating-point arithmetic and of the elementary function libraries under AST Fortran on a 24-processor Sequent Symmetry computer. The programs MACHAR and PARANOIA were used to check the quality of arithmetic, and the ELEFUNT suite of programs from the book Software Manual for the Elementary Functions by Cody and Waite was used to check function performance. Two complete sets of tests were run, one for each type of floating-point processor, Intel 80387 and Weitek 1167, on the machine. |
| author | = | "W. J. Cody", | |
| title | = | "Performance Evaluation of Programs for the Error and Complementary Error Functions", | |
| journal | = | "TOMS", | |
| volume | = | "16", | |
| year | = | "1990", | |
| pages | = | "29-37", | |
| Abstract | = | " This paper presents methods for performance evaluation of computer programs for the the error and complementary error functions. Accuracy estimates are based on comparisons using power series expansions and an expansion in the repeated integrals of erfc (x). Some suggestions for checking robustness are also given. Details of a specific implementation of a test program are included." |
| author | = | "W. R. Cowell", | |
| title | = | "An Introduction to VecPar77", | |
| journal | = | "NAG Newsletter" | |
| oolume | = | "1", | |
| year | = | "1990", | |
| pages | = | "13-21", | |
| Abstract | = | " VecPar77 is a precompiler tool that analyzes and transforms Fortran 77 programs intended for execution on machines with vector or shared-memory multitasking capabilities. In particular, the tool provides support for the task of modifying existing programs, written originally for serial execution, so that they perform well on advanced-architecture machines. The operation of VecPar77 is divided into two separately invoked phases. In Phase 1, two kinds of Fortran program analysis are performed: syntactic/semantic analysis to detect errors and anomalous constructions in a program, and Do-loop parallelization analysis. In Phase 2, VecPar77 acts as a specialized Fortran-intelligent editor, enabling a user to apply source-to-source transformations aimed at producing Fortran that compiles into code in which the number of references to main memory is reduced. VecPar77 is a direct descendent of Toolpack. It was created by a project jointly supported by the Numerical Algorithms Group, Inc., and the Department of Commerce and Community Affairs of the State of Illinois." |
| author | = | "W. R. Cowell and C. P. Thompson", | |
| title | = | "Tools to Aid in Discovering Parallelism and Localizing Arithmetic in Fortran Programs", | |
| journal | = | "Software--Practice and Experience", | |
| volume | = | "20", | |
| year | = | "1990", | |
| pages | = | "25-47", | |
| Abstract | = | " The authors describe a collection of software tools that analyze and transform Fortran programs. The analysis tools detect parallelism in blocks of code and are primarily intended to aid in adapting existing programs to execute on multiprocessors. The transformation tools are aimed at eliminating data dependencies, thereby introducing parallelism, and at localizing arithmetic in registers, of primary interest in adapting programs to execute on machines that can be memory bound (common for machines with vector architectures). The tools are unified conceptually by their use of a set of conditions for data independence; these conditions have been implemented so as to combine tool analysis with user/tool interaction. Included are timing results from applying the tools to programs intended for execution on two machines with different architectures--a Sequent Balance and a CRAY-2. The tools are written in Fortran in the tool-writing environment provided by Toolpack and are easily incorporated into a Toolpack installation." |
| author | = | "J. Dongarra and E. Lusk", | |
| title | = | "Summer Institute in Parallel Computing: September 5-15, 1989", | |
| number | = | "MCS-TM-136", | |
| year | = | "1989", | |
| Abstract | = | " This report summarizes the objectives of the Summer Institute in Parallel Computing held at Argonne in September 1989." |
| author | = | "J. J. Dongarra and D. C. Sorensen and S. J. Hammarling", | |
| title | = | "Block Reduction of Matrices to Condensed Forms for Eigenvalue Computations", | |
| journal | = | "J. Comp. and Appl. Math.", | |
| volume | = | "27", | |
| year | = | "1989", | |
| pages | = | "215-227", | |
| Abstract | = | " This paper describes block algorithms for the reduction of a real symmetric matrix to tridiagonal form and for the reduction of a general real matrix to either bidiagonal or Hessenberg form by using Householder transformations. The approach is to aggregate the transformations and to apply them in a blocked fashion, thus achieving algorithms that are rich in matrix-matrix operations. These reductions typically are a preliminary step in the computation of eigenvalues or singular values. The authors demonstrate how the initial reduction to tridiagonal or bidiagonal form may be pipelined with the divide-and-conquer technique for computing the eigensystem of a symmetric matrix or the singular value decomposition of a general matrix to achieve algorithms that are load balanced and rich in matrix-matrix operations." |
| author | = | "I. Foster and M. Henderson and R. Stevens", | |
| title | = | "Proc. of the Workshop on Data Systems for Parallel Climate Models held at Argonne National Laboratory, July 15-16, 1991", | |
| number | = | "ANL/MCS-TM-169"< | |
| year | = | "1992" |
| author | = | "I. Foster and H. Kaper and M. K. Kwong", | |
| title | = | "Proc. of the Workshop on the Earth's Climate as a Dynamical System, held at Argonne National Laboratory, Sept. 25-26, 1992", | |
| number | = | "MCS-M-170", | |
| year | = | "1992" |
| author | = | "I. Foster", | |
| title | = | "Automatic Generation of Self-Scheduling Programsu", | |
| journal | = | "IEEE Trans. on Parallel and Distributed Computing", | |
| volume | = | "2", | |
| year | = | "1991", | |
| pages | = | "68-78", | |
| Abstract | = | " The author describes techniques for the automatic generation of self-scheduling parallel programs. A high-level language is used to express both concurrent components of applications and scheduling algorithms. Partitioning and data dependency information are expressed by simple control statements. An automatic source-to-source transformation takes application code, control statements, and scheduling routines and generates a new program that can schedule its own execution of a parallel computer. The approach has several important advantages compared to previous proposals. It generates programs that are portable over a wide range of parallel computers. There is no need to embed special control structures in application programs. Finally, the use of a high-level language to express applications, load-balancing algorithms, and transformations facilitates the development, modification, and reuse of parallel programs." |
| author | = | "I. Foster", | |
| title | = | "A Multicomputer Garbage Collector for a Single-Assignment Language", | |
| journal | = | "International J. Parallel Prog.", | |
| volume | = | "18", | |
| issue | = | "3", | |
| year | = | "1989", | |
| pages | = | "181-203", | |
| Abstract | = | " This paper describes an asynchronous garbage collector for a message-passing multiprocessor. This combines Weighted Reference Counting interprocessor collection and tracing intraprocessor collection to permit individual processors to reclaim local storage independently. A novel feature is the integration of Weighted Reference Counting collection and the communication algorithms required to support a global address space in a single assignment language. This significantly reduces communication overhead and space requirements attributable to garbage collection." |
| author | = | "T. L. Henry and W. W. McCune", | |
| title | = | " FormEd: An X Window System Application for Managing First-Order Formulas", | |
| number | = | "MCS-TM-141", | |
| year | = | "1990"} |
| author | = | "E. Lusk", | |
| title | = | "Summer Institute in Parallel Programming 1990", | |
| number | = | "ANL/MCS-TM-147", | |
| year | = | "1991"} |
| title | = | "What's New in OTTER 2.2", | |
| author | = | "W. W. McCune", | |
| number | = | "ANL/MCS-TM-153", | |
| month | = | "July", | |
| year | = | "1991"} |
| author | = | "I. Foster and R. O. Overbeek", | |
| title | = | "Experiences with Bilingual Parallel Programming", | |
| booktitle | = | "Proc. 5th Distributed Memory Computer Conf.", | |
| pages | = | "1137-1146", | |
| year | = | "1990", | |
| Abstract | = | " Parallel programming requires tools that simplify the expression of complex algorithms, provide portability across different classes of machine, and allow reuse of existing sequential code. The authors have previously proposed bilingual programming as a basis for such tools. In particular, they have proposed the use of a high-level concurrent programming language (such as Strand) to construct parallel programs from (possibly pre-existing) sequential components. Here they report on an applications study intended to evaluate the effectiveness of this approach. They describe experiences developing both new codes and parallel versions of existing codes in computational biology, weather modeling, and automated reasoning. The bilingual approach encourages the development of parallel programs that perform well, are portable, and are easy to maintain." |
| author | = | "I. Foster and C. Kesselman and S. Taylor", | |
| title | = | "Concurrency: Simple Concepts and Powerful Tools", | |
| journal | = | "Computer Journal", | |
| year | = | "1990", | |
| volume | = | "33", | |
| issue | = | "6", | |
| pages | = | "501-508", | |
| Abstract | = | " This paper describes programming language concepts that we have found useful in applying stepwise refinement to parallel programs. The concepts allow decisions concerning program structure to be delayed until late in the design process. This capability permits rapid experimentation with alternative structures and leads to both portable and scalable code. Although simple, the concepts form a sufficient basis for the construction of powerful programming tools. Both concepts and tools have been applied successfully in a wide variety of applications and are incorporated in a commercial concurrent programming system Strand." |
| author | = | "M. Garbey and H. G. Kaper and G. K. Leaf and B. J. Matkowsky", | |
| title | = | "Nonlinear Analysis of Condensed-Phase Surface Combustion", | |
| journal | = | "Euro. J. Appl. Math.", | |
| volume | = | "1", | |
| year | = | "1990tract = ", | |
| pages | = | " 73-89", This article is concerned with the structure and stability properties of a combustion front that propagates in the axial direction along the surface of a cylindrical solid fuel element. The fuel consists of a mixture of two finely ground metallic powders, which combine upon ignition in a one-step chemical reaction. The reaction is accompanied by a melting process, which in turn enhances the reaction rate. The combustion products are in the solid state. The reaction zone, inside which the melting occurs, is modeled as a front that propagates along the surface of the cylinder. The different modes of propagation that have been observed experimentally (such as single- and multiheaded spin combustion and multiple-point combustion) are explained as the results of bifurcations from a uniformly propagating plane circular front. The stability properties of the various modes are discussed." |
| author | = | "A. Griewank", | |
| title | = | "On Automatic Differentiation", | |
| booktitle | = | "Mathematical Programming: Recent Developments and Applications", | |
| editor | = | "M. Iri and K. Tanabe", | |
| publisher | = | "Kluwer Academic Publishers" | |
| address | = | " Boston", | |
| year | = | "1989", | |
| pages | = | "83-107", | |
| Abstract | = | In comparison to symbolic differentiation and numerical differencing, the main rule-based technique of automatic differentiation is shown to evaluate partial derivatives accurately and cheaply. In particular, it is demonstrated that the reverse mode of automatic differentiation yields any gradient vector at no more than five times the cost of evaluating the underlying scalar function. After developing the basic mathematics, the author describes several software implementations and briefly discuss the ramifications for optimization." |
| author | = | "C. P. Gupta", | |
| title | = | "A Fourth-Order Nonlinear Boundary Value Problem and an Integral Type Sign Condition", | |
| journal | = | "Applied Math. and Computation", | |
| volume | = | "35", | |
| year | = | "1990", | |
| pages | = | "231-242", | |
| Abstract | = | " This paper focuses on a fourth-order nonlinear boundary value problem associated to the unstable static equilibrium of an elastic beam which is supported by sliding clamps when the nonlinearity satisfies an integral sign condition instead of the usual asymptotic pointwise sign condition. A necessary and sufficient condition is given for the existence of a solution when the nonlinearity is nondecreasing." |
| authoer | = | "C. P. Gupta", | |
| title | = | "A Nonlinear Boundary Value Problem Associated with the Static Equilibrium of an Elastic Beam Supported by Sliding Clamps", | |
| journal | = | "Internat. J. Math. \& Math. Sci.", | |
| volume | = | "12", | |
| issue | = | "4", | |
| year | = | "1989", | |
| pages | = | "697-712", | |
| Abstract | = | " A fourth-order boundary problem describes the unstable static equilibrium of an elastic beam that is supported by sliding clamps at both ends. This paper concerns the nonlinear analogue of this boundary value problem. Some resonance and nonresonance conditions on the asymptotic behavior are studied for the existence of solutions of this nonlinear boundary value problem." |
| author | = | "C. P. Gupta", | |
| title | = | "Nonlinear Second Order System of Neumann Boundary Problems at Resonance", | |
| journal | = | "JAMS", | |
| volume | = | "2" | |
| issue | = | " 3", | |
| year | = | "1989", | |
| pages | = | "169-184", | |
| Abstract | = | " This paper focuses on a nonlinear Neumann boundary value problem at resonance. Asymptotic conditions on the nonlinearity are presented to give existence of solutions for the nonlinear systems. The methods apply to the corresponding system of Lienard-type periodic boundary value problems." |
| author | = | "H. G. Kaper and A. M. Krall", | |
| title | = | "M(lambda)-Computation for Singular Differential Systems", | |
| journal | = | "Proc. Roy. Soc. Edinburgh", | |
| volume | = | "112A", | |
| year | = | "1989", | |
| pages | = | "327-330", | |
| Abstract | = | " Depending on the initial data associated with the fundamental matrix, the function M(lambda) may vary. It is shown that there is a matrix bilinear transformation between such functions M(lambda) with different initial data. The authors also show how the result can be used to simplify the calculation of a specific M(lambda)-function for a scalar second-order problem." |
| author | = | "H. G. Kaper and A. M. Krall", | |
| title | = | "M(lambda)-Computation for Singular Differential Systems", | |
| journal | = | "Royal Soc. Edinburgh", | |
| volume | = | "112A", | |
| year | = | "1989", | |
| pages | = | "327-330"} |
| author | = | "H. G. Kaper and Man Kam Kwong", | |
| title | = | "Free Boundary Problems for Emden-Fowler Equations", | |
| journal | = | 'Diff. and Integral Eqs.", | |
| volume | = | " 3", | |
| issue | = | "2", | |
| year | = | "1990", | |
| pages | = | "353-362", | |
| Abstract | = | " This article is concerned with free boundary problems for differential equations of the Emden-Fowler type. In particular, it addresses the questions of existence and uniqueness of a finite point P and a solution u satisfying conditions | |
| u'(0) | = | 0; u(x) > 0, 0 < x < P ; | |
| u (P) | = | u'(P) = 0." |
| author | = | "H. G. Kaper and M. K. Kwong", | |
| title | = | "A Non-Oscillation Theorem for the Emden-Fowler Equation; Ground States for Semilinear Elliptic Equations with Critical Exponents", | |
| journal | = | "J. Diff. Eqs.", | |
| volume | = | "75", | |
| year | = | "1988", | |
| pages | = | "158-185", | |
| Abstract | = | " The authors show that the Emden-Fowler equation is nonoscillatory at infinity under certain conditions. The result improves earlier oscillation results of Nehari and Chiou." |
| author | = | "M. K. Kwong", | |
| title | = | "On the Kolodner-Coffman Method for the Uniqueness Problem of Emden-Fowler BVP", | |
| journal | = | "J. App. Math. Phys. (ZAMP)", | |
| volume | = | " 41", | |
| year | = | "1990", | |
| pages | = | "79-104", | |
| Abstract | = | " This paper surveys the Kolodner-Coffman method which has been applied very successfully by many authors to obtain uniqueness theorems for boundary value problems for differential equations of Emden-Fowler type. The author recasts some of the arguments in the language of Sturm's oscillation theory for linear second-order differential equations. The clarification provided by the new perspective makes it possible to improve on several known results." |
| author | = | "M. K. Kwong and M. B. Dever", | |
| title | = | "Computer-aided Study of a Problem in Hermitian Matrix Theory", | |
| journal | = | "J. Symbolic Computation", | |
| volume | = | "9 ", | |
| year | = | "1990", | |
| pages | = | "87-112"} |
| autohr | = | "E. Lusk and others", | |
| title | = | "The Aurora Or-Parallel Prolog System", | |
| journal | = | "New Generation Computing", | |
| volume | = | "7", | |
| year | = | "1990", | |
| pages | = | "243-271", | |
| Abstract | = | " Aurora is a prototype or-parallel implementation of the full Prolog language for shared-memory multiprocessors, developed as part of an informal research collaboration known as the Gigalips Project. It currently runs on Sequent and Encore machines. It has been constructed by adapting Sistus Prolog, a fast, portable, sequential Prolog system. The techniques for constructing a portable multiprocessor version follow those pioneered in a predecessor system, ANL-WAM. The SRI model was adopted as the means to extend the Sistus Prolog engine for or-parallel operation. This paper describes the design and main implementation features of the current Aurora system, and presents some experimental results. For a range of benchmarks, Aurora on a 20-processor Sequent Symmetry is 4 to 7 times faster than Quintus Prolog on a Sun 3/75. Good performance is also reported on some large-scale Prolog applications." |
| author | = | "J. N. Lyness and I. H. Sloan", | |
| title | = | "Some Properties of Rank-2 Lattice Rules", | |
| journal | = | "Math. Comp.", | |
| volume | = | "53", | |
| issue | = | "188", | |
| year | = | "1989", | |
| pages | = | "627-637", | |
| Abstract | = | " This paper discusses lattice rules in general. In particular, the authors categorize a special subclass, whose leading one- and two-dimensional projections contain the maximum feasible number of abscissas. They show that rules of this subclass can be expressed in a simple tricycle form." |
| author | = | "J. N. Lyness and T. Sorevik", | |
| title | = | "The Number of Lattice Rules", | |
| journal | = | "BIT", | |
| volume | = | "29", | |
| year | = | "1989", | |
| pages | = | "527-534", | |
| Abstract | = | " A lattice rule is a quadrature rule for integration over an s-dimensional hypercube that employs N abscissas located on a lattice, chosen to conform to certain specifications. In this paper, the authors determine the number of distinct N-point s-dimensional lattice rules." |
| author | = | "W. McCune", | |
| title | = | "OTTER 2.0", | |
| booktitle | = | "Proc. 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 449", | |
| editor | = | "M. E. Stickel", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "Berlin", | |
| year | = | "1990", | |
| pages | = | " 663-664", | |
| Abstract | = | " OTTER 2.0 is Argonne's current production theorem prover. It is a descendent of AURA and ITP, and operates on clauses in batch mode. OTTER's strong points include hyperresolution and UR-resolution in small (i.e., one with few axioms) theories represented by Horn sets and near-Horn sets. Another strong point is paramodulation with sets of unit equalities. The program is free and very portable; it is available electronically as well as on tape or diskette. No formal support is provided, however." |
| author | = | "W. W. McCune", | |
| title | = | "OTTER 2.0 Users Guide", | |
| number | = | "ANL-90/9", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1990", | |
| Abstract | = | " OTTER is a resolution-style theorem-proving program for first-order logic with equality. It includes the inference rules binary resolution, hyperresolution, UR-resolution, and binary paramodulation. Some of its other abilities are conversion from first-order formulas to clauses, forward and back subsumption, factoring, weighting, answer literals, term ordering, forward and back demodulation, and evaluable functions and predicates. OTTER is coded in C and is portable to a wide variety of computers. |
| author | = | "J. J. More' ", | |
| title | = | "Gradient Projection Techniques for Large-Scale Optimization Problems",' | |
| booktitle | = | "Proceedings of the 28th IEEE Conference on Decision and Control, Tampa, Florida", | |
| year | = | "1990", | |
| volume | = | "1", | |
| pages | = | "378-381", | |
| Abstract | = | " We briefly describe the impact of the identification properties of the gradient projection method on algorithms for the solution of large-scale optimization problems with bound constraints. In particular, we describe recent results of More' and Toraldo which show that the gradient projection method can be combined with the conjugate gradient method to solve an important class of large-scale (number of variables between 5000 and 15000) bound constrained quadratic programming problems with a few (less than 15) iterations." |
| author | = | "J. J. More' ", | |
| title | = | "A Collection of Nonlinear Model Problems", | |
| journal | = | "Lectures in Applied Math.", | |
| volume | = | "26", | |
| year | = | "1990", | |
| pages | = | "723-762", | |
| Abstract | = | " This paper presents a collection of nonlinear problems. The aim of this collection is to provide model problems of scientific interest to researchers interested in algorithm development. The problems and their origin are described, and references are given to other papers that have dealt with these problems." |
| author | = | "G. W. Pieper", | |
| title | = | "Activities and Operations of the Advanced Computing Research Facility: January 1989 through January 1990", | |
| number | = | "ANL-90/12", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1990", | |
| Abstract | = | " This report highlights the activities and operations that have contributed to the success of the ACRF during the period January 1989 through January 1990." ] |
| author | = | "G. W. Pieper", | |
| title | = | "Research in Mathematics and Computer Science at Argonne: January 1988 - August 1989", | |
| number | = | "ANL-89/12", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989", | |
| Abstract | = | ' This report highlights the research activities of the MCS Division during the period January 1988 through August 1989." |
| author | = | "G. W. Pieper", | |
| title | = | "Joint Japanese-American Workshop on Future Trends in Logic Programming", | |
| number | = | "ANL-89/43", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989", | |
| Abstract | = | " This report summarizes the activities related to the Joint Japanese-American Workshop on Future Trends in Logic Programming, held at Argonne on October 11-13, 1989. Four main areas were considered: multiprocessing, constraint logic programming, logical foundation of programming, and knowledge representation and database. This report includes abstracts of the 16 presentations, copies of the papers presented, and summaries of the discussion sessions. An important part of the workshop was the demonstration of the Japanese fifth-generation computer; included in this report is a detailed guide to the Japanese demonstration." |
| author | = | "J. K. Slaney and E. L. Lusk", | |
| title | = | "Parallelizing the Closure Computation in Automated Deduction", | |
| booktitle | = | "Proc. 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 449", | |
| editor | = | " M. E. Stickel", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "Berlin", | |
| year | = | "1990", | |
| pages | = | "28-39", | |
| Abstract | = | " This paper presents a parallel algorithm for computing the closure of a set under an operation. This type of computation has been used in automated theorem proving, abstract algebra, and formal logic. The algorithm is particularly suited for shared-memory parallel computers, where it makes possible economies of space. Implementations of the algorithm in two application contexts are described and experimental results given." |
| author | = | "I. H. Sloan and J. N. Lyness", | |
| title | = | "Lattice Rules: Projection Regularity and Unique Representations", | |
| journal | = | "Math. of Comp.", | |
| volume | = | "54", | |
| issue | = | "190", | |
| month | = | "April", | |
| year | = | "1990", | |
| pages | = | "649-660", | |
| note | = | "MCS-P75-0489", | |
| Abstract | = | " This paper introduces a unique characterization for lattice rules that are projection regular." |
| author | = | "P. T. T. Tang", | |
| title | = | "Some Software Implementations of the Functions Sine and Cosine", | |
| number | = | "ANL-90/3", | |
| institution | = | "Argonne National Laboratory", | |
| month | = | "April", | |
| year | = | "1990", | |
| Abstract | = | " This document presents several software implementations of the elementary functions sin and cos designed to fit a large class of machines. Implementation details are provided. Also provided is a detailed error analysis that bounds the errors of these implementations, over the full range of input arguments, from 0.721 to 0.912 units in the last place. Tests performed on these codes give results that are consistent with the error bounds." |
| author | = | "S. Winker and R. Overbeek and C. R. Woese and G. J. Olsen and N. Pfluger", | |
| title | = | "An Automated Procedure for Covariation-based Detection of RNA Structure", | |
| number | = | "ANL-89/42", | |
| institutin | = | "Argonne National Laboratory", | |
| month | = | "December", | |
| year | = | "1989", | |
| Abstract | = | " This paper summarizes investigations into the computational detection of secondary and tertiary structure of ribosomal RNA. The authors have developed a new automated procedure that not only identifies potential bondings of secondary and tertiary structure, but also provides the covariation evidence that supports the proposed bondings, and any counterevidence that can be detected in the known sequences. A small number of previously unknown bondings have been detected in individual RNA molecules through the use of the new procedure." |
| author | = | "J. N. Lyness", | |
| journal | = | "IMA J. Numer. Analy.", | |
| volume | = | "9", | |
| year | = | "1989", | |
| pages | = | "405-419", | |
| title | = | "An Introduction to Lattice Rules and Their Generator Matrices"} |
| author | = | "L. Wos", | |
| title | = | "Applications of Automated Reasoning", | |
| booktitle | = | "Knowledge Engineering II: Applications", | |
| editor | = | " H. Adeli', | |
| publisher | = | "McGraw-Hill", | |
| address | = | "New York", | |
| year | = | "1990", | |
| pages | = | "56-83", This article focuses on how the field of automated reasoning was founded, why it was extended, what caused it to grow, and what successes have been realized by using automated reasoning programs." |
| author | = | "L. Wos and S. Winker and W. McCune and R. Overbeek and E. Lusk and R. Stevens and R. Butler", | |
| title | = | "Automated Reasoning Contributes to Mathematics and Logic", | |
| booktitle | = | "Proc. 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 449", | |
| editor | = | " M. E. Stickel", | |
| publisher | = | "Springer-Verlag", | |
| address | = | "Berlin", | |
| year | = | "1990", | |
| pages | = | "485-499", | |
| Abstract | = | " This article presents results of research focusing on the use of the automated reasoning program OTTER to prove theorems from Robbins algebra, equivalential calculus, implicational calculus, combinatory logic, and finite semigroups. Included are answers to open questions and new shorter and less complex proofs to known theorems. To obtain these results, the authors used a paradigm that relies heavily on demodulation, subsumption, set of support, weighting, paramodulation, hyperresolution, and UR-resolution. Examples are given that show success when the paradigm is used, failure when it is not." |
| author | = | 'L. Wos", | |
| title | = | "Meeting the Challenge of Fifty Years of Logic", | |
| journal | = | "JAR", | |
| volume | = | "6", | |
| issue | = | "2", | |
| year | = | "1990", | |
| pages | = | "213-232", | |
| note | = | " MCS-P129-0290", | |
| Abstract | = | " This paper discusses how experiments with a new representation and a new use of the weighting strategy resulted in obtaining proofs of 13 theorems in logic. The author presents these theorems as challenging problems to test the power of a reasoning program or to evaluate the effectiveness of a new idea. In addition, the author discusses a possible approach to finding shorter proofs and presents new results." |
| author | = | "L. Wos", | |
| title | = | "The Problem of Choosing between Logic Programming and General-Purpose Automated Reasoning", | |
| journal | = | "JAR", | |
| volume | = | "6", | |
| issue | = | "1", | |
| year | = | "1990", | |
| pages | = | "77-78", | |
| note | = | "MCS-P130-0290", | |
| Abstract | = | " This article focuses on finding criteria for correctly choosing between using logic programming and a more general automated reasoning approach to attack a given assignment. The problem proposed for research asks one to find criteria that classify problems as solvable with a well-focused algorithm or as requiring a more general search for new information. Included are suggestions for evaluating a proposed solution to this research problem." |
| author | = | "L. Wos", | |
| title | = | "The Problem of Finding a Mapping between Clause Representation and Natural-Deduction Representation", | |
| journal | = | "JAR", | |
| volume | = | "6", | |
| isue | = | "2", | |
| year | = | "1990", | |
| pages | = | '211-212", | |
| note | = | "MCS-P133-0290", | |
| Abstract | = | " The focus of this paper is on the relationship between two approaches to the automation of reasoning: the paradigm based on the clause language and that based on natural deduction. The problem proposed for research asks one to find a mapping between the two approaches such that reasoning programs based on either approach perform identically on a specific assignment. For evaluating a proposed solution to this research problem, the author includes suggestions concerning possible test problems." |
| author | = | "L. Wos", | |
| title | = | "The Problem of Guaranteeing the Existence of a Complete Set of Reductions", | |
| journal | = | "JAR", | |
| volume | = | "5", | |
| issue | = | "3 ", | |
| year | = | "1989", | |
| pages | = | "399-401", | |
| Abstraact | = | " This article focuses on finding criteria for guaranteeing the existence of a complete set of reductions. Included is a suggestion for evaluating a proposed solution to this research problem." |
| author | = | "C. H. Bischof and P. C. Hansen", | |
| title | = | "Structure-Preserving and Rank-Revealing QR-Factorization", | |
| journal | = | "SIAM J. Sci. Stat. Comput.", | |
| volume | = | "12", | |
| issue | = | "6", | |
| month | = | "November", | |
| year | = | "1991", | |
| pages | = | "1332-1350", | |
| note | = | "MCS-P100-0989", | |
| Abstract | = | " The rank-revealing QR factorization is a special QR factorization guaranteed to reveal the numerical rank of the matrix in consideration. Thus, it is useful in the numerical treatment of rank-deficient least-squares problems. This paper presents a new, efficient method for computing such a factorization, which seeks to preserve the structure and sparsity of the matrix as much as possible while retaining the ability to safely capture the numerical rank. The method uses incremental condition estimation and restricted pivoting in a forward pass to compute an approximation to the numerical rank and null space. This pass can be tailored for the zero/nonzero structure of the problem at hand. In a second pass, the algorithm of Chan is used to refine the estimates for the numerical rank and null space. Numerical experiments show that the new algorithm compares favorably with existing algorithms, in terms of both fill-in and the number of floating-point operations and memory accesses required." |
| author | = | "W. W. McCune", | |
| journal | = | J. Automated Reasoning", | |
| title | = | "Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval", | |
| year | = | "1992", | |
| pages | = | "147-167", | |
| volume | = | "9"} @article"Mcc92:app, | |
| author | = | "W. W. McCune", | |
| journal | = | Annals of Math. and AI", | |
| title | = | "The Application of Automated Reasoning to Questions in Mathematics and Logic", | |
| year | = | "1992", | |
| volume | = | "5", | |
| pages | = | "321-370"} |
| author | = | "C. H. Bischof and G. M. Shroff", | |
| title | = | "On Updating Signal Subspaces", | |
| note | = | "MCS-P101-0989", | |
| journal | = | "IEEE Trans. on Signal Processing", | |
| volume | = | "40", | |
| issue | = | "1", | |
| month | = | "January ", | |
| year | = | "1992", | |
| pages | = | "96-105", | |
| Abstract | = | " This paper presents an algorithm to adaptively solve signal processing problems using the signal subspace approach. The noise subspace is estimated using a rank-revealing QR factorization instead of the more expensive singular value or eigenvalue decompositions. The authors show how to inexpensively update a rank-revealing triangular factorization of a matrix when new rows are added and old rows deleted. An incremental condition estimation technique is used to exploit the structure of past solutions during the updating process while maintaining the rank-revealing property of the factorization." |
| author | = | "Y. P. Hong and C.-T. pan", | |
| title | = | "Rank-Revealing QR Factorizatin and SVD", | |
| journal | = | "Math. Computation", | |
| volume | = | "58", | |
| issue | = | "197", | |
| pages | = | "213-232", | |
| year | = | "1992"} |
| title | = | "Achieving Logarithmic Growth of Temporal and Spatial Complexity in Reverse Automatic Differentiation", | |
| journal | = | "Optimizaiton Methods and Software", | |
| year | = | "1992", | |
| volume | = | "1", | |
| pages | = | "35-54"} |
| author | = | "I.=B. Tjoa and L. T. Biegler", | |
| title | = | "A Reduced Successive Quadratic Programming Strategy for Errors-in-Variables Estimation", | |
| journal | = | "Computers and Chemical Engineering", | |
| volume | = | "16", | |
| issue | = | "6", | |
| page | = | "523", | |
| year | = | "1992"} |
| author | = | "J. J. More' ", | |
| title | = | "Gradient Projection Techniques for Large-Scale Optimization Problems", | |
| note | = | "MCS-P102-0989", | |
| booktitle | = | "Proceedings of the 28th IEEE Conference on Decision and Control 1", | |
| year | = | "1990", | |
| pages | = | "378--381", | |
| Abstract | = | " This paper briefly describes the impact of the identification properties of the gradient projection method on algorithms for the solution of large-scale optimization problems with bound constraints. In particular, the authors describe recent results of More' and Toraldo that show that the gradient projection method can be combined with the conjugate gradient method to solve an important class of large-scale (number of variables between 5000 and 15000) bound-constrained quadratic programming problems with a few (less than 15) iterations." |
| author | = | "J. M. Howie and E. L. Lusk and R. B. McFadden", | |
| title | = | "Combinatorial Results Relating to Products of Idempotents in Finite Full Transformation Semigroups", | |
| journal | = | "Proc. Royal Society of Edinburgh", | |
| volume | = | "115A", | |
| pages | = | "289-299", | |
| year | = | "1990"} |
| author | = | "A. K. Singh and R. Overbeek", | |
| title | = | "Derivations of Efficient Parallel Programs: An Example from Genetic Sequence Analysis", | |
| number | = | "MCS-P104-0989", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " Implementation issues such as synchronization of shared data, implementation of abstract data types, and scheduling of processes are usually not addressed in the formal derivation of parallel programs. Here the authors seek to redress the situation by considering these issues in the context of developing an efficient implementation of an actual parallel program. The computational problem selected was motivated by work in aligning sequences of genetic material. The authors first develop an algorithm in Unity and then investigate the issues that arose in producing an efficient C implementation. Additionally, the authors present some theorems about program refinements and discuss the usefulness of the theorems in the context of refining the original Unity program." |
| author | = | "C. H. Bischof and J. J. Dongarra", | |
| title | = | "A Project for Developing a Linear Algebra Library for High-Performance Computers", | |
| booktitle | = | " Parallel and Vector Supercomputing: Methods and Algorithms", | |
| editor | = | "Graham Carey", | |
| pages | = | "45--56", | |
| piblisher | = | "John Wiley \& Sons", | |
| year | = | "1989", | |
| note | = | "MCS-P105-0989", | |
| Abstract | = | " This paper summarizes the objectives of the LAPACK project, its use of the BLAS and block algorithms, documentation issues, and the programming language and style. The library is intended to be usable on all of the most powerful computers currently available for general-purpose scientific computing." |
| author | = | "C. H. Bischof and J. G. Lewis and D. J. Pierce", | |
| title | = | "Incremental Condition Estimation for Sparse Matrices", | |
| journal | = | "SIAM Journal on Matrix Analysis and Applications", | |
| volume | = | "11", | |
| issue | = | "4", | |
| pages | = | "644--659", | |
| year | = | "1990", | |
| note | = | "MCS-P106-0989", | |
| Abstract | = | " Incremental condition estimation provides an estimate for the smallest singular value of a triangular matrix. In particular, it gives a running estimate of the smallest singular value of a triangular factor matrix as the factor is generated one column or row at a time. An incremental condition estimator for dense matrices was originally suggested by Bischof. In this paper the scheme is generalized to handle sparse triangular matrices, especially those that are factors of sparse matrices. Numerical experiments on a variety of matrices demonstrate the reliability of this scheme in estimating the smallest singular value. A partial description of its implementation in a sparse matrix factorization code further illustrates its practicality.", |
| author | = | "M. Garbey", | |
| title | = | "Asymptotic Analysis of Singular Perturbation Problems Governed by a Conservation Law", | |
| number | = | "MCS-P107-1089", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1989", | |
| Abstract | = | " This paper presents an asymptotic analysis of a quasi-linear parabolic-hyperbolic singular perturbation problem in one dimension. The main part of the analysis concerns the construction of the transition layers and boundary layers associated with the discontinuities of a conservation law. An example is given of an oil problem modeled by Le Fur." |
| author | = | "G. H. Chisholm and J. Kljaich and B. T. Smith and A. S. Wojcik", | |
| title | = | "A Paradigm for Analyzing Independence in System Behavior by Using Formal Methods", | |
| number | = | "MCS-P108-1089", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " This paper introduces a technique based on formal methods, which analyzes dependence by generating dependency lists. Each list represents all the components on which a replicated channel depends for proper operation. The analysis manipulates these lists to determine independence. The technique treats hardware, software, and the interface between them, with the result that the total system can be analyzed with respect to independence properties." |
| author | = | "G. H. Chisholm and B. T. Smith and A. S. Wojcik", | |
| title | = | "Using Formal Methods to Develop a Paradigm for Software Design", | |
| number | = | "MCS-P109-1089", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " This paper is a shortened version of MCS-P108." |
| author | = | "R. L. Stevens", | |
| title | = | "The Interesting Future of Supercomputing", | |
| number | = | "MCS-P110-1189", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " This informal discussion of trends in supercomputing looks briefly at trends in graphics, programming languages, and computer architectures." |
| author | = | "G. H. Chisholm and B. T. Smith and J. Kljaich and A. S. Wojcik", | |
| title | = | "Formal Analysis of Software in a Fault-Tolerant Environment", | |
| number | = | " MCS-P111-1189", | |
| institution | = | "Argonne National Laboratory" | |
| Abstract | = | " This paper describes the application of modeling and analysis techniques to software that is designed to execute on the Charles Stark Draper laboratory Fault-Tolerant Processor (FTP). The software performs sensor validation of independent signals from the Experimental Breeder Reactor-II operated by Argonne. The authors describe an abstraction of the data flow in terms of the specification of a generic application program for the FTP. They prove the fault-tolerance of the application program to hardware and sensor failures, provided that the validation algorithms have a certain generic structure and functionality. Using a more detailed specification of the application software, they also demonstrate that this program satisfies the sufficient conditions developed for the generic program to claim system fault tolerance." |
| author | = | "G. H. Chisholm and B. T. Smith and A. S. Wojcik", | |
| title | = | "An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertion Methods", | |
| number | = | "MCS-P112-1189", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " Proving claims about behavior of software is essential for the qualification of computer-based systems used in the control of nuclear reactors. Here the authors select one of the verification conditions for a C program that initializes an array to zero. They add assertions about the initial conditions and state of the program and about the expected behavior of the program in terms of its state. The modeling and specification technique is the inductive assertion technique of Floyd-Hoare. The program with assertions is then transformed by the source-to-source program transformation system TAMPR into a set of separate verification conditions to be proven by the automated reasoning system." |
| author | = | "M. K. Kwong and P.-Y. Woo and R. Wong", | |
| title | = | "Using MAPLE for Symbolic Computations in Robotics", | |
| number | = | "MCS-P113-1289", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " Programs are presented for deriving forward kinematics, Jacobians, and dynamic equations of robotic manipulators in symbolic closed forms by using the algebraic manipulation software MAPLE. Examples are given, and efficiency of the computations is discussed." |
| author | = | "M. Garbey and H. G. Kaper and G. K. Leaf and B. J. Matkowsky", | |
| title | = | "Using MAPLE for the Analysis of Bifurcation Phenomena in Condensed-Phase Surface Combustion", | |
| journal | = | "J. Symbolic Computation", | |
| volume | = | "12", | |
| year | = | "1991", | |
| pages | = | "89-113", | |
| note | = | "MCS-P114-1189", | |
| Abstract | = | " This article describes the use of the symbolic computation language MAPLE for the analysis of bifurcation phenomena in condensed-phase combustion. The physical problem concerns the structure and stability properties of a combustion front that propagates in the axial direction along the surface of a cylindrical solid fuel element. Experimental observations suggest that the front may propagate in a number of different ways; the objective of the investigation is to describe these different modes. The analysis involves the study of a set of nonlinear partial differential equations which describe the structure and evolution of the combustion front. Because the location of the front is unknown and must be found as part of the solution, the problem is a free boundary problem." |
| author | = | "J. Dongarra and O. Brewer and S. Fineberg and J. A. Kohl", | |
| title | = | "A Tool to Aid in the Design, Implementation, and Understanding of Matrix Algorithms for Parallel Processors", | |
| year | = | "1989", | |
| number | = | "MCS-P115-1189", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " This paper discusses a tool that aids in the design, development, and understanding of parallel algorithms for high-performance computers. The tool provides a vehicle for studying memory access patterns, different cache strategies, and the effects of multiprocessors on matrix algorithms in a Fortran setting. Such a tool puts the user in a better position to understand where performance problems may occur and enhances the likelihood of increasing the program's performance before actual execution on a high-performance computer." |
| author | = | "H. G. Kaper and M. K Kwong", | |
| title | = | "Ground States of Semi-Linear Diffusion Equations", | |
| note | = | "MCS-P116-1189", | |
| booktitle | = | "Differential Equations with Applications in Biology, Physics, and Engineering", | |
| editor | = | "Jerome A. Goldstein and Franz Kappel and Wilhelm Schappacher", | |
| publisher | = | "Marcel Dekker", | |
| address | = | "New York", | |
| year | = | "1991", | |
| pages | = | "219--226", | |
| Abstract | = | " This article is concerned with the uniqueness of nontrivial nonnegative solutions of semilinear diffusion equations in radially symmetric domains." |
| author | = | "M. K. Kwong and L. Zhang", | |
| title | = | "Uniqueness of the Positive Solution of | |
| DELTA u + f(u) | = | 0 in an Annulus", | |
| journal | = | "Diff. and Integral Eqs.", | |
| volume | = | "4", | |
| issue | = | "3", | |
| year | = | "1991", | |
| pages | = | "583--599", | |
| number | = | "MCS-P117-1289", | |
| Abstract | = | " This paper presents an extension of the recent result of Kwong on the uniqueness of the positive radial solution of a semilinear elliptic equation. When reduced to the special case considered by Kwong, the proof is shorter." |
| author | = | "M. K. Kwong", | |
| title | = | "Uniqueness Results for Emden-Fowler Boundary Value Problems", | |
| ijournal | = | "Nonlinear Analysis", | |
| volume | = | "16", | |
| year | = | "1991", | |
| pages | = | "435--454", | |
| note | = | "MCS-P118-0190", | |
| Abstract | = | ' This paper establishes new uniqueness results for boundary value problems of the superlinear Emden-Fowler type, with either a Dirichlet or Neumann condition at each endpoint. The first result extends a known criterion to nonlinear terms that may change sign. The proof uses the theory of differential inequalities, after changing the independent variable to the quantity u." |
| author | = | " N. T. Karonis", | |
| title | = | "Timing Parallel Programs That Use Message Passing", | |
| number | = | "MCS-P119-0190", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " A timing methodology is presented that is capable of accurately determining the execution time of parallel programs, This timing methodology is also capable of acquiring timing data when the number of processes exceeds the number of physical CPUs. Through simulation this methodology also provides a means by which to study the behavior of a parallel program under an arbitrary hardware/software communications configuration." |
| author | = | "D. Solow and R. S. Womersley", | |
| title | = | "A Piecewise Linear Concave Minimization Algorithm for the Linear Complementarity Problem", | |
| number | = | "MCS-P120-0190", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " This paper considers solving the Linear Complementary Problem by finding a global minimizer of a linearly constrained piecewise linear concave function. In contrast to Lemke's algorithm and the principal pivoting algorithms, the algorithm described here finds a feasible point for the linearity constraints first, then works toward satisfying the complementarity condition. Once an extreme point of the feasible region is found, the algorithm moves from one extreme to another while reducing this concave objective." |
| author | = | "A. Jindal and R. Overbeek and W. C. Kabat", | |
| title | = | "Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems", | |
| note | = | "MCS-P121-0190", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "8", | |
| issue | = | "1", | |
| year | = | "1992", | |
| pages | = | "23-38", | |
| Abstract | = | " This paper describes a scheme for parallelizing first-order logic deduction systems. This scheme has been used for parallelizing OTTER. The new program, PARROT-II, has attained real speedups in excess of 20 over the best results of current sequential deduction systems." |
| author | = | "L. M. Ewerbring and F. T. Luk", | |
| title | = | "The HK Singular Value Decomposition of Rank-Deficient Matrix Triplets", | |
| number | = | "MCS-P125-0190", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " This paper focuses on a simultaneous reduction of three matrices. The described method is extended from earlier work by Ewerbring and Luk to include rank-deficient data. it is shown how, via an initial reduction, the problem becomes one of diagonalizing a product of three matrices. Three different algorithms are compared." |
| author | = | "N. R. Nagarajan and A. S. Cullick and A. Griewank", | |
| title | = | "New Strategy for Phase Equilibrium and Critical Point Calculations by Thermodynamic Energy Analysis. Part I. Stability Analysis and Flash", | |
| journal | = | "Fluid Phase Equilibria", | |
| volume | = | "62", | |
| pages | = | "191--210", | |
| year | = | "1991tract=", | |
| note | = | "MCS-P126-0190". The use of equations of state to compute phase behavior of petroleum reservoir fluids and their mixtures with injected fluids is well established in the oil industry. The first step prior to performing a two- or multiphase flash calculation for a reservoir fluid is to determine the stable phase condition of the mixture. The stability analysis presented here is based on work by Michelsen but uses a different set of primary variables, the component molar densities in place of mole numbers of mole fractions to improve the numerical stability of the Newton iterative scheme. The new procedure is especially well suited to predict behavior in the critical region where other methods sometimes face convergence problems." |
| author | = | "N. R. Nagarajan and A. S. Cullick and A. Griewank", | |
| title | = | "New Strategy for Phase Equilibrium and Critical Point Calculations by Thermodynamic Energy Analysis. Part II. Critical Point Calculations,'' | |
| journal | = | "Fluid Phase Equilibria", | |
| volume | = | "62", | |
| pages | = | "211--223", | |
| year | = | "1991", | |
| note | = | "MCS-P127-0190", | |
| Abstract | = | " In enhanced oil recovery processes, miscibility is developed through a multiple contact process via a critical point. Prediction of these critical points is important in modeling the phase behavior of the fluid mixtures for simulating these processes. Tradition equation-of-state prediction of the critical points involves complex computations and is often made difficult because of the extreme sensitivity of fluid properties to small changes in pressure or temperature in the critical region. The authors of this paper present a new strategy for critical point search based on the Gibbs criteria for criticality and thermodynamic energy analysis." ] |
| author | = | "X. Yang and N. J. Zabusky and I-L. Chern", | |
| title | = | "Breakthrough via Dipolar-Vortex/Jet Formation in Shock-Accelerated Density-Stratified Layers'", | |
| number | = | "MCS-P128-0290", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1990", | |
| Abstract | = | " In this paper the authors observe and quantify convective ``breakthrough'' after an inclined planar light fluid layer is struck by a shock wave. The results of direct numerical simulations are interpreted, and a convective breakthrough time is quantified. Initially, vorticity of opposite sign is deposited on each interface of the layer. Breakthrough occurs when these vortex regions approach and bind into a dipolar vortex that moves away from the wall. Variations of the breakthrough time with the Mach number of the incoming shock wave are given." |
| author | = | "J. V. Burke", | |
| title | = | "A Robust Trust Region Method for Constrained Nonlinear Programming Problems", | |
| number | = | "MCS-P131-0190", | |
| year | = | "1990", | |
| Abstract | = | " This paper presents a general framework for trust region algorithms for constrained problems that does not require strong global regularity and that allows very general constraints. The approach is modeled on the one given by Powell for convex composite optimization problems and is driven by linear subproblems that yield viable estimates for the value of an exact penalty parameter. These results are applied to the Wilson-Han-Powell SQP algorithm and Fletcher's algorithm. Local convergence results are also given." |
| author | = | "A. Griewank", | |
| title | = | "Direct Calculation of Newton Steps without Accumulating Jacobians", | |
| booktitle | = | "Large-Scale Numerical Optimization", | |
| editor | = | "Thomas F. Coleman and Yuying Li", | |
| publisher | = | "SIAM", | |
| address | = | 'Philadelphia", | |
| pages | = | "115--137", | |
| year | = | "1990", | |
| note | = | "MCS-P132-0290", | |
| Abstract | = | " In computational practice, nonlinear vector functions whose roots must be calculated are often specified in the form of an evaluation program supplied by the user. This program usually generates a large number of intermediate quantities that are local variables and thus ordinarily not visible to the calling routine. By considering the intermediate quantities as additional independent variables, one obtains an extended nonlinear system, which should be attacked directly for several reasons. First, the extended Jacobian is extremely sparse and can be evaluated at little extra cost simultaneously with the original vector function. Second, any method for computing Newton steps on the original vector function is, in terms of complexity, equivalent to a scheme for solving a linear system in the extended Jacobian. The conditioning of this large sparse matrix reflects not only the stability of the original vector function but also the accuracy of the evaluation algorithm. This allows the design of realistic stopping criteria without user-suplied tolerances." ] |
| author | = | "I-Liang Chern", | |
| title | = | "Multiple-Mode Diffusion Waves for Viscous Nonstrictly Hyperbolic Conservation Laws", | |
| number | = | "MCS-P134-0290", | |
| institution | = | "ARgonne National Laboratory", | |
| year | = | "1990", | |
| Abstract | = | " This paper focuses on the large-time behavior of solutions of viscous conservation laws whose inviscid part is a nonstrictly hyperbolic system. The initial data considered here is a perturbation of a constant state. It is shown that the solutions converge to single-mode diffusion waves in directions of strictly hyperbolic fields, and to multiple-mode diffusion waves in directions of nonstrictly hyperbolic fields. The multiple-mode diffusion waves, which are the new elements here, are the self-similar solutions of the viscous conservation laws projected to the nonstrictly hyperbolic fields, with the nonlinear fluxes replaced by their quadratic parts." |
| author | = | "D. Jacobs and A. Langen and W. Winsborough", | |
| title | = | "Multiple Specialization of Logic Programs with Run-Time Tests", | |
| number | = | "MCS-P135-0290", | |
| year | = | "1990", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " This paper presents a framework for multiple specialization of logic programs that incorporates run-time testing. This framework supports specialization based on a compiler-generated ``wish list'' of requirements that enable useful optimizations. In addition, entry mode declarations are used to restrict the class of reachable activations. Our goal is to generate code containing tests at outer levels of the call tree that guard high-performance specialized procedures that are likely to be called." |
| author | = | "W. McCune", | |
| title | = | "Skolem Functions and Equality in Automated Deduction", Proceedings of the Eighth National Conference on Artificial Intelligence,} | |
| publisher | = | "MIT Press", | |
| address | = | "Cambridge, Mass.", | |
| year | = | "1990", | |
| pages | = | " 246--251", | |
| note | = | "MCS-P136-0290", | |
| Abstrtact | = | ' This paper presents a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to prevent paramodulation into subterms of Skolem expressions. A weak completeness result is presented (the functional reflexive axioms are assumed). Experimental results on problems in set theory, combinatory logic, Tarski geometry, and algebra show that the strategy can be useful when searching for refutations and when applying Knuth-Bendix completion. The emphasis of the paper is on the effectiveness of the strategy rather than on its completeness." |
| author | = | "A. Mulkers and W. Winsborough and M. Bruynooghe", | |
| title | = | "Analysis of Shared Data Structures for Compile-Time Garbage Collection in Logic Programs", | |
| number | = | " MCS-P137-0290", | |
| year | = | "1990", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " One of the central problems in program analysis for compile-time garbage collection is detecting the sharing of term substructure that can occur during program execution. The authors present an abstract domain for representing possibly shared structures and an abstract unification operation based on this domain. When supplied to an abstract interpretation framework, this domain induces a powerful analysis of shared structures." |
| author | = | "I-Liang Chern", | |
| title | = | "Large-Time Behavior of Solutions of Lax-Friedrichs Finite Difference Equations for Hyperbolic Systems of Conservation Laws", | |
| number | = | "MCS-P138-0290", | |
| year | = | "1990", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " This paper focuses on the large-time behavior of discrete solutions of the Lax-Friedrichs finite-difference equations for hyperbolic systems of conservation laws. The initial data considered here is small and tends to a constant state at | |
| x | = | +- infinity. The author shows that the solutions tend to discrete diffusion waves which can be constructed from the self-similar solutions of the heat equation and the Burgers equation through an averaging process." ] |
| author | = | "J. J. More' ", | |
| title | = | "On the Performance of Algorithms for Large-Scale Bound-Constrained Problems", | |
| booktitle | = | "Large-Scale Numerical Optimization", | |
| editor | = | "T. F. Coleman and Y. Li", | |
| publisher | = | "SIAM", | |
| address | = | "Philadelphia", | |
| year | = | "1991", | |
| note | = | "MCS-P140-0290", | |
| pages | = | "32-45", | |
| Abstract | = | " The paper discusses issues that affect the performance of algorithms for the solution of large-scale bound-constrained problems on parallel computers. The discussion centers on the solution of the elastic-plastic torsion problem and the journal bearing problem. These two problems are model large-scale quadratic programming problems that arise as finite element approximations to elliptic variational inequalities. Performance issues are illustrated with the GPCG algorithm of More' and Toraldo. This algorithm uses the gradient projection method to select an active set and the conjugate gradient method to explore the active set defined by the current iterate. Significant improvements in performance are obtained with the GPCG algorithm by using partitioning techniques in a parallel environment. These partitioning techniques lead to almost linear speedups on function-gradient evaluations and Hessian-vector products for partially separable functions." |
| author | = | "G.-Q. chen", | |
| title | = | "Hyperbolic Systems of Conservation Laws with Symmetry", | |
| journal | = | "Communications on PDEs", | |
| volume | = | "16", | |
| pages | = | "1461-1487", | |
| year | = | "1991"} |
| author | = | "G.-Q. Chen", | |
| title | = | "Limit Behavior of Approximate Solutions to Conservation Laws", | |
| number | = | "MCS-P141-0390", | |
| year | = | "1990", | |
| institutin | = | "Argonne National Laboratory", | |
| Abstract | = | " This paper focuses on the limit behavior of approximate solutions to hyperbolic systems of conservation laws. Several mathematical compactness theories and their role are described. Some recent and ongoing developments are reviewed and analyzed." |
| author | = | "H. G. Kaper and M. Knaap and M. K. Kwong" | |
| title | = | "Existence Theorems for Second-Order Boundary Value Problems", | |
| journal | = | "Diff. and Integral Eqs.", | |
| volume | = | "4", | |
| issue | = | "3", | |
| month | = | "May ", | |
| year | = | "1991", | |
| pages | = | "543--554", | |
| note | = | "MCS-P142-0390", | |
| Abstract | = | " This article is concerned with the existence of positive solutions of boundary value problems for nonlinear second-order differential equations that arise, for example, in the study of reaction -diffusion equations in annular regions." |
| author | = | "P. T. P. Tang", | |
| title | = | "Table-driven Implementation of the Expm1 Function in IEEE Floating-Point Arithmetic", | |
| number | = | "MCS-P144-0390", | |
| year | = | "1990", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " Algorithms and implementation details for the Expm1 function in both single and double precision of IEEE 754 arithmetic are presented. With a table of moderate size, the implementations need only working-precision arithmetic and are provably accurate to within 0.58 ulp." |
| author | = | "L. Wos", | |
| title | = | "The Problem of Finding a Semantic Strategy for Focusing Inference Rules", | |
| journal | = | "J. Automated Reasosning", | |
| volume | = | "6", | |
| issue | = | "3", | |
| pages | = | "337-339", | |
| month | = | "August", | |
| year | = | "1990", | |
| note | = | "MCS-P145-0390", | |
| Abstract | = | " The problem posed for research asks one to find semantic criteria for selecting the clauses needed to complete the application of an inference rule. Suggestions for test problems are included." |
| author | = | "H. Zhang", | |
| title | = | "Large-Time Behavior of the Maximal Solution of [the Singular Diffustion] Equation", | |
| number | = | "MCS-P146-0490", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1990", | |
| Abstract | = | " The singular diffusion equation arises in many areas of application. This paper considers the large-time behavior of the solution of a more general equation. It is shown that the solution of the Cauchy problem converges to its corresponding similarity solution as t -> infinity. Moreover, an iteration process is used to obtain the optimal rate of convergence." |
| author | = | "W. D. Gropp and D. E. Keyes", | |
| title | = | "Parallel Performance of Domain-decomposed Preconditioned Krylov Methods for PDEs with Adaptive Refinement", | |
| journal | = | "SIAM Journal on Scientific and Statistical Computing", | |
| volume | = | "13", | |
| year | = | "1992", | |
| pages | = | "128--145", | |
| note | = | "MCS-P147-0490", | |
| Abstract | = | " Numerical experiments are presented on both shared- and distributed-memory computers for convection-diffusion problems at modest Peclet (or Reynolds) numbers, without recirculation. Because of the development of boundary layers, these problems benefit from local mesh refinement, which is straightforward to accommodate within the domain decomposition framework in a locally uniform sense, but which introduces load balancing as a further consideration in choosing the granularity of the preconditioner. In spite of the tradeoffs, cumulative speedups are obtainable out to at least medium-scale granularity (up to 64 processors in the tests reported)." |
| author | = | "C. H. Bischof", | |
| title | = | "A Block QR Factorization Algorithm for Rank-Deficient Matrices", | |
| booktitle | = | "Parallel Processing for Scientific Computing", | |
| editor | = | "Jack J. Dongarra and Paul Messina and Danny C. Sorensen and Robert G. Voigt", | |
| pages | = | "9--14", | |
| publisher | = | "SIAM", | |
| address | = | "Philadelphia", | |
| year | = | "1990"< | |
| note | = | "MCS-P148-0490", | |
| Abstract | = | " This paper presents a new algorithm for computing the QR factorization of a rank-deficient matrix that is well suited for high-performance machines. The traditional QR factorization algorithm with column pivoting is not well suited for such environments, since it precludes the use of matrix-matrix operations. The author suggests a restricted pivoting strategy based on incremental condition estimation which allows one to formulate a block QE factorization logarithm where the bulk of the work is in matrix-matrix operations. Performance results on the CRAY 2, CRAY X-MP, and CRAY Y-MP show that the new algorithm performance significantly better than the traditional scheme and can more than halve the cost of computing the QR factorization." |
| author | = | "H. G. Kaper and M. K. Kwong", | |
| title | = | "A Free Boundary Problem Arising in Plasma Physics", | |
| booktitle | = | "Nonlinear Diffusion Equations and Their Equilibrium States 3", | |
| editor | = | "N. G. Lloyd and W. M. Ni and L. A. Peletier and J. Serrin", | |
| pages | = | "265--274", | |
| publisher | = | "Birkh\"{a}user Verlag", | |
| address | = | "Basel", | |
| year | = | "1992", | |
| note | = | "MCS-P149-0490", | |
| Abstract | = | " This paper is concerned with the existence and uniqueness of free boundary problems for certain differential equations." |
| author | = | "H. G. Kaper and M. K. Kwong", | |
| title | = | "On Two Conjectures concerning the Multiplicity of Solutions of a Dirichlet Problem", | |
| journal | = | "SIAM J. Math. Anal.", | |
| volume | = | :23", | |
| issue | = | "3", | |
| pages | = | "571-578", | |
| year | = | "1992"} |
| author | = | "M. K. Kwong", | |
| journal | = | "Nonlinear Analysis, Theory, Methods and Applications", | |
| title | = | "On the Unboundedness of the Number of Solutions of a Dirichlet Problem", | |
| volume | = | 18", | |
| issue | = | "10", | |
| pages | = | "993-1001", | |
| year | = | "1992"} |
| author | = | "M. K. Kwong", | |
| journal | = | "World Scientific Series in Applicable Analysis", | |
| title | = | "A Dirichlet Problem with Infiinite Multiplicity", | |
| volume | = | 1", | |
| pages | = | "393-402", | |
| year | = | "1992"} |
| author | = | "C. Bischof", | |
| title | = | "Fundamental Linear Algebra Computations on High-Performance Computers", | |
| note | = | 'MCS-P150-0490", | |
| booktitle | = | "Informatik Fachberichte 250 -- Special Issue on Supercomputer'90", | |
| editor | = | "Hans Meuer", | |
| pages | = | "176--182", Springer Verlag, | |
| address | = | Berlin", | |
| year | = | "1990", | |
| Abstract | = | " This paper presents an overview of the LAPACK library, a portable, public-domain library to solve the most common linear algebra problems. This library provides a uniformly designed set of subroutines for solving systems of simultaneous linear equations, least-squares problems, and eigenvalue problems for dense and banded matrices. We elaborate on the design methodologies incorporated to make the LAPACK codes efficient on today's high-performance architectures. In particular, we discuss the use of block algorithms and the reliance on the Basic Linear Algebra Subprograms (BLAS). We present performance results that show the suitability of the LAPACK approach for vector uniprocessors and shared-memory multiprocessors. We also discuss some issues that have to be addressed in implementing such a library on other types of parallel architectures. These issues involve efficient implementations of the BLAS on parallel machines, the proper choice of blocking parameters, and the use of parallelism outside of the BLAS." |
| author | = | "C. H. Bischof and P. G. Lacroute", | |
| title | = | "An Adaptive Blocking Strategy for Matrix Factorizations", | |
| booktitle | = | "Proceedings of CONPAR90/VAPP IV, Lecture Notes in Computer Science 457", | |
| editor | = | "H. Burkhart", | |
| pages | = | "210--221", | |
| publisher | = | "Springer Verlag", | |
| address | = | 'Berlin", | |
| year | = | "1990", | |
| note | = | "MCS-P151-0490", | |
| Abstract | = | " This paper presents an adaptive blocking methodology for determining in a systematic manner an optimal blocking strategy for a uniprocessor machine. The technique is demonstrated on a block QR factorization routine on a uniprocessor. After generating timing models for the high-level kernels of the algorithm, the author shows how one can formulate the optimal blocking strategy in a recurrence relation that can be solved inexpensively with a dynamic programming technique. Experiments of one processor of a CRAY-2 show that this strategy is as good as any fixed-width blocking strategy. Thus, while the optimum fixed-width blocking strategy cannot be determined unless the problem is run several times, adaptive blocking provides optimum performance in the very first run." |
| author | = | "D. C. Sorensen and P. T. P. Tang", | |
| title | = | "On the Orthogonality of Eigenvectors Computed by Divide-and-Conquer Techniques", | |
| journal | = | "SIAM J. Numer. Anal.", | |
| volume | = | "28", | |
| issue | = | "6", | |
| month | = | "December", | |
| year | = | "1991", | |
| pages | = | '1752-1775", | |
| note | = | "MCS-P152-0490", | |
| Abstract | = | " A detailed analysis on the accuracy issues in calculating the eigensystems of rank-1 perturbed diagonal systems is presented. Such calculations are the core of the divide-and-conquer technique. Here the authors prove that the computed eigenvectors are guaranteed orthogonality provided the secular equation is evaluated in a precision that doubles the working one. An efficient algorithm that simulates such ``doubled precision'' in working precision is also provided. Numerical results that confirm the analysis and implementation are presented." |
| author | = | "G.-Q. Chen", | |
| title | = | "The Theory of Compensated Compactness and the System of Isentropic Gas Dynamics", | |
| number | = | "MCS-P154-0590", | |
| year | = | "1990", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | ' Properties of the system of isentropic gas dynamics, especially the behavior of entropy, are analyzed and documented. The Lax-Friedrichs approximations, the Godunov approximations, and the viscosity approximations to the Cauchy problem for the system are constructed; and a compactness framework for these approximations is established with the aid of the theory of compensated compactness. Convergence for the approximations is shown." |
| author | = | "G.-Q. Chen", | |
| title | = | "Global Solutions to the Compressible Navier-Stokes Equations for a Reacting Mixture", | |
| year | = | "1990", | |
| number | = | "MCS-P155-0590", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " In this note the author establishes existence theorems for global generalized solutions to the compressible Navier-Stokes equations for a reacting mixture, which describe dynamic combustion. Equivalence of the Navier-Stokes equations in Euler coordinates and Lagrangian coordinates for the generalized solutions is verified. The asymptotic behavior obtained from impermeable thermally insulated boundaries and prescribed data boundaries is identified and proved." |
| author | = | "M. K. Kwong and Yi Li", | |
| title | = | "Uniqueness of Radial Solutions of Semilinear Elliptic Equations", | |
| number | = | "MCS-P156-0590", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1990", | |
| Abstract | = | " E. Yanaida has proved that the classical Matukuma equation with a given exponent has only one finite mass solution. In this paper the authors show how similar ideas can be exploited to obtain uniqueness results for other classes of equations as well as Matukuma equations with more general coefficients. The key ingredients of the method are energy functions and suitable transformations. Also studied are general boundary conditions, using an extension of a recent result by Bandle and Kwong. Yanaida's proof does not extend to solutions of Matukuma's equation satisfying other boundary conditions." |
| author | = | "Per Christian Hansen", | |
| title | = | "Analysis of Discrete Ill-Posed Problems by Means of the L-Curve", | |
| number | = | "MCS-P157-0690", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1990", | |
| Abstract | = | " When discrete ill-posed problems are analyzed and solved by various numerical regularization techniques, a convenient way to display information about the regularized solution is to plot the norm or seminorm of the solution vs. the norm of the residual vector. In particular, the graph associated with Tikhonov regularization plays a central role. This paper advocates the use of this graph in the numerical treatment of discrete ill-posed problems. The graph is characterized quantitatively, and important relations between regularized solutions and the graph are derived. The authors demonstrate that several methods for choosing the regularization parameter are related to locating a characteristic L-shaped ``corner'' of the graph." |
| author | = | "M. T. Jones and M. L. Patrick", | |
| title | = | "LANZ: Software for Solving the Large Sparse Symmetric Generalized Eigenproblem", | |
| note | = | "MCS-P158-0690", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1990", | |
| Abstract | = | " This paper describes the package LANZ for solving the large sparse symmetric generalized eigenproblem. The package has been tested on four different architectures: Convex 200, CRAY Y-MP, Sun-3, and Sun-4. The package uses a version of Lanczos' method and is based on recent research into solving the generalized eigenproblem." |
| author | = | "M. T. Jones and M. L. Patrick", | |
| title | = | "The Lanczos Algorithm for the Generalized Symmetric Eigenproblem on Shared-Memory Architectures", | |
| journal | = | "Applied Numer. Math.", | |
| volume | = | "12", | |
| year | = | "1993", | |
| pages | = | "377-389"} |
| author | = | "W. D. Gropp and L. C. McInnes and B. F. Smith", | |
| title | = | "Using the Scalable Nonlinear Equations Solvers Package", | |
| number | = | "MCS-TM-193", | |
| year | = | "1995", | |
| institution | = | "Argonne National Laboratory"} |
| title | = | Uniform Strategies: The CADE-11 Theorem Proving Contest", | |
| author | = | :E. L. Lusk and W. W. McCune", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "11", | |
| pages | = | "317-331", | |
| year | = | "1993"} |
| author | = | "E. Lusk", | |
| title | = | "Performance Visaulization for Parallel Programs", | |
| journal | = | "Theoretica Chimica Acta", | |
| volume | = | "84", | |
| issue | = | "4-5", | |
| pages | = | "377-384", | |
| year | = | "1993"} |
| author | = | "M. K. Kwong", | |
| journal | = | "Applied Mathematics and Computation", | |
| title | = | "Sweeping Algorithms for Inverting the Discrete Ginzburg-Landau Operator", | |
| volume | = | 53", | |
| pages | = | "129-150", | |
| year | = | "1993"} |
| author | = | "H. G. Kaper and M. K. Kwong and Y. Li", | |
| title | = | "Symmetry Results for Reaction-Diffusion Equations", | |
| journal | = | "Differential and Integral Eqms.", | |
| volume | = | "6", | |
| issue | = | "5", | |
| year | = | "1993", | |
| pages | = | "1045-1056"} |
| author | = | "M. T. Jones and P. E. Plassmann", | |
| title | = | "Computation of Equilibrium Vortex Structures for Type-II Superconductors", | |
| journal | = | "Intnl. J. Supercomputer Apps.", | |
| volume | = | "7", | |
| issue | = | "2", | |
| year | = | "1993", | |
| pages | = | "129-143"} |
| author | = | "M. T. Jones and M. L. Patrick", | |
| title | = | "Bunch-Kaufman Factorization for Real Symmetric Indefinite Banded Matrices", | |
| journal | = | "SIAM J. Matrix Anal. Appl.", | |
| volume | = | "14", | |
| issue | = | "2", | |
| pages | = | "553-559", | |
| year | = | "1993"} |
| author | = | "J. M. Boyle and T. J. Harmer", | |
| title | = | "A Practical Functional Program for the CRAY X-MP", | |
| journal | = | "Journl of Functional Programming", | |
| volume | = | "2", | |
| issue | = | "1", | |
| pages | = | "81-126", | |
| year | = | "1992", | |
| Abstract | = | " This paper demonstrates how one can have all the advantages of functional programming (correctness, clarity, simplicity, and flexibility) without any sacrifice in performance, even for a scientifically significant computation on a supercomputer. In the example chosen, pure Lisp is used to express the functional specification for a PDE solver. From this specification, an executable Fortran program is produced automatically by means of automated program transformations. The generated program vectorizes on the CRAY X-MP and runs about 13% faster than a hand-written Fortran program for the same problem." |
| author | = | "R. Veroff and L. Wos", | |
| title | = | "The Linked Inference Principle, I: The Formal Treatment", | |
| note | = | "MCS-P160-0690", | |
| journal | = | "Journal of Automated Reasoning", | |
| volume | = | "8', | |
| issue | = | '2", | |
| pages | = | "213-274", | |
| month | = | "April", | |
| year | = | "1992", | |
| Abstract | = | " This paper presents a detailed, formal treatment of the linked inference principle. The principle is applied to obtain the abstract formulations of various linked inference rules. Included among such rules are linked UR-resolution, linked hyperresolution, and linked binary resolution, each of which generalized the corresponding standard and well-known inference rule. In addition to the formalism, the paper focuses on the motivation and objectives for the formulation of linked inference rules. Included are experimental results and numerous examples." |
| author | = | "K. W. Dritz", | |
| title | = | "Ada Solutions to the Salishan Problems", | |
| book | = | "A Comparative Study of Parallel Programming Languages: The Salishan Problems", | |
| editor | = | "J. T. Feo", | |
| publisher | = | "Elsevier", | |
| year | = | "1992", | |
| pages | = | "9-92" } |
| author | = | "G.-Q. Chen and A. Rustichini", | |
| title | = | "Global Solutions to a System of Conservation Laws and Nonzero Sum Dynamic Games'", | |
| number | = | "MCS-P161-0790", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " This paper uses techniques for solving solutions of systems of conservation law to solve a problem in game theory. At the same time, it provides an example of an interesting new application for the theory of systems of conservation laws. Specifically, the paper extends the idea of viscosity solutions to nonzero sum differential games. The extensions provide a sound way of defining the concept of value for a nonzero sum game. They also provide a criterion for selecting among the possible equilibria of the deterministic game." |
| author | = | "S. J. Wright", | |
| title | = | "An Interior-Point Algorithm for Linearly Constrained Optimization", | |
| year | = | "1990", | |
| institution | = | "Argonne National Laboratory", | |
| note | = | 'MCS-P162-0790", | |
| Abstract | = | " The author describes an algorithm for optimization of a smooth function subject to general linear constraints. An algorithm of the gradient projection class will be used, with the important feature that the projection at each iteration is performed by using a primal-dual interior point method for convex quadratic programming. Convergence properties can be maintained even if the projection is done inexactly in a well-defined way. Higher-order derivative information on the manifold defined by the apparently active constraints can be used to increase the rate of local convergence." |
| author | = | "I. Foster and R. Overbeek", | |
| title | = | "Bilingual Parallel Programming", | |
| booktitle | = | "Proceedings of the 3rd Workshop on Parallel Languages and Compilers", | |
| publisher | = | 'MIT Press", | |
| year | = | "1990", | |
| note | = | "MCS-P163-0790", | |
| Abstract | = | ' This paper presents an approach to parallel programming based on bilingual programming. The key is to construct the upper levels of applications in a high-level language while coding selected low-level components in low-level languages. This approach permits the advantages of a high-level notation--expressiveness, elegance, and conciseness--to be obtained without the cost in performance normally associated with high-level approaches. In addition, it provides a natural framework for reusing existing code." |
| author | = | "D. G. Szyld and M. T. Jones", | |
| title | = | "Two-Stage and Multi-Splitting Methods for the Parallel Solution of Linear Systems", | |
| number | = | "MCS-P165-0790", | |
| year | = | "1990", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " A two-stage multi-splitting method for the parallel solution of linear systems is presented. The method reduces to each of the others in specific cases. Conditions for convergence are given. In the case of a multi-splitting method related to block Jacobi, the method is equivalent to a two-stage method with only one iteration per outer iteration. A fixed number p of iterations of this method is compared with a two-stage method with a p inner iterations. The asymptotic rate of convergence of the first method is faster, but--depending on the structure of the matrix and the parallel architecture--it takes more time to converge. Numerical experiments are presented for illustration." |
| author | = | "G. M. Shroff and C. H. Bischof", | |
| title | = | "Adaptive Condition Estimation for Rank-One Updates of QR Factorizations", | |
| journal | = | "SIAM Journal on Matrix Analysis and Applications", | |
| year | = | "1992", | |
| volume | = | "13", | |
| issue | = | "4", | |
| pages | = | "1264-1278", | |
| Abstract | = | " In this paper the authors consider general (i.e., nonsymmetric) matrices undergoing rank-one changes and develop an adaptive condition estimation algorithm GRACE to monitor the condition number of the matrices during the update process. The algorithm requires only O(n) overhead beyond the cost of updating the QR factorization. Potential numerical difficulties of the algorithm are analyzed, and modifications are presented to overcome these difficulties. The paper includes experimental results that demonstrate that GRACE works well in practice." |
| author | = | "R. M. M. Mattheij and S. J. Wright", | |
| title | = | "Parallel Stable Compactification for ODE with Parameters and Multipoint Coditions", | |
| journal | = | "Applied Num. Math.", | |
| volume | = | "13", | |
| year | = | "1993", | |
| pages | = | "305-333"} |
| author | = | "C. H. Bischof and C.-T. Pan and P. T. P. Tang", | |
| title | = | "Stable Cholesky Up- and Downdating Algorithms for Systolic and SIMD Architectures", | |
| journal | = | "SIAM J. Sci. Comput.", | |
| volume | = | "14", | |
| issue | = | " 3", | |
| month | = | "May", | |
| year | = | "1993", | |
| pages | = | '670--676", | |
| note | = | "MCS-P167-0790", | |
| Abstract | = | " This paper presents a stable algorithm for maintaining Cholesky factors of symmetric positive definite matrices under arbitrary rank-one changes. The algorithm is well suited for implementation on systolic arrays and SIMD architectures. By exploiting the similarity between the downdating algorithm recently suggested by Pan and the updating algorithm suggested by Carlson, one can derive an algorithm where up- and downdates can be pipelined. Implementation results on the 1024-processor AMT DAP 510 emphasize the simplicity and practicality of the proposed scheme." |
| author | = | "M. T. Jones and P. E. Plassmann", | |
| title | = | "A Parallel Graph Coloring Heuristic", | |
| journal | = | "SIAM J. Sic. Comput.", | |
| volume | = | "14", | |
| issue | = | "3", | |
| pages | = | "654-669", | |
| year | = | "1993"} |
| author | = | "W. J. Cody", | |
| title | = | "Algorithm 715: SPECFUN - A Portable FORTRAN package of Special Function Routines and Test Drivers", | |
| journal | = | "ACM TOMS", | |
| volume | = | "19", | |
| issue | = | "1", | |
| year | = | "1993", | |
| pages | = | "22-32"} |
| author | = | "W. J. Cody", | |
| title | = | "CELEFUNT: A Portable Test package for Complex Elementary Functions", | |
| journal | = | "ACM TOMS", | |
| volume | = | "19", | |
| issue | = | "1", | |
| year | = | "1993", | |
| pages | = | "1-21"} |
| title | = | "Spectral viscosity Approximations to Multidimensional Scalar conservation Laws", | |
| journal | = | "Math. Computation", | |
| volume | = | "61", | |
| pages | = | "629-643", | |
| year | = | "1993", | |
| author | = | "G.-Q Chen and Q. Du and E. Tadmor"} |
| author | = | "C. Bishcof and G. Corliss and A. Griewank", | |
| title | = | "Structured Second- and Higher-Order Derivatives through Univariate Taylor Series", | |
| journal | = | "Optimization Methods and Software", | |
| volume | = | "2", | |
| year | = | "1993", | |
| pages | = | "211-232"} |
| title | = | "A Relaxed Reduced Space SQP Strategy for Dynamic Optimization Problems", | |
| journal | = | "Computers and Chemical Engineering", | |
| volume | = | "17", | |
| issue | = | "4", | |
| page | = | "367", | |
| year | = | "1993", | |
| author | = | "J. S. Logsdon ad L. T. Biegler"} |
| author | = | "S. Winker and R. Overbeek and C. R. Woese and G. J. Olsen and N. Pfluger", | |
| title | = | "Structure Detection through Automated Covariance Search", | |
| journal | = | "CABIOS", | |
| volume | = | " 6", | |
| year | = | "1990", | |
| pages | = | "365--371", | |
| note | = | "MCS-P168-0890", | |
| Abstract | = | " This paper summarizes the authors' investigations into the computational detection of secondary and tertiary structure of ribosomal RNA. They have developed a new automated procedure that not only identifies potential secondary and tertiary structural interactions, but also provides the covariation evidence that supports the proposed bondings, and any counterevidence that can be detected in the known sequences. A small number of previously unknown higher-order structural features have been detected in individual RNA molecules (16S rRNA and 7S RNA) through the use of this automated procedure." |
| author | = | "C. R. Woese and S. Winker and R. R. Gutello", | |
| title | = | "The Architecture of Ribosomal RNA: Constraints on the Composition of Tetra-loops", | |
| number | = | "MCS-P169-0890", | |
| year | = | "1990", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " The four base loops that cap many double helical structures in ribosomal RNA (the so-called ``tetra-loops'') exhibit highly invariant to highly variable compositions depending upon their location in the molecule. However, in the vast majority of these cases the composition of a tetra-loop is independent of its location and conforms to one of three general motifs: GNRA, UNCG, and (more rarely) CUUG. For the most frequently varying of the 16S rRNA tetra-loops, that at position 83 (E. coli) numbering), the three sequences CUUG, UUCG, and GCAA account for almost all the examples encountered; and each of them has independently arisen at least a dozen times. The closing base pair of tetra-loop hairpins reflects the loop composition: tending to be C:G for UUCG loops and G:C for CUUG loops." |
| author | = | "M. Garbey and H. G. Kaper and M. K. Kwong", | |
| title | = | "Symbolic Manipulation Software and the Study of Differential Equations", {Asymptotic Analysis and Numerical Methods for Partial Differential Equations", | |
| editors | = | "M. Garbey and H. G. Kaper", | |
| pages | = | "241--265", | |
| publisher | = | "Marcel Dekker", | |
| address | = | "New York", | |
| year | = | "1991", | |
| Abstract | = | " | |
| number | = | "MCS-P170-0890. In this note, the authors describe some of their experiences with symbolic manipulation software for the analysis of differential equations. They give several examples from their work on semilinear diffusion equations and from a bifurcation analysis of a nonlinear problem in combustion." |
| author | = | "A. W. Bojanczyk and M. Ewerbring and F. T. Luk and P. Van Dooren", ``An Accurate Product SVD Algorithm", | |
| number | = | "MCS-P171-0890", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1990", | |
| Abstract | = | " The authors propose a new algorithm for computing a singular value decomposition of a product of three matrices. The algorithm is numerically desirable in that all relevant residual elements are numerically small." |
| author | = | "B. M. Averick and R. C. Carter and J. J. More'", | |
| title | = | "The MINPACK-2 Test Problem Collection", | |
| number | = | "ANL/MCS-TM-150", | |
| month | = | "October", | |
| year | = | "1991", |
| author | = | "B. M. Averick and J. J. More'", | |
| title | = | "User Guide for the MINPACK-2 Test Problem Collection", | |
| number | = | "ANL/MCS-TM-157", | |
| month | = | "October", | |
| year | = | "1991", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " The Army High Performance Computing Research Center at the University of Minnesota and the MCS Division at Argonne are collaborating on the development of the software package MINPACK-2. As part of the project, they are developing a collection of significant optimization problems to serve as test problems for the package. This report describes the software associated with the preliminary version of the MINPACK-2 test problem collection. The discussion centers on the description of subroutine parameters, but additional information on the implementation of these subroutines is also provided. The information in this report should be sufficient to use these subroutines for testing and evaluating software.", | |
| note | = | "ftp://info.mcs.anl.gov/pub/tech\_reports/reports/TM157.ps.Z} |
| author | = | "C. Bischof and J. Hu", | |
| title | = | "Utilities for Building and Optimizing a Computational Graph for Algorithmic Decomposition", | |
| number | = | "ANL/MCS-TM-148", | |
| month | = | "January", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1991", | |
| Abstract | = | " This document describes a utility to construct and evaluate an optimized execution graph from the tapefile generated by the ADOL-C automatic differentiation software. It describes the format of the ADOL-C tapefile, the data structures used in building and storing the graph, and the optimizations performed in transforming the computation trace stored in the tape into an efficient graph representation. In particular, we eliminate assignments, increase granularity by ``hoisting'' chains of unary operations, and remove so-called dead roots -- intermediate values that have no influence on the dependent. Examples show that the optimized graphs contain up to 50\% fewer nodes than a graph that would be an exact analogue of the ADOL-C tape. We also describe an attempt at generating compiled code for the graph evaluation as an alternative to interpretative approaches to evaluating the graph.", | |
| note | = | "ftp://info.mcs.anl.gov/pub/tech\_reports/reports/TM148.ps.Z"} |
| author | = | "I. Foster and E. Tick", | |
| title | = | "Proceedings of the Workshop on Compilation of (Symbolic) Languages for Parallel Computers", | |
| number | = | "ANL-91/34", | |
| month | = | "November", | |
| year | = | "1991", | |
| Abstrtact | = | " This report comprises the abstracts and papers for the talks presented at the Workshop on Compilation of (Symbolic) Languages for Parallel Computers held October 31-November 1, 1991, in San Diego. The goal of the workshop was to bring together researchers from different disciplines with common problems in compilation. In particular, the organizers wished to encourage interaction between researchers working in compilation of symbolic languages and those working on compilation of conventional, imperative languages. This workshop was a first step at opening up discussions and contributing to the solution of problems in language compilation for parallel computers.} |
| author | = | "I. Foster and S. Tuecke", | |
| title | = | "Parallel Programming with PCN", | |
| number | = | "ANL-91/32 - rev. 1", | |
| month | = | "December", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1991", | |
| Abstract | = | " This document provides all the information required to develop parallel programs with the PCN programming system. It includes both tutorial and reference material. It also presents the basic concepts that underlie PCN, particularly where these are likely to be unfamiliar to the reader, and provides pointers to other documentation on the PCN language, programming techniques, and tools." | |
| note | = | "ftp://info.mcs.anl.gov/pub/tech\_reports/reports/ANL9132.ps.Z"} |
| author | = | "Ian Foster and Steve Tuecke and Stephen Taylor", | |
| title | = | "A Portable Run-Time System for PCN", | |
| number | = | "ANL/MCS-TM-137 - rev. 1", | |
| month | = | "December", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1991", | |
| Abstract | = | " This report describes a run-time system to support Program Composition Notation (PCN), a high-level concurrent programming notation. The run-time system is described in terms of an abstract machine. We specify an abstract architecture that represents the state of a PCN computation and executes abstract machine instructions that encode tests on or modifications to the computation state. Programs to be executed on the abstract machine are encoded as seq uences of abstract machine instructions. The abstract machine may be implemented by an emulator written in a low-level language. Alternatively, sequences of abstract machine instructions may be further compiled to machine code. The run-time system is designed to run on uniprocessors, multiprocessors, and multicomputers.", | |
| note | = | "ftp://info.mcs.anl.gov/pub/tech\_reports/reports/TM137.ps.Z"} ANL/MCS-TM-137. |
| author | = | "W. W. McCune", | |
| title | = | "Proofs for Group and Abelian Groups Single Axioms", | |
| number | = | "ANL/MCS-TM-16a", | |
| month | = | "October", | |
| year | = | "1991", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " This memorandum serves as a companion to the paper "Single axioms for groups and Abelian groups with various operations." That paper presents single axioms for groups and Abelian groups in terms of {product, inverse}, {division}, {double division, identity}, {double division, inverse}, {division, identity}, and {division, inverse}. Proofs that were omitted from that paper are presented here.", | |
| note | = | "ftp://info.mcs.anl.gov/pub/tech\_reports/reports/TM156.ps.Z"} |
| author | = | "R. Olson", | |
| title | = | "Using host-control", | |
| number | = | "ANL/MCS-TM-154", | |
| month | = | "October", | |
| year | = | "1991", | |
| institution | = | "Argonne National Laboratory", | |
| Abstract | = | " The utility host-control conveniently configures a set of machines for use with the networked version of PCN. It enables the user to specify exactly how PCN is to be run on each node, and it allows for easy control of runaway PCN nodes. This document provides the information needed for a new user to get started with host-control. It also provides the advanced user with the information needed to get around more difficult problems in a networked PCN configuration.", | |
| note | = | "ftp://info.mcs.anl.gov/pub/tech\_reports/reports/TM154.ps.Z"} |
| author | = | "R. C. Taylor", | |
| title | = | "Automated Insertion of Sequences into a Ribosomal Alignment: An Application of Computational Linguistics in Molecular Biology", | |
| number | = | "ANL-91/29", | |
| month | = | "November", | |
| year | = | "1991", | |
| Abstract | = | " This thesis involved the construction of (1) a grammar that incorporates knowledge on base invariancy and secondary structure in a molecule, and (2) a parser engine that uses the grammar to position bases into the structural subunits of the molecule. These concepts were combined with a novel pinning technique to form a tool that semi-automates insertion of a new species into the alignment for the 16S rRNA molecule (a component of the ribosome) maintained by Dr. Carl Woese's group at the University of Illinois at Urbana. The tool was tested on species extracted from the alignment and on a group of entirely new species. The results were very encouraging, and the tool should be of substantial aid to the curators of the 16S alignment. The construction of the grammar was automated, allowing application of the tool to alignments for other molecules. The logic programming language Prolog was used to construct all programs involved. The computational linguistics approach used here was found to be a useful way to attack the problem of insertion into an alignment.} |
| author | = | "C. Bischof and Andreas Griewank and David Juedes", | |
| title | = | "Exploiting Parallelism in Automatic Differentiation", | |
| booktitle | = | "Proceedings of the 1991 International Conference on Supercomputing", | |
| editors | = | "E. Houstis and Y. Muraoka", | |
| pages | = | "136--143", | |
| publisher | = | "ACM Press", | |
| address | = | "Baltimore", | |
| year | = | "1991", | |
| Abstract | = | " The numerical methods employed in the solution of many scientific computing problems require the computation of first- or second-order derivatives of a function f: $R^n$ -> $R^m$. We present an approach that, given a serial C program for the computation of f(x), derives a parallel execution schedule for the computation of f and its derivatives in a completely automatic fashion. This is achieved by overloading the computation of f(x) in C++ to obtain a trace of the computations to be performed and then transforming this trace into a data flow graph for the computation of f(x). In addition to the computation of f(x), this graph also allows us to exactly and inexpensively compute derivates of f by the repeated use of the chain rule. Parallelism is exploited in two ways: rows or columns of derivative matrices can be computed by independent passes through the computational graph, and parallelism within the processing of this computational graph can be exploited by processing independent subgraphs concurrently. We present experimental results that show that good performance on shared-memory machines can be obtained by using a graph interpreter approach. We then present some ideas that are currently under development for improving computational granularity and for implementing parallel automatic differentiation schemes in a portable and more efficient fashion.", | |
| note | = | "ftp://info.mcs.anl.gov/pub/tech\_reports/reports/P204.ps.Z"} |
| author | = | "M. T. Jones and P. E. Plassmann", | |
| title | = | "An Improved Incomplete Cholesky Factorization", | |
| journal | = | "ACM Transactions on Mathematical Softwarez", | |
| volume | = | "21", | |
| issue | = | "1", | |
| month | = | "March", | |
| year | = | "1995", | |
| pages | = | "5--17", | |
| Abstract | = | ' Incomplete factorization has been shown to be a good preconditioner for the conjugate gradient method on a wide variety of problems. It is well known that allowing some fill-in during the incomplete factorization can significatnly reduce the number of iterations needed for convergence. Allowing fill-in, however, increases the time for the factorization and for the triangular system solutions. Additionally, it is difficult to predict a priori how much fill-in to allow and how to allow it. the unpredictability of the required storage/work and the unknown benefits of the additional fill-in make such strategies impractical to use in many situations. In this article we motivate, and then present, two ``black-box'' strategies that significantly increase the effectiveness of incomplete Cholesky factorization as a preconditioner. These strategies require no parameters from the user and do not increase the cost of the triangular system solutions. Efficient implementations for these algorithms are described. These algorithms are shown to be successful for a variety of problems from the Harwell-Boeing sparse matrix collection.", | |
| note | = | "ftp://info.mcs.anl.gov/pub/tech\_reports/reports/P206.ps.Z"} |
| author | = | "F. V. atkinson and H. G. Kaper and M. K. Kwong", | |
| journal | = | "Methods and Applications of Analysis", | |
| volume | = | "2", | |
| issue | = | "4", | |
| year | = | "1995", | |
| pages | = | "466-474"} |
| author | = | "W. W. McCune", | |
| title | = | "Single Axioms for the Left Group and Right Group Calculi", | |
| journal | = | "Notre Dame Journal of Formal Logic", | |
| volume | = | "34", | |
| issue | = | "1", | |
| year | = | "1993", | |
| pages | = | "132--139", | |
| Abstract | = | " This article is on axiomatizations of the left gruop calculus and of the right group calculus. The axiomatizations use modus ponens rather than equality substitution as the inference rule. The structures being axiomatized are ordinary free group, and the sole operation is division. Previous axiomatizations are due to J. A. Kalman. The article contains single axioms and other simple axiomatizations of the two calculi. An automated theorem-proving program was used extensively to find candidate axiomatizations and to find proofs that candidates are in fact axiomatizations.", | |
| notte | = | "ftp://info.mcs.anl.gov/pub/tech\_reports/reports/P219.ps.Z"} |
| author | = | "G. Corliss", | |
| title | = | "Automatic Differentiation Bibliography", | |
| number | = | "ANL/MCS-TM-167", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1992"} |
| author | = | "G. Corliss", | |
| title | = | "ADIFOR Working Note No. 10: ADIFOR Case Study", | |
| number | = | "ANL/MCS-TM-168", | |
| institution | = | "Argonne National Laboratory", | |
| year | = | "1992"} |
| author | = | " W. W. McCune", | |
| title | = | "Automated Discovery of New Axiomatizations of the Left Group and Right Group Calculi", | |
| journal | = | "J. Automated Reasoning", | |
| volume | = | "9", | |
| year | = | "1992", | |
| pages | = | "1--24", | |
| Abstract | = | " This paper shows how the automated theorem-proving program OTTER was used to di |