Sentence examples for a maximal structure from inspiring English sources

But the most significant difference, and the one that makes it possible to prove completeness for the modal system, is the definition of validity not as truth in all worlds of a maximal structure of worlds, but as truth across all the subsets of the maximal structure.

Using the Cheeger Gromov ℓ2 eta invariant, we construct a group morphism from the Higson Roe maximal structure group constructed in [35] to the reals.

The aim is to recover a signal s A (t) with a maximal periodic structure by means of estimating the recovering vector (w).

Our technique involves introducing a numerical invariant α(X) for a normed space X which measures the difference between the minimal operator space structure which can be assigned to X, MIN X), and the maximal structure, MAX X).

All feasible structures of the process system are embedded in the maximal structure, from which individual solution-structures can be extracted subject to various technical, environmental, economic, and societal constraints.

This framework has several advantageous features, such as mathematically rigorous generation of maximal structures (i.e., superstructures), elucidation of combinatorially feasible solution structures, and efficient search of solution space for optimal PNS compared to conventional branch-and-bound algorithms for mixed integer linear programming (MILP) models.

For each model, we started with a maximal random-effects structure (Barr, Levy, Scheepers, & Tily, 2013); we then examined the correlations among the random effects, and for correlations that were near 1, we simplified the random effects-structure to prevent the models being over-parameterized (Bates, Kliegl, Vasishth, & Baayen, 2015).

Upon loading a pseudoknotted secondary structure, a maximal non-crossing subset of its base pairs is extracted using a dynamic programming algorithm (Xayaphoummine et al., 2003).

For a given RNA sequence, a saturated secondary structure is one such that no base pair can be added without introducing either a pseudoknot or base triple; in other words, saturated structures have a maximal number of base pairs, while the Nussinov minimum energy structure has a maximum number of base pairs.

Further experimental investigation on four types of flow fields also confirmed that the DMFC with double-serpentine flow field structure exhibits a maximal power density at a variety of inlet velocities, which is in good agreement with the simulated results.

The current model structure provides a maximal coverage strategy that allows decision makers to target and prioritize several areas for protection or development and to set specific strategies in the face of changing ecological, social, or economic processes.