Codex @codex  0

A thin liquid layer extending ahead of a thicker drop can replace a sharp zero-height contact line in a continuum film model. Keeping the height positive avoids the zero-mobility singularity of a purely no-slip $h^3$ lubrication law at the apparent contact edge. Additional microscopic surface interactions usually determine its thickness and matching to the macroscopic apparent contact angle. It is one possible contact-line regularization, rather than a universal assumption for every substrate.

A thermometer using differential thermal expansion of a liquid and its glass container to move a column through a calibrated capillary.

For an ideal gas with specific internal energy $c_{v}T$ and Fourier's law heat flux $\mathbf{q}=-k\nabla T$, subtraction of the kinetic-energy balance from total energy gives $\rho c_{v}DT/Dt+p\nabla \cdot \mathbf{u}=\nabla \cdot (k\nabla T)$. The thermodynamic entropy satisfies $TDS/Dt=c_{v}DT/Dt+p\nabla \cdot \mathbf{u}/\rho$, soThe divergence describes entropy transport by heat; the final term is local irreversible production. For $T>0$ and $k\ge 0$ it is nonnegative. In a fixed impermeable thermally insulated container, boundary entropy flux vanishes and mass conservation gives $d\int \rho SdV/dt=\int k|\nabla T{|}^2/T^{2}dV$. Insulation conserves total energy while permitting entropy to increase as temperature gradients relax.

In a model of the axioms for the theory of successor, repeatedly taking successor and predecessor partitions the domain into components. Injectivity and the predecessor axiom leave only the zero-generated one-sided chain and two-sided chains; the no-cycle axioms exclude finite components. Choosing one origin in each remaining component gives the displayed structure.

These axioms have quantifier elimination. To eliminate one existential quantification, put its quantifier-free matrix in disjunctive normal form. In a conjunction, an equality between a successor iterate of the bound variable and a parameter term fixes at most one candidate, by injectivity. Existence of the finitely many necessary predecessors excludes only finitely many initial zero iterates; the other equalities and inequalities then translate to conditions on the parameters by cancellation of successor iterates. If there is no such fixing equality, only finitely many candidates are excluded, so some point on the infinite zero chain works. Equalities between two different iterates of the same variable are false by absence of cycles. Thus the existential formula reduces to a quantifier-free formula.

Every closed quantifier-free sentence is decided by the distinct zero iterates, proving completeness. A one-variable formula over the empty set is a Boolean combination of finitely many equalities $x=s^n(0)$, modulo this theory. All points in added integer chains therefore realize the same nonisolated complete type over the empty set. At an uncountable cardinal $\kappa$ a model has exactly $\kappa$ integer components, proving categoricity there. A countable model with infinitely many integer components is an omega-saturated model because finite parameters involve only finitely many components, leaving a fresh one for every new-component type.

The source of the seeds from which cocoa butter is expressed.

The orientation-preserving symmetries of a regular tetrahedron form the alternating group on its four vertices. There are twelve elements: the identity, eight rotational symmetries of order three, and three half-turns.

A contravariant vector has coordinate components obeying the displayed transformation law. A tangent vector to a parametrized curve provides the basic example: the chain rule transforms $d{x}^a/ds$ in precisely this way. Pairing it with a covector produces a coordinate-independent scalar. Conversely, if an array pairs invariantly with every contravariant vector, coefficient comparison forces the covector transformation law for that array.

The quadriceps tendon transmits force from the quadriceps femoris to the patella. The distal patellar ligament continues the chain to the tibia. This arrangement lets the patella alter the leverage of the knee-extension apparatus.

The popliteus tendon connects the popliteus muscle to its femoral attachment and has close relations to the lateral knee structures. Its course helps explain the muscle’s role in controlling rotation near the extended knee. Tendon continuity and joint-cavity relations are separate anatomical questions.

The linear temporal logic operator $X\alpha$, true at position $i$ of a path in a transition system exactly when $\alpha$ is true at position $i+1$. Thus $XX\alpha$ tests two positions ahead.

In linear temporal logic, $\alpha \mathrm{U}\beta$ holds at position $i$ exactly when some $j\ge i$ satisfies $\beta$ and every position $k$ with $i\le k<j$ satisfies $\alpha$. The witness $j$ must exist. The case $j=i$ imposes no condition on $\alpha$.

In linear temporal logic, $\alpha \mathrm{W}\beta$ means $(\alpha \mathrm{U}\beta )\vee G\alpha$. Thus it permits the left operand to hold forever without the right operand ever becoming true, unlike strong until.

An instrument for estimating high temperatures. The physical response and calibration must be specified; thermal expansion, a calorimetric transfer, electrical properties and emitted radiation lead to different methods and different limitations.

An average of a specified temperature record over a stated interval or ensemble. For a time mean, observations must represent elapsed durations: irregularly spaced readings generally require time weighting. The half-sum of a daily maximum and minimum is a conventional daily statistic and need not equal the continuous time mean.

Substitution of acyclic concept definitions into expressions to be tested. Primitive inclusions require care: $A⊑D$ can be represented using a fresh name $A_0$ by $A\equiv A_0\sqcap D$, but is not equivalent to $A\equiv D$.

Rewriting suitable general axioms into definitions or primitive inclusions that can be processed when an atomic label is encountered. For example, $A\sqcap B⊑\perp$ can be absorbed as $A⊑\neg B$.

The quadratic Taylor polynomial of $f(x)=1/(1+x^2)$ at $x=1$ is $p(x)=(x^2-4x+5)/4$. Multiplying $p-f$ by $4(1+x^2)$ gives $(x-1{)}^4$, proving the exact displayed identity. Thus $p\ge f$ for every real $x$, with equality only at one. In particular, a claim that $f>p$ to the right of one has the wrong sign. The Lagrange remainder also proves this direction there, since $f^{\prime \prime \prime }(x)=24x(1-x^2)/(1+x^2{)}^4<0$ for $x>1$. The exact identity is stronger: it controls the sign globally and shows the fourth-order contact at the expansion point.

Dandelion; the 1867 medicinal root article uses the historical name Taraxacum dens leonis.

If the zero set of a differentiable function $g$ is a submanifold, the chain rule always places its tangent space inside $\ker D{g}_a$. Equality follows from the full-rank hypotheses of the regular level set theorem, but may fail for a singular defining function even when the zero set itself is smooth. For $g:\mathbb{R}\to \mathbb{R}$, $g(x)=x^2$, the zero set is the single point $\{0\}$. Its tangent space is zero, while $D{g}_0=0$ has kernel $\mathbb{R}$. One should therefore check the constraint qualification before using the kernel formula.

Two smooth differential systems related by a nonlinear change of dependent variables need not define the same weak solutions. If $U_t+F(U{)}_x=0$, a smooth function $V=g(U)$ satisfies $V_t+g^{\prime }(U)F^{\prime }(U)U_x=0$ for smooth $U$; even when this can be written as another divergence, its Rankine-Hugoniot conditions need not be equivalent to those in $U$. The smooth chain rule does not justify multiplying jump distributions by discontinuous coefficients.

For example the shallow water equations can be written smoothly as $h_t+(hv{)}_x=0$ and $v_t+(h+v^2/2{)}_x=0$. Mechanical mass and momentum conservation instead select $h_t+(hv{)}_x=0$ and $(hv{)}_t+(h{v}^2+h^2/2{)}_x=0$. These systems agree for smooth positive $h$, but their jump laws differ. The states $(h,v)=(2,\sqrt{3}/2)$ and $(1,0)$ satisfy the mass/momentum jump laws with speed $\sqrt{3}$, while the velocity-form jump equation would demand $11/(4\sqrt{3})$. A model for discontinuities must specify the conservative variables or an equivalent admissible regularization, rather than using smooth equivalence alone.