SOTAVerified

Form

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 881–890 of 1618 papers

TitleStatusHype
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems—0
Mechanical Normal Form of First Order State-Space Systems—0
Stability Assessment for Multi-Infeed Grid-Connected VSCs Modeled in the Admittance Matrix Form—0
Estimation of the Scatterer Size Distributions in Quantitative Ultrasound Using Constrained Optimization—0
Relaxed Conditions for Parameterized Linear Matrix Inequality in the Form of Double Sum—0
Decentralized Governance of Stablecoins with Closed Form Valuation—0
Rotation Averaging in a Split Second: A Primal-Dual Method and a Closed-Form for Cycle GraphsCode1
Comparison and Unification of Three Regularization Methods in Batch Reinforcement Learning—0
Structure-Enhanced Pop Music Generation via Harmony-Aware LearningCode1
A note on closed-form spread option valuation under log-normal models—0
Show:102550
← PrevPage 89 of 162Next →

No leaderboard results yet.