SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 151–200 of 628 papers

TitleStatusHype
An adaptive fuzzy dead-zone compensation scheme for nonlinear systems—0
Dimensionality Reduction of Affine Variational Inequalities Using Random Projections—0
Development of a rule-based lemmatization algorithm through Finite State Machine for Uzbek language—0
Augmenting a German Morphological Database by Data-Intense Methods—0
Deleting and Testing Forbidden Patterns in Multi-Dimensional Arrays—0
Augmented Bayesian Policy Search—0
A Multiset Version of Even-Odd Permutations Identity—0
A Family of Neyman-Pearson-Based Detectors for Noise-Type Radars—0
Adaptive Backtracking Line Search—0
A Characterization of All Passivizing Input-Output Transformations of a Passive-Short System—0
Deep Nonlinear Stochastic Optimal Control for Systems with Multiplicative Uncertainties—0
A Technical Critique of Some Parts of the Free Energy Principle—0
A Mean-Field Theory for Learning the Schönberg Measure of Radial Basis Functions—0
Asymptotic normality and optimalities in estimation of large Gaussian graphical models—0
A sufficient condition for k-contraction in Lurie systems—0
Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation—0
Adversarial Source Identification Game with Corrupted Training—0
A Stochastic Fundamental Lemma with Reduced Disturbance Data Requirements—0
Assouad, Fano, and Le Cam with Interaction: A Unifying Lower Bound Framework and Characterization for Bandit Learnability—0
A Local Polyak-Lojasiewicz and Descent Lemma of Gradient Descent For Overparametrized Linear Models—0
Assessing Grammatical Correctness in Language Learning—0
Data-Enabled Predictive Control for Flexible Spacecraft—0
Data-driven Unknown-input Observers and State Estimation—0
A Simple Joint Model for Improved Contextual Neural Lemmatization—0
A Linear Parameter-Varying Approach to Data Predictive Control—0
Adaptive Backstepping and Non-singular Sliding Mode Control for Quadrotor UAVs with Unknown Time-varying Uncertainties—0
Data-enabled Predictive Repetitive Control—0
DBA: Efficient Transformer with Dynamic Bilinear Low-Rank Attention—0
De-Biasing The Lasso With Degrees-of-Freedom Adjustment—0
Debreu's open gap lemma for semiorders—0
Decoupling parameter variation from noise: Biquadratic Lyapunov forms in data-driven LPV control—0
Deep 2FBSDEs For Systems With Control Multiplicative Noise—0
Deep Generalized Schrödinger Bridges: From Image Generation to Solving Mean-Field Games—0
Data-driven System Interconnections and a Novel Data-enabled Internal Model Control—0
Deep Graphic FBSDEs for Opinion Dynamics Stochastic Control—0
Data-driven Stochastic Output-Feedback Predictive Control: Recursive Feasibility through Interpolated Initial Conditions—0
A Short Note on the Relationship of Information Gain and Eluder Dimension—0
Deep-Learning Based Auction-Driven Beamforming for Wireless Information and Power Transfer—0
Data-driven tube-based stochastic predictive control—0
Deep Ridgelet Transform: Voice with Koopman Operator Proves Universality of Formal Deep Networks—0
Data-driven predictive control with improved performance using segmented trajectories—0
A Scalable Document-based Architecture for Text Analysis—0
A Likelihood Ratio-Based Detector for QTMS Radar and Noise Radar—0
Data-Driven Predictive Control for Linear Parameter-Varying Systems—0
Data-Driven Pole Placement in LMI Regions with Robustness Constraints—0
Differentially Private Assouad, Fano, and Le Cam—0
A Sauer-Shelah-Perles Lemma for Sumsets—0
Data-Driven Optimal Control of Affine Systems: A Linear Programming Perspective—0
Data-driven Moving Horizon Estimation for Angular Velocity of Space Noncooperative Target in Eddy Current De-tumbling Mission—0
A Resilient Distributed Boosting Algorithm—0
Show:102550
← PrevPage 4 of 13Next →

No leaderboard results yet.