✦ LIBER ✦

A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries

✍ Scribed by Oscar H. Ibarra; Jianwen Su

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 286 KB
Volume: 59
Category: Article
ISSN: 0022-0000
DOI: 10.1006/jcss.1999.1624

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A finite element–equivalent energy linea

A finite element–equivalent energy linearization technique for the analysis of nonlinear plate vibration

✍ M. A. E. Ghabrial; R. K. Miller; L. C. Wellford Jr. 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 1010 KB

A simplified technique for the dynamic analysis of geometrically nonlinear plate structures is developed. The essence of this technique is the construction of a linear substitute of the nonlinear problem. The linear substitute problem is derived from an equivalence criterion which involves balancing

A new technique for proving needle place

A new technique for proving needle placement in the muscles of cadavers

✍ Andrew J. Haig; Carolyn Ruan 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 758 KB

forehead for a maximum of 45 min in five subjects. 6 After application the R3 decreased, whereas R1 and R2 remained unchanged.

A new technique for proving realisabilit

A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic

✍ Arief Daynes 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 177 KB

## Abstract A new technique for proving realisability results is presented, and is illustrated in detail for the simple case of arithmetic minus induction. CL is a Gentzen formulation of classical logic. CPQ is CL minus the Cut Rule. The basic proof theory and model theory of CPQ and CL is develope

A GA-based technique for layout optimiza

A GA-based technique for layout optimization of truss with stress and displacement constraints

✍ I. A. Azid; A. S. K. Kwan; K. N. Seetharamu 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 736 KB

A sparse matrix technique for the analys

A sparse matrix technique for the analysis of linear antennas

✍ Y. Liu; K. Lan; K. K. Mei 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 109 KB 👁 2 views

Bar-Chaim, and I. Urym, Designing high dynamic range fibre-optic links: A comparison between directly-modulated Fabry-Perot and distributed-feedback laser Ž .

Analysis of a class of superconvergence

Analysis of a class of superconvergence patch recovery techniques for linear and bilinear finite elements

✍ Bo Li; Zhimin Zhang 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 330 KB 👁 3 views

Mathematical proofs are presented for the derivative superconvergence obtained by a class of patch recovery techniques for both linear and bilinear finite elements in the approximation of second-order elliptic problems.