In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Continue readingIn June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...
Continue readingThis volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Continue readingThis volume contains over 35 papers selected from those presented at the conference on topics including: self-organization ...
Continue readingThis volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
Continue readingThis book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...
Continue readingThis book serves as a textbook for Urban/Community Forestry courses and a handbook for Shade Tree Commissions, tree wardens, ...
Continue readingThe book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Continue readingThis monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...
Continue readingTthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...
Continue readingProvides a practical guide providing step-by-step methods and protocols on vaccine development and production. Divided into ...
Continue readingGuides readers through an introductory section on future challenges for vaccinologists and the immunological mechanism of ...
Continue readingGuides readers through veterinary vaccines, vaccines for poultry, vaccines for farm animals, and vaccines for veterinary ...
Continue readingNineteen experts from the electronics industry, research institutes and universities have joined forces to prepare this book. ...
Continue readingSupply chain management helped companies to manage volumes, fulfil customer demand and optimize costs in production and distribution. ...
Continue readingEngineers and scientists often need to sell an innovative idea for a new product or a new product improvement to top management. ...
Continue readingThis book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Continue readingThis monographs contains a comprehensive and and state-of-the art study of the basic concepts and principles of variational ...
Continue readingThe book gives a concise introduction to variational methods and presents an overview of areas of current research in the ...
Continue readingMathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, ...
Continue reading