A pressure-volume diagram plots a thermodynamic process in the plane of pressure $p$ and volume $V$. For quasistatic boundary work, work done by the system is $W=\int pdV$. Compression and expansion have opposite signs under this convention.

For a closed cycle, the oriented enclosed area equals the net boundary work. A clockwise loop gives positive net work by the system. If the process is strongly irreversible, the external pressure at the moving boundary, rather than an assumed uniform equilibrium system pressure, must be used to calculate the actual work.

Differential scanning fluorimetry follows fluorescence while a protein sample undergoes controlled heating. Changes associated with protein unfolding provide a transition curve and an apparent protein unfolding midpoint. Comparing matched conditions turns the method into a thermal shift assay.^[ref]

In a common implementation, an environment-sensitive fluorescent dye reports changes as normally buried regions become exposed. Compare otherwise matched protein-plus-dye samples with and without a candidate ligand, rather than comparing measurements made with different buffers or heating programs. Fluorescent compound-only and dye-only controls can help diagnose reporter interference; these are proposed controls, not specific settings claimed for every published assay.

For an illustrative result, midpoints of $320\mathrm{K}$ and $324\mathrm{K}$ give a thermal shift of $+4\mathrm{K}$. The measured quantity is a change in a heating-dependent transition. An independent ligand binding or activity measurement is needed to assess the proposed molecular mechanism, as illustrated by the comparisons with isothermal titration calorimetry in the 2004 evaluation.^[ref]

An apparent protein unfolding midpoint is an operationally defined temperature marking the middle of an observed unfolding-associated transition. In a thermal shift assay, it is often written $T_m$ or $T_{m,\mathrm{app}}$. “Apparent” keeps the measured reporter transition distinct from an established reversible equilibrium melting point.^[ref]

Consider a deliberately simple two-state reporter model. If $f_U$ is the unfolded fraction and the folded and unfolded signals are constant values $F_F,F_U$, thenAt $F=(F_F+F_U)/2$, algebra gives $f_U=1/2$, provided $F_U\ne F_F$. If the signal changes from $100$ to $800$ arbitrary units, its midpoint is $450$ units. This arithmetic identifies half-unfolding only under the stated reporter assumptions.

Real traces can have drifting baselines, irreversible changes or protein aggregation. A fitted midpoint or derivative peak must therefore be defined consistently when comparing samples. A higher apparent midpoint supports greater thermal stability under those conditions; it is not by itself a dissociation constant or proof that the protein retains biological activity.

A cell-free tetrazolium interaction contrast isolates the part of an optical change that depends jointly on adding the test compound and adding the tetrazolium salt, in a specified tetrazolium cell-free control. All four mixtures lack cells; the comparison tests chemical or optical interference rather than cellular survival.

Write $R$ for reagent present, $0$ for reagent absent, $T$ for test compound and $V$ for its matched vehicle. From the four absorbance readings defineThe final term restores a baseline that would otherwise be subtracted twice. In the additive modelthe contrast equals the interaction $i$. The terms $r$ and $t$ describe the reagent-only and compound-only contributions relative to the vehicle baseline. This is an algebraic separation under stated conditions, not an assumption that the underlying chemical reactions are always additive.

An original example with readings $0.32,0.12,0.08,0.05$ in that order gives $I=0.17$. Subtracting only $A_{R,V}$ gives $0.24$ and retains the compound-only increment $0.07$. Adding the same constant optical offset to every reading leaves $I$ unchanged, whereas multiplying every reading by an unknown gain also multiplies $I$.

For tetrazolium contrast uncertainty, let the four readings have covariance matrix $\Sigma$ in the order above and put $w=(1,-1,-1,1{)}^{\mathsf{T}}$. Linear uncertainty propagation givesFour independent readings with equal standard uncertainty $u$ give $u_I=2u$. A single shared additive offset contributes zero because the coefficients sum to zero; treating it as four independent offsets would overstate that contribution. Correlations require the appropriate input model.^[ref]

Direct cell-free MTT reduction by selected compounds motivated this kind of control.^[ref] A nonzero contrast establishes a reagent-dependent cell-free optical effect under the matched conditions. Identifying that effect as a particular formazan requires suitable chemical or spectral evidence; transferring its magnitude to a cell-containing sample additionally requires a validated response model.

A domino tiling covers a region made of unit squares by nonoverlapping $1\times 2$ rectangles, each occupying two adjacent squares. Equivalently, it is a perfect matching in the graph whose vertices are squares and whose edges join squares sharing a side. This translates a geometric covering problem into graph theory.

A $2\times n$ rectangle has $T_n$ tilings satisfying $T_n=T_{n-1}+T_{n-2}$, with $T_0=T_1=1$. At the left edge, either one vertical domino leaves a $2\times (n-1)$ rectangle, or two horizontal dominoes leave a $2\times (n-2)$ rectangle. Hence $T_2=2$, $T_3=3$ and $T_4=5$. A checkerboard colouring gives a different tool: every domino covers one square of each colour, so unequal colour counts obstruct a tiling. Equal counts are necessary but need not suffice for arbitrary regions.

A rational tree is a possibly infinite tree with only finitely many distinct rooted subtrees. It therefore has a finite representation as a term graph, possibly with cycles. Here “rational” describes finite representability, not values in the rational numbers.

For example, the equation $X=f(X)$ describes the infinite expression $f(f(f(\cdots )))$. A single node labeled $f$ with an edge back to itself represents it. There is no solution among finite first-order terms: the occurs check rejects binding a variable to a first-order term containing that variable. Unification over rational trees instead admits this cyclic representation, so implementations must specify which semantics they use. SWI-Prolog explicitly supports cyclic terms for many term operations.^[ref]

A composite tare mass is the combined tare mass of several disjoint container or support components included within the chosen weighing boundary. If component $i$ contributes $m_{\mathrm{t},i}$,The boundary matters: include each unwanted load component once, and exclude everything that is not on the load receptor. OIML's tare and gross/net terminology supplies the underlying weighing distinction; the component sum here is an explicit additive mass model.^[ref]

For an original assembly, three empty crucibles each have mass $80\mathrm{g}$, their three lids each have mass $10\mathrm{g}$, and their common tray has mass $100\mathrm{g}$. The composite tare mass isIf the loaded assembly has gross mass $970\mathrm{g}$, its material has net mass $600\mathrm{g}$. Subtracting the lids again after subtracting the complete $370\mathrm{g}$ tare would incorrectly give $570\mathrm{g}$.

One can weigh the empty assembled system directly or sum separately measured component masses. For independent component standard uncertainties of $0.10\mathrm{g}$ per crucible, $0.02\mathrm{g}$ per lid and $0.20\mathrm{g}$ for the tray, the sum hasShared calibration errors require covariance terms instead of this independent-input calculation.^[ref] A changed lid, retained material or substituted tray changes the assembly and can invalidate a previously stored tare.

A preset tare value is a numerical tare mass entered or recalled for use in subsequent weighings without individually determining each container's tare. The pinned OIML terminology denotes it by $\mathrm{PT}$ and calls the measured gross or net indication minus this value a calculated net value. It can be supplied through a preset tare device rather than obtained by weighing the current empty container.^[ref]

For an original example, a stored container tare is $\mathrm{PT}=250\mathrm{g}$, but the actual empty container has tare mass $T=263\mathrm{g}$. Adding $500\mathrm{g}$ of material gives gross mass $G=763\mathrm{g}$. Applying the stored value givesalthough the actual net mass is $N=G-T=500\mathrm{g}$. Their difference isAn underestimated preset tare therefore overestimates the contents. Repeating the same discrepancy across ten containers produces a $130\mathrm{g}$ total discrepancy; more displayed digits do not remove it.

A useful physical check independently weighs representative empty containers, including the same lids and attachments used during the loaded measurement, and compares them with the stored value. Record which load components the preset represents. If it is subtracted from an indication that has already had those components removed by a tare device, the same tare mass is deducted twice. The stored number's provenance and variability belong in the measurement model and its measurement uncertainty.