WordNet by Codex 0 2026-11-05
WordNet is a lexical database that represents English word senses through synsets connected by labeled relationships. It groups meanings by part of speech, while keeping different meanings of the same written form distinct. Its organization therefore supports queries about concepts rather than spelling alone.[ref]
For a toy information-retrieval task, suppose an annotated query uses the financial sense of bank. Expanding it with terms attached to a river-margin sense would introduce irrelevant results even though the spelling matches. A sense-aware representation supplies the distinction needed to avoid that error; a separate method still has to choose the intended sense from context.
WordNet also records relations such as hyponymy, connecting more specific concepts to broader ones. Following a labeled relation answers a different question from finding another member of the same synset.[ref] Neither neighborhood nor shared spelling guarantees that two expressions can replace each other in every sentence.
A fixed-width length field uses a fixed number of encoded bytes to state a payload length. The payload itself can vary in size. For an unsigned -byte field in big-endian endianness, bytes represent
The format must additionally define the length unit, permitted range and whether headers count toward it. TLS uses unsigned, network-order integers and gives variable-length vectors a prefix wide enough for their declared maximum; its vector length counts bytes, not elements.[ref]
For an original two-byte length-prefixed encoding, prefix 02 01 means payload bytes in big-endian order. The complete field then occupies bytes. The same two prefix bytes would mean under little-endian interpretation, changing the boundary of every following field. The byte order is therefore part of the serialization, not a display preference.
A two-byte field can represent at most ; a format permitting payload lengths only up to must reject larger encoded values even though they fit the field. Conversely, a -byte payload needs prefix 01 2c under this convention. Truncating it to one byte would declare only bytes. A format change cannot be implemented by silently discarding high-order bits.
Length-prefix validation before allocation checks the declared range and available input before reserving space or consuming the payload. A complete decoder also specifies how truncation and trailing bytes are handled. Byte count and character count differ for encodings such as UTF-8. A length prefix supplies boundaries; a field's role or type may still need binding through cryptographic domain separation.
For a holomorphic map of a compact complex manifold whose fixed points are isolated and satisfy , the holomorphic Lefschetz fixed-point formula for the structure sheaf says
The left side uses sheaf cohomology of holomorphic functions; the right side uses the complex determinant, rather than its absolute value. This is a holomorphic form of the Atiyah-Bott fixed-point theorem.[ref]
On the complex projective line, , with , fixes zero and infinity. The two derivatives are and , so the local sum is . Globally and , giving the same answer. Individual local terms need not be integers.
The Atiyah-Bott fixed-point theorem computes an alternating trace on the cohomology of an elliptic complex from local data at fixed points. In the isolated, nondegenerate case, let be a smooth map of a closed smooth manifold, with compatible lifts commuting with the complex's differential operators. If at every fixed point, then
The lifts, not just the map of the base, determine the action.[ref]
For the de Rham complex and reflection of a circle, there are two fixed points with derivative . At each, the alternating fibre trace is and the denominator is two, giving local contribution one. Globally the induced actions on and are and , so both sides equal two. The holomorphic Lefschetz fixed-point formula applies the same idea to holomorphic complexes.
The airfoil leading-edge radius is the local radius of curvature of the nose of an airfoil. It describes a local shape feature, unlike the airfoil chord or maximum airfoil thickness-to-chord ratio. A single maximum-thickness value does not determine nose sharpness.
For a regular planar curve , the curvature magnitude and its reciprocal are
where is finite when the numerator is nonzero. Near a symmetric nose, choose the foremost point as origin and write . At the nose , so . The expression is geometric; a badly scaled drawing changes an apparent visual radius without changing the actual coordinates.
Leading-edge radius estimation from sampled coordinates has a resolution tradeoff. In the exact model with metre units, the true radius is . At the horizontal displacement is . With the vertical coordinate treated as exact and the horizontal displacement error bounded by , the estimate ranges approximately over .
Moving the sampled height to reduces the exact horizontal displacement to ; the same coordinate error widens the inferred interval to . Sampling closer to the nose is therefore not automatically more informative. In a real curve with a quartic term, smaller offsets reduce truncation error but amplify fixed coordinate noise in the quotient.
For the symmetric four-digit thickness envelope, the familiar relation supplies another model-specific check.[ref] The example NACA 0012 with has nominal radius about . That family relation should not replace a local curvature calculation for an unrelated profile.
Selection recovery versus purity in tissue profiling separates how many desired cells are retained from how strongly those cells dominate the collected material. In laser capture microdissection, high target-cell purity can coexist with low target recovery. Neither quantity alone describes the biochemical amount recovered or guarantees that the retained cell population represents every target state.
Let the starting specimen contain target and background cells, and suppose selection retains . Define
when the denominators are positive. measures target recovery and target purity. The analogous notions in a classified set are precision and recall, but here the quantities describe a physical collection process, not merely its digital labels.
For an original specimen containing 100 targets and 900 background cells, a broad selection recovering 60 targets and 40 background cells has and . A stricter selection recovering 20 targets and one background cell instead has and . It gives a cleaner mixture but only one third as many target cells as the first selection. The suitable balance depends on the downstream assay and the sampling question.
The enrichment can be expressed as an odds identity. If and the respective recovery fractions are , then
The ratio multiplies the starting target odds. This is a direct consequence of counting recovered targets and background, not a claim that neighbouring cells in a laser footprint are independently sampled.
Even perfect target purity can hide selection bias within the desired population. Suppose two target states initially occur equally often, but their recovery fractions are and . Among recovered targets, the first state accounts for . If its per-cell marker signal is 100 units and the second state's is 20, the selected mean is 92 units instead of the original 60, although neither state's own signal changed. Target identity, representative state sampling and gene expression are separate checks.
The original capture experiment demonstrated selected tissue transfer together with DNA/RNA amplification and enzyme recovery. Those biochemical tests establish useful recovered material, but do not supply every target/background count needed for the above recovery and purity measures.[ref] Before/after images, target counts and matched assay-background controls provide complementary evidence. Target purity versus cell-state change in microdissection adds the distinction between changed composition and changed per-cell biology.
Aligned free-block capacity is the usable payload that a particular free extent can supply after meeting memory alignment and metadata requirements. It differs from the raw extent length and from the largest free memory block. For an illustrative block , header requirement and payload alignment , the first permissible payload start is
If the allocator reserves no trailer or additional rounding, usable payload capacity is . This formula belongs to the stated layout; it is not a universal allocator ABI.
For a free interval in byte offsets, an8-byte header and16-byte alignment give . The raw64-byte extent then has51 bytes after the aligned start. Allocation alignment padding is bytes, in addition to the8-byte header. A48-byte payload fits this model, whereas a52-byte payload does not.
If allocated payload size must also be rounded to a multiple , a requested size needs usable bytes. For in the same example, the largest such payload is48 bytes: a49-byte request rounds to56 and fails. Header information and allocation granularity can therefore change the answer even when the alignment condition itself is satisfied.[ref]
For integer addresses, the padding before the payload lies between0 and bytes. Splitting a chosen block can introduce another constraint: a leftover interval may be too small to hold a free record. A capacity calculation must consequently identify the actual header, alignment, rounding and remainder conventions rather than treating every raw free byte as payload.
A spatial averaging filter maps a spatially varying quantity to a weighted local average. For a translation-invariant kernel of characteristic width ,
This is a convolution. The normalization preserves a constant value; the kernel determines how each spatial scale is changed. In large eddy simulation, the filter defines the resolved quantities whose evolution is calculated.[ref]
For a one-dimensional box averaging filter,
Integrating explicitly gives
The multiplier is a sinc function. A wave with retains amplitude , while one with is removed. This filter attenuates different Fourier modes differently; it is not an ideal sharp cutoff of all modes above one threshold.
A linear filter does not preserve products: generally . That lost product information produces the subgrid-scale stress. Nor does every filter satisfy ; applying the box average twice produces a different kernel.
With constant width on an unbounded or periodic region, differentiating the convolution gives under suitable regularity. A width varying with position or a special near-wall construction can introduce additional terms. Those assumptions must be stated before commuting a filter through a partial derivative.
Among bounded domains in of a prescribed volume, the ball minimizes the first Dirichlet eigenvalue of the negative Laplace operator. For sufficiently regular and a ball with ,
This is the Faber-Krahn inequality. The variational formula shows why rearrangement helps: replacing a function by its symmetric decreasing rearrangement preserves its squared integral while reducing its gradient energy.[ref]
For a stretched domain , the eigenvalue scales as , so the volume normalization is essential. For a membrane with fixed wave speed and area, the disk has the lowest fundamental frequency because frequency is proportional to . For diffusion with an absorbing boundary, it instead gives the slowest asymptotic decay among shapes of that volume.
The cube-class group of a field is the quotient abelian group
Two nonzero elements determine the same class precisely when is a cube in . Multiplication of representatives gives the quotient operation. Every class has order dividing three because the cube of its representative is trivial in the quotient.
For , every nonzero real number has a real cube root, so the group is trivial. For a finite field , cyclicity of gives a cube-class group of order . In , the class of two is nontrivial and has order three: prime exponents in a rational cube must be divisible by three.
When the characteristic is not three and contains the cube roots of unity, Kummer theory connects these classes with extensions formed by adjoining cube roots. The quotient group itself is defined without those additional Kummer hypotheses.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact