Search results for "lemma"

Hits ?▲	Authors	Title	Venue	Year	Link
13	V. Jeyakumar 0001, Guoyin Li 0001, Daniel Woolnough	Quadratically adjustable robust linear optimization with inexact data via generalized S-lemma: Exact second-order cone program reformulations.	EURO J. Comput. Optim.	2021	DBLP DOI BibTeX RDF
13	Jun Chen 0016, Ju H. Park 0001, Shengyuan Xu	Stability analysis for delayed neural networks via an improved negative-definiteness lemma.	Inf. Sci.	2021	DBLP DOI BibTeX RDF
13	Colin Defant	Enumeration of Stack-Sorting Preimages via a Decomposition Lemma.	Discret. Math. Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
13	David G. Harris 0001	Oblivious Resampling Oracles and Parallel Algorithms for the Lopsided Lovász Local Lemma.	ACM Trans. Algorithms	2021	DBLP DOI BibTeX RDF
13	Rogério Gomes Alves, Aldo Procacci, Rémy Sanchis	Entropy compression versus Lovász Local Lemma.	Adv. Appl. Math.	2021	DBLP DOI BibTeX RDF
13	Giorgia Minello, Luca Rossi 0004, Andrea Torsello	k-Anonymity on Graphs Using the Szemerédi Regularity Lemma.	IEEE Trans. Netw. Sci. Eng.	2021	DBLP DOI BibTeX RDF
13	Yufeng Tian, Zhanshan Wang	Bounded real lemma and H∞ control for singular Markovian jump systems with mode-dependent derivative-term coefficient.	J. Frankl. Inst.	2021	DBLP DOI BibTeX RDF
13	Xuefeng Chen 0003, Huiling Xu, Xiaokai Zhai, Zhiping Lin 0001	Generalised KYP lemma with its application in finite frequency H ∞ distributed filter design for nonideally interconnected networked control systems.	Int. J. Syst. Sci.	2021	DBLP DOI BibTeX RDF
13	Yuman Li, Yiheng Wei, Yuquan Chen, Yong Wang 0007	H∞ bounded real lemma for singular fractional-order systems.	Int. J. Syst. Sci.	2021	DBLP DOI BibTeX RDF
13	M. Malliaris 0001, Saharon Shelah	Notes on the stable Regularity Lemma.	Bull. Symb. Log.	2021	DBLP DOI BibTeX RDF
13	Sigrid Ewert, Joy Idahosa	Ogden's Lemma for Subclasses of Random Context Galleries.	J. Autom. Lang. Comb.	2021	DBLP DOI BibTeX RDF
13	Iasson Karafyllis, Antoine Chaillet	Lyapunov conditions for uniform asymptotic output stability and a relaxation of Barbălat's lemma.	Autom.	2021	DBLP DOI BibTeX RDF
13	Guangming Zhuang, Jianwei Xia, Jun-e Feng, Wei Sun 0020, Baoyong Zhang	Admissibilization for Implicit Jump Systems With Mixed Retarded Delays Based on Reciprocally Convex Integral Inequality and Barbalat's Lemma.	IEEE Trans. Syst. Man Cybern. Syst.	2021	DBLP DOI BibTeX RDF
13	Yuman Li, Yiheng Wei, Yuquan Chen, Yong Wang 0007	A Universal Framework of the Generalized Kalman-Yakubovich-Popov Lemma for Singular Fractional-Order Systems.	IEEE Trans. Syst. Man Cybern. Syst.	2021	DBLP DOI BibTeX RDF
13	Weiming Feng 0001, Heng Guo 0001, Yitong Yin, Chihao Zhang 0001	Fast Sampling and Counting k-SAT Solutions in the Local Lemma Regime.	J. ACM	2021	DBLP DOI BibTeX RDF
13	Mika Göös, Gilbert Maystre	A Majority Lemma for Randomised Query Complexity.	Electron. Colloquium Comput. Complex.	2021	DBLP BibTeX RDF
13	Siddharth Bhandari, Prahladh Harsha, Mrinal Kumar 0001, Ashutosh Shankar	Algorithmizing the Multiplicity Schwartz-Zippel Lemma.	Electron. Colloquium Comput. Complex.	2021	DBLP BibTeX RDF
13	Lijie Chen 0001, Xin Lyu 0002	Inverse-Exponential Correlation Bounds and Extremely Rigid Matrices from a New Derandomized XOR Lemma.	Electron. Colloquium Comput. Complex.	2021	DBLP BibTeX RDF
13	Cheuk Ting Li, Venkat Anantharam	A Unified Framework for One-Shot Achievability via the Poisson Matching Lemma.	IEEE Trans. Inf. Theory	2021	DBLP DOI BibTeX RDF
13	Siddharth Bhandari, Prahladh Harsha, Mrinal Kumar 0001, Ashutosh Shankar	Algorithmizing the Multiplicity Schwartz-Zippel Lemma.	CoRR	2021	DBLP BibTeX RDF
13	Nima Hamidi, Mohsen Bayati	The Randomized Elliptical Potential Lemma with an Application to Linear Thompson Sampling.	CoRR	2021	DBLP BibTeX RDF
13	Sepehr Assadi, Vishvajeet N	Graph Streaming Lower Bounds for Parameter Estimation and Property Testing via a Streaming XOR Lemma.	CoRR	2021	DBLP BibTeX RDF
13	Xavier Goaoc, Andreas F. Holmsen, Zuzana Patáková	A Stepping-Up Lemma for Topological Set Systems.	CoRR	2021	DBLP BibTeX RDF
13	Benyamin Ghojogh, Ali Ghodsi 0001, Fakhri Karray, Mark Crowley 0001	Johnson-Lindenstrauss Lemma, Linear and Nonlinear Random Projections, Random Fourier Features, and Random Kitchen Sinks: Tutorial and Survey.	CoRR	2021	DBLP BibTeX RDF
13	Yannic Maus, Jara Uitto	Efficient CONGEST Algorithms for the Lovasz Local Lemma.	CoRR	2021	DBLP BibTeX RDF
13	Ana Sokolova, Harald Woracek	Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively.	CoRR	2021	DBLP BibTeX RDF
13	Guanru Pan, Ruchuan Ou, Timm Faulwasser	On a Stochastic Fundamental Lemma and Its Use for Data-Driven MPC.	CoRR	2021	DBLP BibTeX RDF
13	Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh	Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.	CoRR	2021	DBLP BibTeX RDF
13	Vishesh Jain, Huy Tuan Pham, Thuy-Duong Vuong	On the sampling Lovász Local Lemma for atomic constraint satisfaction problems.	CoRR	2021	DBLP BibTeX RDF
13	Yue Yu 0004, Shahriar Talebi, Henk J. van Waarde, Ufuk Topcu, Mehran Mesbahi, Behçet Açikmese	On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems' Fundamental Lemma.	CoRR	2021	DBLP BibTeX RDF
13	Dimitris Achlioptas, Kostas Zampetakis	The Lovász Local Lemma is Not About Probability.	CoRR	2021	DBLP BibTeX RDF
13	Chris Verhoek, Roland Tóth, Sofie Haesaert, Anne Koch 0001	Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems.	CoRR	2021	DBLP BibTeX RDF
13	Omer Goldman, David Guriel, Reut Tsarfaty	(Un)solving Morphological Inflection: Lemma Overlap Artificially Inflates Models' Performance.	CoRR	2021	DBLP BibTeX RDF
13	Alexander Brandt, Marc Moreno Maza	On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation.	CoRR	2021	DBLP BibTeX RDF
13	Andrea Bisoffi, Claudio De Persis, Pietro Tesi	Data-driven control via Petersen's lemma.	CoRR	2021	DBLP BibTeX RDF
13	Kun He 0011, Xiaoming Sun 0001, Kewen Wu 0001	Perfect Sampling for (Atomic) Lovász Local Lemma.	CoRR	2021	DBLP BibTeX RDF
13	Sebastian Brandt 0002, Christoph Grunau, Václav Rozhon	The randomized local computation complexity of the Lovász local lemma.	CoRR	2021	DBLP BibTeX RDF
13	Sagnik Mukhopadhyay, Danupon Nanongkai	A Note on Isolating Cut Lemma for Submodular Function Minimization.	CoRR	2021	DBLP BibTeX RDF
13	Toms Bergmanis, Marcis Pinnis	Facilitating Terminology Translation with Target Lemma Annotations.	CoRR	2021	DBLP BibTeX RDF
13	Pengyu Nie 0001, Karl Palmskog, Junyi Jessy Li, Milos Gligoric 0001	Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning.	CoRR	2021	DBLP BibTeX RDF
13	Rana Muhammad Zulqarnain, Xiao Long Xin 0001, Young Bae Jun	Fuzzy axiom of choice, fuzzy Zorn's lemma and fuzzy Hausdorff maximal principle.	Soft Comput.	2021	DBLP DOI BibTeX RDF
13	Alexander V. Yurchenkov	Lemma on Boundedness of Anisotropic Norm for Systems with Multiplicative Noises under a Noncentered Disturbance.	Autom. Remote. Control.	2021	DBLP DOI BibTeX RDF
13	Stefan Baranczuk, Bogdan Szydlo	Two algorithms for the exchange lemma.	Numer. Algorithms	2021	DBLP DOI BibTeX RDF
13	David Lowry-Duda, Miles H. Wheeler	Perturbing the Mean Value Theorem: Implicit Functions, the Morse Lemma, and Beyond.	Am. Math. Mon.	2021	DBLP DOI BibTeX RDF
13	Toshihiro Koga	A Proof of Parikh's Theorem via Dickson's Lemma.	Int. J. Found. Comput. Sci.	2021	DBLP DOI BibTeX RDF
13	Jean Mawhin, Ewa Skrzypek, Katarzyna Szymanska-Debowska	Du Bois-Reymond Type Lemma and Its Application to Dirichlet Problem with the p(t)-Laplacian on a Bounded Time Scale.	Entropy	2021	DBLP DOI BibTeX RDF
13	Lior Rotem, Gil Segev 0001	Tighter Security for Schnorr Identification and Signatures: A High-Moment Forking Lemma for Σ-Protocols.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
13	Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson	Szemerédi's Regularity Lemma.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
13	Aaron Crighton	Hensel's Lemma for the p-adic Integers.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
13	René Thiemann	The Sunflower Lemma of Erdős and Rado.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
13	Stepan Holub, Stepán Starosta	Graph Lemma.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
13	András Faragó	A Meeting Point of Probability, Graphs, and Algorithms: The Lovász Local Lemma and Related Results - A Survey.	Algorithms	2021	DBLP DOI BibTeX RDF
13	Ruofeng Rao, Quanxin Zhu, Jialin Huang	Existence, Uniqueness, and Input-to-State Stability of Ground State Stationary Strong Solution of a Single-Species Model via Mountain Pass Lemma.	Complex.	2021	DBLP DOI BibTeX RDF
13	Pranab Sen	An efficient superpostional quantum Johnson-Lindenstrauss lemma via unitary t-designs.	Quantum Inf. Process.	2021	DBLP DOI BibTeX RDF
13	Dana Dachman-Soled, Huijing Gong, Mukul Kulkarni, Aria Shahverdi	Towards a Ring Analogue of the Leftover Hash Lemma.	J. Math. Cryptol.	2021	DBLP DOI BibTeX RDF
13	Wanying Xie	GX at SemEval-2021 Task 2: BERT with Lemma Information for MCL-WiC Task.	SemEval@ACL/IJCNLP	2021	DBLP DOI BibTeX RDF
13	Vishesh Jain, Huy Tuan Pham, Thuy-Duong Vuong	Towards the sampling Lovász Local Lemma.	FOCS	2021	DBLP DOI BibTeX RDF
13	Xavier Goaoc, Andreas F. Holmsen, Zuzana Patáková	A Stepping-Up Lemma for Topological Set Systems.	SoCG	2021	DBLP DOI BibTeX RDF
13	Mina Ferizbegovic, Håkan Hjalmarsson, Per Mattsson, Thomas B. Schön	Willems' fundamental lemma based on second-order moments.	CDC	2021	DBLP DOI BibTeX RDF
13	Akira Kojima, Kotaro Hashikura	Non-conservative Characterization of Bounded Real Lemma for Interval Delay Systems.	CDC	2021	DBLP DOI BibTeX RDF
13	Tamás Baár, Tamás Luspay	Robust Minimum Gain Lemma.	CDC	2021	DBLP DOI BibTeX RDF
13	Henk J. van Waarde, M. Kanat Camlibel	A Matrix Finsler's Lemma with Applications to Data-Driven Control.	CDC	2021	DBLP DOI BibTeX RDF
13	Chris Verhoek, Roland Tóth, Sofie Haesaert, Anne Koch 0001	Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems.	CDC	2021	DBLP DOI BibTeX RDF
13	Yue Yu 0004, Shahriar Talebi, Henk J. van Waarde, Ufuk Topcu, Mehran Mesbahi, Behçet Açikmese	On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems' Fundamental Lemma.	CDC	2021	DBLP DOI BibTeX RDF
13	Yannic Maus, Jara Uitto	Efficient CONGEST Algorithms for the Lovász Local Lemma.	DISC	2021	DBLP DOI BibTeX RDF
13	Wenbo Sun, Ivona Bezáková	Sampling Partial Acyclic Orientations in Chordal Graphs by the Lovasz Local Lemma (Student Abstract).	AAAI	2021	DBLP DOI BibTeX RDF
13	Toms Bergmanis, Marcis Pinnis	Facilitating Terminology Translation with Target Lemma Annotations.	EACL	2021	DBLP DOI BibTeX RDF
13	Peter Allen 0001, Julia Böttcher, Eng Keat Hng, Jozef Skokan, Ewan Davies	An Approximate Blow-up Lemma for Sparse Hypergraphs.	LAGOS	2021	DBLP DOI BibTeX RDF
13	Sebastian Brandt 0002, Christoph Grunau, Václav Rozhon	The Randomized Local Computation Complexity of the Lovász Local Lemma.	PODC	2021	DBLP DOI BibTeX RDF
13	Florian Rademacher, Jonas Sorgalla, Philip Wizenty, Simon Trebbau	Towards an Extensible Approach for Generative Microservice Development and Deployment Using LEMMA.	ECSA (Tracks and Workshops)	2021	DBLP DOI BibTeX RDF
13	Florian Rademacher, Jonas Sorgalla, Philip Wizenty, Simon Trebbau	Towards Holistic Modeling of Microservice Architectures Using LEMMA.	ECSA (Companion)	2021	DBLP BibTeX RDF
13	Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh	Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.	COORDINATION	2021	DBLP DOI BibTeX RDF
13	Franziskus Wiesnet	An Algorithmic Version of Zariski's Lemma.	CiE	2021	DBLP DOI BibTeX RDF
13	Zander Kelley	An improved derandomization of the switching lemma.	STOC	2021	DBLP DOI BibTeX RDF
13	Weiming Feng 0001, Kun He 0011, Yitong Yin	Sampling constraint satisfaction solutions in the local lemma regime.	STOC	2021	DBLP DOI BibTeX RDF
13	Sepehr Assadi, Vishvajeet N	Graph streaming lower bounds for parameter estimation and property testing via a streaming XOR lemma.	STOC	2021	DBLP DOI BibTeX RDF
13	Lijie Chen 0001, Xin Lyu 0002	Inverse-exponential correlation bounds and extremely rigid matrices from a new derandomized XOR lemma.	STOC	2021	DBLP DOI BibTeX RDF
13	Pengyu Nie 0001, Karl Palmskog, Junyi Jessy Li, Milos Gligoric 0001	Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning.	ICSE (Companion Volume)	2021	DBLP DOI BibTeX RDF
13	Filippo Bonchi, Alessandro Di Giorgio 0002, Fabio Zanasi	From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls).	CALCO	2021	DBLP DOI BibTeX RDF
13	Ana Sokolova, Harald Woracek	Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls).	CALCO	2021	DBLP DOI BibTeX RDF
13	Hongce Zhang, Aarti Gupta, Sharad Malik	Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking.	VMCAI	2021	DBLP DOI BibTeX RDF
13	Rocco A. Servedio, Li-Yang Tan	Deterministic Approximate Counting of Polynomial Threshold Functions via a Derandomized Regularity Lemma.	APPROX-RANDOM	2021	DBLP DOI BibTeX RDF
13	David G. Harris 0001, Fotis Iliopoulos, Vladimir Kolmogorov	A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.	APPROX-RANDOM	2021	DBLP DOI BibTeX RDF
13	Lior Rotem, Gil Segev 0001	Tighter Security for Schnorr Identification and Signatures: A High-Moment Forking Lemma for ${\varSigma }$-Protocols.	CRYPTO (1)	2021	DBLP DOI BibTeX RDF
13	Sourav Chakraborty 0001, Nikhil S. Mande, Rajat Mittal, Tulasimohan Molli, Manaswi Paraashar, Swagato Sanyal	Tight Chang's-Lemma-Type Bounds for Boolean Functions.	FSTTCS	2021	DBLP DOI BibTeX RDF
13	Mika Göös, Gilbert Maystre	A Majority Lemma for Randomised Query Complexity.	CCC	2021	DBLP DOI BibTeX RDF
13	Alexander Brandt, Marc Moreno Maza	On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation.	CASC	2021	DBLP DOI BibTeX RDF
13	Henk J. van Waarde, Claudio De Persis, M. Kanat Camlibel, Pietro Tesi	Willems' Fundamental Lemma for State-Space Systems and Its Extension to Multiple Datasets.	IEEE Control. Syst. Lett.	2020	DBLP DOI BibTeX RDF
13	Stijn Cambie, Bogdan Chornomaz, Zeev Dvir, Yuval Filmus, Shay Moran	A Sauer-Shelah-Perles Lemma for Lattices.	Electron. J. Comb.	2020	DBLP DOI BibTeX RDF
13	Yingjie Bi, Ao Tang	Duality Gap Estimation via a Refined Shapley-Folkman Lemma.	SIAM J. Optim.	2020	DBLP DOI BibTeX RDF
13	Marcelo S. Alencar, Karcius D. R. Assis	A New Derivation of the Leftover Hash Lemma.	ISC Int. J. Inf. Secur.	2020	DBLP DOI BibTeX RDF
13	Marco Fiorucci, Francesco Pelosin, Marcello Pelillo	Separating Structure from Noise in Large Graphs Using the Regularity Lemma.	Pattern Recognit.	2020	DBLP DOI BibTeX RDF
13	Laura Fontanella, Guillaume Geoffroy	Preserving cardinals and weak forms of Zorn's lemma in realizability models.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
13	Roy L. Crole	The nominal/FM Yoneda Lemma.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
13	Joël Chaskalovic, Franck Assous	A New Probabilistic Interpretation of the Bramble-Hilbert Lemma.	Comput. Methods Appl. Math.	2020	DBLP DOI BibTeX RDF
13	Shachar Sapir, Asaf Shapira	The Induced Removal Lemma in Sparse Graphs.	Comb. Probab. Comput.	2020	DBLP DOI BibTeX RDF
13	Roland Coghetto	A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods.	Formaliz. Math.	2020	DBLP DOI BibTeX RDF
13	Friedrich Eisenbrand, Robert Weismantel	Proximity Results and Faster Algorithms for Integer Programming Using the Steinitz Lemma.	ACM Trans. Algorithms	2020	DBLP DOI BibTeX RDF
13	Yi-Jun Chang, Qizheng He, Wenzheng Li, Seth Pettie, Jara Uitto	Distributed Edge Coloring and a Special Case of the Constructive Lovász Local Lemma.	ACM Trans. Algorithms	2020	DBLP DOI BibTeX RDF
13	Chayan Bhawal, Debasattam Pal, Madhu N. Belur	Closed-form solutions of singular KYP lemma: strongly passive systems, and fast lossless trajectories.	Int. J. Control	2020	DBLP DOI BibTeX RDF