Results 231 to 240 of about 31,526 (267)

Inductively Generating the Spherical Harmonics

SIAM Journal on Mathematical Analysis, 1991
Summary: The spherical harmonics of degree less than or equal to \(k\) in \(\mathbb{R}^{n-1}\) are used to generate the spherical harmonics of degree \(k\) in \(\mathbb{R}^n\).
openaire   +2 more sources

Stratified inductive hypothesis generation

1987
In 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, 1996
We 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

1994
A 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

An Unsupervised Learning Approach to Condition Assessment on a Wound-Rotor Induction Generator

Energies, 2021
Wesley Doorsamy
exaly  

A GENERAL INDUCTION PROCESS

The Quarterly Journal of Mathematics, 1981
openaire   +2 more sources

Asynchronous Grid Connection of a Cage Induction Generator Excited by a Power Electronic Converter

IEEE Transactions on Energy Conversion, 2021
Grzegorz IWAŃSKI, Dominik Gorski
exaly  

Theoretical-Experimental Analysis of the Induction Generator in the Use of Distributed Generation

IEEE Latin America Transactions, 2021
CARLOS Matheus Rodrigues De Oliveira, Fernando Silva, JOSÉ Roberto Boffino De Almeida Monteiro   +2 more
exaly  

Simplified Model to Study the Induction Generator Effect of the Subsynchronous Resonance Phenomenon

IEEE Transactions on Energy Conversion, 2018
Angelo Maurizio Brambilla, Federico Milano, Federico Bizzarri   +2 more
exaly  

Experimental study of induction generator as a repowering solution

International Transactions on Electrical Energy Systems, 2020
Wesley Pacheco Calixto, Junio Bulhões, Alana MAGALHÃES   +2 more
exaly