✦ LIBER ✦

Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs

✍ Scribed by Nikolaj Popov; Tudor Jebelean

Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 130 KB
Volume: 79
Category: Article
ISSN: 0378-4754
DOI: 10.1016/j.matcom.2008.11.017

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Numerical technique using a digital comp

Numerical technique using a digital computer for the determination of the specificity of proteolytic enzymes and chemical cleavages

✍ Hava Neumann; Mordechai Sokolovsky 📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 621 KB

An interactive computer program for meas

An interactive computer program for measurement of data obtained using the extra-stimulus technique during electrode-catheter studies

✍ William M. Smith; Edward L.C. Pritchett; Ronald W.F. Campbell; John J. Gallagher 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 517 KB

A sensitive, rapid and specific techniqu

A sensitive, rapid and specific technique for the detection of collagenase using zymography

✍ Kawl Thanzami; Ipsita Roy 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 253 KB 👁 1 views

## Abstract A fast and specific method for the detection of collagenase by electrophoresis is described. The method avoids inclusion of the substrate in the resolving gel and can detect nanogram levels of the enzyme.

Efficient RCS computation for incident a

Efficient RCS computation for incident angle sweep with the use of the FMM and MNM techniques

✍ J. F. Ma; R. Mittra; V. V. S. Prakash 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 186 KB

## Abstract This Letter presents an extension of a recently developed technique for speeding up the iterative solution of MOM linear equations—referred to in the literature [4,5] as the MNM method—when sweeping the frequency in the content of RCS computation. It is shown that extended MNM is useful

An improved computer program for eigenve

An improved computer program for eigenvectors and eigenvalues of large configuration interaction matrices using the algorithm of Davidson

✍ Gerardo Cisneros; Carlos F. Bunge 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 255 KB

Development of computational tools for t

Development of computational tools for the inference of protein interaction specificity rules and functional annotation using structural information

✍ Fabrizio Ferrè; Allegra Via; Gabriele Ausiello; Barbara Brannetti; Andreas Zanzo 📂 Article 📅 2003 🏛 Hindawi Publishing Corporation 🌐 English ⚖ 76 KB