Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Innovations in Bio-Inspired Computing and Applications
This book highlights recent research on bio-inspired computing and its various innovative applications in information and communication technologies. It presents 85 high-quality papers from the 13th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2022) and 12th World Congress on Information and Communication Technologies (WICT 2022), which was held online during 15–17 December 2022. As a premier conference, IBICA–WICT brings together researchers, engineers and practitioners whose work involves bio-inspired computing, computational intelligence and their applications in information security, real-world contexts, etc. Including contributions by authors from 25 countries, the book offers a valuable reference guide for all researchers, students and practitioners in the fields of Computer Science and Engineering.
AI and IoT for Proactive Disaster Management
In our rapidly evolving digital landscape, the threat of natural disasters looms large, necessitating innovative solutions for effective disaster management. Integrating Artificial Intelligence (AI) and the Internet of Things (IoT) presents a transformative approach to addressing these challenges. However, despite the potential benefits, the field needs more comprehensive resources that explore the full extent of AI and IoT applications in disaster management. AI and IoT for Proactive Disaster Management fills that gap by examining how AI and IoT can revolutionize disaster preparedness, response, and recovery. It offers a deep dive into AI frameworks, IoT infrastructures, and the synergy of ...
Testing of Communicating Systems
This volume contains the proceedings of the 17th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montreal, Canada, from May 31 to June 2, 2005. TestCom 2005 was organized by Concordia University and was sponsored by IFIP.
Risks and Security of Internet and Systems
This book constitutes the proceedings of the 15th International Conference on Risks and Security of Internet and Systems, CRiTIS 2020, which took place during November 4-6, 2020. The conference was originally planned to take place in Paris, France, but had to change to an online format due to the COVID-19 pandemic. The 16 full and 7 short papers included in this volume were carefully reviewed and selected from 44 submissions. In addition, the book contains one invited talk in full paper length. The papers were organized in topical sections named: vulnerabilities, attacks and intrusion detection; TLS, openness and security control; access control, risk assessment and security knowledge; risk analysis, neural networks and Web protection; infrastructure security and malware detection.
Advances in Computational Collective Intelligence
This book constitutes refereed proceedings of the 14th International Conference on International Conference on Computational Collective Intelligence, ICCCI 2022, held in Hammamet, Tunisia, in September 2022. The 43 full papers and 15 short papers were thoroughly reviewed and selected from 421 submissions. The papers are grouped in topical sections on collective intelligence and collective decision-making; natural language processing; deep learning; computational intelligence for multimedia understanding; computational intelligence in medical applications; applications for industry 4.0; experience enhanced intelligence to IoT and sensors; cooperative strategies for decision making and optimization; machine learning methods.
Multifaceted approaches for Data Acquisition, Processing & Communication
The objective of the conference is to bring to focus the recent technological advancements across all the stages of data analysis including acquisition, processing, and communication. Advancements in acquisition sensors along with improved storage and computational capabilities, have stimulated the progress in theoretical studies and state-of-the-art real-time applications involving large volumes of data. This compels researchers to investigate the new challenges encountered, where traditional approaches are incapable of dealing with large, complicated new forms of data.
Formal Approaches to Software Testing and Runtime Verification
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.
Formal Techniques for Distributed Systems
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.
Tests and Proofs
This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
