single-phase squirrel cage and three-phase induction electromotors are the most popular electromotors used in industry from long ago. when an induction motor starts with direct connection method, it takes a lot of current from the power supply (several times the nominal current); so, several methods have been devised to start such electromotors. these methods either reduce the voltage of the st...

Hydrogen is considered as a unique choice for future world’s resources. The important parameter in the process of hydrogen production is the value of reduction potential for the used catalyst, in direct contact with consumed energy in process. The application of computational methods to design and modify molecular catalysts is highly regarded. This study sought to explore Density Functional...

This paper introduces an operational semantics for call-by-need reduction in terms of Milner's-calculus. The functional programming interest lies in the use of-calculus as an abstract yet realistic target language. The practical value of the encoding is demonstrated with an outline for a parallel code generator. From a theoretical perspective, the-calculus representation of computational strate...