In the same way that the timing of a pendulum provided a more rigorous test of Galileo's kinematical theory than could be achieved by direct testing with balls rolling down planes, so with Newton's laws the most searching tests are indirect and based on mathematically derived consequences.
In non-linear setting we derive consequences of SO(3) invariance requirements on state functions and show also that in linearized elastic regime the conservative part of the self-action assures a non-linear spatial decay of the phason field in the absence of inertia effects.
In order to derive consequences from human knowledge, Liu [14] proposed uncertain inference via uncertain set theory.
That is, in automatic model composition, an inference chain is generated which starts with the preconditions (given facts) and ends with the derived consequences (required amounts).
Since our symmetric vector quasi-equilibrium problems include many rather general problems as particular cases mentioned in Section 1, from the results of Section 2 we can derive consequences for such special cases.
Example code demonstrating the use of the API to derive consequences for a list of variant positions is shown in Supplementary Figure 1.
While our modeling is certainly very simple and the derived consequences should be carefully taken, this observation suggest that bacteria have developed mechanisms for coping with the noise and keep their functional QS regime away from the region where η c A 2 > 1.
However, considerable cultural variation around the world opens up the question of whether regulated exchange of mates across kin groups represents the ancestral form of marriage or whether it is a recently derived consequence of more intensive modes of subsistence.
A derived consequence is that although trees are optimal at each node, the optimality does not apply to the overall tree.
Brown and Priest (2004) have proposed a technique they call "Chunk and Permeate", in which reasoning from inconsistent premisses proceeds by separating the assumptions into consistent theories (chunks), deriving appropriate consequences, then passing (permeating) those consequences to a different chunk for further consequences to be derived.
For if Q is a consequence of P, it does not necessarily follow that P is a consequence of Q; so that deriving the consequences of 'what is sought' will not necessarily yield principles that can then be used to prove it.
