Approximate one-time preconditioning in face for MPGP algorithms yields error bounds, a sharp condition-number estimate, and large observed speedups on quadratic programs with constraints.
Title resolution pending
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
representative citing papers
Relation algebras gain semantics for associative arrays that integrate with while-programs, enabling Isabelle/HOL proofs of correctness for disjoint-set forest implementations using union-by-rank and path compression, splitting or halving.
A formalism for default reasoning over Segerberg's deontic action logic, extended via Boolean algebra tools to preserve algebraic completeness.
Sakurai blast radius formulation matches observed infrasound periods from OSIRIS-REx reentry with 9% median absolute percentage residual, outperforming Mach-diameter approximation by factor of three.
citing papers explorer
-
Accelerating MPGP-type Methods Through Preconditioning
Approximate one-time preconditioning in face for MPGP algorithms yields error bounds, a sharp condition-number estimate, and large observed speedups on quadratic programs with constraints.
-
Relation-Algebraic Verification of Disjoint-Set Forests
Relation algebras gain semantics for associative arrays that integrate with while-programs, enabling Isabelle/HOL proofs of correctness for disjoint-set forest implementations using union-by-rank and path compression, splitting or halving.
-
An Algebraic Approach for Action Based Default Reasoning
A formalism for default reasoning over Segerberg's deontic action logic, extended via Boolean algebra tools to preserve algebraic completeness.
-
Benchmarking Cylindrical Blast Wave Theory Against the OSIRIS-REx Sample Return Capsule Reentry
Sakurai blast radius formulation matches observed infrasound periods from OSIRIS-REx reentry with 9% median absolute percentage residual, outperforming Mach-diameter approximation by factor of three.