GLOBAL KNOWLEDGE ARK

Reference library

Foundations

Explore concepts, laws, equations and methods, with clear explanations of their use and sources. Choose an area of study or find a specific entry.

More filters

Reference entries

Showing 1111–1140 of 1709 reference entries

Earth & cosmosNonuniqueness and resolution in gravity inference

Different subsurface density structures can yield the same external gravitational field.

Method
Earth & cosmosConductive heat diffusion and a thermal length scale

For stationary homogeneous material with constant positiveρ,c_p andk, no internal heat production and one-dimensional conduction, ρc_pT_t=kT_zz, with thermal diffusivityκ=k/(ρc_p).

Model
Earth & cosmosSteady geotherm with internal heat production

With depthz positive downward, constant conductivityk and uniform volumetric heat productionH, a stationary conductive slab obeys kT_zz+H=0.

Model
Earth & cosmosHalf-space cooling of an ideal lithosphere

For z>0 initially at uniform T_i and a surface held at T_s for t>0, constant-κ conduction gives T(z,t)=T_s+(T_i−T_s)erf[z/(2√(κt))].

Model
Earth & cosmosPassive and active Earth-observation signals

Passive sensors receive externally supplied or naturally emitted radiation; active radar/lidar supplies illumination and measures its return.

Method
Earth & cosmosDigital values, TOA radiance and reflectance

For the specified Landsat Level-1 product, metadata supplies band-specific rescaling L_λ=M_LQ_cal+A_L and uncorrected planetary reflectanceρ′=M_ρQ_cal+A_ρ.

Method
Earth & cosmosThermal brightness temperature and surface-temperature limits

A Landsat thermal-band TOA radianceL_λ>0 maps to product brightness temperature T_B=K₂/ln(K₁/L_λ+1), using its band-specific metadata constants.

Method
Earth & cosmosNDVI as a calibrated spectral ratio

For compatible near-infrared and red surface-reflectance bands, NDVI=(ρ_NIR−ρ_R)/(ρ_NIR+ρ_R).

Method
Earth & cosmosPulse ranging, elevation geometry and a DEM

For a monostatic pulse with corrected round-trip delayτ and constant propagation group speedv_g, one-way slant range is R=v_gτ/2.

Method
Earth & cosmosOcean colour and an empirical chlorophyll retrieval

Ocean-colour band-ratio models estimate near-surface chlorophyll-a from water-leaving remote-sensing reflectances.

Method
Earth & cosmosResolved fault traction and the Mohr construction

LetΣ be the symmetric compression-positive stress tensor, the negative of tensile-positive Cauchy stress.

Method
Earth & cosmosAndersonian stress regimes and faulting

In an Andersonian idealization, one principal stress axis is vertical and two are horizontal.

Model
Earth & cosmosEnergy balance for brittle crack extension

In a quasistatic elastic fracture model, crack extension releases mechanical potential energy at rateG=−∂Π/∂A per projected crack area.

Model
Earth & cosmosInduced/remanent magnetization and a total-field anomaly

A weak-field linear isotropic rock model separates magnetizationM=M_r+χH into retained remanence and an induced response to localH.

Method
Mathematics & logicHigher categories through nerves and inner horns

The nerve of an ordinary category has n-simplices given by chains of n composable arrows; inner horns have unique fillers encoding composition.

Definition
Mathematics & logicA nonlinear existence theorem: subcritical NLS

For i u-t=−Delta-u−lambda|u|^alpha u on R-n, real lambda and 0<alpha<4/n, every L2 initial datum has a unique local mild solution in C([0,T];L2) intersected with L-q(0,T;L^(alpha+2)), where q=4(alpha+2)/(n alpha).

Mathematical statement
InformationDifferential privacy and the protected unit

A randomized mechanism is (epsilon,delta)-differentially private if every neighboring dataset pair and every output event obey Pr[M(D) in S]≤exp(epsilon)Pr[M(D-prime) in S]+delta.

Definition
InformationSensitivity, Laplace noise and composition

For a vector query with global L1 sensitivity Delta-1, adding independent Laplace noise of scale Delta-1/epsilon to each coordinate gives epsilon-DP under the chosen adjacency.

Method
InformationRényi privacy accounting and conversion

For order alpha>1, RDP bounds the Rényi divergence between mechanism outputs on every adjacent dataset pair by epsilon-alpha.

Mathematical statement
InformationAdversarial robustness needs a threat model

A norm-bounded adversarial evaluation asks whether an attacker can change a model's prediction using perturbations within a specified set around an input.

Method
InformationRandomized smoothing: a bounded L2 certificate

Gaussian smoothing defines a classifier by the most probable prediction of a base classifier under N(0,sigma²I) noise.

Mathematical statement
InformationTransformer attention and its modeling objective

Scaled dot-product attention computes softmax(QK-transpose/sqrt(d-k))V, allowing token representations to combine context through learned query/key/value projections.

Model
InformationDiffusion modeling and learned reverse denoising

A DDPM adds Gaussian noise in a forward Markov chain and learns a parameterized reverse process to generate samples.

Model
InformationAutoregressive and diffusion frameworks compared

An autoregressive model factors a sequence law into conditional next-element distributions, while a diffusion model generates through a learned reverse noise process.

Definition
Information2025 contamination-detection study and evaluation limits

Samuel, Zhou and Zou's COLING 2025 study compares five contamination-detection approaches across four language models and eight benchmarks, including a controlled fine-tuning oracle setting.

Empirical finding
InformationExact quantum recovery: Knill–Laflamme conditions

A code subspace with projector P exactly corrects a specified span of errors E-a precisely when P E-a† E-b P=c-ab P for every error pair.

Mathematical statement
InformationStabilizer codes, CSS structure and code distance

A stabilizer code is the common fixed subspace of an abelian Pauli subgroup excluding minus identity.

Definition
InformationSurface-code threshold and physical noise assumptions

Surface/toric codes measure local stabilizer checks and infer error chains from syndromes.

Model
InformationFault-tolerant operations and logical resource budgets

Fault-tolerant computation must control faults during syndrome extraction, recovery and encoded gates as well as idle storage.

Method
InformationBelow-threshold surface-code memory: measured evidence

Google Quantum AI's Nature study, online 9 December 2024 and in the 2025 volume, reports a distance-seven surface-code memory using 101 physical qubits with logical error 0.143%±0.003% per cycle.

Empirical finding
MethodSource checked

Pulse ranging, elevation geometry and a DEM

Earth & cosmos

For a monostatic pulse with corrected round-trip delayτ and constant propagation group speedv_g, one-way slant range is R=v_gτ/2.

Key knowledge

For a monostatic pulse with corrected round-trip delayτ and constant propagation group speedv_g, one-way slant range is R=v_gτ/2. Platform position and beam direction map that range to a reflecting location. A bare-earth digital elevation model represents terrain heights relative to a specified horizontal/vertical reference; a measured canopy or building echo is not automatically bare ground.

Values and equations

R=v_gτ/2

R
one-way slant range in the stated fixed-path model m
v_g
propagation group speed along the modeled path m s⁻¹
τ
round-trip time after equipment-delay correction s

Conditions and scope

  • Account for equipment delay, medium propagation, platform motion/position and the actual returned echo. The displayed formula assumes reciprocal fixed geometry during the pulse flight and a known return path; nadir height is a further geometric specialization.
  • Classification, multiple returns, atmospheric refraction, slope/footprint, datum and interpolation affect terrain estimates. A raster's grid interval is not its vertical accuracy, and a range alone does not provide an unreferenced global elevation.
Sources · 3

References

Sources retain their recorded scope. A source link alone does not establish verification of every statement.

  1. Chapter12, Active/Passive Instruments and AltimetersNASA — Basics of Space FlightReference guidescience.nasa.govRead source
  2. Remote Sensing, Absorption Bands/Atmospheric Windows, Spectral Signatures and Remote Sensing MethodsNASA Earth ObservatoryReference guidescience.nasa.govRead source
  3. What is a digital elevation model? Bare-ground definition and source typesUS Geological SurveyReference guideusgs.govRead source

Evidence and review

Read actual NASA altimeter round-trip timing/orbit and lidar methods plus USGS DEM definition/source paragraph. Corrected the NASA chapter's dimensionally reversed dividing-by-speed wording to distance=delay×speed, and used propagation group speed with explicit delay/geometry conditions. No unique return classification or full lidar/SAR reconstruction algorithm claimed.

2026-10-10 · Independent AI editorial review: All73 exact supplement compact statements, conditions, displayed equations and247 origin semantic links read; all109 combined original36+supplement73 author-source rows, exact locators, hypotheses, exclusions and disclosed derivations assessed. Original36 exact scientific content is independently approved in the linked receipt. All18 inherited Earth compact references and shared Math/Physics/Measurement methods were considered in the full practical Earth inventory. Targeted actual primary sections listed below; not every source body/proof or every possible university elective independently reread. AI editorial reference review, not human certification, full-degree proficiency, new experimental validation or a claim of whole combined Earth-and-Cosmos approval. Receipt: earth-completion-independent-content-inventory-review.1.

Entry detailsPermanent link to this entry ↗
Record identity
uni-earth-range-elevation
Revision
core.1
Structured reference record
University core expansion