ABSTRACT: Linda1 is a model for parallel processing based on distributed data structures. Processors and data objects communicate by means of the tuple space (TS) or Linda memory. The interaction between the tuple space and the processors is carried out by four basic operations: out, in, eval, and rd. These operations add/remove/read data objects from/to the tuple space . eval on the other hand...

Late Carboniferous to early Permian organic-rich sedimentary successions of late-orogenic continental basins from the northeastern Massif Central (France) coincide with both Variscan mountain dismantling and acme long-lasting Paleozoic Ice Age. Here, we investigate carbon nitrogen cycles in newly dated Decize–La Machine Autun during these geodynamic climate upheavals. The organic matter has bee...

ion and function application employ the notion of substitution. Recall the inference rule and its representation in LF: e1 ↪→ lam x. e1 e2 ↪→ v2 [v2/x]e1 ↪→ v ev app e1 e2 ↪→ v ev app : ΠE1:exp. ΠE2:exp. ΠE′ 1:exp→ exp. ΠV2:exp. ΠV :exp. eval E1 (lam E′ 1) → eval E2 V2 → eval (E′ 1 V2) V → eval (app E1 E2) V. As before, we transcribe this (and the trivial rule for evaluating λ-expressions) into...

Time-temperature index (TTI) modeling is used to establish a simple theoretical thermal maturity for Paleozoic strata in central Kansas. These thermal maturation calculations are based on estimates of likely geothermal gradients and best knowledge of the tectonic history of the region, as derived from stratigraphic thicknesses and estimates of erosion at unconformities. Major uncertainties in t...

Analytical pyrolysis is a technique currently used for investigating structural features of complex macromolecular materials. However, pitfalls appear to be widespread in pyrolysis studies of humic substances, and serious limitations can be experienced during the analytical procedure due to thermal reactions and configuration of the pyrolysis units and chromatographic systems. Pyrolysis present...

PURPOSE To determine physical characteristics of mixtures of ethylene vinyl alcohol copolymer (EVAL) and metrizamide dissolved in dimethyl sulfoxide, liquid materials developed for embolization of arteriovenous malformations. METHODS EVAL and dimethyl sulfoxide were mixed in various proportions and sterilized. The viscosity and density of each mixture was measured. Precipitation times were de...

User development of computer-based applications (UDA) is a new phenomenon in organizations, and can provide benefits for both users and for data processing departments. The benefits of UDA to DP departments are consi.dered in this paper. The UDA literature suggests that the DP departments can expect to receive two major types of benefits: the backlog of DP appl ication devel opment projects sho...