Search results for "lemma"

Hits ?▲	Authors	Title	Venue	Year	Link
13	M. Levent Dogan, Alperen Ali Ergür, Jake D. Mundo, Elias P. Tsigaridas	The Multivariate Schwartz-Zippel Lemma.	CoRR	2019	DBLP BibTeX RDF
13	Mohammad Ghasem Akbari, Gholamreza Hesamian	Neyman-Pearson lemma based on intuitionistic fuzzy parameters.	Soft Comput.	2019	DBLP DOI BibTeX RDF
13	Jan Hula, Miroslav Kubát, Radek Cech, Xinying Chen, David Cíz, Katerina Pelegrinová, Jirí Milicka	Context Specificity of Lemma. Diachronic Analysis.	Glottometrics	2019	DBLP BibTeX RDF
13	Matthias R. Engelhardt, Thomas B. Preußer	An easy counting lemma.	Discret. Appl. Math.	2019	DBLP DOI BibTeX RDF
13	Bill Rounds	Euclid's Lemma and the Square Root of 2.	Am. Math. Mon.	2019	DBLP DOI BibTeX RDF
13	Zsolt Gazdag, Krisztián Tichler, Erzsébet Csuhaj-Varjú	A Pumping Lemma for Permitting Semi-Conditional Languages.	Int. J. Found. Comput. Sci.	2019	DBLP DOI BibTeX RDF
13	Qingzhi Yang, Yang Zhou 0010, Yuning Yang	An Extension of Yuan's Lemma to Fourth-Order Tensor System.	J. Optim. Theory Appl.	2019	DBLP DOI BibTeX RDF
13	Mihir Bellare, Wei Dai 0011, Lucy Li	The Local Forking Lemma and its Application to Deterministic Encryption.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
13	Daniele Foffano, Luca Rossi 0004, Andrea Torsello	You Can't See Me: Anonymizing Graphs Using the Szemerédi Regularity Lemma.	Frontiers Big Data	2019	DBLP DOI BibTeX RDF
13	Ralph Bottesch, Max W. Haslbeck, René Thiemann	Farkas' Lemma and Motzkin's Transposition Theorem.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
13	Damian Sobota	Families of sets related to Rosenthal's lemma.	Arch. Math. Log.	2019	DBLP DOI BibTeX RDF
13	Yasuhiko Omata, Florian Pelupessy	Dickson's lemma and weak Ramsey theory.	Arch. Math. Log.	2019	DBLP DOI BibTeX RDF
13	Makoto Kanazawa	Ogden's lemma, multiple context-free grammars, and the control language hierarchy.	Inf. Comput.	2019	DBLP DOI BibTeX RDF
13	Jacob Fox, Lior Gishboliner, Asaf Shapira, Raphael Yuster	The removal lemma for tournaments.	J. Comb. Theory, Ser. B	2019	DBLP DOI BibTeX RDF
13	Sammy Luo	A counting lemma for binary matroids and applications to extremal problems.	J. Comb. Theory, Ser. B	2019	DBLP DOI BibTeX RDF
13	Dimitris Achlioptas, Fotis Iliopoulos, Vladimir Kolmogorov	A Local Lemma for Focused Stochastic Algorithms.	SIAM J. Comput.	2019	DBLP DOI BibTeX RDF
13	Heng Guo 0001, Chao Liao, Pinyan Lu, Chihao Zhang 0001	Counting Hypergraph Colorings in the Local Lemma Regime.	SIAM J. Comput.	2019	DBLP DOI BibTeX RDF
13	Yuma Koizumi, Shoichiro Saito, Hisashi Uematsu, Yuta Kawachi, Noboru Harada	Unsupervised Detection of Anomalous Sound Based on Deep Learning and the Neyman-Pearson Lemma.	IEEE ACM Trans. Audio Speech Lang. Process.	2019	DBLP DOI BibTeX RDF
13	David G. Harris 0001	Oblivious resampling oracles and parallel algorithms for the Lopsided Lovász Local Lemma.	SODA	2019	DBLP DOI BibTeX RDF
13	Paolo Toccaceli	Conformal predictor combination using Neyman-Pearson Lemma.	COPA	2019	DBLP BibTeX RDF
13	Dimitris Achlioptas, Fotis Iliopoulos, Alistair Sinclair	Beyond the Lovász Local Lemma: Point to Set Correlations and Their Algorithmic Applications.	FOCS	2019	DBLP DOI BibTeX RDF
13	Cheuk Ting Li, Venkat Anantharam	A Unified Framework for One-shot Achievability via the Poisson Matching Lemma.	ISIT	2019	DBLP DOI BibTeX RDF
13	Mohammad Hossein Yassaee	Almost Exact Analysis of Soft Covering Lemma via Large Deviation.	ISIT	2019	DBLP DOI BibTeX RDF
13	Mario Berta, Christoph Hirche, Eneet Kaur, Mark M. Wilde	Stein's Lemma for Classical-Quantum Channels.	ISIT	2019	DBLP DOI BibTeX RDF
13	Emirhan Gürpinar, Andrei E. Romashchenko	How to Use Undiscovered Information Inequalities: Direct Applications of the Copy Lemma.	ISIT	2019	DBLP DOI BibTeX RDF
13	Chan-eun Park 0001, In Seok Park, PooGyeon Park	A strictly bounded real lemma for singular Markovian jump systems.	CDC	2019	DBLP DOI BibTeX RDF
13	Péter Polcz, Balázs Kulcsár, Tamás Péni, Gábor Szederkényi	Passivity analysis of rational LPV systems using Finsler's lemma.	CDC	2019	DBLP DOI BibTeX RDF
13	Mihir Bellare, Wei Dai 0011, Lucy Li	The Local Forking Lemma and Its Application to Deterministic Encryption.	ASIACRYPT (3)	2019	DBLP DOI BibTeX RDF
13	Cristian Manolache, Horia Cucu, Corneliu Burileanu	Lemma-based Dynamic Time Warping Search for Keyword Spotting Applications in Romanian.	SpeD	2019	DBLP DOI BibTeX RDF
13	Ivan R. Belov, Alexander V. Yurchenkov, Arkadiy Yu. Kustov	Anisotropy-Based Bounded Real Lemma for Multiplicative Noise Systems: the Finite Horizon Case.	MED	2019	DBLP DOI BibTeX RDF
13	Aleksandra Miletic, Delphine Bernhard, Myriam Bras, Anne-Laure Ligozat, Marianne Vergez-Couret	Transformation d'annotations en parties du discours et lemmes vers le format Universal Dependencies : étude de cas pour l'alsacien et l'occitan (Converting POS-tag and Lemma Annotations into the Universal Dependencies Format : A Case Study on Alsatian and Occitan ).	PFIA (Articles courts)	2019	DBLP BibTeX RDF
13	Huu-Quang Nguyen, Ruey-Lin Sheu, Yong Xia 0002	Solving a Type of the Tikhonov Regularization of the Total Least Squares by a New S-Lemma.	WCGO	2019	DBLP DOI BibTeX RDF
13	Sebastian Brandt 0002, Yannic Maus, Jara Uitto	A Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local Lemma.	PODC	2019	DBLP DOI BibTeX RDF
13	Rachele Sprugnoli, Marco Passarotti, Giovanni Moretti	Vir is to Moderatus as Mulier is to Intemperans - Lemma Embeddings for Latin.	CLiC-it	2019	DBLP BibTeX RDF
13	Robert Y. Lewis	A formal proof of hensel's lemma over the p-adic integers.	CPP	2019	DBLP DOI BibTeX RDF
13	Weikun Yang, Grigory Fedyukovich, Aarti Gupta	Lemma Synthesis for Automating Induction over Algebraic Data Types.	CP	2019	DBLP DOI BibTeX RDF
13	Luca Becchetti, Marc Bury, Vincent Cohen-Addad, Fabrizio Grandoni 0001, Chris Schwiegelshohn	Oblivious dimension reduction for k-means: beyond subspaces and the Johnson-Lindenstrauss lemma.	STOC	2019	DBLP DOI BibTeX RDF
13	Kun He 0011, Qian Li 0012, Xiaoming Sun 0001, Jiapeng Zhang	Quantum Lovász local lemma: Shearer's bound is tight.	STOC	2019	DBLP DOI BibTeX RDF
13	Moa Johansson	Lemma Discovery for Induction - A Survey.	CICM	2019	DBLP DOI BibTeX RDF
13	Fotis Iliopoulos	Stochastic Local Search and the Lovasz Local Lemma.		2019	RDF
13	Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin	Automated lemma synthesis in symbolic-heap separation logic.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
13	Guillaume Boisseau, Jeremy Gibbons	What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl).	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
13	Simeon Ball, Bence Csajbók	On Segre's Lemma of Tangents.	Electron. Notes Discret. Math.	2018	DBLP DOI BibTeX RDF
13	Lucia Moura, Sebastian Raaphorst, Brett Stevens	The Lovász Local Lemma and Variable Strength Covering Arrays.	Electron. Notes Discret. Math.	2018	DBLP DOI BibTeX RDF
13	Zeev Dvir, Shay Moran	A Sauer-Shelah-Perles Lemma for Sumsets.	Electron. J. Comb.	2018	DBLP DOI BibTeX RDF
13	Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz	Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages.	LSFA	2018	DBLP DOI BibTeX RDF
13	Tripti Jain, Klaus Schneider 0001	The Half Cleaner Lemma: Constructing Efficient Interconnection Networks from Sorting Networks.	Parallel Process. Lett.	2018	DBLP DOI BibTeX RDF
13	John Fedoruk, Byron Schmuland, Julia Ann Johnson, Giseon Heo	Dimensionality reduction via the Johnson-Lindenstrauss Lemma: theoretical and empirical bounds on embedding dimension.	J. Supercomput.	2018	DBLP DOI BibTeX RDF
13	Raphael Kruse, Michael Scheutzow	A discrete stochastic Gronwall lemma.	Math. Comput. Simul.	2018	DBLP DOI BibTeX RDF
13	Juan Fernández-Sánchez, Manuel Úbeda-Flores	Proving Sklar's Theorem Via Zorn's Lemma.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2018	DBLP DOI BibTeX RDF
13	David G. Harris 0001	Deterministic Parallel Algorithms for Fooling Polylogarithmic Juntas and the Lovász Local Lemma.	ACM Trans. Algorithms	2018	DBLP DOI BibTeX RDF
13	Sandi Klavzar, D. Azubha Jemilet, Indra Rajasingh, Paul D. Manuel, N. Parthiban	General Transmission Lemma and Wiener complexity of triangular grids.	Appl. Math. Comput.	2018	DBLP DOI BibTeX RDF
13	Neha Agarwal, Haranath Kar	Bounded Real Lemma for 2-D Discrete Systems Using Asymmetric Lyapunov Matrix: What Shall It Be?	Circuits Syst. Signal Process.	2018	DBLP DOI BibTeX RDF
13	William Y. C. Chen, Lisa Hui Sun	Stanley's Lemma and Multiple Theta Functions.	SIAM J. Discret. Math.	2018	DBLP DOI BibTeX RDF
13	Hannes Diener, Matthew Hendtlass	Bishop's Lemma.	Math. Log. Q.	2018	DBLP DOI BibTeX RDF
13	Gunter Fuchs, Victoria Gitman, Joel David Hamkins	Ehrenfeucht's Lemma in Set Theory.	Notre Dame J. Formal Log.	2018	DBLP DOI BibTeX RDF
13	Kaave Hosseini, Shachar Lovett	A bilinear Bogolyubov-Ruzsa lemma with poly-logarithmic bounds.	Electron. Colloquium Comput. Complex.	2018	DBLP BibTeX RDF
13	Kun He 0011, Qian Li 0012, Xiaoming Sun 0001, Jiapeng Zhang	Quantum Lovász Local Lemma: Shearer's Bound is Tight.	Electron. Colloquium Comput. Complex.	2018	DBLP BibTeX RDF
13	Cheuk Ting Li, Abbas El Gamal	Strong Functional Representation Lemma and Applications to Coding Theorems.	IEEE Trans. Inf. Theory	2018	DBLP DOI BibTeX RDF
13	Dawei Ding 0002, Hrant Gharibyan, Patrick Hayden, Michael Walter 0005	A Quantum Multiparty Packing Lemma and the Relay Channel.	CoRR	2018	DBLP BibTeX RDF
13	Zeev Dvir, Shay Moran	A Sauer-Shelah-Perles Lemma for Sumsets.	CoRR	2018	DBLP BibTeX RDF
13	Yuma Koizumi, Shoichiro Saito, Hisashi Uematsu, Yuta Kawachi, Noboru Harada	Unsupervised Detection of Anomalous Sound based on Deep Learning and the Neyman-Pearson Lemma.	CoRR	2018	DBLP BibTeX RDF
13	Mikael Vejdemo-Johansson, Alisa Leshchenko	Certified Mapper: Repeated testing for acyclicity and obstructions to the nerve lemma.	CoRR	2018	DBLP BibTeX RDF
13		Derandomizing the Lovasz Local Lemma via log-space statistical tests.	CoRR	2018	DBLP BibTeX RDF
13	Alexander Kozachinskiy	Raz-McKenzie simulation: new gadget and unimprovability of Thickness Lemma.	CoRR	2018	DBLP BibTeX RDF
13	Kun He 0011, Qian Li 0012, Xiaoming Sun 0001, Jiapeng Zhang	Quantum Lovász Local Lemma: Shearer's Bound is Tight.	CoRR	2018	DBLP BibTeX RDF
13	Cheuk Ting Li, Venkat Anantharam	A Unified Framework for One-shot Achievability via the Poisson Matching Lemma.	CoRR	2018	DBLP BibTeX RDF
13	Saurav Jha, Akhilesh Sudhakar, Anil Kumar Singh	Multi Task Deep Morphological Analyzer: Context Aware Joint Morphological Tagging and Lemma Prediction.	CoRR	2018	DBLP BibTeX RDF
13	Pranab Sen	A one-shot quantum joint typicality lemma.	CoRR	2018	DBLP BibTeX RDF
13	Matthew M. Peet	A New State-Space Representation of Lyapunov Stability for Coupled PDEs and Scalable Stability Analysis in the SOS Framework - with Lemma Proofs.	CoRR	2018	DBLP BibTeX RDF
13	Grigoriy Volkov, Mikhail U. Mandrykin, Denis Efremov	Lemma Functions for Frama-C: C Programs as Proofs.	CoRR	2018	DBLP BibTeX RDF
13	Dimitris Achlioptas, Themis Gouleakis, Fotis Iliopoulos	Local Computation Algorithms for the Lovász Local Lemma.	CoRR	2018	DBLP BibTeX RDF
13	Dimitris Achlioptas, Fotis Iliopoulos, Vladimir Kolmogorov	A Local Lemma for Focused Stochastic Algorithms.	CoRR	2018	DBLP BibTeX RDF
13	Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen	On Periodicity Lemma for Partial Words.	CoRR	2018	DBLP BibTeX RDF
13	Dimitris Achlioptas, Fotis Iliopoulos, Alistair Sinclair	A New Perspective on Stochastic Local Search and the Lovasz Local Lemma.	CoRR	2018	DBLP BibTeX RDF
13	Stephen M. Robinson	A Short Proof of the Sticky Face Lemma.	Math. Program.	2018	DBLP DOI BibTeX RDF
13	Brendan Nagle, Vojtech Rödl, Mathias Schacht	An algorithmic hypergraph regularity lemma.	Random Struct. Algorithms	2018	DBLP DOI BibTeX RDF
13	Masoumeh Zeinali, Sedaghat Shahmorad	An equivalence lemma for a class of fuzzy implicit integro-differential equations.	J. Comput. Appl. Math.	2018	DBLP DOI BibTeX RDF
13	Jacob Fox, László Miklós Lovász, Lisa Sauermann	A polynomial bound for the arithmetic k-cycle removal lemma in vector spaces.	J. Comb. Theory, Ser. A	2018	DBLP DOI BibTeX RDF
13	Vladimir Kolmogorov	Commutativity in the Algorithmic Lovász Local Lemma.	SIAM J. Comput.	2018	DBLP DOI BibTeX RDF
13	Meysam Alishahi, Hossein Hajiabolhassan	A generalization of Gale's lemma.	J. Graph Theory	2018	DBLP DOI BibTeX RDF
13	Maria Chudnovsky	A short proof of the wonderful lemma.	J. Graph Theory	2018	DBLP DOI BibTeX RDF
13	Alan Arroyo, Dan McQuillan, R. Bruce Richter, Gelasio Salazar	Levi's Lemma, pseudolinear drawings of Kn, and empty triangles.	J. Graph Theory	2018	DBLP DOI BibTeX RDF
13	Marta Bílková, Petr Cintula, Tomás Lávicka	Lindenbaum and Pair Extension Lemma in Infinitary Logics.	WoLLIC	2018	DBLP DOI BibTeX RDF
13	Friedrich Eisenbrand, Robert Weismantel	Proximity results and faster algorithms for Integer Programming using the Steinitz Lemma.	SODA	2018	DBLP DOI BibTeX RDF
13	Greg Yang	A Homological Theory of Functions: Nonuniform Boolean Complexity Separation and VC Dimension Bound Via Algebraic Topology, and a Homological Farkas Lemma.	ITCS	2018	DBLP DOI BibTeX RDF
13	Joël Chaskalovic, Franck Assous	From a Geometrical Interpretation of Bramble-Hilbert Lemma to a Probability Distribution for Finite Element Accuracy.	FDM	2018	DBLP DOI BibTeX RDF
13	John W. Simpson-Porco	A Hill-Moylan Lemma for Equilibrium-Independent Dissipativity.	ACC	2018	DBLP DOI BibTeX RDF
13	Licio B. R. R. Romao, Maurício C. de Oliveira, Pedro L. D. Peres, Ricardo C. L. F. Oliveira	H∞ filter design with low- and middle-frequency specifications for continuous-time linear systems: LMI conditions derived from two different extensions of the KYP lemma.	ACC	2018	DBLP DOI BibTeX RDF
13	Zhaowu Yin, Junlin Xiong	Discrete-time Lossless Positive Real Lemma Based on Kalman Reachability Decomposition.	ICARCV	2018	DBLP DOI BibTeX RDF
13	Gustavo S. Mazzoccante, Gijs Hilhorst, Goele Pipeleers, Ricardo C. L. F. Oliveira	H∞ Model Order Reduction of Uncertain Linear Systems Using generalized KYP Lemma.	ECC	2018	DBLP DOI BibTeX RDF
13	Maciej Obremski, Maciej Skorski	Inverted Leftover Hash Lemma.	ISIT	2018	DBLP DOI BibTeX RDF
13	János Pach, Géza Tóth 0001	A Crossing Lemma for Multigraphs.	SoCG	2018	DBLP DOI BibTeX RDF
13	Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen	On Periodicity Lemma for Partial Words.	LATA	2018	DBLP DOI BibTeX RDF
13	Mei Liu, Gang Chen 0024	Partial-Fraction Expansion of Lossless Negative Imaginary Property and a Generalized Lossless Negative Imaginary Lemma.	CDC	2018	DBLP DOI BibTeX RDF
13	Lefteris M. Kirousis, John Livieratos	A Simple Algorithmic Proof of the Symmetric Lopsided Lovász Local Lemma.	LION	2018	DBLP DOI BibTeX RDF
13	Alexander A. Rubtsov	A Structural Lemma for Deterministic Context-Free Languages.	DLT	2018	DBLP DOI BibTeX RDF
13	Sylvain Carrozza, Thomas Krajewski, Adrian Tanasa	Using Grassmann calculus in combinatorics: Lindström-Gessel-Viennot lemma and Schur functions.	GASCom	2018	DBLP BibTeX RDF
13	Dimitris J. Kavvadias, Lina Panagopoulou	A semantic view of the switching lemma.	GASCom	2018	DBLP BibTeX RDF
13	Heng Guo 0001, Chao Liao, Pinyan Lu, Chihao Zhang 0001	Counting hypergraph colourings in the local lemma regime.	STOC	2018	DBLP DOI BibTeX RDF