Results 271 to 280 of about 1,011,263 (307)
Some of the next articles are maybe not open access.
Lazy generation of induction hypotheses
1994A novel approach for automating explicit induction is suggested. Analysis of successful induction proofs reveals that these proofs can be guided without reference to a specific induction axiom. This means that required induction hypotheses can be computed during the proof.
openaire +2 more sources
Stratified inductive hypothesis generation
1987In this paper first we study the enumeration technique, as essentially the only method of the inductive inference, comparing it with best strategies. We conclude that the original enumeration strategy doesn't usually from experience: it is controlled by mistakes or of negative feedback.
openaire +2 more sources
RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES
Fundamenta Informaticae, 1996We give an interpretation of Martin-Löf's type theory (with universes) extended with generalized inductive types. The model is an extension of the recursive model given by Beeson. By restricting our attention to PER model, we show that the strictness of positivity condition in the definition of generalized inductive types can be dropped.
openaire +2 more sources
Three-phase doubly fed induction generators: an overview
IET Electric Power Applications, 2010Walmir Freitas, R C Bansal, Z Y Dong
exaly
Three-phase self-excited induction generators: an overview
IEEE Transactions on Energy Conversion, 2005R C Bansal
exaly
Short-Circuit Current of Wind Turbines With Doubly Fed Induction Generator
IEEE Transactions on Energy Conversion, 2007Johan Morren
exaly
Simplified Model to Study the Induction Generator Effect of the Subsynchronous Resonance Phenomenon
IEEE Transactions on Energy Conversion, 2018Angelo Brambilla +2 more
exaly