User contributions for CorrectionBot

30 July 2025

• 13:5913:59, 30 July 2025 diff history +26 Idempotent variations on the theme of exclusive disjunction (Q2115285) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Three ways of being non-material (Q2115283) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics (Q2115282) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Neural network repair with reachability analysis (Q2112124) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Efficient convex zone merging in parametric timed automata (Q2112120) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Non-blind strategies in timed network congestion games (Q2112118) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Timed games with bounded window parity objectives (Q2112117) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Classification of driving behaviors using STL formulas: a comparative study (Q2112115) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 MITL verification under timing uncertainty (Q2112111) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 An STL-based formulation of resilience in cyber-physical systems (Q2112110) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Model checking for entanglement swapping (Q2112108) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Bounded delay timed channel coding (Q2112103) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Monitoring timed properties (revisited) (Q2112101) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Algebraic model checking for discrete linear dynamical systems (Q2112097) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Study on collision between single coarse particle and wall in viscous media using CFD-DEM (Q2112096) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Comparison between homotopy analysis method and homotopy renormalization method in fluid mechanics (Q2112095) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Electro-elastic instability in electroosmotic flows of viscoelastic fluids through a model porous system (Q2112094) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Numerical simulation of high peak overpressure blast wave through shock tube and its interaction with a rectangular object (Q2112092) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Dynamics of landslide-generated tsunamis and their dependence on the particle concentration of initial release mass (Q2112088) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Linear stability analysis of a film flowing down a wall with different surface corrugated amplitudes -- a long wave approximation approach (Q2112084) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Image systems for regularised stokeslets at walls and free surfaces (Q2112082) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Corrigendum to: ``Gravity currents with internal stratification in channels of non-rectangular cross-section'' (Q2112079) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Computational design and experimental analysis of a novel visor for COVID-19 patients receiving high-flow nasal oxygen therapy (Q2112078) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Mixed electroosmotic/pressure-driven flow for a generalized Phan-Thien-Tanner fluid in a microchannel with nonlinear Navier slip at the wall (Q2112065) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Particle based large eddy simulation of vortex ripple dynamics using an Euler-Lagrange approach (Q2112064) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Stratified thermosolutal Marangoni bioconvective flow of gyrotactic microorganisms in Williamson nanofluid (Q2112060) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Numerical simulations of complex water spray flows around aircraft landing tire (Q2112058) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Experimental study on gravity currents with internal stratification in semicircular channels (Q2112057) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Increasing vortex-induced vibration-based energy harvesting using a nature-inspired bluff body: an experimental study (Q2112055) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Total domination on tree operators (Q2112050) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Periodic solutions of an indefinite singular planar differential system (Q2112049) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Lifespan estimates for a class of semilinear wave equations with time- and space-dependent coefficients on the power nonlinearity (Q2112047) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Curvature invariants for anti-invariant Riemannian submersions from cosymplectic space forms (Q2112045) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Global higher integrability for symmetric \(p(x, t)\)-Laplacian system (Q2112044) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Pseudo antiperiodic solutions to Volterra difference equations (Q2112043) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 A discrete probability distribution and some applications (Q2112039) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Nonlinear singular elliptic equations of \(p\)-Laplace type with superlinear growth in the gradient (Q2112037) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Sign-changing solutions for Schrödinger-Poisson system with local nonlinearity (Q2112034) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Magnetic Jacobi fields in Sasakian space forms (Q2112032) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Sets of uniqueness for infrapolymonogenic functions (Q2112031) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Zygmund-type integral inequalities for complex polynomials (Q2112026) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Transversal Killing \(h\)-operators on real hypersurfaces in nonflat complex space forms (Q2112023) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Frame properties of Hilbert-Schmidt operator sequences (Q2112022) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 On Urysohn-Chlodovsky operators acting on functions defined over the real line (Q2112021) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Existence results for implicit nonlinear second-order differential inclusions (Q2112020) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Isometries of analytic Besov-type Bergman-Orlicz spaces on the unit disk (Q2112018) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Existence of solutions to fractional elliptic equation with the Hardy potential and concave-convex nonlinearities (Q2112017) ‎Changed label, description and/or aliases in en, and other parts current
• 13:5913:59, 30 July 2025 diff history +26 Differentiability in measure of the flow associated with a nearly incompressible BV vector field (Q2112010) ‎Changed label, description and/or aliases in en, and other parts
• 13:5913:59, 30 July 2025 diff history +26 Nonadiabatic Landau-Zener-Stückelberg-Majorana transitions, dynamics, and interference (Q2111997) ‎Changed label, description and/or aliases in en, and other parts