Mathematics

College of Sciences

Works Published in 1993

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.

By: A. Diaz, M. Hitz, E. Kaltofen, A. Lobo & T. Valente

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.

By: H. Tran, J. Scroggs & K. Bachmann

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.

By: K. Bachmann, G. Xing, J. Scroggs, H. Tran, K. Ito, H. Castleberry, G. Wood

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.

By: H. Banks, H. Tran & D. Woodward

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).

By: H. Hong, A. Neubacher & W. Schreiner

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).

By: W. Schreiner & H. Hong

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).

By: H. Hong

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.

By: H. Hong

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.

By: H. Hong

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).

By: H. Hong

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.

By: H. Hong

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.

By: W. Schreiner & H. Hong

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.

By: D. Schaeffer & M. Shearer

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.

By: M. Shearer & D. Schaeffer

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.

By: D. Schaeffer, S. Schecter & M. Shearer

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

By: P. Combettes & T. Chaussalet

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