Search results for "lemma"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Mario Berta, Fernando G. S. L. Brandão, Gilad Gour, Ludovico Lami, Martin B. Plenio, Bartosz Regula, Marco Tomamichel	On a gap in the proof of the generalised quantum Stein's lemma and its consequences for the reversibility of quantum resources.	Quantum	2023	DBLP DOI BibTeX RDF
13	Ruchi Garg, Tarun Gulati, Sumit Kumar	Correction to: Range free localization in WSN against wormhole attack using Farkas' Lemma.	Wirel. Networks	2023	DBLP DOI BibTeX RDF
13	Ruchi Garg, Tarun Gulati, Sumit Kumar	Range free localization in WSN against wormhole attack using Farkas' Lemma.	Wirel. Networks	2023	DBLP DOI BibTeX RDF
13	David Cox, Carlos D'andrea	Subresultants and the Shape Lemma.	Math. Comput.	2023	DBLP DOI BibTeX RDF
13	Paul-Elliot Anglès d'Auriac, Lu Liu, Bastien Mignoty, Ludovic Patey	Carlson-Simpson's lemma and applications in reverse mathematics.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
13	William Chan 0002	A Lipschitz determinacy principle equivalent to weak König lemma.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
13	Lamia Ouhib, Redouane Kara	Proportional Observer design based on D-stability and Finsler's Lemma for Takagi-Sugeno systems.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
13	Hiroki Okada 0001, Kazuhide Fukushima, Shinsaku Kiyomoto, Tsuyoshi Takagi	Spherical Gaussian Leftover Hash Lemma via the Rényi Divergence.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
13	Anton V. Proskurnikov, Alexander Davydov 0001, Francesco Bullo	The Yakubovich S-Lemma Revisited: Stability and Contractivity in Non-Euclidean Norms.	SIAM J. Control. Optim.	2023	DBLP DOI BibTeX RDF
13	Chelsea Edmonds	General Probabilistic Techniques for Combinatorics and the Lovasz Local Lemma.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
13	Sunpill Kim, Yong Kiam Tan	The Schwartz-Zippel Lemma.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
13	Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson	Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
13	David G. Harris 0001	Deterministic algorithms for the Lovász local lemma: Simpler, more general, and more parallel.	Random Struct. Algorithms	2023	DBLP DOI BibTeX RDF
13	Srikanth Srinivasan 0001	A Robust Version of Hegedűs's Lemma, with Applications.	TheoretiCS	2023	DBLP DOI BibTeX RDF
13	Ashwin Jacob, Diptapriyo Majumdar, Venkatesh Raman 0001	Expansion Lemma - Variations and Applications to Polynomial-Time Preprocessing.	Algorithms	2023	DBLP DOI BibTeX RDF
13	Paolo Rapisarda, M. Kanat Çamlibel, Henk J. van Waarde	A "fundamental lemma" for continuous-time systems, with applications to data-driven simulation.	Syst. Control. Lett.	2023	DBLP DOI BibTeX RDF
13	Jacob Fox, Yuval Wigderson	Minimum degree and the graph removal lemma.	J. Graph Theory	2023	DBLP DOI BibTeX RDF
13	Siddharth Bhandari, Prahladh Harsha, Mrinal Kumar 0001, Ashutosh Shankar	Algorithmizing the Multiplicity Schwartz-Zippel Lemma.	SODA	2023	DBLP DOI BibTeX RDF
13	Kun He 0011, Chunyang Wang, Yitong Yin	Deterministic counting Lovász local lemma beyond linear programming.	SODA	2023	DBLP DOI BibTeX RDF
13	Peter Davies	Improved Distributed Algorithms for the Lovász Local Lemma and Edge Coloring.	SODA	2023	DBLP DOI BibTeX RDF
13	Nic Dirkx, Koen Tiels, Tom Oomen	Iterative Robust Experiment Design for MIMO System Identification via the S-Lemma.	CCTA	2023	DBLP DOI BibTeX RDF
13	Changjian Wu, Hongfeng Ren, Mingyao Wen, Guang Zhang	Extensions and Improvements for the Liu-Xiao's Lemma.	ICIS	2023	DBLP DOI BibTeX RDF
13	Julian Berberich, Andrea Iannelli, Alberto Padoan, Jeremy Coulson, Florian Dörfler, Frank Allgöwer	A quantitative and constructive proof of Willems' Fundamental Lemma and its implications.	ACC	2023	DBLP DOI BibTeX RDF
13	Julien Béguinot, Yi Liu 0066, Olivier Rioul, Wei Cheng 0003, Sylvain Guilley	Maximal Leakage of Masked Implementations Using Mrs. Gerber's Lemma for Min-Entropy.	ISIT	2023	DBLP DOI BibTeX RDF
13	Markus Holzer 0001, Christian Rauch 0001	On Jaffe's Pumping Lemma, Revisited.	DCFS	2023	DBLP DOI BibTeX RDF
13	Ievgen Ivanov	Generalized Newman's Lemma for Discrete and Continuous Systems.	FSCD	2023	DBLP DOI BibTeX RDF
13	Hiroki Okada 0001, Kazuhide Fukushima, Shinsaku Kiyomoto, Tsuyoshi Takagi	Spherical Gaussian Leftover Hash Lemma via the Rényi Divergence.	ACNS (1)	2023	DBLP DOI BibTeX RDF
13	Alexandre Faye-Bédrin, Stanislav Aranovskiy, Paul Chauchat, Romain Bourdais	Maintaining a Relevant Dataset for Data-Driven MPC Using Willems' Fundamental Lemma Extensions.	CDC	2023	DBLP DOI BibTeX RDF
13	Martin Wiesner	DE-Lemma: A Maximum-Entropy Based Lemmatizer for German Medical Text.	GMDS	2023	DBLP DOI BibTeX RDF
13	Hermann Gruber, Markus Holzer 0001, Christian Rauch 0001	The Pumping Lemma for Regular Languages is Hard.	CIAA	2023	DBLP DOI BibTeX RDF
13	Ievgen Ivanov	On Newman's Lemma and Non-termination.	IT&I	2023	DBLP BibTeX RDF
13	Nan Jiang 0012, Yi Gu, Yexiang Xue	Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local Lemma.	AAAI	2023	DBLP DOI BibTeX RDF
13	Max Torop, Aria Masoomi, Davin Hill, Kivanç Köse, Stratis Ioannidis, Jennifer G. Dy	SmoothHess: ReLU Network Feature Interactions via Stein's Lemma.	NeurIPS	2023	DBLP BibTeX RDF
13	David Ellis, Guy Kindler, Noam Lifshitz	An Analogue of Bonami's Lemma for Functions on Spaces of Linear Maps, and 2-2 Games.	STOC	2023	DBLP DOI BibTeX RDF
13	Sepehr Assadi, Soheil Behnezhad, Sanjeev Khanna, Huan Li 0002	On Regularity Lemma and Barriers in Streaming and Dynamic Matching.	STOC	2023	DBLP DOI BibTeX RDF
13	Philipp Schmitz, Timm Faulwasser, Karl Worthmann	Willems' Fundamental Lemma for Linear Descriptor Systems and Its Use for Data-Driven Output-Feedback MPC.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
13	Jorge C. Guerrero, Jorge R. Chávez-Fuentes, Juan E. Casavílca Silva, Eduardo F. Costa	A Novel Bounded Real Lemma for Discrete-Time Markov Jump Linear Singular Systems.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
13	Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein	Data-driven lemma synthesis for interactive proofs.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
13	Hongming Liu, Hongfei Fu 0001, Zhiyong Yu, Jiaxin Song, Guoqiang Li 0001	Scalable linear invariant generation with Farkas' lemma.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
13	David M. Harris	Comparison of Two Convergence Criteria for the Variable-Assignment Lopsided Lovasz Local Lemma.	Electron. J. Comb.	2022	DBLP DOI BibTeX RDF
13	Hyung-Chan An, Robert Kleinberg	A diameter-revealing proof of the Bondy-Lovász lemma.	Inf. Process. Lett.	2022	DBLP DOI BibTeX RDF
13	Maryam Ghorani, Sunita Garhwal, Somaye Moghari	Lattice-valued tree pushdown automata: Pumping lemma and closure properties.	Int. J. Approx. Reason.	2022	DBLP DOI BibTeX RDF
13	M. Levent Dogan, Alperen Ali Ergür, Jake D. Mundo, Elias P. Tsigaridas	The Multivariate Schwartz-Zippel Lemma.	SIAM J. Discret. Math.	2022	DBLP DOI BibTeX RDF
13	Antonio González	Improved results on stability analysis of time-varying delay systems via delay partitioning method and Finsler's lemma.	J. Frankl. Inst.	2022	DBLP DOI BibTeX RDF
13	Xiao Ge, Kachon Hoi, Seakweng Vong	A delay-variation-dependent stability criterion for discrete-time systems via a bivariate quadratic function negative-determination lemma.	J. Frankl. Inst.	2022	DBLP DOI BibTeX RDF
13	Fanchao Kong, Quanxin Zhu, Tingwen Huang	Improved Fixed-Time Stability Lemma of Discontinuous System and its Application.	IEEE Trans. Circuits Syst. I Regul. Pap.	2022	DBLP DOI BibTeX RDF
13	Timur Duzenli	Circuit Applications of Schwarz-Pick Lemma.	IEEE Trans. Circuits Syst. II Express Briefs	2022	DBLP DOI BibTeX RDF
13	Meng Liu, Yong He, Lin Jiang	A relaxed binary quadratic function negative-determination lemma and its application to neutral systems with interval time-varying delays and nonlinear disturbances.	Int. J. Syst. Sci.	2022	DBLP DOI BibTeX RDF
13	Henk J. van Waarde, M. Kanat Camlibel, Mehran Mesbahi	From Noisy Data to Feedback Controllers: Nonconservative Design via a Matrix S-Lemma.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
13	Stefan Ehard, Felix Joos	A Short Proof of the Blow-Up Lemma for Approximate Decompositions.	Comb.	2022	DBLP DOI BibTeX RDF
13	Saliha Marir, Mohammed Chadli, Michael V. Basin	Bounded real lemma for singular linear continuous-time fractional-order systems.	Autom.	2022	DBLP DOI BibTeX RDF
13	Andrea Bisoffi, Claudio De Persis, Pietro Tesi	Data-driven control via Petersen's lemma.	Autom.	2022	DBLP DOI BibTeX RDF
13	Bülent Nafi Örnek, Salih Berkan Aydemir, Timur Duzenli, Bilal Özak	Some remarks on activation function design in complex extreme learning using Schwarz lemma.	Neurocomputing	2022	DBLP DOI BibTeX RDF
13	Fang Liu 0014, Weiru Guo, Runmin Zou, Kangzhi Liu 0001	A general quadratic negative-determination lemma for stability analysis of delayed neural networks.	Neurocomputing	2022	DBLP DOI BibTeX RDF
13	Huacheng Yu	Strong XOR Lemma for Communication with Bounded Rounds.	Electron. Colloquium Comput. Complex.	2022	DBLP BibTeX RDF
13	Silas Richelson, Sourya Roy	Analyzing Ta-Shma's Code via the Expander Mixing Lemma.	Electron. Colloquium Comput. Complex.	2022	DBLP BibTeX RDF
13	David Gabai, Robert Meyerhoff, Andrew Yarmola	The Two-Eyes Lemma: A Linking Problem for Table-Top Necklaces.	Graphs Comb.	2022	DBLP DOI BibTeX RDF
13	Kun He 0011, Chunyang Wang, Yitong Yin	Sampling Lovász Local Lemma For General Constraint Satisfaction Solutions In Near-Linear Time.	CoRR	2022	DBLP DOI BibTeX RDF
13	Srikanth Srinivasan 0001	A Robust Version of Hegedűs's Lemma, with Applications.	CoRR	2022	DBLP BibTeX RDF
13	Peter Davies	Improved Distributed Algorithms for the Lovász Local Lemma and Edge Coloring.	CoRR	2022	DBLP DOI BibTeX RDF
13	Xavier Claeys	A new perspective on the fictitious space lemma.	CoRR	2022	DBLP DOI BibTeX RDF
13	Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson	Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL.	CoRR	2022	DBLP DOI BibTeX RDF
13	Friedrich Martin Schneider, Caterina Viola	An Application of Farkas' Lemma to Finite-Valued Constraint Satisfaction Problems over Infinite Domains.	CoRR	2022	DBLP DOI BibTeX RDF
13	Sepehr Assadi, Soheil Behnezhad, Sanjeev Khanna, Huan Li 0002	On Regularity Lemma and Barriers in Streaming and Dynamic Matching.	CoRR	2022	DBLP DOI BibTeX RDF
13	Silas Richelson, Sourya Roy	Analyzing Ta-Shma's Code via the Expander Mixing Lemma.	CoRR	2022	DBLP BibTeX RDF
13	Huacheng Yu	Strong XOR Lemma for Communication with Bounded Rounds.	CoRR	2022	DBLP DOI BibTeX RDF
13	Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher	Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.	CoRR	2022	DBLP BibTeX RDF
13	Moses Charikar, Erik Waingarten	The Johnson-Lindenstrauss Lemma for Clustering and Subspace Approximation: From Coresets to Dimension Reduction.	CoRR	2022	DBLP DOI BibTeX RDF
13	Gleb Kalachev, Sergey Sadov	On the Cleaning Lemma of Quantum Coding Theory.	CoRR	2022	DBLP DOI BibTeX RDF
13	Elchanan Mossel, Jonathan Niles-Weed, Nike Sun, Ilias Zadik	A second moment proof of the spread lemma.	CoRR	2022	DBLP DOI BibTeX RDF
13	Zhening Li, Gabriel Poesia, Omar Costilla-Reyes, Noah D. Goodman, Armando Solar-Lezama	LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions.	CoRR	2022	DBLP DOI BibTeX RDF
13	Victor G. Lopez, Matthias A. Müller 0001	On a Continuous-Time Version of Willems' Lemma.	CoRR	2022	DBLP DOI BibTeX RDF
13	Tomohiro Koana, André Nichterlein, Niklas Wünsche	Kernelization for Partial Vertex Cover via (Additive) Expansion Lemma.	CoRR	2022	DBLP DOI BibTeX RDF
13	Gautam Kamath 0001, Argyris Mouzakis, Vikrant Singhal	New Lower Bounds for Private Estimation and a Generalized Fingerprinting Lemma.	CoRR	2022	DBLP DOI BibTeX RDF
13	Kun He 0011, Chunyang Wang, Yitong Yin	Deterministic counting Lovász local lemma beyond linear programming.	CoRR	2022	DBLP DOI BibTeX RDF
13	Philipp Schmitz, Timm Faulwasser, Karl Worthmann	Willems' fundamental lemma for linear descriptor systems and its use for data-driven output-feedback MPC.	CoRR	2022	DBLP BibTeX RDF
13	Ruy Fabila Monroy, Carlos Hidalgo-Toscano, Daniel Perz, Birgit Vogtenhuber	No Selection Lemma for Empty Triangles.	CoRR	2022	DBLP DOI BibTeX RDF
13	Anton V. Proskurnikov, Alexander Davydov 0001, Francesco Bullo	The Yakubovich S-Lemma Revisited: Stability and Contractivity in Non-Euclidean Norms.	CoRR	2022	DBLP DOI BibTeX RDF
13	Nan Jiang 0012, Yi Gu, Yexiang Xue	Learning Combinatorial Structures via Markov Random Fields with Sampling through Lovász Local Lemma.	CoRR	2022	DBLP DOI BibTeX RDF
13	Julian Berberich, Andrea Iannelli, Alberto Padoan, Jeremy Coulson, Florian Dörfler, Frank Allgöwer	A quantitative and constructive proof of Willems' Fundamental Lemma and its implications.	CoRR	2022	DBLP DOI BibTeX RDF
13	Josef Berger, Gregor Svindland	On Farkas' lemma and related propositions in BISH.	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
13	Mei-Jia Yang, Shu Wang, Yong Xia 0002	Toward Nonquadratic S-Lemma: New Theory and Application in Nonconvex Optimization.	J. Optim. Theory Appl.	2022	DBLP DOI BibTeX RDF
13	Saikrishna Badrinarayanan, Yuval Ishai, Dakshita Khurana, Amit Sahai, Daniel Wichs	Refuting the Dream XOR Lemma via Ideal Obfuscation and Resettable MPC.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
13	Ata Keskin	Sauer-Shelah Lemma.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
13	Saeed Salehi	Tarski's Undefinability Theorem and the Diagonal Lemma.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
13	Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen	A periodicity lemma for partial words.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
13	Toshihiro Koga	A pumping lemma for regular closure of prefix-free languages.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
13	Saikrishna Badrinarayanan, Yuval Ishai, Dakshita Khurana, Amit Sahai, Daniel Wichs	Refuting the Dream XOR Lemma via Ideal Obfuscation and Resettable MPC.	ITC	2022	DBLP DOI BibTeX RDF
13	David G. Harris 0001	Deterministic algorithms for the Lovász Local Lemma: simpler, more general, and more parallel.	SODA	2022	DBLP DOI BibTeX RDF
13	Kun He 0011, Chunyang Wang, Yitong Yin	Sampling Lovász local lemma for general constraint satisfaction solutions in near-linear time.	FOCS	2022	DBLP DOI BibTeX RDF
13	Huacheng Yu	Strong XOR Lemma for Communication with Bounded Rounds : (extended abstract).	FOCS	2022	DBLP DOI BibTeX RDF
13	Victor G. Lopez, Matthias Albrecht Müller	On a Continuous-Time Version of Willems' Lemma.	CDC	2022	DBLP DOI BibTeX RDF
13	Alexander Grishutin, Daniil Musatov	Discrete Versions of the KKM Lemma and Their PPAD-Completeness.	CSR	2022	DBLP DOI BibTeX RDF
13	Eckhard Bick	Lemma Hunting: Automatic Spelling Normalization for German CMC Corpora.	KONVENS	2022	DBLP BibTeX RDF
13	Milan Mossé, Harry Sha, Li-Yang Tan	A Generalization of the Satisfiability Coding Lemma and Its Applications.	SAT	2022	DBLP DOI BibTeX RDF
13	Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher	Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.	COORDINATION	2022	DBLP DOI BibTeX RDF
13	Yaël Dillies, Bhavik Mehta	Formalising Szemerédi's Regularity Lemma in Lean.	ITP	2022	DBLP DOI BibTeX RDF
13	Gautam Kamath 0001, Argyris Mouzakis, Vikrant Singhal	New Lower Bounds for Private Estimation and a Generalized Fingerprinting Lemma.	NeurIPS	2022	DBLP BibTeX RDF
13	Makoto Fujiwara	An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak König's Lemma with a Uniqueness Hypothesis.	CiE	2022	DBLP DOI BibTeX RDF
13	Omer Goldman, David Guriel, Reut Tsarfaty	(Un)solving Morphological Inflection: Lemma Overlap Artificially Inflates Models' Performance.	ACL (2)	2022	DBLP DOI BibTeX RDF