Advanced category: 11205 books

This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixed-point...

This book takes a step-by-step approach to building a complete website using Drupal and enhancing it to include modern technology used by cutting-edge companies. All instructions are written in such a way that they make sense to readers of any technical level. This book is designed primarily for business...

This new edition provides a comprehensive, colorful, up-to-date, and accessible presentation of AI without sacrificing theoretical foundations. It includes numerous examples, applications, full color images, and human interest boxes to enhance student interest. New chapters on robotics and machine...

This monograph is the continuation and completion of the monograph, “Intelligent Systems: Approximation by Artificial Neural Networks” written by the same author and published 2011 by Springer. The book you hold in hand presents the complete recent and original work of the author in approximation...

This book addresses the usefulness of knowledge discovery through data mining. With this aim, contributors from different fields propose concrete problems and applications showing how data mining and discovering embedded knowledge from raw data can be beneficial to social organizations, domestic spheres,...

Life in the digital era offers an array of new and invigorating opportunities, as well as a new set of challenges when facing the dissemination of fresh innovations. While once reserved for personal use, online platforms are now being utilized for more critical purposes, such as social revolution,...

The book reports on advanced topics in interactive robotics research and practice; in particular, it addresses non-technical obstacles to the broadest uptake of these technologies. It focuses on new technologies that can physically and cognitively interact with humans, including neural interfaces,...

This book constitutes the refereed proceedings of the Second International Conference on Emerging Technologies in Computer Engineering: Microservices in Big Data Analytics, ICETCE 2019, held in Jaipur, India, in February 2019. The 28 revised full papers along with 1 short paper presented were...

This book presents recent research into developing and applying computational tools to estimate the performance and safety of hydraulic structures from the planning and construction stage to the service period. Based on the results of a close collaboration between the author and his colleagues, friends,...

Information Technology is applicable in all areas of life. As a result, computer science is essential to imagine the modern world. Recent advances in information technology represents only a small part of today’s computing applications which were the subject of international cooperation between...

This book presents a focus on proteins and their structures. The text describes various scalable solutions for protein structure similarity searching, carried out at main representation levels and for prediction of 3D structures of proteins. Emphasis is placed on techniques that can be used to accelerate...

This book provides a tutorial in the use of Altair Compose and Altair Activate, software packages that provide system modeling and simulation facilities. Advanced system modeling software provide multiple ways of creating models: models can be programmed in specialized languages, graphically...

Mind computation is a hot topic of intelligence science. It is explored by computing to explain the theoretical basis of human intelligence. Through long-term research, a mind model CAM (Consciousness and Memory) is proposed, which provides a general framework for brain-like intelligence and brain-like...

The book presents a collection of 103 peer-reviewed articles from the Second International Conference on Intelligent Systems in Production Engineering and Maintenance (ISPEM 2018). The conference was organized by the Faculty of Mechanical Engineering and CAMT (Centre for Advanced Manufacturing Technologies),...