IOP
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Probabilistically Checking Quantum Proofs, with Interaction
arXiv:2606.09588v1 Announce Type: new Abstract: The model of interactive oracle proofs (IOP) generalizes the notion of probabilistically checkable proof (PCP), in which a static proof is verified probabilistically by querying a small number of bits, to the interactive setting: a polynomial-time verifier interacts with an unbounded prover, but is restricted to only reading a small number of bits, in total, from the messages sent by the prover. IOPs provide a relaxed setting in which to study...
Optimal Stochastic Krylov based Techniques for Large- Scale Log-Determinant Estimation
arXiv:2606.07004v1 Announce Type: new Abstract: Estimating the logarithm of the determinant of large sparse positive definite symmetric matrices is an important task in numerical linear algebra, machine learning, Gaussian processes, and uncertainty quantification. In this work, we introduce two scalable and efficient methods for large-scale log-determinant termed the Optimal Stochastic Arnoldi with Incomplete Orthogonalization Procedure (OSA-IOP) and the Optimal Stochastic Lanczos Quadrature...
Stresses and fluid flow in lamina cribrosa through anisotropic poroelasticty
arXiv:2511.04726v2 Announce Type: replace Abstract: To investigate the mechanical correlations between intraocular pressure (IOP) variations and glaucoma, this study presents a linear transversely isotropic poroelastic model of the lamina cribrosa (LC) based on Reissner-Mindlin plate theory. A key feature of the proposed framework is its analytical tractability, which allows the governing poroelastic equations to be solved in closed form under appropriate mechanical and hydraulic boundary...