Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,217,199 papers from all fields of science
Search
Sign In
Create Free Account
Farkas' lemma
Known as:
Farkas's lemma
, Farkas Lemma
, Farkas’ Lemma
Expand
Farkas's lemma is a result in mathematics stating that a vector is either in a given convex cone or that there exists a (hyper)plane separating the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Broader (3)
Convex analysis
Linear programming
Mathematical optimization
Convex cone
Convex optimization
Karush–Kuhn–Tucker conditions
List of numerical analysis topics
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Controller design for rigid spacecraft attitude tracking with actuator saturation
Kunfeng Lu
,
Yuanqing Xia
,
M. Fu
Information Sciences
2013
Corpus ID: 41137106
Highly Cited
2011
Highly Cited
2011
Educational Effects of a Vocabulary Intervention on Preschoolers' Word Knowledge and Conceptual Development: A Cluster‐Randomized Trial
S. Neuman
,
E. Newman
,
Julie Dwyer
Reading Research Quarterly
2011
Corpus ID: 54000656
A B S T R A C T The purpose of this study was to examine the hypothesis that helping preschoolers learn words through…
Expand
Highly Cited
2008
Highly Cited
2008
Lexical Plurals: A Morphosemantic Approach
Paolo Acquaviva
2008
Corpus ID: 118895680
Introduction PART I: A TYPOLOGY OF LEXICAL PLURALS 1. Varieties of Non-Inflectional Plurals 2. Plurals and Morphological…
Expand
Highly Cited
2006
Highly Cited
2006
Model Predictive Control for Transparent Teleoperation Under Communication Time Delay
S. Sirouspour
,
A. Shahdi
IEEE Transactions on robotics
2006
Corpus ID: 18550725
Prior efforts in bilateral teleoperation under communication delay have mainly yielded control algorithms that sacrifice…
Expand
Highly Cited
2005
Highly Cited
2005
Scalable Analysis of Linear Systems Using Mathematical Programming
S. Sankaranarayanan
,
H. B. Sipma
,
Z. Manna
International Conference on Verification, Model…
2005
Corpus ID: 12992550
We present a method for generating linear invariants for large systems. The method performs forward propagation in an abstract…
Expand
Highly Cited
2004
Highly Cited
2004
Indexing spatio-temporal trajectories with Chebyshev polynomials
Yuhan Cai
,
R. Ng
ACM SIGMOD Conference
2004
Corpus ID: 12711593
In this paper, we attempt to approximate and index a d- dimensional (d ≥ 1) spatio-temporal trajectory with a low order…
Expand
Highly Cited
2003
Highly Cited
2003
Leave-One-Out Bounds for Kernel Methods
Tong Zhang
Neural Computation
2003
Corpus ID: 12211339
In this article, we study leave-one-out style cross-validation bounds for kernel methods. The essential element in our analysis…
Expand
Highly Cited
2003
Highly Cited
2003
Testing subgraphs in directed graphs
N. Alon
,
A. Shapira
Symposium on the Theory of Computing
2003
Corpus ID: 5528474
Let H be a fixed directed graph on h vertices, let G be a directed graph on n vertices and suppose that at least ε n2 edges have…
Expand
Review
1997
Review
1997
An Introduction to Binary Decision Diagrams
H. Andersen
1997
Corpus ID: 15509846
1 2 Preface This note is a short introduction to Binary Decision Diagrams. It provides some background knowledge and describes…
Expand
Highly Cited
1990
Highly Cited
1990
Pseudo-random generators under uniform assumptions
J. Håstad
Symposium on the Theory of Computing
1990
Corpus ID: 18470491
1. I n t r o d u c t i o n Randomness have been playing an ever increasing role in computer science. The demand for cheap random…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE