Sentence examples for a precise version from inspiring English sources

We also don't have such a precise version of Theorem 4.20 for domains that are not strictly pseudoconvex.

The latter conclusion can be seen as a probabilistic vindication of the traditional isolation objection, or a precise version thereof.

A precise version of Boole's Rule of 0 and 1 that yields Boole's results is given in Burris and Sankappanavar 2013.

It is then possible to give a precise version and a proof of the adequacy condition (T) in a meta-science, whose principles comprise: (i) general logical axioms, (ii) special axioms that depend upon the object theory we consider, and (iii) axioms for dealing with the fundamental properties of the structural notions, i.e., principles of proof and definition by induction.

A precise version of the spectral theorem in this case is: Given a densely defined self-adjoint operator T on a Hilbert space H, there corresponds a unique resolution of the identity E on the Borel sets of R, such that ::\langle Tx, y\rangle = \int_\mathbb{R} \lambda\,dE_{x,y}(\lambda) :for all x ∈ D(T) and y ∈ H.

We consider a precise version of the motif discovery problem in computational biology as discussed in [ 1, 2].

A hypothesis that has an unspecified parameter value is in effect equivalent to a disjunction of more specific hypotheses, where each disjunct consists of a more precise version of the original hypothesis, a version in which the value for the parameter has been "filled in".

So, rather than saying as Einstein did that nothing can be faster than the speed of light in a vacuum (abbreviated as c), physicists now prefer a more precise version: information cannot travel faster than c.Dr Gauthier began his experiment with a vial of gaseous potassium and a laser.

Motivated by the researches above, this paper employs a smooth version of [47], Theorem 2.1, which is a more precise version of Ricceri's variational principle [48], Theorem 2.5.

Our basic tool to guarantee the existence of infinitely many classical solutions for the problem ((D_{lambda,mu})) is a smooth version of Theorem 2.1 of [47], which is a more precise version of Ricceri's variational principle [48], which we recall here.

For internode communication, we adopt a more precise version of the protocol described in [13].