Intelligent Computing
Intelligent Computing

Author: Kohei Arai

Publisher: Springer Nature

Published:

Total Pages: 1269

ISBN-13: 3030801268

DOWNLOAD EBOOK

This book is a comprehensive collection of chapters focusing on the core areas of computing and their further applications in the real world. Each chapter is a paper presented at the Computing Conference 2021 held on 15-16 July 2021. Computing 2021 attracted a total of 638 submissions which underwent a double-blind peer review process. Of those 638 submissions, 235 submissions have been selected to be included in this book. The goal of this conference is to give a platform to researchers with fundamental contributions and to be a premier venue for academic and industry practitioners to share new ideas and development experiences. We hope that readers find this volume interesting and valuable as it provides the state-of-the-art intelligent methods and techniques for solving real-world problems. We also expect that the conference and its publications is a trigger for further related research and technology improvements in this important subject. .

Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems

Author: Belgacem Ben Hedia

Publisher: Springer Nature

Published: 2020-12-19

Total Pages: 289

ISBN-13: 3030659550

DOWNLOAD EBOOK

This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi’an, China, in October 2020, but was held virtually instead. The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. The papers are organized in the following topical sections: petri-net, simulation, and scheduling; formal modeling and verification, testing; and artificial intelligence and machine learning.

High-Performance Computing and Big Data Analysis
High-Performance Computing and Big Data Analysis

Author: Lucio Grandinetti

Publisher: Springer Nature

Published: 2019-10-19

Total Pages: 514

ISBN-13: 3030334953

DOWNLOAD EBOOK

This book constitutes revised and selected papers from the Second International Congress on High-Performance Computing and Big Data Analysis, TopHPC 2019, held in Tehran, Iran, in April 2019. The 37 full papers and 2 short papers presented in this volume were carefully reviewed and selected from a total of 103 submissions. The papers in the volume are organized acording to the following topical headings: deep learning; big data analytics; Internet of Things.- data mining, neural network and genetic algorithms; performance issuesand quantum computing.

First International Conference on Sustainable Technologies for Computational Intelligence
First International Conference on Sustainable Technologies for Computational Intelligence

Author: Ashish Kumar Luhach

Publisher: Springer Nature

Published: 2019-11-01

Total Pages: 847

ISBN-13: 9811500290

DOWNLOAD EBOOK

This book gathers high-quality papers presented at the First International Conference on Sustainable Technologies for Computational Intelligence (ICTSCI 2019), which was organized by Sri Balaji College of Engineering and Technology, Jaipur, Rajasthan, India, on March 29–30, 2019. It covers emerging topics in computational intelligence and effective strategies for its implementation in engineering applications.