Search results for "lemma"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
133	Koji Iwanuma, Kenichi Kishino	Lemma Generalization and Non-unit Lemma Matching for Model Elimination.	ASIAN	1999	DBLP DOI BibTeX RDF
102	Vikraman Arvind, Partha Mukhopadhyay	Derandomizing the Isolation Lemma and Lower Bounds for Circuit Size.	APPROX-RANDOM	2008	DBLP DOI BibTeX RDF
86	Guido Gherardi	An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability.	CiE	2006	DBLP DOI BibTeX RDF	Borel Measurability, Urysohn Lemma, Urysohn-Tietze Lemma, Computable Analysis
66	Koji Iwanuma	Lemma Matching for a PTTP-based Top-down Theorem Prover.	CADE	1997	DBLP DOI BibTeX RDF
65	Dorit Aharonov, Itai Arad, Zeph Landau, Umesh V. Vazirani	The detectability lemma and quantum gap amplification.	STOC	2009	DBLP DOI BibTeX RDF	QMA, detectability lemma, gap amplification, local hamiltonians, quantum computation, PCP
62	Brendan Nagle, Annika Poerschke, Vojtech Rödl, Mathias Schacht	Hypergraph regularity and quasi-randomness.	SODA	2009	DBLP DOI BibTeX RDF
62	Penny E. Haxell, Brendan Nagle, Vojtech Rödl	An Algorithmic Version of the Hypergraph Regularity Method.	FOCS	2005	DBLP DOI BibTeX RDF
57	Aravind Srinivasan	Improved algorithmic versions of the Lovász Local Lemma.	SODA	2008	DBLP BibTeX RDF
57	Ron Aharoni, Tamás Fleiner	On a Lemma of Scarf.	IPCO	2002	DBLP DOI BibTeX RDF
56	Robin A. Moser	A constructive proof of the Lovász local lemma.	STOC	2009	DBLP DOI BibTeX RDF	bounded occurrence sat instances, hypergraph colouring, derandomization, Lovasz local lemma
56	D. Deng, Douglas R. Stinson, Ruizhong Wei	The Lovász Local Lemma and Its Applications to some Combinatorial Arrays.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	Lovász local lemma, combinatorial array, probabilistic method
56	Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè	LEMMA: a language for easy medical models analysis.	CBMS	1997	DBLP DOI BibTeX RDF	LEMMA language, medical model analysis, health care process optimization, high quality standards, patient treatment, diagnostic processes, therapeutic processes, informal notation, Petri nets, prototype, visual languages, graphical language, resource optimizations, health care systems, formal notation
55	Vojtech Rödl, Mathias Schacht	Property testing in hypergraphs and the removal lemma.	STOC	2007	DBLP DOI BibTeX RDF	hereditary properties, removal lemma, hypergraphs, property testing, regularity lemma
53	Martin Aigner 0001	Lattice Paths and Determinants.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
53	Jaques Riche, Robert K. Meyer	Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.".	CSL	1998	DBLP DOI BibTeX RDF
49	Luca Trevisan	List-Decoding Using The XOR Lemma.	FOCS	2003	DBLP DOI BibTeX RDF
49	Huijin Fan, Changyun Wen	2-D version of Bellman-Gronwall lemma.	ICARCV	2002	DBLP DOI BibTeX RDF
47	Ali Bagherzandi, Jung Hee Cheon, Stanislaw Jarecki	Multisignatures secure under the discrete logarithm assumption and a generalized forking lemma.	CCS	2008	DBLP DOI BibTeX RDF	concurrent proofs of knowledge, equiocable homomorphic commitment, forking lemma, multisignatures
47	Douglas P. Hardin, Thomas A. Hogan, Qiyu Sun	The Matrix-Valued Riesz Lemma and Local Orthonormal Bases in Shift-Invariant Spaces.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	Fejér-Riesz lemma, orthogonal bases, wavelets, multiresolution, frame, shift-invariant space
47	Ramamohan Paturi, Pavel Pudlák, Francis Zane	Satisfiability Coding Lemma.	FOCS	1997	DBLP DOI BibTeX RDF	satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae
47	Armin Kühnemann	A Pumping Lemma for Output Languages of Macro Tree Transducers.	CAAP	1996	DBLP DOI BibTeX RDF	Macro tree transducer, Pumping Lemma, Primitive Recursion
44	Yoshiharu Kohayakawa	Advances in the Regularity Method.	LATIN	2004	DBLP DOI BibTeX RDF
42	Jürg Wullschleger	Oblivious-Transfer Amplification.	EUROCRYPT	2007	DBLP DOI BibTeX RDF	oblivious-transfer amplification, universal oblivious transfer, weak oblivious transfer, computational weak oblivious transfer, distributed leftover hash lemma, hard-core lemma
40	William B. Johnson 0001, Assaf Naor	The Johnson-Lindenstrauss lemma almost characterizes Hilbert space, but not quite.	SODA	2009	DBLP DOI BibTeX RDF
40	Kiyotaka Kohno, Yujiro Inouye, Mitsuru Kawamoto	A Matrix Pseudo-Inversion Lemma and Its Application to Block-Based Adaptive Blind Deconvolution for MIMO Systems.	ISCAS	2007	DBLP DOI BibTeX RDF
40	János Komlós, Ali Shokoufandeh, Miklós Simonovits, Endre Szemerédi	The Regularity Lemma and Its Applications in Graph Theory.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
39	Abdul Basit 0001, Nabil H. Mustafa, Saurabh Ray, Sarfraz Raza	Improving the first selection lemma in R3.	SCG	2010	DBLP DOI BibTeX RDF	centerpoints, first selection lemma, hitting simplices, location depth
39	Andris Ambainis, Julia Kempe, Or Sattath	A quantum lovász local lemma.	STOC	2010	DBLP DOI BibTeX RDF	local lemma, quanum SAT, random quantum sat, quantum computation, probabilistic method
39	Vaithilingam Jeyakumar, Guoyin Li 0001	Farkas' lemma for separable sublinear inequalities without qualifications.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Generalized Farkas’ lemma, Separable sublinear inequalities, Robust linear programming, Duality, Optimality conditions
39	Katalin Friedl, Gábor Ivanyos, Miklos Santha, Yves F. Verhoeven	On the Black-Box Complexity of Sperner's Lemma.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Sperner’s lemma, Probabilistic and quantum lower bound, Deterministic algorithm, Query complexity
39	Jesús Aransay, Clemens Ballarin, Julio Rubio 0001	A Mechanized Proof of the Basic Perturbation Lemma.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Homological algebra, Basic perturbation lemma, Isabelle
39	Eckhard Pflügel	A rational decomposition-lemma for systems of linear differential-algebraic equations.	ISSAC	2008	DBLP DOI BibTeX RDF	linear daes, splitting lemma, computer algebra, local reduction
39	Mihir Bellare, Gregory Neven	Multi-signatures in the plain public-Key model and a general forking lemma.	CCS	2006	DBLP DOI BibTeX RDF	forking lemma, cryptography, digital signatures, multi-signatures
39	Vikram Jha	Local Schur's Lemma and Commutative Semifields.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	Schur’s lemma, semifields, translation planes, nets
39	Carlo Harpes, Gerhard Kramer, James L. Massey	A Generalization of Linear Cryptanalysis and the Applicability of Matsui's Piling-Up Lemma.	EUROCRYPT	1995	DBLP DOI BibTeX RDF	piling-up lemma, SAFER K-64, differential cryptanalysis, Linear cryptanalysis, IDEA
35	Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh	Verifying linearizability with hindsight.	PODC	2010	DBLP DOI BibTeX RDF	hindsight, linearizability, wait-freedom, optimistic concurrency
35	Jörg Endrullis, Roel C. de Vrijer	Reduction Under Substitution.	RTA	2008	DBLP DOI BibTeX RDF
35	Ronen Shaltiel, Emanuele Viola	Hardness amplification proofs require majority.	STOC	2008	DBLP DOI BibTeX RDF	amplification, natural proofs, black-box, hardness, average-case complexity, constant-depth circuits, majority
35	Lizheng Jiang, Dongqing Yang, Shiwei Tang, Xiuli Ma, Dehui Zhang	Tight Correlated Item Sets and Their Efficient Discovery.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF
35	Yonatan Bilu, Nathan Linial	Lifts, Discrepancy and Nearly Optimal Spectral Gap*.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05C22, 05C35, 05C80, 05C50
35	Yonatan Bilu, Nathan Linial	Constructing Expander Graphs by 2-Lifts and Discrepancy vs. Spectral Gap.	FOCS	2004	DBLP DOI BibTeX RDF	Lifts of Graphs, Signed Graphs, Expander Graphs, Discrepancy, Lifts
35	Paulo Oliva	Polynomial-time Algorithms from Ineffective Proofs.	LICS	2003	DBLP DOI BibTeX RDF
35	Milena Mihail, Peter Winkler 0001	On the Number of Eularian Orientations of a Graph.	SODA	1992	DBLP BibTeX RDF
34	Hajime Ishihara	Unique Existence and Computability in Constructive Reverse Mathematics.	CiE	2007	DBLP DOI BibTeX RDF	unique existence, Brouwer’s fan theorem, weak König lemma, computability, constructive mathematics, reverse mathematics
34	Frank Thomson Leighton, Bruce M. Maggs	Fast algorithms for finding O(congestion+dilation) packet routing schedules.	HICSS (2)	1995	DBLP DOI BibTeX RDF	packet routing schedules, fixed edge-simple paths, constant-size queues, algorithm parallelization, parallel algorithms, computational complexity, multiprocessor interconnection networks, packet switching, congestion, processor scheduling, telecommunication network routing, fast algorithms, dilation, Lovasz local lemma
33	Huu Hai Nguyen, Wei-Ngan Chin	Enhancing Program Verification with Lemmas.	CAV	2008	DBLP DOI BibTeX RDF	Lemma Proving, Lemma Application, Program Verification, Separation Logic, Entailment
31	Hung Gia Hoang, Hoang Duong Tuan, Truong Q. Nguyen	Frequency-Selective KYP Lemma, IIR Filter, and Filter Bank Design.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
31	Boaz Barak, Moritz Hardt, Satyen Kale	The uniform hardcore lemma via approximate Bregman projections.	SODA	2009	DBLP DOI BibTeX RDF
31	Heidi Gebauer, Robin A. Moser, Dominik Scheder, Emo Welzl	The Lovász Local Lemma and Satisfiability.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF
31	Alexander Pelov Pelov, Thomas Noël	Creating advanced mobility models with LEMMA.	SpringSim	2009	DBLP DOI BibTeX RDF	NS-3, framework, mobility models, layered architecture, group mobility
31	Makoto Kanazawa	The Pumping Lemma for Well-Nested Multiple Context-Free Languages.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
31	Jan Paseka	More on the Strength of Engeler's Lemma.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06F05, 20M12, 20N02, Secondary 03G05, 16D30, 17A65, 08A30
31	Jacob Fox, János Pach, Csaba D. Tóth	A Bipartite Strengthening of the Crossing Lemma.	GD	2007	DBLP DOI BibTeX RDF
31	Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli	Lemma Learning in the Model Evolution Calculus.	LPAR	2006	DBLP DOI BibTeX RDF
31	Yinlei Yu, Sharad Malik	Lemma Learning in SMT on Linear Constraints.	SAT	2006	DBLP DOI BibTeX RDF
31	Stefan S. Dantchev	On the Complexity of the Sperner Lemma.	CiE	2006	DBLP DOI BibTeX RDF
31	Tobias Schubert 0001, Bernd Becker 0001	Lemma Exchange in a Microcontroller Based Parallel SAT Solver.	ISVLSI	2005	DBLP DOI BibTeX RDF
31	Kiyotaka Kohno, Yujiro Inouye, Mitsuru Kawamoto	An adaptive super-exponential deflation algorithm for blind deconvolution of MIMO systems using the matrix pseudo-inversion lemma.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
31	Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina	A Formal Proof of Dickson's Lemma in ACL2.	LPAR	2003	DBLP DOI BibTeX RDF
31	Mohammad R. Salavatipour	A (1+epsilon)-approximation algorithm for partitioning hypergraphs using a new algorithmic version of the Lovász Local Lemma.	SODA	2003	DBLP BibTeX RDF
31	Stefan Berghofer	A Constructive Proof of Higman's Lemma in Isabelle.	TYPES	2003	DBLP DOI BibTeX RDF
31	Bernd Gärtner, Emo Welzl	A Simple Sampling Lemma: Analysis and Applications in Geometric Optimization.	Discret. Comput. Geom.	2001	DBLP DOI BibTeX RDF
31	Vojtech Rödl, Andrzej Rucinski 0001	Perfect Matchings in -Regular Graphs and the Blow-Up Lemma.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C75
31	Zsolt Kukorelly	The Piling-Up Lemma and Dependent Random Variables.	IMACC	1999	DBLP DOI BibTeX RDF
31	Hélène Touzet	A Characterisation of Multiply Recursive Functions with Higman's Lemma.	RTA	1999	DBLP DOI BibTeX RDF
31	Madhu Sudan 0001, Luca Trevisan, Salil P. Vadhan	Pseudorandom Generators without the XOR Lemma (Abstract).	CCC	1999	DBLP DOI BibTeX RDF	polynomial reconstruct ion, Pseudorandom generators, extractors, list-decoding
31	Vince Grolmusz	A Degree-Decreasing Lemma for (MOD q - MOD p) Circuits.	ICALP	1998	DBLP DOI BibTeX RDF
31	Joachim Draeger	Acquisition of Useful Lemma-Knowledge in Automated Reasoning.	AIMSA	1998	DBLP DOI BibTeX RDF
31	Jan Kuper	Proving the Genericity Lemma by Leftmost Reduction is Simple.	RTA	1995	DBLP DOI BibTeX RDF
31	Sorin Istrail, Dejan Zivkovic	A Non-Probabilistic Switching Lemma for the Sipser Function.	STACS	1993	DBLP DOI BibTeX RDF
30	Ilias Diakonikolas, Rocco A. Servedio, Li-Yang Tan, Andrew Wan	A Regularity Lemma, and Low-Weight Approximators, for Low-Degree Polynomial Threshold Functions.	CCC	2010	DBLP DOI BibTeX RDF	Boolean function, regularity lemma, polynomial threshold function
30	Ralf Lämmel, Ondrej Rypacek	The Expression Lemma.	MPC	2008	DBLP DOI BibTeX RDF	expression lemma, functional object, the composite design pattern, free monad, cofree comonad, fold, program calculation, expression problem, distributive law, catamorphism
30	Judith Gal-Ezer, Mark B. Trakhtenbrot	Challenges in teaching the pumping lemma in automata theory course.	ITiCSE	2005	DBLP DOI BibTeX RDF	reasoning problems, automata theory, pumping lemma
30	Alan M. Frieze, Ravi Kannan	The Regularity Lemma and Approximation Schemes for Dense Problems.	FOCS	1996	DBLP DOI BibTeX RDF	dense problems, polynomial time approximation, dense graphs, Graph Bisection problem, Min l-way cut problem, Graph Separator problem, Max-SNP hard problems, graph theory, approximation schemes, Quadratic Assignment Problem, regularity lemma, Max Cut problem
30	Noga Alon, Richard A. Duke, Hanno Lefmann, Vojtech Rödl, Raphael Yuster	The Algorithmic Aspects of the Regularity Lemma (Extended Abstract)	FOCS	1992	DBLP DOI BibTeX RDF	computational difficulty, regular partition, input graph, parallelism, partition, regularity lemma
30	Noga Alon	A parallel algorithmic version of the Local Lemma	FOCS	1991	DBLP DOI BibTeX RDF	algorithmic search problems, positive probability, existence proofs, deterministic NC/sup 1/ algorithms, parallel algorithms, Lovasz local lemma
27	Mengmeng Song, Yong Xia 0002	Calabi-Polyak convexity theorem, Yuan's lemma and S-lemma: extensions and applications.	J. Glob. Optim.	2023	DBLP DOI BibTeX RDF
27	Jun Chen 0016, Ju H. Park 0001, Shengyuan Xu	Improvement on reciprocally convex combination lemma and quadratic function negative-definiteness lemma.	J. Frankl. Inst.	2022	DBLP DOI BibTeX RDF
27	Thanh Le, Cuong Le Van, Ngoc-Sang Pham, H. Çagri Saglam	A Direct Proof of the Gale-Nikaido-Debreu Lemma Using Sperner's Lemma.	J. Optim. Theory Appl.	2022	DBLP DOI BibTeX RDF
27	Lefteris M. Kirousis, John Livieratos, Kostas I. Psaromiligkos	Correction to: Directed Lovász Local Lemma and Shearer's Lemma.	Ann. Math. Artif. Intell.	2021	DBLP DOI BibTeX RDF
27	Makoto Fujiwara	König's lemma, weak König's lemma, and the decidable fan theorem.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
27	Lefteris M. Kirousis, John Livieratos, Kostas I. Psaromiligkos	Directed Lovász local lemma and Shearer's lemma.	Ann. Math. Artif. Intell.	2020	DBLP DOI BibTeX RDF
27	Paul Dorbec, Michael A. Henning, Sandi Klavzar, Gasper Kosmrlj	Cutting lemma and union lemma for the domination game.	Discret. Math.	2019	DBLP DOI BibTeX RDF
27	Ioannis Giotis 0001, Lefteris M. Kirousis, John Livieratos, Kostas I. Psaromiligkos, Dimitrios M. Thilikos	Alternative proofs of the asymmetric Lovász local lemma and Shearer's lemma.	GASCom	2018	DBLP BibTeX RDF
27	Alexey Sorokin	Pumping lemma and Ogden lemma for tree-adjoining grammars.	CoRR	2014	DBLP BibTeX RDF
27	Alexey Sorokin	Pumping Lemma and Ogden Lemma for Displacement Context-Free Grammars.	Developments in Language Theory	2014	DBLP DOI BibTeX RDF
27	Noga Alon, Kenneth A. Berman	Regular hypergraphs, Gordon's lemma, Steinitz' lemma and invariant theory.	J. Comb. Theory, Ser. A	1986	DBLP DOI BibTeX RDF
27	Muluken Menebo Madebo, Chala Merga Abdissa, Lebsework Negash Lemma, Dereje Shiferaw Negash	Robust Tracking Control for Quadrotor UAV With External Disturbances and Uncertainties Using Neural Network Based MRAC.	IEEE Access	2024	DBLP DOI BibTeX RDF
27	Tesfayesus Mamo, Ludovic Montastruc, Stéphane Négny, Lemma Dendena	Integreted strategic and tactical optimization planning of biomass to bioethanol supply chains coupled with operational plan using vehicle routing: A case study in Ethiopia.	Comput. Chem. Eng.	2023	DBLP DOI BibTeX RDF
27	Berhanu Deggefa Lemma, Srinivasan Pradabane	An Optimized Alternative Fixed Switching 12-Sector Space Vector Pulse Width Modulation Control of Open-End Winding PMSM Drive.	IEEE Access	2023	DBLP DOI BibTeX RDF
27	Berhanu Deggefa Lemma, Srinivasan Pradabane	Control of PMSM Drive Using Lookup Table Based Compensated Duty Ratio Optimized Direct Torque Control (DTC).	IEEE Access	2023	DBLP DOI BibTeX RDF
27	Waleligne Molla Salilew, Zainal Ambri Abdul Karim, Tamiru Alemu Lemma, Amare Desalegn Fentaye, Konstantinos Kyprianidis	Three Shaft Industrial Gas Turbine Transient Performance Analysis.	Sensors	2023	DBLP DOI BibTeX RDF
27	Helawe Behailu Erdaw, Yesuneh Getachew Taye, Dereje Teferi Lemma	A Real-Time Obstacle Detection and Classification System For Assisting Blind and Visually Impaired People Based On Yolo Model.	ICT4DA	2023	DBLP DOI BibTeX RDF
27	Mahnoor Soomro, Tamiru Alemu Lemma, Syed Ihtsham-ul-Haq Gilani, Mukhtiar Ali Shar	Optimized Design Point Model of SGT500 Using GasTurb 14.	RoViSP	2023	DBLP DOI BibTeX RDF
27	Tsegaye D. Lemma, Paolo Gamba, Gizachew Kabate Wedajo	Evaluation of Era5, and Space-Based Precipitation Estimation Over Awash River Basin, Ethiopia.	IGARSS	2023	DBLP DOI BibTeX RDF
27	Syed Ali Ammar Taqvi, Lemma Dendena Tufa, Haslinda Zabiri, Abdulhalim Shah Maulud, Fahim Uddin	Correction to: Fault detection in distillation column using NARX neural network.	Neural Comput. Appl.	2022	DBLP DOI BibTeX RDF
27	Jaime Abraham Castro-Mondragón, Rafael Riudavets Puig, Ieva Rauluseviciute, Roza Berhanu lemma, Laura Turchi, Romain Blanc-Mathieu, Jeremy Lucas, Paul Boddie, Aziz Khan, Nicolás Manosalva Pérez, Oriol Fornes, Tiffany Y. Leung, Alejandro Aguirre 0004, Fayrouz Hammal, Daniel Schmelter, Damir Baranasic, Benoît Ballester, Albin Sandelin, Boris Lenhard, Klaas Vandepoele, Wyeth W. Wasserman, François Parcy, Anthony Mathelier	JASPAR 2022: the 9th release of the open-access database of transcription factor binding profiles.	Nucleic Acids Res.	2022	DBLP DOI BibTeX RDF
27	Amanuel Benti Abdisa, Kifle Woldemichael Hajito, Dawit Wolde Daka, Meskerem Seboka Ergiba, Asaye Birhanu Senay, Ketema Lemma Abdi, Muluemebet Abera Wordofa	Health workers' use of routine health information and related factors at public health institutions in Illubabor Zone, Western Ethiopia.	BMC Medical Informatics Decis. Mak.	2022	DBLP DOI BibTeX RDF
27	Muluneh Lemma Woldesemayat, Ashenafi Tesfaye Tantu	Security Enhancement of Power Systems through Interline Power Flow Controller (IPFC) under Contingency Condition: A Case Study and Analysis-EEP 400 kV System.	J. Electr. Comput. Eng.	2022	DBLP DOI BibTeX RDF
27	Waleligne Molla Salilew, Zainal Ambri Abdul Karim, Tamiru Alemu Lemma, Amare Desalegn Fentaye, Konstantinos Kyprianidis	Predicting the Performance Deterioration of a Three-Shaft Industrial Gas Turbine.	Entropy	2022	DBLP DOI BibTeX RDF