You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
This book introduces various coverage control problems for mobile sensor networks including barrier, sweep and blanket. Unlike many existing algorithms, all of the robotic sensor and actuator motion algorithms developed in the book are fully decentralized or distributed, computationally efficient, easily implementable in engineering practice and based only on information on the closest neighbours of each mobile sensor and actuator and local information about the environment. Moreover, the mobile robotic sensors have no prior information about the environment in which they operation. These various types of coverage problems have never been covered before by a single book in a systematic way. Another topic of this book is the study of mobile robotic sensor and actuator networks. Many modern engineering applications include the use of sensor and actuator networks to provide efficient and effective monitoring and control of industrial and environmental processes. Such mobile sensor and actuator networks are able to achieve improved performance and efficient monitoring together with reduction in power consumption and production cost.
Presenting interdisciplinary research at the forefront of present advances in information technologies and their foundations, Scientific Applications of Language Methods is a multi-author volume containing pieces of work (either original research or surveys) exemplifying the application of formal language tools in several fields, including logic and discrete mathematics, natural language processing, artificial intelligence, natural computing and bioinformatics.
This book reviews the theoretical concepts, leading-edge techniques and practical tools involved in the latest multi-disciplinary approaches addressing the challenges of big data. Illuminating perspectives from both academia and industry are presented by an international selection of experts in big data science. Topics and features: describes the innovative advances in theoretical aspects of big data, predictive analytics and cloud-based architectures; examines the applications and implementations that utilize big data in cloud architectures; surveys the state of the art in architectural approaches to the provision of cloud-based big data analytics functions; identifies potential research directions and technologies to facilitate the realization of emerging business models through big data approaches; provides relevant theoretical frameworks, empirical research findings, and numerous case studies; discusses real-world applications of algorithms and techniques to address the challenges of big datasets.
This book constitutes the refereed proceedings of the 10th International Colloquium on Grammatical Inference, ICGI 2010, held in Valencia, Spain, in September 2010. The 18 revised full papers and 14 revised short papers presented were carefully reviewed and selected from numerous submissions. The topics of the papers presented vary from theoretical results about the learning of different formal language classes (regular, context-free, context-sensitive, etc.) to application papers on bioinformatics, language modelling or software engineering. Furthermore there are two invited papers on the topics grammatical inference and games and molecules, languages, and automata.
An in-depth review of hybrid control techniques for smart prosthetic hand technology by two of the world’s pioneering experts in the field Long considered the stuff of science fiction, a prosthetic hand capable of fully replicating all of that appendage’s various functions is closer to becoming reality than ever before. This book provides a comprehensive report on exciting recent developments in hybrid control techniques—one of the most crucial hurdles to be overcome in creating smart prosthetic hands. Coauthored by two of the world’s foremost pioneering experts in the field, Fusion of Hard and Soft Control Strategies for Robotic Hand treats robotic hands for multiple applications. I...
An original, systematic-solution approach to uncertain nonlinear systems control and modeling using fuzzy equations and fuzzy differential equations There are various numerical and analytical approaches to the modeling and control of uncertain nonlinear systems. Fuzzy logic theory is an increasingly popular method used to solve inconvenience problems in nonlinear modeling. Modeling and Control of Uncertain Nonlinear Systems with Fuzzy Equations and Z-Number presents a structured approach to the control and modeling of uncertain nonlinear systems in industry using fuzzy equations and fuzzy differential equations. The first major work to explore methods based on neural networks and Bernstein n...
This book constitutes the refereed proceedings of the 8th International Colloquium on Grammatical Inference, ICGI 2006. The book presents 25 revised full papers and 8 revised short papers together with 2 invited contributions, carefully reviewed and selected. The topics discussed range from theoretical results of learning algorithms to innovative applications of grammatical inference and from learning several interesting classes of formal grammars to applications to natural language processing.
Addresses the methodology and theoretical foundation of battery manufacturing, service and management systems (BM2S2), and discusses the issues and challenges in these areas This book brings together experts in the field to highlight the cutting edge research advances in BM2S2 and to promote an innovative integrated research framework responding to the challenges. There are three major parts included in this book: manufacturing, service, and management. The first part focuses on battery manufacturing systems, including modeling, analysis, design and control, as well as economic and risk analyses. The second part focuses on information technology’s impact on service systems, such as data-dr...
TAMC 2006 was the third conference in the series. The previous two meetings were held May 17–19, 2004 in Beijing, and May 17–20, 2005 in Kunming