الصفحة 6
الصفحة 6
Leveraging applications of formal methods, verification and validation : Engineering Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part II, Engineering Principles : Automating Software Re-Engineering ; Rigorous Engineering of Collective Adaptive Systems.
Leveraging applications of formal methods, verification and validation : Applications ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Learning network programming with Java
Learn to deliver superior server-to-server communication through the networking channels / Gain expertise of the networking features of your own applications to support various network architectures such as client/server and peer-to-peer Explore the issues that impact scalability, affect security, and allow applications to work in a heterogeneous environment
Knowledge science, engineering and management; 13th International Conference, KSEM 2020, Hangzhou, China, August 28–30, 2020, Proceedings, Part I
Constitutes the refereed proceedings of the 13th International Conference on Knowledge Science, Engineering and Management, KSEM 2020, held in Hangzhou, China, in August 2020.* The 58 revised full papers and 27 short papers were carefully reviewed and selected from 291 submissions. The papers of the first volume are organized in the following topical sections: knowledge graph; knowledge representation; knowledge management for education; knowledge-based systems; and data processing and mining. The papers of the second volume are organized in the following topical sections: machine learning; recommendation algorithms and systems; social knowledge analysis and management; text mining and document analysis; and deep learning.
Knowledge science, engineering and management ; 13th International Conference, KSEM 2020, Hangzhou, China, August 28–30, 2020, Proceedings, Part II
Constitutes the refereed proceedings of the 13th International Conference on Knowledge Science, Engineering and Management, KSEM 2020, held in Hangzhou, China, in August 2020.* The 58 revised full papers and 27 short papers were carefully reviewed and selected from 291 submissions. The papers of the first volume are organized in the following topical sections: knowledge graph; knowledge representation; knowledge management for education; knowledge-based systems; and data processing and mining. The papers of the second volume are organized in the following topical sections: machine learning; recommendation algorithms and systems; social knowledge analysis and management; text mining and document analysis; and deep learning.
Knowledge discovery, knowledge engineering and knowledge management ; 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers
Constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018, held in Seville, Spain, in September 2018. The 12 full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on knowledge discovery and information retrieval; knowledge engineering and ontology development; and knowledge management and information sharing.
CompTIA Network+ guide to networks ; 9th ed.
It thoroughly prepares you for success on CompTIA's Network+ N10-007 certification exam with fully mapped coverage of all objectives, including protocols, topologies, hardware, network design, security and troubleshooting. Virtualization-based projects give you experience working with a wide variety of hardware, software, operating systems and device interactions, while "On the Job" stories, Applying Concepts activities, and Hands-On and Capstone Projects let you explore concepts in more depth. MindTap Networking offers additional practice and certification prep.
Brain-inspired computing ; 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15–19, 2019, Revised Selected Papers
The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures.
Bio-inspired information and communication technologies ; 12th EAI International Conference, BICT 2020, Shanghai, China, July 7-8, 2020, Proceedings
This book constitutes the refereed conference proceedings of the 12th International Conference on Bio-inspired Information and Communications Technologies, held in Shanghai, China, in July 2020. Due to the safety concerns and travel restrictions caused by COVID-19, BICT 2020 took place online in a live stream. BICT 2020 aims to provide a world-leading and multidisciplinary venue for researchers and practitioners in diverse disciplines that seek the understanding of key principles, processes and mechanisms in biological systems and leverage those understandings to develop novel information and communications technologies (ICT).
Autonomous control for a reliable internet of services : Methods, models, approaches, techniques, algorithms, and tools
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, researchers, engineers, and research strategists working in this field. The objective of this book is, by applying a systematic approach, to assess the state-of-the-art and consolidate the main research results achieved in this area.
Augmented reality, virtual reality, and computer graphics ; 7th International conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I
he 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020, held in Lecce, Italy, in September 2020.* The 45 full papers and 14 short papers presented were carefully reviewed and selected from 99 submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual reality, augmented reality, mixed reality, 3D reconstruction visualization, and applications in the areas of cultural heritage, medicine, education, and industry.
Artificial Intelligence. IJCAI 2019 International Workshops ; Macao, China, August 10–12, 2019, Revised Selected Best Papers
This book presents selected papers of 12 Workshops held in conjunction with the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, in Macao, China, in August 2019.
Artificial intelligence in HCI ; 1st International conference, AI-HCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings
This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in July 2020. The conference was planned to be held in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.
Artificial intelligence applications and innovations ; 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings, Part I
This 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2020, held in Neos Marmaras, Greece, in June 2020.* The 70 full papers and 5 short papers presented were carefully reviewed and selected from 149 submissions. They cover a broad range of topics related to technical, legal, and ethical aspects of artificial intelligence systems and their applications
Artificial intelligence applications and innovations . AIAI 2020 IFIP WG 12.5 International Workshops ; MHDW 2020 and 5G-PINE 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings
This book constitutes the refereed proceedings of two International Workshops held as parallel events of the 16th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2020, in Neos Marmaras, Greece, in June 2020: the 9th Mining Humanistic Data Workshop, MHDW 2020, and the 5th Workshop on 5G-Putting Intelligence to the Network Edge, 5G-PINE 2020.*
Artificial intelligence and soft computing ; 19th International conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2020, held in Zakopane, Poland*, in October 2020. The 112 revised full papers presented were carefully reviewed and selected from 265 submissions. The papers included in the first volume are organized in the following six parts: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; pattern classification; bioinformatics, biometrics and medical applications; artificial intelligence in modeling and simulation. The papers included in the second volume are organized in the following four parts: computer vision, image and speech analysis; data mining; various problems of artificial intelligence; agent systems, robotics and control.
Artificial intelligence and soft computing ; 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2020, held in Zakopane, Poland*, in October 2020. The 112 revised full papers presented were carefully reviewed and selected from 265 submissions. The papers included in the first volume are organized in the following six parts: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; pattern classification; bioinformatics, biometrics and medical applications; artificial intelligence in modeling and simulation. The papers included in the second volume are organized in the following four parts: computer vision, image and speech analysis; data mining; various problems of artificial intelligence; agent systems, robotics and control.
Artificial intelligence and security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part III
The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS.
Artificial Intelligence and Security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part II
The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS.
Artificial intelligence and security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part I
The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS.
