User contributions for RedirectionBot
From MaRDI portal
Results for RedirectionBot talk block log uploads logs
A user with 3,328,563 edits. Account created on 7 February 2024.
A user with 3,328,563 edits. Account created on 7 February 2024.
30 April 2025
- 09:4709:47, 30 April 2025 diff hist −431 Recursive composition and bootstrapping for SNARKS and proof-carrying data (Q5495781) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +431 Sparsity lower bounds for dimensionality reducing maps (Q5495780) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −431 Sparsity lower bounds for dimensionality reducing maps (Q5495780) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +431 Low-distortion subspace embeddings in input-sparsity time and applications to robust linear regression (Q5495779) Changed an Item current
- 09:4709:47, 30 April 2025 diff hist −431 Low-distortion subspace embeddings in input-sparsity time and applications to robust linear regression (Q5495779) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +431 Efficient rounding for the noncommutative grothendieck inequality (Q5495777) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −431 Efficient rounding for the noncommutative grothendieck inequality (Q5495777) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +431 Combinatorial walrasian equilibrium (Q5495776) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −431 Combinatorial walrasian equilibrium (Q5495776) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +431 Prior-independent mechanisms for scheduling (Q5495775) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −431 Prior-independent mechanisms for scheduling (Q5495775) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +431 Coevolutionary opinion formation games (Q5495774) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −431 Coevolutionary opinion formation games (Q5495774) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +431 On the complexity of trial and error (Q5495773) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −431 On the complexity of trial and error (Q5495773) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +431 Improved Cheeger's inequality (Q5495771) Changed an Item current
- 09:4709:47, 30 April 2025 diff hist −431 Improved Cheeger's inequality (Q5495771) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +431 A PRG for lipschitz functions of polynomials with applications to sparsest cut (Q5495770) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −431 A PRG for lipschitz functions of polynomials with applications to sparsest cut (Q5495770) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +414 Simple Deterministic Algorithms for Fully Dynamic Maximal Matching (Q4962204) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −414 Simple Deterministic Algorithms for Fully Dynamic Maximal Matching (Q4962204) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +414 Fast Hamiltonicity Checking Via Bases of Perfect Matchings (Q4561499) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −414 Fast Hamiltonicity Checking Via Bases of Perfect Matchings (Q4561499) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +414 Low-Rank Approximation and Regression in Input Sparsity Time (Q3177880) Changed an Item current
- 09:4709:47, 30 April 2025 diff hist −414 Low-Rank Approximation and Regression in Input Sparsity Time (Q3177880) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +414 The Complexity of Finite-Valued CSPs (Q3177814) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −414 The Complexity of Finite-Valued CSPs (Q3177814) Removed claim: published in (P200): Item:Q5361813
- 09:4709:47, 30 April 2025 diff hist +414 The geometry of differential privacy: the small database and approximate cases (Q2805515) Changed an Item
- 09:4709:47, 30 April 2025 diff hist −414 The geometry of differential privacy: the small database and approximate cases (Q2805515) Removed claim: published in (P200): Item:Q5361813
- 09:4609:46, 30 April 2025 diff hist +414 Natural proofs versus derandomization (Q2805512) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −414 Natural proofs versus derandomization (Q2805512) Removed claim: published in (P200): Item:Q5361813
- 09:4609:46, 30 April 2025 diff hist +413 A node-capacitated Okamura-Seymour theorem (Q747769) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −413 A node-capacitated Okamura-Seymour theorem (Q747769) Removed claim: published in (P200): Item:Q5361813
- 09:4609:46, 30 April 2025 diff hist +431 Resource usage analysis (Q5178917) Changed an Item current
- 09:4609:46, 30 April 2025 diff hist −431 Resource usage analysis (Q5178917) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Information flow inference for ML (Q5178916) Changed an Item current
- 09:4609:46, 30 April 2025 diff hist −431 Information flow inference for ML (Q5178916) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Stack inspection (Q5178914) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Stack inspection (Q5178914) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Proving correctness of compiler optimizations by temporal logic (Q5178913) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Proving correctness of compiler optimizations by temporal logic (Q5178913) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Composing dataflow analyses and transformations (Q5178912) Changed an Item current
- 09:4609:46, 30 April 2025 diff hist −431 Composing dataflow analyses and transformations (Q5178912) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 The strength of non-size increasing computation (Q5178911) Changed an Item current
- 09:4609:46, 30 April 2025 diff hist −431 The strength of non-size increasing computation (Q5178911) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Adaptive functional programming (Q5178910) Changed an Item current
- 09:4609:46, 30 April 2025 diff hist −431 Adaptive functional programming (Q5178910) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Functional logic overloading (Q5178909) Changed an Item current
- 09:4609:46, 30 April 2025 diff hist −431 Functional logic overloading (Q5178909) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 A type system for certified binaries (Q5178908) Changed an Item
