Since 1976, the Vibrations in Rotating Machinery conferences have successfully brought industry and academia together to advance state-of-the-art research in dynamics of rotating machinery. 12th International Conference on Vibrations in Rotating Machinery contains contributions presented at the 12th edition of the conference, from industrial and academic experts from different countries. The bo…
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distanc…
How Computer Networks Can Become Smart
Coordinate measuring machines (CMMs) have been conventionally used in industry for 3-dimensional and form-error measurements of macro parts for many years. Ever since the first CMM, developed by Ferranti Co. in the late 1950s, they have been regarded as versatile measuring equipment, yet many CMMs on the market still have inherent systematic errors due to the violation of the Abbe Principle in …