Sentence examples for explicitly annotated that from inspiring English sources

Figure 11 defines the semantics of core Haskell by induction on type system rules, with greatest instance-types of variables explicitly annotated, that is, typing formulas for variables have the form (Gamma vdash x::phi ) where (phi ) is the greatest instance-type of this occurrence of (x) in typing context (Gamma ) (cf. Definition 1).

Here we consider gene products not only explicitly annotated with that term but also its descendant terms.

As discussed in Section 2, the previous studies related to sound event detection consider audio scenes with overlapping events that are explicitly annotated, but the detection results are presented as a sequence that is assumed to contain only the most prominent event at each time.

However, since we always preserved the entire ancestor lineage of each mapped concept up to the root, each hierarchy typically includes many relevant nodes that were not explicitly annotated for all neuronal tracings.

Due to the depth of this knowledge base, the number of concepts in this hierarchy exceeds by a full order of magnitude that of explicitly annotated metadata terms (Table 1).

It should be noted that since explicitly annotated inactives were added in each activity class, the precision rate calculation of each similarity search follows a new definition described in the method part below.

Of these, 753 KRAB domains were located on genes that have at least one zinc-finger motif; and, of those, 635 were located on genes explicitly annotated as zinc-finger genes in RefSeq.

Finally, some of the categories were further subdivided and made more distinct; as for instance, speech sounds were explicitly annotated as being male, female, child, or synthetic.

If input data is not explicitly annotated with dimension, use the web service provided by OM to annotate the dimension of the input data unit.

There were 4-fold more BES sequences explicitly annotated as retroelements than as DNA transposable elements in both BAC libraries.

We chose to use the canonical transcript for each gene, as these are explicitly annotated in the Ensembl database.