College of Sciences
Displaying works 1 - 20 of 45 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
1993 chapter
Dynamic parallel evaluation of computation DAGs
In J. Reif (Ed.), Synthesis of Parallel Algorithms (pp. 723–758). San Mateo, California: Morgan Kaufmann Publishers.
Ed(s): J. Reif
1993 report
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.
Ed(s): C. Bischof, A. Griewank & P. Khademi
1993 conference paper
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.
Ed(s): W. Gautschi
1993 conference paper
Process scheduling in DSC and the large sparse linear systems challenge
Design and Implementation of Symbolic Computation Systems (DISCO 1993), 66–80.
Event: Design and Implementation of Symbolic Computation Systems International Symposium, DISCO '93 at Gmunden, Austria on September 15-17, 1993
1993 journal article
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.
Event: AMS-IMS-SIAM Summer Research Conference on Control and Identification of Partial Differential Equations
1993 journal article
Heteroepitaxy of Wide Bandgap Ternary Semiconductors
Japanese Journal of Applied Physics, 32(S3), 133.
1993 journal article
Estimation of Variable Cefficients in the Fokker–Planck Quations Using Moving Node Finite Elements
SIAM Journal on Numerical Analysis, 30(6), 1574–1602.
1993 conference paper
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).
Ed(s): A. Miola
1993 conference paper
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).
Ed(s): J. Volkert
1993 conference paper
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).
Ed(s): G. Cohen, T. Mora & O. Moreno
1993 journal article
Special Issue Editorial: Computational Quantifier Elimination
Comput. J., 36(5), 399.
1993 chapter
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.
Event: at Cambridge, MA, USA
1993 conference paper
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).
Ed(s): M. Bronstein
1993 journal article
Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
The Computer Journal, 36(5), 439–449.
1993 conference paper
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.
Ed(s): R. Sincovec, D. Keyes, M. Leuze, L. Petzold & D. Reed
1993 journal article
AN INEXPENSIVE INFRARED GROWTH SENSOR ARRAY FOR DETECTION OF BACTERIAL ANTIBIOTIC SUSCEPTIBILITY
FEMS Microbiology Letters.
1993 journal article
Unloading near a shear band: a free boundary problem for the wave equation
Communications in Partial Differential Equations, 18(7-8), 1271–1298.
1993 journal article
The Initial Value Problem for a System Modelling Unidirectional Longitudinal Elastic-Plastic Waves
SIAM Journal on Mathematical Analysis, 24(5), 1111–1144.
1993 journal article
Nonstrictly Hyperbolic Conservation Laws with a Parabolic Line
Journal of Differential Equations, 103(1), 94–126.
1993 conference paper
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.
Event: Proceedings of the Eighth IEEE Workshop on Image and Multidimensional Signal Processing at Cannes, France on September 8-10, 1993