SOTAVerified

LEMMA

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 251–300 of 628 papers

TitleStatusHype
An adaptive fuzzy sliding mode controller applied to a chaotic pendulum—0
A Multiset Version of Even-Odd Permutations Identity—0
Introducing the National Corpus of Irish Project—0
An ELECTRA Model for Latin Token Tagging Tasks—0
PortiLexicon-UD: a Portuguese Lexical Resource according to Universal Dependencies Model—0
Evaluating a New Danish Sentiment Resource: the Danish Sentiment Lexicon, DSL—0
Sentiment Analysis of Serbian Old Novels—0
The Maaloula Aramaic Speech Corpus (MASC): From Printed Material to a Lemmatized and Time-Aligned Corpus—0
COSMOS: Experimental and Comparative Studies of Concept Representations in Schoolchildren—0
The PALMA Corpora of African Varieties of Portuguese—0
A Thesaurus-based Sentiment Lexicon for Danish: The Danish Sentiment LexiconCode0
An adaptive fuzzy dead-zone compensation scheme for nonlinear systems—0
Neural Network Verification with Proof Production—0
Convergence of Stein Variational Gradient Descent under a Weaker Smoothness Condition—0
Adaptive fuzzy control of electrohydraulic servosystems—0
Stability in data-driven MPC: an inherent robustness perspective—0
An adaptive fuzzy sliding mode controller for nonlinear systems with non-symmetric dead-zone and its application to an electro-hydraulic system—0
New Lower Bounds for Private Estimation and a Generalized Fingerprinting Lemma—0
On Algebraic Constructions of Neural Networks with Small Weights—0
(Un)solving Morphological Inflection: Lemma Overlap Artificially Inflates Models’ Performance—0
A New Dimensionality Reduction Method Based on Hensel's Compression for Privacy Protection in Federated Learning—0
A Family of Neyman-Pearson-Based Detectors for Noise-Type Radars—0
Consensual Aggregation on Random Projected High-dimensional Features for Regression—0
Deep Graphic FBSDEs for Opinion Dynamics Stochastic Control—0
On Convergence Lemma and Convergence Stability for Piecewise Analytic Functions—0
Data-Driven Model Predictive Control for Linear Time-Periodic Systems—0
Modeling Target-Side Morphology in Neural Machine Translation: A Comparison of Strategies—0
Data-Driven Optimal Control of Affine Systems: A Linear Programming Perspective—0
Multiple Estimation Models for Discrete-time Adaptive Iterative Learning Control—0
DeeP-LCC: Data-EnablEd Predictive Leading Cruise Control in Mixed Traffic FlowCode1
Morphological Reinflection with Multiple Arguments: An Extended Annotation schema and a Georgian Case Study—0
A novel constraint tightening approach for robust data-driven predictive control—0
On a Continuous-Time Version of Willems' Lemma—0
Data-driven input reconstruction and experimental validationCode0
Data-driven distributed MPC of dynamically coupled linear systems—0
Overcoming a Theoretical Limitation of Self-AttentionCode0
Branching Reinforcement Learning—0
Proofs and Supplementary Material: Unified Characterization and Precoding for Non-Stationary Channels—0
Data-Driven Modeling of Aggregate Flexibility under Uncertain and Non-Convex Load Models—0
When Small Gain Meets Small Phase—0
Sparse Super-Regular Networks—0
On the effectiveness of Randomized Signatures as Reservoir for Learning Rough Dynamics—0
When Random Tensors meet Random Matrices—0
Morpheme Boundary Detection & Grammatical Feature Prediction for Gujarati : Dataset & Model—0
LTB curves with Lipschitz turn are par-regular—0
Linear Discriminant Analysis with High-dimensional Mixed Variables—0
Data-driven tube-based stochastic predictive control—0
Goedel's Incompleteness Theorem—0
Spectral Complexity-scaled Generalization Bound of Complex-valued Neural Networks—0
On a Stochastic Fundamental Lemma and Its Use for Data-Driven Optimal Control—0
Show:102550
← PrevPage 6 of 13Next →

No leaderboard results yet.