College of Sciences

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

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

1993 journal article

Nonstrictly Hyperbolic Conservation Laws with a Parabolic Line

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

Sources: Crossref, ORCID

Added: September 14, 2020

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

Source: NC State University Libraries

Added: September 8, 2020

1993 chapter

Estimation en présence de modèles incertains: sélection de formulations ensemblistes

In *Actes du Quatorzième Colloque GRETSI* (pp. 205–208). Retrieved from http://hdl.handle.net/2042/12154

Event: Actes du Quatorzième Colloque GRETSI at Juan-les-Pins, France on September 13-16, 1993

Source: NC State University Libraries

Added: September 8, 2020

1993 chapter

Analysis of Coppersmith's block Wiedemann algorithm for the parallel solution of sparse linear systems

In *Applied Algebra, Algebraic Algorithms and Error-Correcting Codes* (pp. 195–212).

Source: Crossref

Added: August 28, 2020

1993 journal article

Direct proof of a theorem by Kalkbrener, Sweedler, and Taylor

*ACM SIGSAM Bulletin*, *27*(4), 2.

Source: Crossref

Added: August 28, 2020