Results 281 to 290 of about 41,039 (314)
Some of the next articles are maybe not open access.
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 +1 more source
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
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 +1 more source
Asynchronous Grid Connection of a Cage Induction Generator Excited by a Power Electronic Converter
IEEE Transactions on Energy Conversion, 2021Grzegorz IWAŃSKI, D A Gorski
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, 2018Federico Bizzarri +2 more
exaly
Vector control of autonomous induction generator taking saturation effect into account
Energy Conversion and Management, 2008Djamila Rekioua +2 more
exaly