New entries

Confirmation English Recognition English Serial recall English Recall memory English Mere exposure effect English Depth of processing English Retrieval practice English Memory encoding English Correlation and consistency checks English Witness Construction English Theory of Linear Arithmetic English Feasibility non-emptiness English Ellipsoidal uncertainty set English Ambiguity set English Distributionally robust optimization English Constraint qualification English Robust optimization English Constrained optimization English Spectral normalization English Weight normalization English Ensemble aggregation English Inverse-variance weighting English Odds ratio English Funnel plot English Robust likelihood English Heteroscedastic noise English Independent component analysis English Whitening English Subspace tracking English PCA subspace English Alternating projections English Linear arithmetic projection English Presburger arithmetic English Universal quantifier elimination English Free variable English Universal quantification English Alpha-conversion English free variables English membership predicate English characteristic predicate English Total computable function English Decidable set English Completeness under reductions English Undecidability English Reduction chain English Computable mapping reduction English Completeness under Turing reducibility English Oracle computability English Turing reduction English Quantifier alternation English Decidable problem English Recursively enumerable language English Rice’s theorem English Partial computability (halting exactly when the function is defined) English Computability theory English Countable set English Cantor’s diagonal argument English Uncountable set English Equipotent sets English Linear isomorphism English Bijective map English Bi-Lipschitz map English Rank–nullity theorem English Injective map English Kernel and image English Multivalued inverse English Partial inverse English Pretty-printing English Round-trip property English Seed English Unreserved characters English Property-based testing English Percent-encoding normalization English Lossy canonicalization English Canonicalization English Finite-state machine English Deterministic generation English Round-trip test English Key matrix English debouncing English privacy indicators English Gesture interaction English Constraints English Affordance English Directionality English Geometric mean English Composite scoring English Discriminant validity English Operationalization English Retropective English Action item tracking English Evidence quality English Postmortem English Rolling evaluation window English SLO flapping English Burn rate English SLO Measurement Window English Autoscaling English SLO Target Miss English Continuity Planning English