This lecture concerns partial evaluation. Comparisons are made between partial evaluation and compiling. Two principles are given that help determine when to use partial evaluation. We show how a partial evaluator can be used to translate a program from one language L2 into another language L1 even if the partial evaluator’s capabilities are limited so that its input is an L1 program and its ou...

Significant progress has recently been made in speaker diarisation after the introduction of d-vectors as embeddings extracted from neural network (NN) classifiers for clustering speech segments. To extract better-performing and more robust embeddings, this paper proposes a c-vector method by combining multiple sets complementary derived systems with different NN components. Three structures ar...

The Leg 104 organic geochemistry program consisted of monitoring (a) hydrocarbon gases, (b) organic and inorganic carbon, and (c) parameters resulting from Rock-Eval pyrolysis at three sites on the Vdring Plateau. The results amplify some of those obtained earlier on Deep Sea Drilling Project (DSDP) Leg 38. In a regional sense there is an inverse correlation between amounts of hydrocarbon gas a...

ions in the -calculus introduce a notion of scope, like quanti ers in the predicate calculus. A variable x occurs free in a term of if x does not appear in the scope of a x. Otherwise, x occurs bound . The set of free variables of an expression M , written FV (M), is de ned inductively as follows. De nition .3 (Free variables) FV (c) = fg FV (x) = fxg FV ( x:M) = FV (M) n fxg FV (MN) = FV (M) [...

Oilfield Review Summer 2011: 23, no. 2. Copyright © 2011 Schlumberger. For help in preparation of this article, thanks to Nicholas Drenzek, Cambridge, Massachusetts, USA. FLAIR is a mark of Schlumberger. Rock-Eval is a mark of the Institut Français du Pétrole. Rock-Eval 6 is a mark of Vinci Technologies SA. Every oil or gas play originates from source rock. The viability of each play—convention...

Ab stract: Ef fec tive ness must be de ter mined for each new tech nol ogy be cause it may have ad van tages and dis ad van tages over what is cur rently of fered. We re viewed the lit er a ture to syn the size in for ma tion on whether telepsychiatry is ef fec tive. Based on the lit er a ture, we sug gest that the ef fec tive ness of telepsychiatry be eval u ated on ac cess to care, qual ity o...

A comprehensive model is proposed to accurately describe drug release kinetics from a coated plane sheet when drug loading in the core is above its saturation level. The general solutions are acquired in a dimensionless form by the Laplace transform and the solution for the special case-a perfect sink condition, is derived from these general ones. On the basis of the model calculations, the eff...

Linda is a model for communication and co-ordination of parallel processes. The model provides a virtual shared memory called tuple space, and primitives to place tuples into and remove tuples from tuple space. The style of programming provided by Linda is quite different to the style of, say, occam. We describe a new implementation of Linda across a network of transputers. We provide the four ...