✦ LIBER ✦

Specification of the structure of data in TISS-2

✍ Scribed by A. P. Lodysev

Publisher: Springer US
Year: 1979
Tongue: English
Weight: 387 KB
Volume: 14
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01069852

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The specification of data parallel algor

The specification of data parallel algorithms

✍ Michael D. Rice; Stephen B. Seidman; Pearl Y. Wang 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 208 KB

Several algorithms that illustrate fundamental data parallel operations and the implementation of virtual topologies in terms of hypercuhe operations are given. A geometric induction principle is developed and used for proving the correctness of these algorithms. The algorithms show how an elementar

The Specification of 2-trees

✍ Tom Fowler; Ira Gessel; Gilbert Labelle; Pierre Leroux 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 187 KB

We derive new functional equations at a species level for certain classes of 2-trees, including a dissymmetry theorem. From these equations we deduce various series expansions for these structures. We obtain formulas for unlabeled 2-trees which are more explicit than previously known results. Moreov

A practical example of the specification

A practical example of the specification of abstract data types

✍ Frank W. Tompa 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 1011 KB

P-Scheme description of structural speci

P-Scheme description of structural specifications of data related models

✍ I. V. Vel'bitskii; A. L. Kovalev; T. O. Timchenko 📂 Article 📅 1987 🏛 Springer US 🌐 English ⚖ 777 KB

Enhanced automated structure elucidation

Enhanced automated structure elucidation by inclusion of two-bond specific data

✍ Steve F. Cheatham; Mike Kline; Ryan R. Sasaki; Kirill A. Blinov; Mikhail E. Elya 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 130 KB

## Abstract The availability of cryogenically cooled probes permits routine acquisition of data from low sensitivity pulse sequences such as inadequate and 1,1‐adequate. We demonstrate that the use of cryo‐probe generated 1,1‐adequate data in conjunction with HMBC dramatically improves computer‐ass

THE UTILITY OF SURFACE AND UPPER AIR DAT

THE UTILITY OF SURFACE AND UPPER AIR DATA IN SYNOPTIC CLIMATOLOGICAL SPECIFICATION OF SURFACE CLIMATIC VARIABLES

✍ KIDSON, JOHN W. 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 529 KB

The relative merits of applying 1000 and 500 hPa map classifications to specifying departures in daily and monthly climatic elements have been examined for a network of 82 stations over New Zealand. The map classification technique was based on eigenanalysis of twice daily geopotential height fields