"A few weeks ago when announcing Paul's departure I stated that we would work exhaustively to find the best quality candidate available and I believe David's appointment is clear evidence of us having been successful in achieving that goal".
Although, in general, the different categories of BFO are defined so as to be mutually exclusive relative to a given level of granularity, it also has been explicitly stated that the types of material entity BFO distinguishes do not exhaustively cover all theoretically possible instances of material entity [11].
It should also be stated that by employing the proposed service, searchers are instantly acquainted with query terms that otherwise would take them a lot of time to gather by exhaustively running through the search results of potentially vague queries.
Given a Kripke structure (a model) M and a temporal logic formula ψ, Model Checking algorithms automatically and exhaustively search the state space to find all states that satisfy ψ.
The naive approach to steady state identification in Boolean networks is to exhaustively search the state space.
Aquinas has no illusions that we will be able to state principles of conduct that exhaustively determine right conduct, as if for every situation in which there is a correct choice to be made there will be a rule that covers the situation.
During formal verification, model checker can automatically and exhaustively search the state transition system M to verify or falsify the specified temporal logic formula ψ.
Model Checking algorithm can automatically and exhaustively search the state transition system to determine, whether or not, a given model M satisfies a desired temporal logic formula Φ .
On a single current 1010 FLOPS processor over one month, one could exhaustively explore a state space of 2.7 × 1016 possibilities.
PMC is able to exhaustively explore all states of a stochastic model and can provide valuable insight into its behavior which are more difficult to see using only traditional methods for system analysis such as deterministic and stochastic simulation.
