Works Published in 1993
Displaying works 1 - 20 of 48 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
1993 report
On the differential equation dX dt = [X; k(X)] where k is a Toeplitz annihilator
[Preprint].
Source: NC State University Libraries
Added: October 12, 2023
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.
TL;DR:
A convergence property of Horst’s method by forming it as a generalization of the so-called power method is then proved and a closed form on the cardinality of solutions for the multivariate eigenvalue problem is first proved.
(via Semantic Scholar)
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.
Contributors: M. Chu n
doi.org (publisher)
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
TL;DR:
An algorithm is implemented that can prove a number of more than 1,000 decimal digits prime in about 2 months elapsed time on some 20 computers and a parallel version of a sparse linear system solver is used to compute the solution of sparse linear systems over finite fields.
(via Semantic Scholar)
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.
author keywords: HETEROEPITAXY; I-III-VI(2)COMPOUNDS; II-IV-V(2)COMPOUNDS; MOCVD; MBE; LPE; HALIDE TRANSPORT
UN Sustainable Development Goal Categories
7. Affordable and Clean Energy
(Web of Science)
Sources: Crossref, NC State University Libraries
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.
author keywords: FOKKER-PLANCK EQUATION; PARAMETER IDENTIFICATION; MOVING FINITE ELEMENTS; CONVERGENCE THEORY
Sources: Crossref, NC State University Libraries
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
TL;DR:
An algorithm is given for constructing a quantifier free formula (a boolean expression of polynomial equations and inequalities) equivalent to a given formula of the form: (% c R)[azzz + alz + a. = O A F], where F is a quantifiers free formula in Z1, Z~, z, and az, al, ao are polynomials in z 1, Xr with real coefficients such that the system has no solution in Rr.
(via Semantic Scholar)
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.
TL;DR:
An algorithm is given for eliminating the quantifier from a formula such that the system has no solution in R r and the output formulas are made of resultants and their variants, which the authors call slope resultants.
(via Semantic Scholar)
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.
Contributors: D. Mason*, A. Lloyd & D. Lloyd
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, NC State University Libraries
Added: September 14, 2020
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
