Cited passages: Discrete Mathematics: An Open Introduction, 3rd edition, §3.1 Truth Tables: conjunction, disjunction and negation tables; §3.1 Logical Equivalence: definition and comparison of truth-table columns; §3.1 Example 3.1.3 and De Morgan’s Laws box; Front Matter: title, whole-book author, edition, displayed date August 12, 2025; Institutional Oscar Levin profile, Publications entry: third edition (2018).
The manufacturer-issued Protein Preparation Handbook reports a paired dialysis comparison: of bovine serum albumin, in sodium chloride, was held behind a MWCO membrane against of water in a conical tube, shaken at room temperature. The bath was replaced after two hours. A conventional stirred-beaker treatment against of water supplied the comparison control. Residual salt was followed by sample electrical conductivity; results averaged two samples. This readout tests small-ion removal, not protein retention.[ref]
Its separate retention experiment used individual proteins at in saline or carbonate-bicarbonate buffer solution, pH , with membranes rated , , , and . After seventeen hours at , retained protein was estimated by a bicinchoninic acid assay. The size series and membrane series compare retention; they do not isolate shape independently of mass. The figure caption supplies neither a no-membrane recovery control nor a complete uncertainty analysis. These are manufacturer comparisons, not proof of universal recovery or unchanged enzyme function.[ref]
The two experiments answer complementary questions: did the small solute leave, and did the desired macromolecule remain? In a new experiment, a bath blank and a starting salt standard would help interpret electrical conductivity, while a matched undialyzed protein aliquot and recovered volume would help distinguish handling loss from dilution. Those are proposed additional controls, not controls claimed for the published figures. Other ions also contribute to electrical conductivity, so the readout cannot generally identify sodium chloride alone in an unfamiliar buffer solution.
Consider an original ideal model with sample volume , bath volume , and initial sample solute concentration . Assume each volume is fixed, a freely permeant, nonbinding solute, no chemical reactions, complete mixing on each side, and equal concentrations at equilibrium. Each fresh bath initially contains none of this solute. The protein is perfectly retained in this model.
The first equilibration redistributes the initial amount of substance through both compartments. Conservation gives
This denominator includes the sample itself. For the chosen and , , rather than . Nine-tenths of the initial solute is in the bath and one-tenth remains in the sample; nothing has vanished during equilibration.
Discarding the equilibrated bath removes its solute. A second fresh bath starts with only of solute in the entire system, so the same argument applies again. Induction gives the geometric progression
Here counts completed equilibrations with fresh baths: is the first bath, follows one replacement, and follows two replacements. The normalized sample concentrations are respectively , and . Leaving the first bath in place for longer cannot lower the ideal equilibrium value below .
Figure 1.
Repeated fresh baths reduce normalized solute concentration geometrically
. Original fixed-volume model, not experimental data. The left panel normalizes the first bath's conserved amount of substance by , distinguishing the sample's share from the bath's share. The right panel plots sample solute concentration divided by after each completed fresh-bath equilibration on a logarithmic vertical axis. The protein curve is normalized independently by its own initial concentration. The perfectly retained protein stays at normalized concentration one only because its amount of substance and the sample volume are fixed. Details.
The same conservation argument handles a fresh bath already containing a permeant solute at fixed concentration :
Thus the sample approaches , not necessarily zero. For example, if a hypothetical new buffer component starts at zero in the sample and at in every bath, its sample concentration reaches , and in the three equilibrations. Outward removal and inward replacement follow the same mathematics.
Equilibrium fractions do not specify elapsed time. An illustrative well-mixed linear ordinary differential equation model within one bath is
Here is an effective transfer coefficient with units of volume per time. Adding the two equations conserves ; subtracting their normalized forms gives
The difference undergoes exponential decay. A bath replacement resets , renewing the driving difference without making jump instantly. The plotted points are equilibrium endpoints, not a measured time course or a timetable for an arbitrary protein.
Real sample volume can change through osmosis; proteins can be lost through leakage or adsorption to the semipermeable membrane. Consequently, a measured decrease in protein concentration alone cannot distinguish dilution from loss of protein. Measuring recovered volume as well as protein concentration permits an estimate of recovered protein mass.[ref]
Buffer exchange 2026-10-14
Buffer exchange changes the small components surrounding a retained macromolecule toward those of a desired buffer solution. Components absent from fresh dialysate tend to leave; supplied components can enter. Each permeant solute has its own exchange problem.[ref]
For a dilute, nonbinding permeant solute, an ideal equilibrium calculation approaches the bath's specified concentration. That approximation need not describe a solute bound to a protein or a charged mixture with additional electrical constraints. Retaining a protein also does not by itself establish that its protein structure or catalytic function survives the change of buffer solution.
Molecular weight cut-off 2026-10-14
The molecular weight cut-off rates retention of reference molecules. One manufacturer's definition uses the mass at which approximately remains after seventeen-hour dialysis, tested with globular proteins. A rating uses dalton units: a mass, not a length or an absolute passage threshold.[ref]
A semipermeable membrane has a distribution of passage sizes, and a molecule's shape affects passage as well as its mass. Near the nominal MWCO, slow passage can make substantial retention compatible with eventual leakage. The protein-retention experiment below makes retention an observable quantity rather than a universal yes-or-no property inferred from the label.
Dialysate 2026-10-14
The external chemical solution on the other side of a dialysis semipermeable membrane. Its composition supplies the boundary condition for exchange: it can receive unwanted small solutes or supply desired small solutes. A bath replacement discards the old dialysate and introduces a new reservoir with a specified composition.
The inspected online edition is undated. The displayed 2016–2026 range has no stated date role and is not taken as a publication year.
Cited passages: Data Structures and Algorithms, section 9.1.1: complete shape and binary heap example; Data Structures and Algorithms, section 9.1.1: full shape and Huffman coding tree example; Data Structures and Algorithms, section 9.1.1: perfect shape, equal leaf levels, and Figure 9.4; Data Structures and Algorithms, section 9.1.2, height pseudocode: null returns -1.
LLVM Created 2026-10-14 Updated 2026-11-05
LLVM is a collection of reusable compiler infrastructure built around a typed intermediate representation. Its static single-assignment form gives each register-like value one definition, making data dependencies explicit for compiler optimization. The same intermediate representation has an in-memory form, a compact bitcode form and a readable textual form.[ref]
A compiler front end translates a source programming language into the intermediate representation; optimization passes transform it while preserving the required semantics; a compiler back end produces code for a target computer architecture. Sharing the middle stages lets several source programming languages reuse the same analyses and target support. For a small textual example, %y = add i32 %x, 1 defines a new 32-bit integer value from an earlier one. The value %y is defined once even if the source program repeatedly assigns to a source variable.
A program representation used between input and final output, convenient for analysis, transformation or execution. An abstract syntax tree and bytecode can each serve this role.
Addition principle 2026-10-14
The rule of sum counts alternatives in disjoint finite sets by adding their sizes. For a disjoint union , each element belongs to exactly one alternative, so . Overlapping alternatives require accounting for repeated elements, as in the inclusion-exclusion principle. The groups indexed by first-return position in the Catalan recurrence are disjoint alternatives.
Inclined plane Created 2026-10-14 Updated 2026-10-18
An inclined plane is a flat surface tilted through an angle above horizontal. A ramp exchanges a smaller lifting force for a longer travel distance; for a released body, it reduces the downhill component of gravitational weight and makes the resulting acceleration easier to measure. Its simplest dynamical model is a nonrotating block on a stationary, rigid surface, with constant mass , uniform gravitational acceleration of magnitude , and . Assume continued contact, negligible drag force, no tipping, and no applied pull. The only forces are gravitational weight, the normal force, and any tangential friction.
The central distinction is between a block resting on the inclined plane and one already sliding. Static friction supplies the force needed to maintain rest, up to its bound; kinetic friction has a prescribed magnitude in the ideal constant-coefficient model. These laws are empirical approximations whose range depends on the contacting surfaces.[ref]
Trajectory Created 2026-10-14 Updated 2026-11-05
A trajectory describes a body's position as it evolves with time, such as for a point mass. Its first time derivative is velocity and its second is acceleration. A geometrical path records which positions are visited; the time-parametrized trajectory additionally records how fast and in which direction the body moves along that path.
For a projectile in a uniform gravitational field without air resistance, horizontal uniform motion and vertical constant acceleration combine into a parabolic path. Changing the initial velocity selects a different trajectory even under the same force law. A phase-space trajectory retains momentum as well as position, so a particle passing through the same spatial point with different velocities occupies different phase-space states. Returning to one position alone therefore does not establish that the full motion is periodic.
Classical Dynamics by David Tong / 3. The Motion of Rigid Bodies Created 2026-10-14 Updated 2026-10-20
Cited passages: Classical Dynamics by David Tong, §3.4.3, The Asymmetric Top: Stability, printed pp. 57–58, equations (3.40)–(3.45); Classical Dynamics by David Tong, §3.4.3, equations (3.41)–(3.45), and §3.4.4, invariants (3.46)–(3.47); the invariant-bound argument here is an original short derivation.
Actogram 2026-10-14
An actogram displays activity across successive time intervals, commonly in one row per calendar day.
In masking of circadian rhythm, an external condition changes the observed output without necessarily changing the underlying circadian clock.
Circadian clock 2026-10-14
A circadian clock is an endogenous timekeeping system that generates circadian rhythms.

There are unlisted articles, also show them or only show them.