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:4609:46, 30 April 2025 diff hist −431 A type system for certified binaries (Q5178908) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 The first-order theory of subtyping constraints (Q5178907) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 The first-order theory of subtyping constraints (Q5178907) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Predicate abstraction for software verification (Q5178906) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Predicate abstraction for software verification (Q5178906) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Systematic design of program transformation frameworks by abstract interpretation (Q5178905) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Systematic design of program transformation frameworks by abstract interpretation (Q5178905) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Representation independence, confinement and access control [extended abstract] (Q5178904) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Representation independence, confinement and access control [extended abstract] (Q5178904) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Stochastic lambda calculus and monads of probability distributions (Q5178903) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Stochastic lambda calculus and monads of probability distributions (Q5178903) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 CCured (Q5178902) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 CCured (Q5178902) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 The hardness of cache conscious data placement (Q5178901) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 The hardness of cache conscious data placement (Q5178901) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 A uniform type structure for secure information flow (Q5178900) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 A uniform type structure for secure information flow (Q5178900) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Bisimulation congruences in safe ambients (Q5178899) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Bisimulation congruences in safe ambients (Q5178899) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Lazy abstraction (Q5178898) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Lazy abstraction (Q5178898) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Types as models (Q5178897) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Types as models (Q5178897) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Analyzing security protocols with secrecy types and logic programs (Q5178896) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Analyzing security protocols with secrecy types and logic programs (Q5178896) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Role analysis (Q5178895) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Role analysis (Q5178895) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Mining specifications (Q5178894) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Mining specifications (Q5178894) Removed claim: published in (P200): Item:Q5747527
- 09:4609:46, 30 April 2025 diff hist +431 Formula lower bounds via the quantum method (Q4978064) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Formula lower bounds via the quantum method (Q4978064) Removed claim: published in (P200): Item:Q5271715
- 09:4609:46, 30 April 2025 diff hist +431 Strongly exponential lower bounds for monotone computation (Q4978063) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Strongly exponential lower bounds for monotone computation (Q4978063) Removed claim: published in (P200): Item:Q5271715
- 09:4609:46, 30 April 2025 diff hist +431 Addition is exponentially harder than counting for shallow monotone circuits (Q4978062) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Addition is exponentially harder than counting for shallow monotone circuits (Q4978062) Removed claim: published in (P200): Item:Q5271715
- 09:4609:46, 30 April 2025 diff hist +431 Subquadratic submodular function minimization (Q4978061) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Subquadratic submodular function minimization (Q4978061) Removed claim: published in (P200): Item:Q5271715
- 09:4609:46, 30 April 2025 diff hist +431 A strongly polynomial algorithm for bimodular integer linear programming (Q4978060) Changed an Item current
- 09:4609:46, 30 April 2025 diff hist −431 A strongly polynomial algorithm for bimodular integer linear programming (Q4978060) Removed claim: published in (P200): Item:Q5271715
- 09:4609:46, 30 April 2025 diff hist +431 Katyusha: the first direct acceleration of stochastic gradient methods (Q4978059) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Katyusha: the first direct acceleration of stochastic gradient methods (Q4978059) Removed claim: published in (P200): Item:Q5271715
- 09:4609:46, 30 April 2025 diff hist +431 Finding approximate local minima faster than gradient descent (Q4978058) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Finding approximate local minima faster than gradient descent (Q4978058) Removed claim: published in (P200): Item:Q5271715
- 09:4609:46, 30 April 2025 diff hist +431 An efficient reduction from two-source to non-malleable extractors: achieving near-logarithmic min-entropy (Q4978057) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 An efficient reduction from two-source to non-malleable extractors: achieving near-logarithmic min-entropy (Q4978057) Removed claim: published in (P200): Item:Q5271715
- 09:4609:46, 30 April 2025 diff hist +431 Non-malleable codes and extractors for small-depth circuits, and affine functions (Q4978056) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Non-malleable codes and extractors for small-depth circuits, and affine functions (Q4978056) Removed claim: published in (P200): Item:Q5271715
- 09:4609:46, 30 April 2025 diff hist +431 Towards optimal two-source extractors and Ramsey graphs (Q4978055) Changed an Item
- 09:4609:46, 30 April 2025 diff hist −431 Towards optimal two-source extractors and Ramsey graphs (Q4978055) Removed claim: published in (P200): Item:Q5271715
- 09:4609:46, 30 April 2025 diff hist +431 Improved non-malleable extractors, non-malleable codes and independent source extractors (Q4978054) Changed an Item
