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.

This is the first collection of translations of Chinese film theory to be published in English. By using translations rather than summaries, as other works have done, "Chinese Film Theory" provides readers with an introduction to the issues current in China's film circles. It includes eighteen chapters written by a broad range of writers--from well established scholars to young people at the beginning of their involvement in film in China. This collection indicates a trend away from the study of external qualities of film and toward a study of the film itself.

The volume has been...

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...

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.