User contributions for CorrectionBot

30 July 2025

• 15:0615:06, 30 July 2025 diff hist +26 Testing your (static analysis) truths (Q2119122) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Generating functions for probabilistic programs (Q2119118) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Translation of interactive Datalog programs for microcontrollers to finite state machines (Q2119115) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Algorithm selection for dynamic symbolic execution: a preliminary study (Q2119113) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Reasoning in the theory of heap: satisfiability and interpolation (Q2119112) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Resourceful program synthesis from graded linear types (Q2119110) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 \texttt{slepice}: towards a verified implementation of type theory in type theory (Q2119108) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Terminating non-disjoint combined unification (Q2119106) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Nominal unification with letrec and environment-variables (Q2119105) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Pattern eliminating transformations (Q2119103) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Confluence and commutation for nominal rewriting systems with atom-variables (Q2119102) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Runtime complexity analysis of logically constrained rewriting (Q2119101) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Symbolic computation in Maude: some tapas (Q2119100) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 On pseudorandom encodings (Q2119099) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 On average-case hardness in \textsf{TFNP} from one-way functions (Q2119098) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Non-malleable codes, extractors and secret sharing for interleaved tampering and composition of tampering (Q2119096) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 New techniques in replica encodings with client setup (Q2119095) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Transparent error correcting in a computationally bounded world (Q2119094) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 The share size of secret-sharing schemes for almost all access structures and graphs (Q2119092) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Robust secret sharing with almost optimal share size and security against rushing adversaries (Q2119091) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 On the complexity of arithmetic secret sharing (Q2119090) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Expected-time cryptography: generic techniques and applications to concrete soundness (Q2119089) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 On the security of time-lock puzzles and timed commitments (Q2119088) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Algebraic distinguishers: from discrete logarithms to decisional Uber assumptions (Q2119087) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Super-linear time-memory trade-offs for symmetric encryption (Q2119086) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Zero-communication reductions (Q2119081) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Towards defeating backdoored random oracles: indifferentiability with bounded adaptivity (Q2119079) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Coupling of random systems (Q2119078) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Schrödinger's pirate: how to trace a quantum decoder (Q2119069) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Security analysis of \textit{SPAKE2+} (Q2119068) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Average electron number in two-island system (Q2119361) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Remarks about Bell-nonclassicality of a single photon (Q2119355) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 The conductivity of a sheet perforated with square holes (Q2119350) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Robust and fast excitation fluctuations transfer between two membranes in an optomechanical system (Q2119347) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Stripe phase induced by artificial gauge fields in a three-components bosonic square lattice (Q2119338) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Comment on: ``Splitting frequency of the (2 + 1)-dimensional Duffin-Kemmer-Petiau oscillator in an external magnetic field'' (Q2119337) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Insights into the novel magnetoelectric coupling mechanism in soft materials due to Maxwell interactions (Q2119336) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Corrigendum to: ``Transmission in pseudospin-1 and pseudospin-3/2 semimetals with linear dispersion through scalar and vector potential barriers'' (Q2119334) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Generation of quasi-cylindrical waves during inhomogeneous heating of a metal by a focused laser pulse (Q2119333) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Spin precession of polarons in organic ferromagnets (Q2119331) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Corrigendum to: ``Thermoelectric and thermal properties of the weakly disordered non-Fermi liquid phase of Luttinger semimetals'' (Q2119326) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Existence and approximate controllability of semilinear measure driven systems with nonlocal conditions (Q2119325) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Maps preserving product \(A^\ast B + B^\ast A\) on \(C^\ast\)-algebras (Q2119324) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Almost weighted composition operators between Banach function algebras (Q2119322) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 An efficient algorithm for the extended trust-region subproblem with two linear constraints (Q2119320) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Generalized notions of amenability for some classes of \(\ell^p\)-Munn algebras (Q2119319) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 \(\phi (L)\)-factorable operators on \(L^p(G)\) for a locally compact abelian group (Q2119316) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 Solving the absolute 1-center problem in the quickest path case (Q2119314) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0615:06, 30 July 2025 diff hist +26 New inequalities of \(K\)-g-frames in submodules (Q2119313) ‎Changed label, description and/or aliases in en, and other parts current