Theorem proving by machine and its application Theory of vibration with applications Quantum cloning and its application Text mining and its application Theory of approximation with applications Theory of vibration with applications / Theory on strain localization and its applications Theory of engineering load combination and its application Attribution theory its application Cloud computing and its application