Search results for "lemma"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Cheung-Chieh Ku, Guan-Wei Chen	Relaxed observer-based controller design method of discrete-time multiplicative noised LPV systems via an extended projective lemma.	Int. J. Control	2020	DBLP DOI BibTeX RDF
13	Saeed Salehi	On the diagonal Lemma of Gödel and Carnap.	Bull. Symb. Log.	2020	DBLP DOI BibTeX RDF
13	Mieczyslaw A. Klopotek	Machine learning friendly set version of Johnson-Lindenstrauss lemma.	Knowl. Inf. Syst.	2020	DBLP DOI BibTeX RDF
13	Chuan-Ke Zhang, Fei Long, Yong He 0003, Wei Yao 0005, Lin Jiang 0001, Min Wu 0002	A relaxed quadratic function negative-determination lemma and its application to time-delay systems.	Autom.	2020	DBLP DOI BibTeX RDF
13	Srikanth Srinivasan 0001	A Robust Version of Hegedűs's Lemma, with Applications.	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
13	Joshua Brody, Jae Tak Kim, Peem Lerdputtipongporn, Hariharan Srinivasulu	A Strong XOR Lemma for Randomized Query Complexity.	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
13	Zander Kelley	An Improved Derandomization of the Switching Lemma.	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
13	Manindra Agrawal, Rohit Gurjar, Thomas Thierauf	Impossibility of Derandomizing the Isolation Lemma for all Families.	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
13	Ronen Shaltiel	Is it possible to improve Yao's XOR lemma using reductions that exploit the efficiency of their oracle?	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
13	Da-Wei Ding 0002, Hrant Gharibyan, Patrick Hayden, Michael Walter 0005	A Quantum Multiparty Packing Lemma and the Relay Channel.	IEEE Trans. Inf. Theory	2020	DBLP DOI BibTeX RDF
13	Fernando G. S. L. Brandão, Aram W. Harrow, James R. Lee, Yuval Peres	Adversarial Hypothesis Testing and a Quantum Stein's Lemma for Restricted Measurements.	IEEE Trans. Inf. Theory	2020	DBLP DOI BibTeX RDF
13	Patrizio Angelini, Giordano Da Lozzo, Henry Förster, Thomas Schneck	2-Layer k-Planar Graphs: Density, Crossing Lemma, Relationships, and Pathwidth.	CoRR	2020	DBLP BibTeX RDF
13	Thomas Powell 0001	A computational interpretation of Zorn's lemma.	CoRR	2020	DBLP BibTeX RDF
13	Weiming Feng 0001, Kun He 0011, Yitong Yin	Sampling Constraint Satisfaction Solutions in the Local Lemma Regime.	CoRR	2020	DBLP BibTeX RDF
13	Jan Kessler, Jens M. Schmidt	Dynamics of Cycles in Polyhedra I: The Isolation Lemma.	CoRR	2020	DBLP BibTeX RDF
13	Joshua Brody, Jae Tak Kim, Peem Lerdputtipongporn, Hariharan Srinivasulu	A Strong XOR Lemma for Randomized Query Complexity.	CoRR	2020	DBLP BibTeX RDF
13	Keehang Kwon, Dae-Seong Kang	Agent-Based Proof Design via Lemma Flow Diagram.	CoRR	2020	DBLP 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.	CoRR	2020	DBLP BibTeX RDF
13	Lianna Hambardzumyan, Yaqiao Li	Chang's lemma via Pinsker's inequality.	CoRR	2020	DBLP BibTeX RDF
13	Michael J. Maher	A lemma on closures and its application to modularity in logic programming semantics.	CoRR	2020	DBLP BibTeX RDF
13	David G. Harris 0001, Fotis Iliopoulos, Vladimir Kolmogorov	A new notion of commutativity for the algorithmic Lovász Local Lemma.	CoRR	2020	DBLP BibTeX RDF
13	Sebastian Brandt 0002, Christoph Grunau, Václav Rozhon	Generalizing the Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local Lemma.	CoRR	2020	DBLP BibTeX RDF
13	Vishesh Jain, Huy Tuan Pham, Thuy-Duong Vuong	Towards the sampling Lovász Local Lemma.	CoRR	2020	DBLP BibTeX RDF
13	Baoxiong Jia, Yixin Chen 0003, Siyuan Huang 0001, Yixin Zhu 0001, Song-Chun Zhu	LEMMA: A Multi-view Dataset for Learning Multi-agent Multi-task Activities.	CoRR	2020	DBLP BibTeX RDF
13	Holger Boche, Yannik Böck, Christian Deppe	On the Effectiveness of Fekete's Lemma.	CoRR	2020	DBLP BibTeX RDF
13	Gayatri Venugopal-Wairagade, Jatinderkumar R. Saini, Dhanya Pramod	Novel Language Resources for Hindi: An Aesthetics Text Corpus and a Comprehensive Stop Lemma List.	CoRR	2020	DBLP BibTeX RDF
13	Hideo Bannai, Takuya Mieno, Yuto Nakashima	Lyndon Words, the Three Squares Lemma, and Primitive Squares.	CoRR	2020	DBLP BibTeX RDF
13	Iasson Karafyllis, Antoine Chaillet	Lyapunov Conditions for Uniform Asymptotic Output Stability and a Relaxation of Barbalat's Lemma.	CoRR	2020	DBLP BibTeX RDF
13	Ido Shahaf, Or Ordentlich, Gil Segev 0001	An Information-Theoretic Proof of the Streaming Switching Lemma for Symmetric Encryption.	CoRR	2020	DBLP BibTeX RDF
13	Takao Inoué	On Bergman's Diamond Lemma for Ring Theory.	CoRR	2020	DBLP BibTeX RDF
13	Alexandra Carpentier, Claire Vernade, Yasin Abbasi-Yadkori	The Elliptical Potential Lemma Revisited.	CoRR	2020	DBLP BibTeX RDF
13	José María Hoya Quecedo, Maximilian W. Koppatz, Giacomo Furlan, Roman Yangarber	Neural disambiguation of lemma and part of speech in morphologically rich languages.	CoRR	2020	DBLP BibTeX RDF
13	Pengyu Nie 0001, Karl Palmskog, Junyi Jessy Li, Milos Gligoric 0001	Deep Generation of Coq Lemma Names Using Elaborated Terms.	CoRR	2020	DBLP BibTeX RDF
13	Sergey Sadov	Gustafson's Isomorphism and the Zassenhaus Lemma via a Common Commutative Diagram.	Am. Math. Mon.	2020	DBLP DOI BibTeX RDF
13	Steven W. Buchanan, Andrew J. Hetzel	On the Success of Seriously Mishandling Euclid's Lemma.	Am. Math. Mon.	2020	DBLP DOI BibTeX RDF
13	Vincent Vatter	A Probabilistic Proof of a Lemma That Is Not Burnside's.	Am. Math. Mon.	2020	DBLP DOI BibTeX RDF
13	Fernando Ferreira 0001	The FAN principle and weak König's lemma in herbrandized second-order arithmetic.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
13	Thai Doan Chuong, Vaithilingam Jeyakumar	Generalized Farkas Lemma with Adjustable Variables and Two-Stage Robust Linear Programs.	J. Optim. Theory Appl.	2020	DBLP DOI BibTeX RDF
13	Anton A. Sokolov	Lin2-Xor Lemma and Log-size Linkable Ring Signature.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
13	Ido Shahaf, Or Ordentlich, Gil Segev 0001	An Information-Theoretic Proof of the Streaming Switching Lemma for Symmetric Encryption.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
13	Lianna Hambardzumyan, Yaqiao Li	Chang's lemma via Pinsker's inequality.	Discret. Math.	2020	DBLP DOI BibTeX RDF
13	Pedro Sánchez Terraf	Cofinality and the Delta System Lemma.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
13	Stefan Glock, Felix Joos	A rainbow blow-up lemma.	Random Struct. Algorithms	2020	DBLP DOI BibTeX RDF
13	Péter Polcz, Tamás Péni, Balázs Kulcsár, Gábor Szederkényi	Induced L2-gain computation for rational LPV systems using Finsler's lemma and minimal generators.	Syst. Control. Lett.	2020	DBLP DOI BibTeX RDF
13	János Pach, Géza Tóth 0001	A Crossing Lemma for Multigraphs.	Discret. Comput. Geom.	2020	DBLP DOI BibTeX RDF
13	Cody D. Murray, R. Ryan Williams	Circuit Lower Bounds for Nondeterministic Quasi-polytime from a New Easy Witness Lemma.	SIAM J. Comput.	2020	DBLP DOI BibTeX RDF
13	Nicholas J. A. Harvey, Jan Vondrák	An Algorithmic Proof of the Lovász Local Lemma via Resampling Oracles.	SIAM J. Comput.	2020	DBLP DOI BibTeX RDF
13	Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata 0001	Lemma Weakening for State Machine Invariant Proofs.	APSEC	2020	DBLP DOI BibTeX RDF
13	Thomas Powell 0001	On the computational content of Zorn's lemma.	LICS	2020	DBLP DOI BibTeX RDF
13	Revantha Ramanayake	Extended Kripke lemma and decidability for hypersequent substructural logics.	LICS	2020	DBLP DOI BibTeX RDF
13	Ido Shahaf, Or Ordentlich, Gil Segev 0001	An Information-Theoretic Proof of the Streaming Switching Lemma for Symmetric Encryption.	ISIT	2020	DBLP DOI BibTeX RDF
13	Holger Boche, Yannik Böck, Christian Deppe	On the Effectiveness of Fekete's Lemma in Information Theory.	ITW	2020	DBLP DOI BibTeX RDF
13	Pengyu Nie 0001, Karl Palmskog, Junyi Jessy Li, Milos Gligoric 0001	Deep Generation of Coq Lemma Names Using Elaborated Terms.	IJCAR (2)	2020	DBLP DOI BibTeX RDF
13	An Zou, Karthik Garimella, Benjamin Lee, Christopher D. Gill, Xuan Zhang 0001	F-LEMMA: Fast Learning-based Energy Management for Multi-/Many-core Processors.	MLCAD	2020	DBLP DOI BibTeX RDF
13	Patrizio Angelini, Giordano Da Lozzo, Henry Förster, Thomas Schneck	2-Layer k-Planar Graphs - Density, Crossing Lemma, Relationships, and Pathwidth.	GD	2020	DBLP DOI BibTeX RDF
13	Sebastian Brandt 0002, Christoph Grunau, Václav Rozhon	Generalizing the Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local Lemma.	PODC	2020	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.	STOC	2020	DBLP DOI BibTeX RDF
13	Srikanth Srinivasan 0001	A robust version of Hegedus's lemma, with applications.	STOC	2020	DBLP DOI BibTeX RDF
13	Ryan Alweiss, Shachar Lovett, Kewen Wu 0001, Jiapeng Zhang	Improved bounds for the sunflower lemma.	STOC	2020	DBLP DOI BibTeX RDF
13	Hideo Bannai, Takuya Mieno, Yuto Nakashima	Lyndon Words, the Three Squares Lemma, and Primitive Squares.	SPIRE	2020	DBLP DOI BibTeX RDF
13	Baoxiong Jia, Yixin Chen 0003, Siyuan Huang 0001, Yixin Zhu 0001, Song-Chun Zhu	LEMMA: A Multi-view Dataset for LEarning Multi-agent Multi-task Activities.	ECCV (26)	2020	DBLP DOI BibTeX RDF
13	Ronen Shaltiel	Is It Possible to Improve Yao's XOR Lemma Using Reductions That Exploit the Efficiency of Their Oracle?	APPROX-RANDOM	2020	DBLP DOI BibTeX RDF
13	Giorgio Maria Di Nunzio	A Study on Lemma vs Stem for Legal Information Retrieval Using R Tidyverse.	FIRE (Working Notes)	2020	DBLP BibTeX RDF
13	Dimitris Achlioptas, Themis Gouleakis, Fotis Iliopoulos	Simple Local Computation Algorithms for the General Lovász Local Lemma.	SPAA	2020	DBLP DOI BibTeX RDF
13	Samory Kpotufe, Bharath K. Sriperumbudur	Gaussian Sketching yields a J-L Lemma in RKHS.	AISTATS	2020	DBLP BibTeX RDF
13	José María Hoya Quecedo, Koppatz Maximilian, Roman Yangarber	Neural Disambiguation of Lemma and Part of Speech in Morphologically Rich Languages.	LREC	2020	DBLP BibTeX RDF
13	Radek Cech, Jan Hula, Miroslav Kubát, Xinying Chen, Jirí Milicka	The Development of Context Specificity of Lemma. A Word Embeddings Approach.	J. Quant. Linguistics	2019	DBLP DOI BibTeX RDF
13	Zeev Dvir, Benjamin L. Edelman	Matrix Rigidity and the Croot-Lev-Pach Lemma.	Theory Comput.	2019	DBLP DOI BibTeX RDF
13	Chengcheng Ji, Masahito Kurihara, Haruhiko Sato	Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection.	IEICE Trans. Inf. Syst.	2019	DBLP DOI BibTeX RDF
13	María J. Cánovas, Nguyen Dinh, Dang H. Long, Juan Parra	An approach to calmness of linear inequality systems from Farkas lemma.	Optim. Lett.	2019	DBLP DOI BibTeX RDF
13	Abdourazek Souahi, Omar Naifar, Abdellatif Ben Makhlouf, Mohamed Ali Hammami	Discussion on Barbalat Lemma extensions for conformable fractional integrals.	Int. J. Control	2019	DBLP DOI BibTeX RDF
13	Alberto Isidori, Anton A. Pyrkin, Oleg Borisov	An extension of a lemma of Dayawansa and its application in the design of extended observers for nonlinear systems.	Autom.	2019	DBLP DOI BibTeX RDF
13	Hossein Teimoori Faal	A multiset version of determinants and the Coin arrangements lemma.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
13	Lucia Moura, Sebastian Raaphorst, Brett Stevens	Upper bounds on the sizes of variable strength covering arrays using the Lovász local lemma.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
13	Athanasios Andrikopoulos	A Generalization of Arrow's Lemma on Extending a Binary Relation.	Int. J. Math. Math. Sci.	2019	DBLP DOI BibTeX RDF
13	N. H. Chieu, Thai Doan Chuong, V. Jeyakumar 0001, Guoyin Li 0001	A copositive Farkas lemma and minimally exact conic relaxations for robust quadratic optimization with binary and quadratic constraints.	Oper. Res. Lett.	2019	DBLP DOI BibTeX RDF
13	Ankur Moitra	Approximate Counting, the Lovász Local Lemma, and Inference in Graphical Models.	J. ACM	2019	DBLP DOI BibTeX RDF
13	Heng Guo 0001, Mark Jerrum, Jingcheng Liu 0001	Uniform Sampling Through the Lovász Local Lemma.	J. ACM	2019	DBLP DOI BibTeX RDF
13	Ryan Alweiss, Shachar Lovett, Kewen Wu 0001, Jiapeng Zhang	Improved bounds for the sunflower lemma.	Electron. Colloquium Comput. Complex.	2019	DBLP BibTeX RDF
13	Anant Dhayal, Russell Impagliazzo	UTIME Easy-witness Lemma & Some Consequences.	Electron. Colloquium Comput. Complex.	2019	DBLP BibTeX RDF
13	Sharareh Alipour, Amir Jafari	Upper Bounds for the Domination Numbers of Graphs Using Turán's Theorem and Lovász Local Lemma.	Graphs Comb.	2019	DBLP DOI BibTeX RDF
13	Bulent Nafi Örnek, Timur Duzenli	Schwarz lemma for driving point impedance functions and its circuit applications.	Int. J. Circuit Theory Appl.	2019	DBLP DOI BibTeX RDF
13	Dana Lahat, Christian Jutten, Helene Shapiro	Schur's Lemma for Coupled Reducibility and Coupled Normality.	SIAM J. Matrix Anal. Appl.	2019	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.	CoRR	2019	DBLP BibTeX RDF
13	Robert Y. Lewis	A formal proof of Hensel's lemma over the p-adic integers.	CoRR	2019	DBLP BibTeX RDF
13	Pierre-Etienne Meunier, Damien Regnault	Non-cooperatively assembling large structures: a 2D pumping lemma cannot be as powerful as its 1D counterpart.	CoRR	2019	DBLP BibTeX RDF
13	Maya Bechler-Speicher	A Crossing Lemma for Families of Jordan Curves with a Bounded Intersection Number.	CoRR	2019	DBLP BibTeX RDF
13	Marcus Pereira, Ziyi Wang 0001, Ioannis Exarchos, Evangelos A. Theodorou	Neural Network Architectures for Stochastic Control using the Nonlinear Feynman-Kac Lemma.	CoRR	2019	DBLP BibTeX RDF
13	Emirhan Gürpinar, Andrei E. Romashchenko	How to Use Undiscovered Information Inequalities: Direct Applications of the Copy Lemma.	CoRR	2019	DBLP BibTeX RDF
13	Marcus Schaefer 0001	A Proof of Levi's Extension Lemma.	CoRR	2019	DBLP BibTeX RDF
13	Marco Fiorucci, Francesco Pelosin, Marcello Pelillo	Separating Structure from Noise in Large Graphs Using the Regularity Lemma.	CoRR	2019	DBLP BibTeX RDF
13	Eckhard Pflügel	A Root-Free Splitting-Lemma for Systems of Linear Differential Equations.	CoRR	2019	DBLP BibTeX RDF
13	Wu Lin, Mohammad Emtiyaz Khan, Mark Schmidt 0001	Stein's Lemma for the Reparameterization Trick with Exponential Family Mixtures.	CoRR	2019	DBLP BibTeX RDF
13	Sebastian Brandt 0002, Yannic Maus, Jara Uitto	A Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local Lemma.	CoRR	2019	DBLP BibTeX RDF
13	Yuman Li, Yiheng Wei, Yuquan Chen, Yong Wang 0007	A universal framework of GKYP lemma for singular fractional order systems.	CoRR	2019	DBLP BibTeX RDF
13	Ryan Alweiss, Shachar Lovett, Kewen Wu 0001, Jiapeng Zhang	Improved bounds for the sunflower lemma.	CoRR	2019	DBLP BibTeX RDF
13		Extensions of the Algorithmic Lovasz Local Lemma.	CoRR	2019	DBLP BibTeX RDF
13	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Lemma Generation for Horn Clause Satisfiability: A Preliminary Study.	VPT@Programming	2019	DBLP DOI BibTeX RDF
13	Mohammad Hossein Yassaee	Almost exact analysis of soft covering lemma via large deviation.	CoRR	2019	DBLP BibTeX RDF
13	David G. Harris 0001	Deterministic algorithms for the Lovasz Local Lemma: simpler, more general, and more parallel.	CoRR	2019	DBLP BibTeX RDF