College of Sciences

Displaying works **1 - 20** of **47** in total

Sorted by most recent date added to the index first, which may not be the same as publication date order.

1993 journal article

On a Multivariate Eigenvalue Problem, Part I: Algebraic Theory and a Power Method

*SIAM Journal on Scientific Computing*, *14*(5), 1089–1106.

Source: ORCID

Added: August 13, 2023

1993 journal article

The stability group of symmetric Toeplitz matrices

*Linear Algebra and Its Applications*, *185*(C), 119–123.

Source: ORCID

Added: July 4, 2023

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

Source: NC State University Libraries

Added: March 26, 2022

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

Source: NC State University Libraries

Added: March 26, 2022

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

Source: NC State University Libraries

Added: December 28, 2021

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

Source: Crossref

Added: June 15, 2021

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

Source: NC State University Libraries

Added: January 13, 2021

1993 journal article

Heteroepitaxy of Wide Bandgap Ternary Semiconductors

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

Sources: Crossref, ORCID

Added: December 24, 2020

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.

Sources: Crossref, ORCID

Added: December 24, 2020

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

Source: ORCID

Added: November 6, 2020

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

Source: ORCID

Added: November 6, 2020

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

Source: ORCID

Added: November 6, 2020

1993 journal article

Special Issue Editorial: Computational Quantifier Elimination

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

Source: ORCID

Added: November 6, 2020

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

Source: ORCID

Added: November 6, 2020

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

Source: ORCID

Added: November 6, 2020

1993 journal article

Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants

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

Source: ORCID

Added: November 6, 2020

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

Source: ORCID

Added: November 6, 2020

1993 journal article

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

*FEMS Microbiology Letters*.

Source: ORCID

Added: November 4, 2020

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.

Sources: Crossref, ORCID

Added: September 14, 2020

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.

Sources: Crossref, ORCID

Added: September 14, 2020