Account
Orders
Advanced search
This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. Yet, until now, there has...
The value of multi-disciplinary research lies in the exchange of ideas and methods across the traditional boundaries between areas of study. It could be argued that many of the advances in science and engineering take place because the ideas, methods and the tools of...
One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where...
Recent decades have seen a very rapid success in developing numerical methods based on explicit control over approximation errors. It may be said that nowadays a new direction is forming in numerical analysis, the main goal of which is to develop methods ofreliable...
Defense Transportation: Algorithms, Models and Applications for the 21st Century contains papers divided into three general sections according to the title of this text: algorithms, models, and applications. The first section on algorithms contains papers that are...
A hydrocode refers to a computer program used for the study of the dynamic response of materials and structures to impulse (primary blast), impact (involving everything from car and aircraft collisions to impacts of space structures by assorted debris). The...
Simulation Methods for ESD Protection Development looks at the integration of new techniques into a comprehensive development flow, which is now available due advances made in the field during the recent years. These findings allow for an early, stable ESD concept at a...
This title aims to teach how to invent optimal and sustainable chemical processes by making use of systematic conceptual methods and computer simulation techniques. The material covers five sections: process simulation; thermodynamic methods; process synthesis; process...
CAMD or Computer Aided Molecular Design refers to the design of molecules with desirable properties. That is, through CAMD, one determines molecules that match a specified set of (target) properties.CAMD as a technique has a very large potential as in principle, all...
The idea of editing a book on modern software architectures and tools for CAPE (Computer Aided Process Engineering) came about when the editors of this volume realized that existing titles relating to CAPE did not include references to the design and development of CAPE...
Created in 1975, LMT-Cachan is a joint laboratory École Normale Superieure de Cachan, Pierre & Marie Curie (Paris 6) University and the French Research Council CNRS (Department of Engineering Sciences).The Year 2000 marked the 25th anniversary of LMT. On this occasion,...
In industrialised countries, musculo-skeletrical disorders of the upper limbs represent one of the commonest work-related diseases. All working activities habitually requiring repetitive upper limb movements and exertions represent a potential risk for these disorders...
Inverse Problems are found in many areas of engineering mechanics and there are many successful applications e.g. in non-destructive testing and characterization of material properties by ultrasonic or X-ray techniques, thermography, etc. Generally speaking, inverse...
The book includes 61 selected papers from 106 presented at the second International Conference on Machine Automation (ICMA2000). The conference focused, for the first time, on human friendly mechantronics which covers machine systems interacting with human beings,...
Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including...
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated...
This volume provides a comprehensive description of the principles and methods used in DNA sequencing. Following a detailed introduction the chapters are: DNA sequencing; Chain terminator sequencing; Primed synthesis methods applied to DNA fragments cloned into phage...
This book represents a summary of the research we have been conducting since the early 1990s, and describes a conceptual framework which addresses some current shortcomings, and proposes a unified approach for a broad class of problems. While the framework is defined,...
In recent years, the paradigm of video coding has shifted from that of a frame-based approach to a content-based approach, particularly with the finalization of the ISO multimedia coding standard, MPEG-4. MPEG-4 is the emerging standard for the coding of multimedia...
The objective of this publication is to comprehensively discuss the possibilities of producing steels with pre-determined attributes, demanded by the customer to fit exacting specifications.The information presented in the book has been designed to indicate the reasons...
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
Sign up to get our latest ebook recommendations and special offers