Examples of partial

Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0
The refined semantics also establishes that the implementation of delimited continuations is independent of the representation of the undelimited partial continuations between delimiters.
With nothing else left to do, the ^-extension unit is called to turn the partial into a full application.
Using partial projections we will introduce strictness behaviour, and propagate it through the program by the projection analysis.
Patients in "minimally conscious states" are awake but have only partial preservation of awareness and responsiveness.
Evidence was found, however, to suggest that full adopters of the technology had more profitable farms than partial adopters.
An innovation that can be broken down or tried out on a partial basis also increases the probability of use and adoption5.
The same is true for the full and partial privatization of government equity interests.
There, the absence of a reduplicative morpheme is clear, as most of the words have only partial self-similarity, and their meanings are diverse.
In a partial order, two elements can be noncomparable with one another yet not share order relations.
Geminates and partial geminates circumvent the restriction, because the place features are not uniquely parsed as attributes of a segment in the coda position.
While failure to detect liaison consonants may seem attributable to higher-level factors, partial evidence was found for both autosegmental and exemplar-based models of phonology.
In the long run, stocks are considered a partial hedge for inflation risk.
Treatment can be a single or repeated sleep deprivation, total (all night) or partial (second half of the night).
Partial correlation coefficients controlling for total brain volume were used to examine the relationship between amygdala and hippocampal volumes and demographic, cognitive and clinical variables.
In order to eliminate such effects, we conducted a partial correlation analysis controlling for the illness duration.
Hence, to avoid the creation of cyclic causal dependencies in the resulting net, the induced causality will be required to be a strict partial order.
We conclude this example with a partial list of some specific examples of effective closure systems that have been studied extensively in the literature.
All of the other (known) minimization algorithms have intermediate results which are not useable for partial minimization.
We reestimated the initial grammar for the partial training sets.
Figure 4 shows a partial view of those relations, specifying the domain, range, and maximum cardinality.
Partial parsers are now a common approach in corpus linguistics.
One obvious but partial explanation has to do with versimilitude.
In both cases, a naive essentialism causes partial truths to eclipse the larger picture.
However, this conclusion is based on a partial equilibrium.
The partial beam divergence values, one can calculate from the present geometry (distance of the source to the detector), and trace the spread.
Thus, partial tolerance becomes the perfect alibi for generalized prejudice against the regional varieties and praise of the standard.
We must show that induced causality <1,2 is a finitary strict partial order.
An -complete partial order (-cpo) is a partial order in which every -chain has a lub.
In standard realizability one works with respect to an untyped universe of realizers called a partial combinatory algebra (pca).
Note that the morphisms used in the previous example are partial injective functions, hence partial functions.
The standard method of proving this fact is via lambda representability of all (partial) recursive functions.
Finally, we do, of course, need a uniqueness result for partial left adjoints.
The essential properties of partial-elt are given by the following proposition.
In other words, a classifying monad is effective if it is the partial map classifier for a category of partial maps.
The essential properties of partial-elt are as follows.
Information contents are a partially ordered set, and the partial order on information contents induces a quasi-order on terms.
Recall that a domain is a partial order with lubs of directed subsets (and some extra properties).
On the other hand, it is not very clear how their methods can be used to formalise partial or nested recursive algorithms.
On the semantic level, different kinds of algebras and structures are possible, such as partial or continuous algebras, or models of firstorder logic.
In our system we directly addressed this problem providing three methods for new lexica entering: 'enter by example', 'enter by partial specification' and 'enter directly'.
In fact, only strict total functions are partial functions.
We can now assume that t is a non-empty partial function.
The head partial tree is then extended one level.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.