User contributions for Maintenance script
From MaRDI portal
Results for Maintenance script talk block log uploads logs
A user with 51,830 edits. Account created on 3 June 2022.
A user with 51,830 edits. Account created on 3 June 2022.
22 February 2025
- 07:4507:45, 22 February 2025 diff hist −400 m Fuhui Shen (Q6536010) rollbackEdits.php mass rollback
- 07:4507:45, 22 February 2025 diff hist −400 m The conditional distributivity for uni-nullnorms over uninorms (Q6535999) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Encrypted classification using secure K-nearest neighbour computation (Q6535923) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m B. Praeep Kumar Reddy (Q6535922) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Formal analysis of PUF instances leveraging correlation-spectra in Boolean functions (Q6535921) rollbackEdits.php mass rollback
- 07:4507:45, 22 February 2025 diff hist −400 m A verified specification of TLSF memory management allocator using state monads (Q6535916) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Improving the analysis of GPC in real-time calculus (Q6535915) rollbackEdits.php mass rollback
- 07:4507:45, 22 February 2025 diff hist −401 m Mixed criticality scheduling of probabilistic real-time systems (Q6535914) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Federico Reghenzani (Q6535913) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −401 m A bounded model checking technique for higher-order programs (Q6535909) rollbackEdits.php mass rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Elliptically symmetric distributions in signal processing and machine learning (Q6535907) rollbackEdits.php mass rollback current Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m A first course in fuzzy logic, fuzzy dynamical systems, and biomathematics. Theory and applications (Q6535906) rollbackEdits.php mass rollback current
- 07:4507:45, 22 February 2025 diff hist −400 m Seven fundamental concepts in spacetime physics (Q6535885) rollbackEdits.php mass rollback current Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m On the wave nature of matter. A new approach to reconciling quantum mechanics and relativity (Q6535884) rollbackEdits.php mass rollback current
- 07:4507:45, 22 February 2025 diff hist −400 m Loop quantum gravity for the bewildered. The self-dual approach revisited. With contribution by Deepak Vaid (Q6535882) rollbackEdits.php mass rollback current Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −401 m Fundamentals of order and rank statistics (Q6535880) rollbackEdits.php mass rollback current
- 07:4507:45, 22 February 2025 diff hist −400 m Measure-theoretic probability. With applications to statistics, finance, and engineering (Q6535879) rollbackEdits.php mass rollback current Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Yanyun Zhang (Q6535743) rollbackEdits.php mass rollback
- 07:4507:45, 22 February 2025 diff hist −400 m A comparison of distance metrics for the multi-objective pathfinding problem (Q6535739) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m The objective that freed me: a multi-objective local search approach for continuous single-objective optimization (Q6535737) rollbackEdits.php mass rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Vera Steinhoff (Q6535736) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Dominance-based variable analysis for large-scale multi-objective problems (Q6535735) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −401 m Preface (Q6535733) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Two Geometric Series (Q6535732) rollbackEdits.php mass rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Sophie Germain and Safe Prime Products Modulo 18 (Q6535731) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Leonid V. Keldysh (Q6535729) rollbackEdits.php mass rollback Tag: Rollback
- 07:4507:45, 22 February 2025 diff hist −400 m Theory of electromagnetoelasticity (Q6535728) rollbackEdits.php mass rollback current
- 07:4507:45, 22 February 2025 diff hist −400 m Spatial econometrics. Spatial autoregressive models (Q6535727) rollbackEdits.php mass rollback current Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −400 m QP--PQ: Quantum Probability and White Noise Analysis (Q6535724) rollbackEdits.php mass rollback current
- 07:4407:44, 22 February 2025 diff hist −401 m R-calculus. V: Description logics (Q6535723) rollbackEdits.php mass rollback current Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −400 m Mohammadreza Shahriari (Q6535718) rollbackEdits.php mass rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Exploring quantum contextuality with photons (Q6535716) rollbackEdits.php mass rollback current Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Facets of noise. Effects in classical and quantum systems (Q6535715) rollbackEdits.php mass rollback current Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −400 m Ivan Pompa-García (Q6535713) rollbackEdits.php mass rollback Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Physics and the nature of reality. Essays in memory of Detlef Dürr (Q6535711) rollbackEdits.php mass rollback current
- 07:4407:44, 22 February 2025 diff hist −401 m Logic, epistemology, and scientific theories -- from Peano to the Vienna Circle (Q6535709) rollbackEdits.php mass rollback current Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Nonequilibrium statistical mechanics. An introduction with applications (Q6535708) rollbackEdits.php mass rollback current
- 07:4407:44, 22 February 2025 diff hist −401 m An advanced course in probability and stochastic processes (Q6535704) rollbackEdits.php mass rollback current Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Ownership guided C to Rust translation (Q6535702) rollbackEdits.php mass rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Making \(\mathsf{IP}=\mathsf{PSPACE}\) practical: efficient interactive protocols for BDD algorithms (Q6535701) rollbackEdits.php mass rollback Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −400 m Eszter Couillard (Q6535700) rollbackEdits.php mass rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Formula normalizations in verification (Q6535699) rollbackEdits.php mass rollback Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −400 m Dragana Milovančević (Q6535698) rollbackEdits.php mass rollback
- 07:4407:44, 22 February 2025 diff hist −400 m Mehrdad Sabetzadeh (Q6535695) rollbackEdits.php mass rollback Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Certified verification for algebraic abstraction (Q6535691) rollbackEdits.php mass rollback Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Boolean abstractions for realizability modulo theories (Q6535690) rollbackEdits.php mass rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Automatic program instrumentation for automatic verification (Q6535688) rollbackEdits.php mass rollback Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −400 m Jesper Amilon (Q6535687) rollbackEdits.php mass rollback Tag: Rollback
- 07:4407:44, 22 February 2025 diff hist −401 m Automated verification of correctness for masked arithmetic programs (Q6535686) rollbackEdits.php mass rollback
- 07:4407:44, 22 February 2025 diff hist −400 m Improved bounds for distributed load balancing (Q6534998) rollbackEdits.php mass rollback Tag: Rollback