User contributions for CorrectionBot

30 July 2025

• 15:0315:03, 30 July 2025 diff hist +26 Convergence acceleration for subiterative DDADI/ D3ADI using multiblock implicit boundary condition (Q2120029) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Fluid-structure interaction of thin flexible bodies in multi-material multi-phase systems (Q2120028) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A multiple-relaxation-time lattice Boltzmann model for radiative transfer equation (Q2120027) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A low dissipation finite difference nested multi-resolution WENO scheme for Euler/Navier-Stokes equations (Q2120025) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Feasibility of DEIM for retrieving the initial field via dimensionality reduction (Q2120024) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Resolving the Gibbs phenomenon via a discontinuous basis in a mode solver for open optical systems (Q2120022) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A target-fixed immersed-boundary formulation for rigid bodies interacting with fluid flow (Q2120021) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Improvement of generalized finite difference method for stochastic subsurface flow modeling (Q2120017) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A nested hybridizable discontinuous Galerkin method for computing second-harmonic generation in three-dimensional metallic nanostructures (Q2120014) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Gaussian process enhanced semi-automatic approximate Bayesian computation: parameter inference in a stochastic differential equation system for chemotaxis (Q2120013) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Discrete ordinates analysis of the forced-flight variance reduction technique in Monte Carlo neutral particle transport simulations (Q2120009) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Efficient smoothed particle radiation hydrodynamics. I: Thermal radiative transfer (Q2120006) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Coupling of turbulence wall models and immersed boundaries on Cartesian grids (Q2120005) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Efficient smoothed particle radiation hydrodynamics. II: Radiation hydrodynamics (Q2120001) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Multi-scale three-domain approach for coupling free flow and flow in porous media including droplet-related interface processes (Q2120000) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A stable fixed point method for the numerical simulation of a kinetic collisional sheath (Q2119996) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Study of accuracy of a non-conformal finite element domain decomposition method (Q2119995) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Lattice-Boltzmann simulation of creeping generalized Newtonian flows: theory and guidelines (Q2119992) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A proof method for local sufficient completeness of term rewriting systems (Q2119990) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A calculus for attribute-based memory updates (Q2119988) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 \textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs (Q2119987) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Reactive synthesis from visibly register pushdown automata (Q2119985) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Learning probabilistic automata using residuals (Q2119983) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Normalising Lustre preserves security (Q2119981) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Card-based cryptographic protocols with a standard deck of cards using private operations (Q2119979) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions (Q2119976) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 An incentive mechanism for trading personal data in data markets (Q2119975) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A mechanically verified theory of contracts (Q2119969) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Certifying choreography compilation (Q2119966) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A divide \& conquer approach to conditional stable model checking (Q2119965) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Accelerating SpMV multiplication in probabilistic model checkers using GPUs (Q2119962) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 A set automaton to locate all pattern matches in a term (Q2119959) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 On the correctness problem for serializability (Q2119957) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Some aspects of the database resilience (Q2119956) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Qualitative-quantitative reasoning: thinking informally about formal things (Q2119955) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins (Q2119954) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Bent partitions (Q2119953) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Standard model leakage-resilient authenticated key exchange using inner-product extractors (Q2119952) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 On the linearity and classification of \(\mathbb{Z}_{p^s} \)-linear generalized Hadamard codes (Q2119951) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Practical key recovery attacks on FlexAEAD (Q2119949) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 On the nonexistence of ternary linear codes attaining the Griesmer bound (Q2119947) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Practical algorithm substitution attack on extractable signatures (Q2119943) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Non-existence of quasi-symmetric designs with restricted block graphs (Q2119939) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Flag-transitive \(2\text{-}(v,k,\lambda)\) designs with \(r>\lambda(k-3)\) (Q2119937) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 The completion of optimal cyclic quaternary codes of weight 3 and distance 3 (Q2119936) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Isomorphism of maximum length circuit codes (Q2119935) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0315:03, 30 July 2025 diff hist +26 Generalised strip-saturation zone models for piezoelectric strip weakened by non-centric semi-permeable crack (Q2119934) ‎Changed label, description and/or aliases in en, and other parts current