Abstract: The development of new methods for the fault diagnosis of induction machines (IMs) require fast models of the machine under fault conditions that are able to reproduce the harmonics ...

A computer language designed to robustly verify mathematical theorems and expose logical flaws has been turned towards a ...

This year’s Abel Prize, an annual lifetime achievement award for mathematics that is bestowed by the Norwegian Academy of ...

Ask the publishers to restore access to 500,000+ books. An icon used to represent a menu that can be toggled by interacting with this icon. A line drawing of the Internet Archive headquarters building ...

Abstract: Strip steel surface defect detection is a critical step in the production field of the steel industry and a vital guarantee to improve the quality of strip steel production. However, due to ...