Computer Architecture 97

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers i……続きを見る

One of the most flexible software programmes for engineering and building designs is AutoCAD, along with AutoCAD , which is the most widely used computer-aided design (CAD) platform for 2D drafting ……続きを見る

This two-volume set, LNCS 13810 and 13811, constitutes the refereed proceedings of the 8th International Conference on Machine Learning, Optimization, and Data Science, LOD 2022, together with the p……続きを見る

Recent technological developments in sensors, edge computing, connectivity, and artificial intelligence (AI) technologies have accelerated the integration of data analysis based on embedded AI capab……続きを見る

This book constitutes the refereed post-conference proceedings of the workshops held at the 16th Asian Conference on Computer Vision, ACCV 2022, which took place in Macao, China, in December 2022. T……続きを見る

The two-volume set, LNICST 453 and 454 constitutes the proceedings of the 8th EAI International Conference on e-Learning, e-Education, and Online Training, eLEOT 2022, held in Harbin, China, in July……続きを見る

Semidefinite programs (SDPs) are a class of optimisation problems that find application in numerous areas of physics, engineering and mathematics. Semidefinite programming is particularly suited to ……続きを見る

This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 – Advances in Artificial Intelligence, which……続きを見る

This two-volume set, LNCS 13810 and 13811, constitutes the refereed proceedings of the 8th International Conference on Machine Learning, Optimization, and Data Science, LOD 2022, together with the p……続きを見る

This book provides a state-of-the-art guide to Machine Learning (ML)-based techniques that have been shown to be highly efficient for diagnosis of failures in electronic circuits and systems. The me……続きを見る

Business Analytics (BA) is an evolving phenomenon that showcases the increasing importance of using huge volumes of data to generate value for businesses. Advances in BA have offered great opportuni……続きを見る

This book constitutes the refereed proceedings of the 9th EAI International Conference on IoT Technologies for HealthCare, HealthyIoT 2022, which was held in Braga, Portugal, in November 2022. The 1……続きを見る

This book covers different aspects of Internet of Drones (IoD) including fundamentals in drone design, deployment challenges, and development of applications. It starts with a detailed description o……続きを見る

The multi-volume set LNAI 13713 until 13718 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2022, which took place……続きを見る

This volume constitutes the revised selected papers from 4 workshops: Workshop on Adaptive Service-oriented and Cloud Applications (ASOCA 2022), 3rd International Workshop on AI-enabled Process Auto……続きを見る

This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI 2022, held in Grenoble, France, in conjunction with ECML/PKDD, on September 19, 2022. The 25 revised fu……続きを見る

This two-volume set constitutes the post-conference proceedings of the 6th EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2022, held in Changsha, China, in September 2……続きを見る

This two-volume set constitutes the post-conference proceedings of the 6th EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2022, held in Changsha, China, in September 2……続きを見る

This book constitutes the refereed proceedings of the 14th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2023, held in Munich, Germany, during April 3–4, 202……続きを見る

Not since the 1980s has computer architecture been so exciting! This book captures the moment, mining the history of computing to teach key concepts in modern hardware design and introduce the neura……続きを見る

This book constitutes the 11th EAI International Conference of the International Conference on Context-Aware Systems and Applications, ICCASA 2022, held in Vinh Long, Vietnam, during October 27-28, ……続きを見る

This book constitutes the proceedings of the 25th RoboCup International Symposium which was held online during July 2022 in Bangkok, Thailand. The 28 full papers included in these proceedings were c……続きを見る

This proceedings constitutes the post-conference proceedings of the 3rd EAI International Conference on Cognitive Computing and Cyber Physical Systems, IC4S 2022, held at Vishnu Institute of Technol……続きを見る

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022. ……続きを見る

Artificial Intelligence for Capital Market throws light on the application of AI/ML techniques in the financial capital markets. This book discusses the challenges posed by the AI/ML techniques as t……続きを見る

This book constitutes the refereed proceedings of the 5th Ibero-American Congress on Smart Cities, ICSC-Cities 2022, held in Cuenca, Ecuador during November 28–30, 2022. The 17 full papers included ……続きを見る

This book, AICON 2022, constitutes the post-conference proceedings of the 4th EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2022, held in Hiroshima, ……続きを見る

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctne……続きを見る

This book constitutes the refereed post-conference proceedings the 14th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2022, which was held in Sydney, NSW, Australia, on……続きを見る

This book constitutes the refereed and selected papers presented during the Third International Conference on Internet of Things, ICIoT 2022, held in Chennai, India, in April 2022. The 10 papers wer……続きを見る