Sentence examples for formulate properties from inspiring English sources

Indeed, in a set theoretic framework, it is possible to formulate properties using the membership relations, for instance the property that the carrier set of the structure contains the natural number 0, property that is not preserved in general by isomorphisms.

The atomic propositions are used to formulate properties in a temporal-logic formula ϕ and model checkers automatically test if the state transition graph T satisfies the formula (T ⊧ ϕ).

The Temporal Mobile Stochastic Logic (MoSL) has been introduced in previous work by the authors for formulating properties of systems specified in StoKlaim, a Markovian extension of Klaim.

Now we are ready to formulate several properties of a b-bistochastic q.s.o.o

Now we formulate some properties of the relative oscillation numbers given by (3.15), (3.16), (3.17).

Now, we are in the position to provide results on the solvability of problem (27), (28) and formulate the properties of its solutions.

In order to formulate a property of almost periodic functions, which is equivalent to the above definition, we discuss the concept of the normality of almost periodic functions.

Binders were formulated and properties were compared to that containing RHA or MK as only pozzolans.

This can be done by formulating certain properties that hold in the actual situation and check whether they also hold in the model.

It contains the information necessary for formulating the properties and characteristics to be optimized, which were: thermal conductivity; thickness recovery of the material; the manufacturing cost and the product's environmental impact.

A mathematical model for the transmission dynamics of leprosy in the context of disease relapse was set up; case findings of non-symptomatic carriers and compliance for individuals on treatment were formulated; mathematical properties were investigated in order to assess the impact of disease relapse, case findings of non-symptomatic individuals and treatment compliance on the dynamics of leprosy.