Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. Meer
This book reflects the outcome of contribution by the plural community and of the interactions between disciplines. With the mass of data available through Information and Communication Technologies (ICT) in an unprecedented quantity since the Human History, it is now possible to access dimensions of knowledge that, though not hidden, could not be grasped in the same way in the past. Meer
Written in the 1980s by one of the fathers of chaos theory, Otto E. Rössler, the manuscript presented in this volume eventually never got published. Almost 40 years later, it remains astonishingly at the forefront of knowledge about chaos theory and many of the examples discussed have never been published elsewhere. Meer
This book plays a significant role in improvising human life to a great extent. The new applications of soft computing can be regarded as an emerging field in computer science, automatic control engineering, medicine, biology application, natural environmental engineering, and pattern recognition. Meer
This book explores some of the emerging scientific and technological areas in which the need for data analytics arises and is likely to play a significant role in the years to come. Meer
This book presents modeling methods and algorithms for data-driven prediction and forecasting of practical industrial process by employing machine learning and statistics methodologies. Meer
This book comprises theoretical foundations to deep learning, machine learning and computing system, deep learning algorithms, and various deep learning applications. Meer
This book constitutes the refereed proceedings of the Second International Symposium on Human Mental Workload: Models and Applications, H-WORKLOAD 2018, held in Amsterdam, The Netherlands, in September 2018. Meer
This book constitutes the refereed proceedings of the 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, held in Costa de Caparica, Portugal, in July 2020. Meer
This book constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2018, held in Ho Chi Minh City, Vietnam, in December 2018. Meer
This book presents the proceedings of the “5th International Interdisciplinary Chaos Symposium on Chaos and Complex Systems (CCS).” All Symposia in the series bring together scientists, engineers, economists and social scientists, creating a vivid forum for discussions on the latest insights and findings obtained in the areas of complexity, nonlinear dynamics and chaos theory, as well as their interdisciplinary applications. Meer
This book describes the latest advances in fuzzy logic, neural networks, and optimization algorithms, as well as their hybrid intelligent combinations, and their applications in the areas such as intelligent control, robotics, pattern recognition, medical diagnosis, time series prediction, and optimization. Meer
Advances in network connectivity, power consumption, and physical size create new possibilities for using interactive computing outdoors. However, moving computing outdoors can drastically change the human outdoor experience. Meer
This book constitutes the refereed post-conference proceedings of the First International Conference on Society with Future: Smart and Liveable Cities, SC4Life 2019, which took place in Braga, Portugal, in December 2019. Meer
The two-volume set LNCS 12110 and 12111 constitutes the refereed proceedings of the 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, PKC 2020, held in Edinburgh, UK, in May 2020. Meer
This book constitutes the proceedings of the Sixth Conference on Information and Communication Technologies “TIC.EC”, held in Cuenca, Ecuador, from November 27 to 29, 2019. Meer
This book presents a comprehensive overview of security issues in Cyber Physical Systems (CPSs), by analyzing the issues and vulnerabilities in CPSs and examining state of the art security measures. Meer
This book presents a comprehensive overview of security issues in Cyber Physical Systems (CPSs), by analyzing the issues and vulnerabilities in CPSs and examining state of the art security measures. Meer
The two-volume set LNAI 11431 and 11432 constitutes the refereed proceedings of the 11th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2019, held in Yogyakarta, Indonesia, in April 2019. Meer
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books