The effects of greenhouse gases (GHG) on the growth of global warming, and increase of GHG and air pollutant emissions for energy production have forced the need of energy recovery which is normally wasted in industrial plant. The present research work focused on the GHG and air pollutant emissions reduction employing pressure waste energy recovery. Pressure break-down via Joule-Thomson valve i...

anthropogenic eutrophication conditioned frequent and more pronounced blooms of toxicalgae and cyanobacteria in the fresh and saline aquatic ecosystems all world around. however, bloomingspecies could serve as a possible resource instead of a threat by exploiting them to remediate nutrients. theoptimised use of algae and cyanobacteria may provide the environmental service together with economic...

The Geometric Algebra formalism opens the door to developing a theory replacing conventional quantum mechanics. Generalizations, stemming from changing of complex numbers by geometrically feasible objects in three dimensions, followed unambiguous definition states, observables, measurements, bring into reality clear explanations weird mechanical features, for example primitively considering ato...

In veriication by explicit state enumeration a randomly ac-cessed state table is maintained. In practice, the total main memory available for this state table is a major limiting factor in veriication. We describe a version of the explicit state enumeration veriier Mur' that allows the use of magnetic disk instead of main memory for storing almost all of the state table. The algorithm avoids co...