Mathematics

Dynamic parallel evaluation of computation DAGs

In J. Reif (Ed.), Synthesis of Parallel Algorithms (pp. 723–758). San Mateo, California: Morgan Kaufmann Publishers.

Computational differentiation and algebraic complexity theory

In C. H. Bischof, A. Griewank, & P. M. Khademi (Eds.), Workshop Report on First Theory Institute on Computational Differentiation (Technical Report No. ANL/MCS-TM-183; pp. 28–30). Argonne, Illinois: Argonne National Laboratory.

ADI methods for heat equations with discontinuities along an arbitrary interface

In W. Gautschi (Ed.), Proceedings of Symposia in Applied Mathematics (Vol. 48, pp. 311–315). Providence, Rhode Island: AMS.

Process scheduling in DSC and the large sparse linear systems challenge

Design and Implementation of Symbolic Computation Systems (DISCO 1993), 66–80.

Modeling of Flow Dynamics and its Impact on the Optimal Reactor Design Problem

Proceeding of 1992 AMS-IMS-SIAM Summer Research Conference on Control and Identification of Partial Differential Equations, 1–13.

Heteroepitaxy of Wide Bandgap Ternary Semiconductors

Japanese Journal of Applied Physics, 32(S3), 133.

Estimation of Variable Cefficients in the Fokker–Planck Quations Using Moving Node Finite Elements

SIAM Journal on Numerical Analysis, 30(6), 1574–1602.

The Design of the SACLIB/PACLIB Kernels

In A. Miola (Ed.), Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings (Vol. 722, pp. 288–302).

The Design of the PACLIB Kernel for Parallel Algebraic Computation

In J. Volkert (Ed.), Parallel Computation, Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993, Proceedings (Vol. 734, pp. 204–218).

Parallelization of Quantifier Elimination on a Workstation Network

In G. D. Cohen, T. Mora, & O. Moreno (Eds.), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993, Proceedings (Vol. 673, pp. 170–179).

Special Issue Editorial: Computational Quantifier Elimination

Comput. J., 36(5), 399.

RISC-CLP (Real): Logic Programming with Non-Linear Constraints over the Reals

In Constraint Logic Programming: Selected Research (pp. 133–159). Cambridge, MA, USA: MIT Press.

Quantifier elimination for formulas constrained by quadratic equations

In M. Bronstein (Ed.), Proceedings of the 1993 international symposium on Symbolic and algebraic computation - ISSAC '93 (pp. 264–274).

Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants

The Computer Journal, 36(5), 439–449.

A New Library for Parallel Algebraic Computation

In R. F. Sincovec, D. E. Keyes, M. R. Leuze, L. R. Petzold, & D. A. Reed (Eds.), Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, PPSC 1993, Norfolk, Virginia, USA, March 22-24, 1993 (pp. 776–783). SIAM.

AN INEXPENSIVE INFRARED GROWTH SENSOR ARRAY FOR DETECTION OF BACTERIAL ANTIBIOTIC SUSCEPTIBILITY

FEMS Microbiology Letters.

Unloading near a shear band: a free boundary problem for the wave equation

Communications in Partial Differential Equations, 18(7-8), 1271–1298.

The Initial Value Problem for a System Modelling Unidirectional Longitudinal Elastic-Plastic Waves

SIAM Journal on Mathematical Analysis, 24(5), 1111–1144.

Nonstrictly Hyperbolic Conservation Laws with a Parabolic Line

Journal of Differential Equations, 103(1), 94–126.

A simultaneous projection method for inconsistent signal and image feasibility problems

Proceedings of the Eighth IEEE Workshop on Image and Multidimensional Signal Processing, 32–33.