Sentence examples for derived closure from inspiring English sources

In this case the derived closure operations Th ○ Mod (mapping S0 to Th(Mod(S0))) and Mod ○ Th (understood analogously) on S and T respectively deliver the set of first-order consequences of S0 and the set of all models verifying all the sentences verified by every M ∈ T0.

A systematic approach for deriving closure approximations was proposed by Monavari Monavarii et al. 2016).

Monavari et al. (2016) proposed using the Maximum Information Entropy Principle (MIEP) to derive closure approximations for infinite hierarchy of CDD evolution equations.

The CodeLoad test also uses code derived from Closure and jQuery to measure how quickly a JavaScript engine can load and execute commonly used JavaScript libraries.

The fatigue life predictions based on the measured and the derived crack closure and crack growth rate data are in good agreement with the experimentally determined fatigue lives.

Using a simple moment method, balance equations for mass, momentum and energy are derived with closure equations for viscosities, and thermal conductivities and collisional energy dissipation rates of angular and translational kinetic energy.

This same concept is used to derive the closure.

While direct integration is difficult, we propose various simplified approaches to derive the closure models for drag, bubble-induced turbulence and correction factors for coalescence rate in population balance equations.

Procedures are presented for deriving crack closure data and crack growth rate vs effective stress intensity factor range data from data obtained by subjecting a small number of smooth laboratory specimens to simple periodic compressive overload tests to obtain closure-free strain-life data.

However, considerations such as this, or deriving alternative closure of moments of the CME to account for non-linear terms, will greatly enhance future adaptation studies.

The present paper describes an Euler Lagrange model utilizing a drag closure derived from direct numerical simulations (front-tracking model) for (i) single isolated bubbles and (ii) bubbles rising in bubble swarms, expressed as a function of the local gas fraction.