Sentence examples for strong preservation of from inspiring English sources

It is also well known in model checking that bisimulation is equivalent to strong preservation of CTL or, equivalently, of Hennessy Milner logic.

It turns out that PT is a straight instance of GPT on the domain of state partitions for the case of strong preservation of Hennessy Milner logic.

Finally, we show how GPT allows to deal with strong preservation of new languages by providing an efficient algorithm that computes the coarsest refinement of a given partition that strongly preserves a language generated by the reachability operator.

We show strong preservation of ONL morphology coincident with XIAP over-expression in both P23H and S334ter rats, while non-injected controls and AAV-GFP-treated animals undergo progressive degeneration.

Instead, only certain aspects of these modules (i.e. subsets of genes appear to be involved in basic cellular processes, such as metabolism) exhibit strong preservation of gene co-expression relationships.

The strong preservation of certain blocks of sequence between At3g03150 and orthologues identified in Genbank, even before the emergence of the flowering plants (represented by the pine sequence), suggests that these putative active sites are well-conserved across a broad evolutionary time-frame.

Drawing on these observations, we analyze the basic steps of the PT algorithm from an abstract interpretation perspective, which allows us to reason on strong preservation in the context of arbitrary (temporal) languages and of generic abstract models, possibly different from standard state partitions, specified by abstract interpretation.

The Morningside Heights neighborhood also has a strong preservation contingent, some members of which are bound to object to the Moneo building.

In females, 12 of the 25 identified modules showed strong preservation in males.

Place in a town with no history of preservation and add an outside advocacy group with a strong preservation agenda.

A Zsummary score below 2 indicates no preservation, a score above 10 indicates strong preservation and a score between 2 to 10 indicates weak to moderate evidence of preservation [ 26].