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

The first book to focus solely on the Asian Games, this is an analysis of the Oriental rival to the Olympics in terms of its geopolitical, economic, sociological, historical, racial and aesthetic context, looking at its birth, growth and maturation from 1913 up until 2006. Written by a team of international scholars, this is a collection of original research and first-hand material from archives across Asia which addresses a number of issues central to notions of nationalism and Orientalism in sport including:

• the relationship between the Asian Games and the Olympic Games...

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