Home > Tags: tracts (Total 84 Records)
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)
Programming By:Peter Padawitz 1992-10-30 00:00:00
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the developm Programming
Tags: computer programming science theoretical tracts declarative cambridge deductive
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Computer Science By:Patrick Blackburn 2002-09-30 00:00:00
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory Computer Science
Tags: computer science logic theoretical tracts cambridge modal
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
Algorithms By:Willem-Paul de Roever 2008-12-18 00:00:00
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refin data refinement, model-oriented proof methods, data refinement correct, data refinement proofs, highly applicable method
Tags: computer data science method theoretical tracts refinement cambridge proof comparison
Underactuated Robotic Hands (Springer Tracts in Advanced Robotics)
Robotics By:Lionel Birglen 2008-03-11 00:00:00
This is a cornerstone publication in robotic grasping. The authors have developed an internationally recognized expertise in this area. Additionally, they designed and built several prototypes which attracted the attention of the scientific community. springer tracts, robotic hands, advanced robotics, robotic grasping, cornerstone publication
Tags: robotic springer hands tracts underactuated
Affine Hecke Algebras and Orthogonal Polynomials (Cambridge Tracts in Mathematics)
Cryptography By:I. G. Macdonald 2003-04-14 00:00:00
A satisfactory and coherent theory of orthogonal polynomials in several variables, attached to root systems, and depending on two or more parameters, has developed in recent years. This comprehensive account of the subject provides a unified foundation for the theory to which I.G. Macdonald has been orthogonal polynomials, cambridge tracts, coherent theory, unified foundation, comprehensive account
Tags: mathematics orthogonal tracts cambridge algebras polynomials affine hecke
Spatial Representation and Reasoning for Robot Mapping: A Shape-Based Approach (Springer Tracts in Advanced Robotics)
Robotics By:Diedrich Wolter 2008-08-27 00:00:00
This book addresses spatial representations and reasoning techniques for - bile robot mapping, providing an analysis of fundamental representations and processes involved. A spatial representation based on shape information is p- posed and shape analysis techniques are developed to tackle the corres robot mapping, bile robot mapping, robot mapping.spatial representation, advanced robotics, spatial representations
Tags: robotic robot approach springer mapping spatial reasoning representation tracts
Control of Single Wheel Robots (Springer Tracts in Advanced Robotics)
Robotics By:Yangsheng Xu 2005-11-14 00:00:00
This monograph presents a novel concept of a mobile robot, which is a single-wheel, gyroscopically stabilized robot. The robot is balanced by a spinning wheel attached through a two-link manipulator at the wheel bearing, and actuated by a drive motor. This configuration conveys significant advantage single wheel robots, springer tracts, advanced robotics, low rolling resistance, wheel bearing
Field and Service Robotics: Recent Advances in Research and Applications (Springer Tracts in Advanced Robotics)
Robotics By:Shin'ichi Yuta 2006-07-28 00:00:00
Since its inception in 1996, FSR, the biannual "International Conference on Field and Service Robotics" has published archival volumes of high reference value. This unique collection is the post-conference proceedings of the 4th FSR in Lake Yamanaka, Japan at July 2003. This book edited by Shin'ichi service robotics, advanced robotics, springer tracts, high reference value, robotics research
Tags: robotic application service springer field research tracts
Simulating and Generating Motions of Human Figures (Springer Tracts in Advanced Robotics)
Robotics By:Katsu Yamane 2010-12-10 00:00:00
This book focuses on two issues related to human figures: realtime dynamics computation and interactive motion generation. In spite of the growing interest in human figures as both physical robots and virtual characters, standard algorithms and tools for their kinematics and dynamics computation hav human figures, interactive motion generation, realtime dynamics computation, springer tracts, advanced robotics
Tags: robotic springer generating simulating tracts motions figures
Advances in Control of Articulated and Mobile Robots (Springer Tracts in Advanced Robotics)
Robotics By:Bruno Siciliano 2010-12-02 00:00:00
This monograph presents an updated source of information on the state of the art in advanced control of articulated and mobile robots. It includes relevant selected problems dealing with enhanced actuation, motion planning and control functions for articulated robots, as well as of sensory and auton mobile robots, springer tracts, advanced robotics, robotics field worldwide.advances, relevant selected problems
Tags: robots robotic mobile control springer tracts articulated