Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,855,182 papers from all fields of science
Search
Sign In
Create Free Account
Mathematical induction
Known as:
Induction
, Induction proof
, Course of values induction
Expand
Mathematical induction is a mathematical proof technique, most commonly used to establish a given statement for all natural numbers, although it can…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
15 puzzle
Bar recursion
Bellman–Ford algorithm
Bell–LaPadula model
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2011
Review
2011
Thermographic techniques for the detection of cracks in metallic components
D. Almond
,
B. Weekes
,
+6 authors
S. Burrows
2011
Corpus ID: 67783697
Work on three thermographic NDE techniques that have been developed to locate and image cracks in metallic components is reviewed…
Expand
Highly Cited
2010
Highly Cited
2010
Characteristics of Antioxidant Isolated from Some Plant Sources
A. A. E. Bedawey
,
E. Mansour
,
M. Zaky
,
Amal A. Hassan
2010
Corpus ID: 44023667
Antioxidant characteristics of ginger roots, guava leaves, guava seeds, orange peel, sesame coat, rice bran and wheat germ as…
Expand
Highly Cited
2009
Highly Cited
2009
Induction Motor Diagnosis Using Line Neutral Voltage Signatures
A. Khezzar
,
M. Oumaamar
,
M. Hadjami
,
M. Boucherma
,
H. Razik
IEEE transactions on industrial electronics…
2009
Corpus ID: 360650
This paper presents an analytical approach to shed light on the necessary relationships required for the presence of induction…
Expand
2009
2009
A Qualitative Event-Based Approach to Continuous Systems Diagnosis
M. Daigle
,
X. Koutsoukos
,
Gautam Biswas
IEEE Transactions on Control Systems Technology
2009
Corpus ID: 165928
Fault diagnosis is crucial for ensuring the safe operation of complex engineering systems. Although discrete-event diagnosis…
Expand
1998
1998
High performance synchronous reluctance motor with multi-flux barrier for the appliance industry
Hiroyuki Kiriyama
,
S. Kawano
,
Y. Honda
,
T. Higaki
,
S. Morimoto
,
Y. Takeda
Conference Record of IEEE Industry Applications…
1998
Corpus ID: 17194967
Advances in power electronics and machining mean that reluctance motors have now become the focus of new studies. Research and…
Expand
1994
1994
Experimental implementation of a robust damped-oscillation control algorithm on a full-sized, two-degree-of-freedom, AC induction motor-driven crane
R. Kress
,
J. Jansen
,
M. Noakes
1994
Corpus ID: 108734692
When suspended payloads are moved with an overhead crane, pendulum like oscillations are naturally introduced. This presents a…
Expand
Review
1991
Review
1991
Cold Shock and Heat Shock
D. Denlinger
,
K. Joplin
,
Cheng-Ping Chen
,
R. Lee
1991
Corpus ID: 82915054
Cold shock is the stress inflicted by a brief and rapid exposure to low, but nonfreezing, temperatures. When the shock is…
Expand
1981
1981
Induction, Localization and Characterization of β-D-Glucosidases Produced by a Species of Monilia
R. Dekker
1981
Corpus ID: 59323508
A species of the imperfect fungus Monilia produced extracellular, intracellular and mycelial-bound β-glucosidases when grown on…
Expand
Highly Cited
1977
Highly Cited
1977
A Model for Learning Systems
Reid G. Smith
,
Tom Michael Mitchell
,
R. Chestek
,
B. Buchanan
International Joint Conference on Artificial…
1977
Corpus ID: 16344666
A model for learning systems is presented, and representative AI, pattern recognition, and control systems are discussed in terms…
Expand
1977
1977
Delayed appearance of ectodermal cell death as a mechanism of polydactyly induction
W. Scott
,
E. Ritter
,
James G. Wilson
1977
Corpus ID: 86094025
The temporal program of cell death in the apical ectodermal ridge and mesoderm of rat embryo hindlimbs was documented using…
Expand