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 in-depth global study of women's football across the world. This collection considers women's football, in fifteen countries worldwide, in a global context, and analyzes its progress, challenges and problems it has faced.

It shows how women's football has made a significant contribution to the emancipation of women's football in many countries. It also traces the evolution of women's football in face of resistance, rejection and prejudice and describes women footballer's struggle for equal rights in a male dominated football world.

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.

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.

This book is devoted to the cultural and biological dimensions and values of landscapes, linking the concepts of biodiversity, landscape and culture and presenting an essential approach for landscape analysis, interpretation and sustainable dynamics.

Early chapters explore the concepts and values of biocultural landscapes, before addressing the methodology to identify the relationship between biological and cultural diversity. The volume continuous with a series of case studies and with an exploration of the key role of biocultural diversity in contemporary landscape...