We suggest an effective approach to separation of variables in the Schrödinger equation with two space variables. Using it we classify inequivalent potentials V (x1, x2) such that the corresponding Schrödinger equations admit separation of variables. Besides that, we carry out separation of variables in the Schrödinger equation with the anisotropic harmonic oscillator potential V = k1x1 + k2x 2...

operational variables of a mineral processing circuit are subjected to different variations. steady-statesimulation of processes provides an estimate of their ideal stable performance whereas their dynamicsimulation predicts the effects of the variations on the processes or their subsequent processes. in thispaper, a dynamic simulator containing some of the major equipment of mineral processing...

The deductive veri cation of concurrent programs gained new tools with the advent of Concurrent Separation Logic (CSL). This program logic is a compositional method that combines the Owicki-Gries method with Separation Logic, allowing to reason and prove correct concurrent programs manipulating shared mutable data structure. The soundness of Concurrent Separation Logic had been established usin...

Low-intensity magnetic separators are widely used in the research works and the industry. Advancement in the magnetic separation techniques has led to an expansion in the application of this method in different fields such as enrichment of magnetic mineral, wastewater treatment, and medicine transfer in the human body. In the mineral processing industry, the main application of wet magnetic sep...