Wyniki wyszukiwania:

This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.

The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.

The Politicisation of Sport in Modern China: Communist and Champions is the first book in English which examines in chronological order key issues in sport in the People's Republic of China from 1949 to 2012 in the context of Chinese history, politics and society.

It explores the complexity of Chinese sport including the sovietisation of Chinese sports policy and practice; the emergence of the ‘two Chinas’ issue; the Cold War, the Cultural Revolution, sports diplomacy and sports militarism; China’s turbulent journey of participation in the Asian Games and in the...

This book focuses on the unified solutions and analysis for the problems in soil mechanics based on the unified strength theory, which is a new theory on the yield and failure of materials under multi-axial stresses. Then, it provides a system of yield and failure criteria adopted for most materials, from metallic materials to rocks, concretes, soils, polymers, etc. It includes the Tresca criterion, Mohr–Coulomb theory, and Mises criterion as well, which are special cases or linear approximation of the UST.

Driven by the need to achieve superior control performances for robots with hyper degrees of freedom, the virtual decomposition control approach is thoroughly presented in this book. This approach uses subsystem (such as links and joints of a complex robot) dynamics to conduct control design, while guaranteeing the stability and convergence of the entire complex robot without compromising the rigorousness of the system analysis. The central concept of this approach is the definition of the virtual stability. The stability of the entire complex robot is mathematically equivalent to the...