The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Lemma with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1953-1975 (15) 1976-1978 (16) 1979-1982 (18) 1983-1985 (15) 1986-1987 (17) 1988-1989 (15) 1990 (20) 1991-1992 (23) 1993 (16) 1994 (18) 1995 (26) 1996 (26) 1997 (24) 1998 (38) 1999 (41) 2000 (31) 2001 (42) 2002 (51) 2003 (56) 2004 (74) 2005 (85) 2006 (108) 2007 (89) 2008 (111) 2009 (119) 2010 (62) 2011 (70) 2012 (52) 2013 (59) 2014 (61) 2015 (79) 2016 (63) 2017 (100) 2018 (74) 2019 (90) 2020 (88) 2021 (99) 2022 (75) 2023 (85) 2024 (23)
Publication types (Num. hits)
article(1213) book(2) incollection(17) inproceedings(935) phdthesis(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 616 occurrences of 480 keywords

Results
Found 2210 publication records. Showing 2174 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
133Koji Iwanuma, Kenichi Kishino Lemma Generalization and Non-unit Lemma Matching for Model Elimination. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
102Vikraman Arvind, Partha Mukhopadhyay Derandomizing the Isolation Lemma and Lower Bounds for Circuit Size. Search on Bibsonomy APPROX-RANDOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
86Guido Gherardi An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Borel Measurability, Urysohn Lemma, Urysohn-Tietze Lemma, Computable Analysis
66Koji Iwanuma Lemma Matching for a PTTP-based Top-down Theorem Prover. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
65Dorit Aharonov, Itai Arad, Zeph Landau, Umesh V. Vazirani The detectability lemma and quantum gap amplification. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF QMA, detectability lemma, gap amplification, local hamiltonians, quantum computation, PCP
62Brendan Nagle, Annika Poerschke, Vojtech Rödl, Mathias Schacht Hypergraph regularity and quasi-randomness. Search on Bibsonomy SODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
62Penny E. Haxell, Brendan Nagle, Vojtech Rödl An Algorithmic Version of the Hypergraph Regularity Method. Search on Bibsonomy FOCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Aravind Srinivasan Improved algorithmic versions of the Lovász Local Lemma. Search on Bibsonomy SODA The full citation details ... 2008 DBLP  BibTeX  RDF
57Ron Aharoni, Tamás Fleiner On a Lemma of Scarf. Search on Bibsonomy IPCO The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Robin A. Moser A constructive proof of the Lovász local lemma. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bounded occurrence sat instances, hypergraph colouring, derandomization, Lovasz local lemma
56D. Deng, Douglas R. Stinson, Ruizhong Wei The Lovász Local Lemma and Its Applications to some Combinatorial Arrays. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Lovász local lemma, combinatorial array, probabilistic method
56Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè LEMMA: a language for easy medical models analysis. Search on Bibsonomy CBMS The full citation details ... 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
55Vojtech Rödl, Mathias Schacht Property testing in hypergraphs and the removal lemma. Search on Bibsonomy STOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF hereditary properties, removal lemma, hypergraphs, property testing, regularity lemma
53Martin Aigner 0001 Lattice Paths and Determinants. Search on Bibsonomy Computational Discrete Mathematics The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
53Jaques Riche, Robert K. Meyer Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.". Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
49Luca Trevisan List-Decoding Using The XOR Lemma. Search on Bibsonomy FOCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Huijin Fan, Changyun Wen 2-D version of Bellman-Gronwall lemma. Search on Bibsonomy ICARCV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
47Ali Bagherzandi, Jung Hee Cheon, Stanislaw Jarecki Multisignatures secure under the discrete logarithm assumption and a generalized forking lemma. Search on Bibsonomy CCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concurrent proofs of knowledge, equiocable homomorphic commitment, forking lemma, multisignatures
47Douglas P. Hardin, Thomas A. Hogan, Qiyu Sun The Matrix-Valued Riesz Lemma and Local Orthonormal Bases in Shift-Invariant Spaces. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Fejér-Riesz lemma, orthogonal bases, wavelets, multiresolution, frame, shift-invariant space
47Ramamohan Paturi, Pavel Pudlák, Francis Zane Satisfiability Coding Lemma. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae
47Armin Kühnemann A Pumping Lemma for Output Languages of Macro Tree Transducers. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Macro tree transducer, Pumping Lemma, Primitive Recursion
44Yoshiharu Kohayakawa Advances in the Regularity Method. Search on Bibsonomy LATIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Jürg Wullschleger Oblivious-Transfer Amplification. Search on Bibsonomy EUROCRYPT The full citation details ... 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
40William B. Johnson 0001, Assaf Naor The Johnson-Lindenstrauss lemma almost characterizes Hilbert space, but not quite. Search on Bibsonomy SODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Kiyotaka Kohno, Yujiro Inouye, Mitsuru Kawamoto A Matrix Pseudo-Inversion Lemma and Its Application to Block-Based Adaptive Blind Deconvolution for MIMO Systems. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40János Komlós, Ali Shokoufandeh, Miklós Simonovits, Endre Szemerédi The Regularity Lemma and Its Applications in Graph Theory. Search on Bibsonomy Theoretical Aspects of Computer Science The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Abdul Basit 0001, Nabil H. Mustafa, Saurabh Ray, Sarfraz Raza Improving the first selection lemma in R3. Search on Bibsonomy SCG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF centerpoints, first selection lemma, hitting simplices, location depth
39Andris Ambainis, Julia Kempe, Or Sattath A quantum lovász local lemma. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF local lemma, quanum SAT, random quantum sat, quantum computation, probabilistic method
39Vaithilingam Jeyakumar, Guoyin Li 0001 Farkas' lemma for separable sublinear inequalities without qualifications. Search on Bibsonomy Optim. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Generalized Farkas’ lemma, Separable sublinear inequalities, Robust linear programming, Duality, Optimality conditions
39Katalin Friedl, Gábor Ivanyos, Miklos Santha, Yves F. Verhoeven On the Black-Box Complexity of Sperner's Lemma. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Sperner’s lemma, Probabilistic and quantum lower bound, Deterministic algorithm, Query complexity
39Jesús Aransay, Clemens Ballarin, Julio Rubio 0001 A Mechanized Proof of the Basic Perturbation Lemma. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Homological algebra, Basic perturbation lemma, Isabelle
39Eckhard Pflügel A rational decomposition-lemma for systems of linear differential-algebraic equations. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF linear daes, splitting lemma, computer algebra, local reduction
39Mihir Bellare, Gregory Neven Multi-signatures in the plain public-Key model and a general forking lemma. Search on Bibsonomy CCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF forking lemma, cryptography, digital signatures, multi-signatures
39Vikram Jha Local Schur's Lemma and Commutative Semifields. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Schur’s lemma, semifields, translation planes, nets
39Carlo Harpes, Gerhard Kramer, James L. Massey A Generalization of Linear Cryptanalysis and the Applicability of Matsui's Piling-Up Lemma. Search on Bibsonomy EUROCRYPT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF piling-up lemma, SAFER K-64, differential cryptanalysis, Linear cryptanalysis, IDEA
35Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh Verifying linearizability with hindsight. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hindsight, linearizability, wait-freedom, optimistic concurrency
35Jörg Endrullis, Roel C. de Vrijer Reduction Under Substitution. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Ronen Shaltiel, Emanuele Viola Hardness amplification proofs require majority. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF amplification, natural proofs, black-box, hardness, average-case complexity, constant-depth circuits, majority
35Lizheng Jiang, Dongqing Yang, Shiwei Tang, Xiuli Ma, Dehui Zhang Tight Correlated Item Sets and Their Efficient Discovery. Search on Bibsonomy APWeb/WAIM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Yonatan Bilu, Nathan Linial Lifts, Discrepancy and Nearly Optimal Spectral Gap*. Search on Bibsonomy Comb. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 05C22, 05C35, 05C80, 05C50
35Yonatan Bilu, Nathan Linial Constructing Expander Graphs by 2-Lifts and Discrepancy vs. Spectral Gap. Search on Bibsonomy FOCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Lifts of Graphs, Signed Graphs, Expander Graphs, Discrepancy, Lifts
35Paulo Oliva Polynomial-time Algorithms from Ineffective Proofs. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Milena Mihail, Peter Winkler 0001 On the Number of Eularian Orientations of a Graph. Search on Bibsonomy SODA The full citation details ... 1992 DBLP  BibTeX  RDF
34Hajime Ishihara Unique Existence and Computability in Constructive Reverse Mathematics. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF unique existence, Brouwer’s fan theorem, weak König lemma, computability, constructive mathematics, reverse mathematics
34Frank Thomson Leighton, Bruce M. Maggs Fast algorithms for finding O(congestion+dilation) packet routing schedules. Search on Bibsonomy HICSS (2) The full citation details ... 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
33Huu Hai Nguyen, Wei-Ngan Chin Enhancing Program Verification with Lemmas. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lemma Proving, Lemma Application, Program Verification, Separation Logic, Entailment
31Hung Gia Hoang, Hoang Duong Tuan, Truong Q. Nguyen Frequency-Selective KYP Lemma, IIR Filter, and Filter Bank Design. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Boaz Barak, Moritz Hardt, Satyen Kale The uniform hardcore lemma via approximate Bregman projections. Search on Bibsonomy SODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Heidi Gebauer, Robin A. Moser, Dominik Scheder, Emo Welzl The Lovász Local Lemma and Satisfiability. Search on Bibsonomy Efficient Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Alexander Pelov Pelov, Thomas Noël Creating advanced mobility models with LEMMA. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF NS-3, framework, mobility models, layered architecture, group mobility
31Makoto Kanazawa The Pumping Lemma for Well-Nested Multiple Context-Free Languages. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Jan Paseka More on the Strength of Engeler's Lemma. Search on Bibsonomy Order The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 06F05, 20M12, 20N02, Secondary 03G05, 16D30, 17A65, 08A30
31Jacob Fox, János Pach, Csaba D. Tóth A Bipartite Strengthening of the Crossing Lemma. Search on Bibsonomy GD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli Lemma Learning in the Model Evolution Calculus. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Yinlei Yu, Sharad Malik Lemma Learning in SMT on Linear Constraints. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Stefan S. Dantchev On the Complexity of the Sperner Lemma. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Tobias Schubert 0001, Bernd Becker 0001 Lemma Exchange in a Microcontroller Based Parallel SAT Solver. Search on Bibsonomy ISVLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Kiyotaka Kohno, Yujiro Inouye, Mitsuru Kawamoto An adaptive super-exponential deflation algorithm for blind deconvolution of MIMO systems using the matrix pseudo-inversion lemma. Search on Bibsonomy ISCAS (6) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Francisco-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. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Mohammad R. Salavatipour A (1+epsilon)-approximation algorithm for partitioning hypergraphs using a new algorithmic version of the Lovász Local Lemma. Search on Bibsonomy SODA The full citation details ... 2003 DBLP  BibTeX  RDF
31Stefan Berghofer A Constructive Proof of Higman's Lemma in Isabelle. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Bernd Gärtner, Emo Welzl A Simple Sampling Lemma: Analysis and Applications in Geometric Optimization. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Vojtech Rödl, Andrzej Rucinski 0001 Perfect Matchings in -Regular Graphs and the Blow-Up Lemma. Search on Bibsonomy Comb. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF AMS Subject Classification (1991) Classes: 05C75
31Zsolt Kukorelly The Piling-Up Lemma and Dependent Random Variables. Search on Bibsonomy IMACC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Hélène Touzet A Characterisation of Multiply Recursive Functions with Higman's Lemma. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Madhu Sudan 0001, Luca Trevisan, Salil P. Vadhan Pseudorandom Generators without the XOR Lemma (Abstract). Search on Bibsonomy CCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF polynomial reconstruct ion, Pseudorandom generators, extractors, list-decoding
31Vince Grolmusz A Degree-Decreasing Lemma for (MOD q - MOD p) Circuits. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Joachim Draeger Acquisition of Useful Lemma-Knowledge in Automated Reasoning. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Jan Kuper Proving the Genericity Lemma by Leftmost Reduction is Simple. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
31Sorin Istrail, Dejan Zivkovic A Non-Probabilistic Switching Lemma for the Sipser Function. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Ilias Diakonikolas, Rocco A. Servedio, Li-Yang Tan, Andrew Wan A Regularity Lemma, and Low-Weight Approximators, for Low-Degree Polynomial Threshold Functions. Search on Bibsonomy CCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Boolean function, regularity lemma, polynomial threshold function
30Ralf Lämmel, Ondrej Rypacek The Expression Lemma. Search on Bibsonomy MPC The full citation details ... 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
30Judith Gal-Ezer, Mark B. Trakhtenbrot Challenges in teaching the pumping lemma in automata theory course. Search on Bibsonomy ITiCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF reasoning problems, automata theory, pumping lemma
30Alan M. Frieze, Ravi Kannan The Regularity Lemma and Approximation Schemes for Dense Problems. Search on Bibsonomy FOCS The full citation details ... 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
30Noga Alon, Richard A. Duke, Hanno Lefmann, Vojtech Rödl, Raphael Yuster The Algorithmic Aspects of the Regularity Lemma (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF computational difficulty, regular partition, input graph, parallelism, partition, regularity lemma
30Noga Alon A parallel algorithmic version of the Local Lemma Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF algorithmic search problems, positive probability, existence proofs, deterministic NC/sup 1/ algorithms, parallel algorithms, Lovasz local lemma
27Mengmeng Song, Yong Xia 0002 Calabi-Polyak convexity theorem, Yuan's lemma and S-lemma: extensions and applications. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Jun Chen 0016, Ju H. Park 0001, Shengyuan Xu Improvement on reciprocally convex combination lemma and quadratic function negative-definiteness lemma. Search on Bibsonomy J. Frankl. Inst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Thanh Le, Cuong Le Van, Ngoc-Sang Pham, H. Çagri Saglam A Direct Proof of the Gale-Nikaido-Debreu Lemma Using Sperner's Lemma. Search on Bibsonomy J. Optim. Theory Appl. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Lefteris M. Kirousis, John Livieratos, Kostas I. Psaromiligkos Correction to: Directed Lovász Local Lemma and Shearer's Lemma. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Makoto Fujiwara König's lemma, weak König's lemma, and the decidable fan theorem. Search on Bibsonomy Math. Log. Q. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Lefteris M. Kirousis, John Livieratos, Kostas I. Psaromiligkos Directed Lovász local lemma and Shearer's lemma. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Paul Dorbec, Michael A. Henning, Sandi Klavzar, Gasper Kosmrlj Cutting lemma and union lemma for the domination game. Search on Bibsonomy Discret. Math. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Ioannis 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. Search on Bibsonomy GASCom The full citation details ... 2018 DBLP  BibTeX  RDF
27Alexey Sorokin Pumping lemma and Ogden lemma for tree-adjoining grammars. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
27Alexey Sorokin Pumping Lemma and Ogden Lemma for Displacement Context-Free Grammars. Search on Bibsonomy Developments in Language Theory The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Noga Alon, Kenneth A. Berman Regular hypergraphs, Gordon's lemma, Steinitz' lemma and invariant theory. Search on Bibsonomy J. Comb. Theory, Ser. A The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
27Muluken 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. Search on Bibsonomy IEEE Access The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
27Tesfayesus 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. Search on Bibsonomy Comput. Chem. Eng. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Berhanu Deggefa Lemma, Srinivasan Pradabane An Optimized Alternative Fixed Switching 12-Sector Space Vector Pulse Width Modulation Control of Open-End Winding PMSM Drive. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Berhanu Deggefa Lemma, Srinivasan Pradabane Control of PMSM Drive Using Lookup Table Based Compensated Duty Ratio Optimized Direct Torque Control (DTC). Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Waleligne Molla Salilew, Zainal Ambri Abdul Karim, Tamiru Alemu Lemma, Amare Desalegn Fentaye, Konstantinos Kyprianidis Three Shaft Industrial Gas Turbine Transient Performance Analysis. Search on Bibsonomy Sensors The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Helawe 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. Search on Bibsonomy ICT4DA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Mahnoor Soomro, Tamiru Alemu Lemma, Syed Ihtsham-ul-Haq Gilani, Mukhtiar Ali Shar Optimized Design Point Model of SGT500 Using GasTurb 14. Search on Bibsonomy RoViSP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Tsegaye D. Lemma, Paolo Gamba, Gizachew Kabate Wedajo Evaluation of Era5, and Space-Based Precipitation Estimation Over Awash River Basin, Ethiopia. Search on Bibsonomy IGARSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Syed Ali Ammar Taqvi, Lemma Dendena Tufa, Haslinda Zabiri, Abdulhalim Shah Maulud, Fahim Uddin Correction to: Fault detection in distillation column using NARX neural network. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Jaime 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. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Amanuel 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. Search on Bibsonomy BMC Medical Informatics Decis. Mak. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Muluneh 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. Search on Bibsonomy J. Electr. Comput. Eng. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Waleligne 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. Search on Bibsonomy Entropy The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2174 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license