Sentence examples for rigorous methodologies for from inspiring English sources

Automated theorem proving consists in automatically (i.e. without any user interaction) discharging proof obligations which arise when applying rigorous methodologies for designing critical software systems.

A number of technical advances will likely improve the usefulness of models, including rigorous methodologies for dealing with missing and uncertain information; improved methods for interpretation of multivariate data sets and for multi-objective decision making involving trade-offs among conflicting goals; and novel modelling methods as alternatives to traditional mathematical models.

This paper describes a rigorous methodology for quantification of model errors in fungal growth models.

Service and selflessness are just words on a page without a rigorous methodology for constantly reinforcing these principles, right down to the last egg.

Analysis of the data obtained involves a rigorous methodology for setting the data baseline in compliance with solid mass balances.

This research presents stability constants for CMCD lead complexes, and demonstrates a rigorous methodology for estimating stability constants for metal-complexing agents.

The current work develops a rigorous methodology for statistical inference on available data that accounts for the limited nature of experimental observations.

In this work we present a rigorous methodology for the simultaneous design of moving horizon estimation (MHE) and robust model predictive control based on multi-parametric programming.

With this incentive, a model of thermodynamic properties, including vapor-liquid equilibrium (VLE), enthalpy, and solution chemistry, has been developed using a rigorous methodology for the aqueous monoethanolamine (MEA) system as a baseline.

This paper proposes a systematic and rigorous methodology for more efficient and effective DR by applying and extending the Suh's well-known Theory of Axiomatic Design (TAD) into a Systematic Theory of Axiomatic design Review (STAR).

Main advantages of the proposed method are: the rigorous methodology for individuating both safety problems on the existing roads and possible interventions, the comparative quantification of the safety benefits and the applicability of the general method independently from the particular State or region (but considering local regulations and standards).