Sentence examples for formal analysis by from inspiring English sources

Two subsequent focus groups with sales associates and a formal analysis by the Gallup organization provided further corroboration of this effect.

The model transformation framework allows a software system to be designed in terms of UML Sequence Diagrams and subjected to formal analysis by taking advantage of the strong mathematical framework of Petri Nets.

This limits its formal analysis by bioinformatics and systems biology tools.

We decided to perform such a formal analysis by running a SAT solver on our Boolean network.

This was a rich self-learning process that resulted from a combination of journal writing, peer feedback, and a formal analysis prepared by an outside consulting firm.

Insights from design practice are discussed, introducing a pattern language approach to develop a level of connoisseurship and good judgement that complements the more formal analysis represented by corpus studies and taxonomy.

This formal analysis is complemented by an empirical evaluation that highlights the operational effectiveness of the algorithm in a range of negotiation scenarios.

Third, whilst the views of patients interviewed at home (those with more severe COPD) do not seem to differ from those of the focus group participants, a formal analysis of responses by disease severity was not possible, because lung function and other measures of severity were not measured.

A paper by Cornfield [ 17] 'Randomisation by group: a formal analysis' includes the following statement 'Randomization by cluster accompanied by an analysis appropriate to randomization by individual is an exercise in self-deception, however, and should be discouraged.' This would not be found by the search.

We also propose an algorithm to find automatically periodic schedulers with the proposed sufficient condition, and to perform formal analysis of ccsl constraints by means of customized simulation and bounded LTL model checking.

Formal analysis may be prompted by either the strength of numbers making particular comments, or the strength of feeling within a small number of the comments.