User contributions for CorrectionBot

30 July 2025

• 13:1513:15, 30 July 2025 diff history +26 Optimizing pooled testing for estimating the prevalence of multiple diseases (Q2102992) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 On information about covariance parameters in Gaussian Matérn random fields (Q2102988) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Coefficients of determination for mixed-effects models (Q2102986) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Row-column sampling design using auxiliary ranking variables (Q2102985) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Efficient discretization of movement kernels for spatiotemporal capture-recapture (Q2102983) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Spatially balanced sampling with local ranking (Q2102981) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Modelling sub-daily precipitation extremes with the blended generalised extreme value distribution (Q2102980) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 A spatial modeling framework for monitoring surveys with different sampling protocols with a case study for bird abundance in Mid-Scandinavia (Q2102978) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Incorporating historical data when determining sample size requirements for aquatic toxicity experiments (Q2102972) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Robust functional principal component analysis based on a new regression framework (Q2102971) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Time-varying functional principal components for non-stationary \(\text{EpCO}_2\) in freshwater systems (Q2102970) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Spatial modeling of day-within-year temperature time series: an examination of daily maximum temperatures in Aragón, Spain (Q2102967) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Interpolation of precipitation extremes on a large domain toward IDF curve construction at unmonitored locations (Q2102962) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Multi-scale Vecchia approximations of Gaussian processes (Q2102959) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 A spatiotemporal analytical outlook of the exposure to air pollution and COVID-19 mortality in the USA (Q2102958) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Laplace approximations for capture-recapture models in the presence of individual heterogeneity (Q2102955) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}'' (Q2102952) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Correction to: ``A formalization of the Smith normal form in higher-order logic'' (Q2102951) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 A formalization of the Smith normal form in higher-order logic (Q2102950) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Formalization of the computational theory of a Turing complete functional language model (Q2102949) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 A formalization of SQL with nulls (Q2102947) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 From specification to testing: semantics engineering for Lua 5.2 (Q2102942) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Pardinus: a temporal relational model finder (Q2102939) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Faster linear unification algorithm (Q2102937) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Verifying Whiley programs with Boogie (Q2102933) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Theorem proving as constraint solving with coherent logic (Q2102932) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Tuple interpretations for termination of term rewriting (Q2102931) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 A characterization of \(n\)-Gorenstein tilting comodules (Q2105669) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 \(C^\ast\) completions of Leavitt-path-algebra pullbacks (Q2105668) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Property FW and wreath products of groups: a simple approach using Schreier graphs (Q2105666) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Korovkin-type theorems and local approximation problems (Q2105663) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Homology and AH conjecture for groupoids on one-dimensional solenoids (Q2105656) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Criteria on the existence of limit cycles in planar polynomial differential systems (Q2105655) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 The full power of the half-power (Q2105653) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 A characterization of the zero-free region of the Riemann zeta function and its applications (Q2105652) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 A note on commutation relations and finite dimensional approximations (Q2105651) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Asymptotic results of the remainder in a Ramanujan series for \(1/\pi \) (Q2105649) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Hilbert's Nullstellensatz for analytic trigonometric polynomials (Q2105647) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 A noncommutative extension of Mahler's interpolation theorem (Q2105640) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 On the lifting property for \(C^{\ast}\)-algebras (Q2105638) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 An equivariant pullback structure of trimmable graph \(C^{\ast}\)-algebras (Q2105632) ‎Changed label, description and/or aliases in en, and other parts
• 13:1513:15, 30 July 2025 diff history +26 Measuring effectiveness of movement-based three-way decision using fuzzy Markov model (Q2105631) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Multi-granularity sequential three-way recommendation based on collaborative deep learning (Q2105630) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 A review of sequential three-way decision and multi-granularity learning (Q2105628) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 Independent natural extension for choice functions (Q2105627) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 The possibilistic Horn non-clausal knowledge bases (Q2105624) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 The twelfth international symposium on imprecise probabilities: theories and applications (ISIPTA-21) (Q2105622) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1513:15, 30 July 2025 diff history +26 An inferential model-based method for testing homogeneity of several variances against tree-ordered alternatives (Q2105621) ‎Changed label, description and/or aliases in en, and other parts current