Sentence examples for defining the satisfaction from inspiring English sources

Hodges (1997a,b) showed, however, that IFL can be given a compositional semantics.[54] The semantics is given by recursively defining the satisfaction relation 'M ⊨X φ' (read: φ is satisfied in M by X), where X is a set of variable assignments.

Between the two models, there is a fundamental difference in defining the level of satisfaction of an agent.

Based on the proposed algorithmic framework, we need to define the user satisfaction metric as a function of the network response time.

Then, we define the robust satisfaction degree as: (6) This notion allows us to distinguish whether it is possible to relax the specification to have it satisfied for all perturbations or not.

In moving away from univariate measures of customer satisfaction associated with singularly defined attributes to the mix of attributes offered in a bus service, we use a discrete choice multinomial logit model to identify the role that each attribute in a package ('an alternative') plays in defining the level of utility (or satisfaction) applicable to each bus travelling member of the population.

Interoperability, defined as the satisfaction of a communication need between two or more actors, is a sought after quality for enterprises in today's competitive environment.

A monotonic increasing or decreasing membership function is used to define the degree of satisfaction for each objective function so that the fuzzy goal optimization problem is then represented as an augmented minimax problem formulated as mixed-integer nonlinear programming (MINLP) models.

Cox's IMCHB defines the concept of satisfaction with nursing care from the patient's perspective.

The results of our study allowed us not only to define the taxonomy of satisfaction dimensions, but also its relative importance for patients.

The present attempt to define the concept patient satisfaction and to hypothesize some of its determinants can be regarded as the first step in building a theory of patient satisfaction.

Using the notion of satisfaction domain, we can also define the distance from robust satisfaction of a property ϕ with respect to a set of perturbations P as dist(∩ p 𝒟 T p, ϕ).