Author:
Publication: Artificial Intelligence
Proving semantic properties as first-order satisfiability
Representation learning with extreme learning machines and empirical mode decomposition for wind spe