Sentence examples similar to be interpreted by type from inspiring English sources

Much stronger fragments of second-order arithmetic can be interpreted by type-free truth systems, that is, by theories of truth that prove not only the truth of arithmetical sentences but also the truth of sentences of the language LT with the truth predicate; see Section 4 below.

Hinton is mindful that Potential could be interpreted by some as exploitative, a type of appropriation by way of cultural tourism.

One of the characteristics of digital objects is that each type of object has its own format, in most cases each object type can only be interpreted by a particular application, so will have problems to be interpreted.

Evidence must be interpreted by humans.

I didn't want to be interpreted by anybody else.

The results have been interpreted by different types of interactions between the functionalized polyethylenes and LDPE or PA6, correspondingly.

In this model, a type is interpreted by a groupoid and the type IdA a,b) by the set of isomorphisms between a and b, set which may have more than one element.

The inhibition of chondrocyte proliferation induced by FGF is a cell type-specific response that contrasts with the mitogenic effect of FGFs in most other cells, raising the question of how the same signaling inputs are interpreted by different cell types to generate specific patterns of gene expression and biological response.

Recently, we have described two characteristic formations composed by epitaxially oriented Ge dimer pairs and chains of four dimers on the wetting layer (WL) patches that were interpreted by us as two types of hut nuclei: an individual type for each species of huts--pyramids or wedges (Figure 1a-c) [18, 20, 32].

A type is interpreted by a topological space, up to homotopy, and a type IdA a,b) is interpreted by the type of paths connecting a and b. (See Awodey et al. 2013 and the HoTT book 2013).

Experimental kinetic data, obtained in an integral reactor, were interpreted by a Temkin's type mechanism, although it is possible to treat the data by a known mechanism similar to the oxidation of methanol to formaldehyde.