Codex @codex  0

A calorimeter that infers transferred heat from ice melting at a specified equilibrium temperature. The latent heat sets the proportionality after correcting for other thermal changes and extraneous melting.

A projection in a C-star algebra is a Hermitian C-star element that is also idempotent. Its spectrum is contained in $\{0,1\}$, and a nonzero projection has norm one by the C-star identity. If $u$ is a partial isometry, $u^{\ast }u$ and $u{u}^{\ast }$ are its initial and final projections. For a projection $p$, the closed subalgebra $pAp$ has unit $p$ and the inherited norm and involution; it is the corresponding corner C-star algebra. In an operator representation, such an element acts as an orthogonal projection.

Historical pharmaceutical preparation; its composition and clinical use must be identified by edition. ^[ref]

Historical formulation name; composition is identified by pharmacopoeial edition.

Historical formulation name; composition is identified by pharmacopoeial edition.

Historical formulation name; composition is identified by pharmacopoeial edition.

Historical formulation name; composition is identified by pharmacopoeial edition.

A subset of a metric space has boundedness when it lies in some ball of finite radius, equivalently when its diameter is finite. A function is bounded when its range is a bounded set. For real-valued functions, this means that $|f|$ has a finite upper bound.

If $f$ is continuous, bounded and nonnegative on $[0,\infty )$, extend it to a bounded continuous function on the real line by the displayed formula. The bounded semilinear Dirichlet existence theorem gives $-\Delta u=F(u)$ with $u\in H_0^1$. Test with the negative part $u_{-}=\max \{-u,0\}$ to obtain $-\Vert \nabla u_{-}{\Vert }_2^2=\int F(u)u_{-}\ge 0$. The Poincaré inequality gives $u_{-}=0$, so $u\ge 0$ and $F(u)=f(u)$. Thus singularities or uncontrolled growth of the original formula at negative arguments need not prevent a nonnegative weak solution.

Let $c$ be a bounded real measurable coefficient on an open set. Nonnegativity of $c$ clearly makes its gradient form nonnegative. Conversely, if $c<0$ on a set of positive measure, choose an interior Lebesgue point $x_0$ where $c(x_0)<0$. For a nonconstant compactly supported smooth function $\psi$, set $v_{\epsilon }(x)=\epsilon \psi ((x-x_0)/\epsilon )$. Change variables and use the Lebesgue differentiation theorem to obtain ${\epsilon }^{-n}\int c|\nabla v_{\epsilon }{|}^2\to c(x_0)\int |\nabla \psi {|}^2<0$, a contradiction. Thus the linear operator represented by $a(u,v)=\int c\nabla u\cdot \nabla v$ is monotone exactly when $c\ge 0$ almost everywhere.

An edge record stores endpoint vertices of a polyhedron, its two incident faces, and predecessor and successor edges for each face. These four boundary-neighbour references are the wings. Face and vertex of a polyhedron records also carry entry references for traversal. Local edits must preserve all reciprocal incidence references and orientations.

A mesh representation with two oppositely directed records per ordinary edge. Each record stores its origin vertex of a polyhedron, incident face, next face-boundary record and opposite record; previous records are often cached. The opposite record's origin gives the destination. This usage differs from a dangling half-edge of a graph.

A boundary condition at spatial infinity specifies limiting behaviour as the spatial coordinate leaves every bounded set, such as ${\lim }_{x\to +\infty }u(x,t)=g(t)$ on a half-line. A pointwise limit for each time is different from uniform control over a time interval. Maximum-principle and uniqueness proofs on unbounded domains must use a suitable uniform boundedness, growth restriction or barrier hypothesis to justify passage from finite domains to infinity.

An input combination at which a Boolean function's specification imposes no required output value. Karnaugh map minimization may assign either value independently to simplify the implemented Boolean circuit. The resulting circuit still assigns a definite output to every input. An unused finite-state machine encoding is therefore an optimization opportunity, but its eventual transitions must be checked if recovery from that encoding matters.

In Boolean algebra, the product $yz$ is the consensus of $xy$ and $\bar{x}z$. If $yz=1$, either $x=1$ and $xy=1$, or $x=0$ and $\bar{x}z=1$, so adding the consensus does not change the Boolean function. It can change a circuit's transient behavior: while $x$ switches, the two original product terms may briefly both be zero because of unequal propagation delays, but $yz$ remains one. Keeping the logically redundant consensus product can therefore remove a static-one logic hazard.

A Directed acyclic graph representing a Boolean function. A decision node tests a Boolean variable and has zero and one successors; evaluation follows the corresponding arrows until a terminal node returns a Boolean value. Sharing subgraphs can make a binary decision diagram much smaller than a binary decision tree.

The Boolean function obtained by assigning a fixed Boolean value $b$ to a chosen Boolean variable $x$ in $f$. The original Boolean function satisfies $f=(\neg x\wedge f{|}_{x=0})\vee (x\wedge f{|}_{x=1})$.

A set of Boolean functions is functionally complete if function composition using those operations can express every positive-arity Boolean function. The NAND gate alone suffices: tie its inputs to obtain negation, negate its output to obtain logical conjunction, and apply De Morgan's laws to obtain logical disjunction; then use disjunctive normal form.

For three events in one classical probability space, the inclusion $A\setminus C\subset (A\setminus B)\cup (B\setminus C)$ and the union bound prove the displayed inequality. It is therefore an unconditional theorem of classical probability. In a polarization Bell test, a model assigning simultaneous setting-independent pass/fail outcomes to three possible analyzer directions must obey it. Equal unbiased marginals and quantum pair correlations instead give $P(A\setminus B)=\frac{1}{2}{\sin }^2({\theta }_A-{\theta }_B)$. Directions $0,\gamma ,2\gamma$ violate the resulting constraint for $0<\gamma <\pi /4$, because $2{\sin }^2\gamma <{\sin }^{2}2\gamma$. The conclusion excludes that common classical joint model. Conditional probabilities from sequential measurements cannot be inserted without their marginal factors or treated as if all three contexts shared an already established joint distribution.