We would not say, for instance, that "if E = mc2 were true, hierarchical order would be a matter of course" because even though E does equal mc2 we can think of no similar causal connection to hierarchy.
Substitution (S) is called an improving substitution for (P) if applying (S) to (P) preserves the set of satisfiable instances, that is, if (lfloor S P rfloor = lfloor P rfloor ).
On the other hand, two classifiers are said to be diverse if their decisions are different when classifying the same new instance, that is, if the individual classifiers do not always agree.
The algorithm produces a MILP instance that has a solution if and only if the original GPSAT instance is satisfiable.
The "Just Say Yes" curriculum, widely used in Texas schools, for instance, tells students that "if a guy is breathing, then he's probably turned on".
Market fundamentalists believed, for instance, that if only the government would ensure that inflation was low and stable, markets would ensure growth and prosperity for all.
It's said, for instance, that if the west tries to intervene then al-Qaida will dance a jig across the Middle East.
The Japanese discovered, for instance, that if you put 10 people in a room infested with 20 plague-bearing fleas per square meter, 4 would die of plague.
Monoline insurers do a straightforward job: they insure securities — guaranteeing, for instance, that if a bond defaults they'll cover the interest and the principal.
We know, for instance, that if you start manipulating DNA repair systems, in mice say, sometimes you get what looks like accelerated ageing.
