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
ISBN10:0521417236 ISBN13:9780521417235
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
ISBN10:0521527147 ISBN13:9780521527149
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
ISBN10:0521103509 ISBN13:9780521103503
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
ISBN10:3540774580 ISBN13:9783540774587
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
ISBN10:0521824729 ISBN13:9780521824729
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
ISBN10:3540690115 ISBN13:9783540690115
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
ISBN10:3540281843 ISBN13:9783540281849
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
ISBN10:3540328017 ISBN13:9783540328018
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
ISBN10:3642057888 ISBN13:9783642057885
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
ISBN10:3642058655 ISBN13:9783642058653
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
