Sentence examples for suitable specifications from inspiring English sources

In particular, this will enable us to control the long term temporal behavior of the temperature u by imposing suitable specifications on the thermostat device through an appropriate choice of the coefficients involved in the definition of (-Phi F).

To address this issue, the Italian legislators have conducted a process of reconstructing the assumptions adopted for the definition of magic numbers in other International codes (i.e., British Standard 9999) in order to identify suitable specifications for the national context under consideration.

A suitable specification of utilities achieves partition invariance given his assumptions.

The results suggest that the most suitable specification reflects the way the attribute levels are presented to respondents, either in terms of deviations or absolute values.

Our tool provides not only an efficient LTLR model checking algorithm under parameterized fairness assumptions but also suitable specification languages as part of its user interface.

A major drawback is the lack of a suitable specification language against which definitive and efficient verification of inter-core communication can be performed to prove compliance of an IP block against the protocol specification.

Nevertheless, reliable numerical tools are required to meet the challenges posed with respect to dimensionality and model complexity, including the open problem of determining disturbance models and suitable specification models.

In this paper, we show that this knowledge could be exploited in the context of an on-line hazard-directed monitoring scheme in which a suitable specification derived from design models and safety analyses forms a reference monitoring model.

These include setting suitable specification to allow for patient variability both in starting material and final product as well as conducting suitably extensive final product characterisation to enable comparison of results within trials and following any changes in the product manufacture process or manufacturing site.

We performed the imputation using SAS PROC MI and R. In R, the MICE software library (van Buuren and Oudshoorn, 2000) is not explicitly designed for monotone imputation, but was made to implement it by suitable specification of the imputation models and setting the number of cycles to 1. Programs are available as supplementary material in the electronic version of this paper.

Refactoring strategies are defined as heuristic-based, automation-suitable specifications of complex behavior-preserving software transformations aimed at a certain goal e.g. removing design smells.