Sentence examples for formal analysis using from inspiring English sources

"Commitment, learning and alliance performance: A formal analysis using an agent-based network formation model". Anjos, F. and Ray E. Reagans.

Our formal analysis using Real-Time Maude revealed that the original design did not achieve a smooth turning maneuver, and led to a redesign of the system.

The formal analysis, using data from all 52 eggs showed no strong trend, with a Chisquare of 10782 on 10800 degrees of freedom, and a p-value of 0.547, essentially a null result.

In addition to the formal analysis using data from all eggs, I indicated that I would look at the egg in Israel, hosted in a town not far from Tel Aviv.

Formal analysis using parallel performance models allows one to depict the underlying behavior of the algorithms and their communication complexities, with the aims of estimating their cost and improving their performance.

The specified models are simulated through the common token player algorithm, and formal analysis using invariants and theorem proving are applied to verify models' soundness and to reason on specific scenarios.

To rigorously show that SST provides necessary security guarantees, we have performed a formal security analysis using an automated verification tool.

Formal synergy analysis using the Calu3 cell line demonstrated that the combination of bexarotene with either cytotoxic agent produced synergistic activity (combination index, CI < 1).

In addition to the widely used collapsing method of disease-gene discovery, where variants across affected samples are collapsed at the gene level and counted, the user can also perform formal statistical analysis using the methodology proposed by Ionita-Laza for case/control studies [ 19].

Finally, we applied here a new formal network analysis using the set of significantly replicated genes that have been shown to be either associated and/or linked to ADHD, disruptive behaviors, and SUD in order to detect significantly enriched gene categories for protein and genetic interactions, pathways, co-expression, co-localization, and protein domain similarity.

Baron and Kenny outlined three steps for a formal mediation analysis using regression, which can be explained with reference to figure 1 in the context of the relationship between smoking and 6-month mortality with the putative mediating effect of pulmonary complications.