- Table View
- List View
Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings (Lecture Notes in Computer Science #13467)
by Temur Kutsia Kevin BuzzardThis book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings (Lecture Notes in Computer Science #14101)
by Manfred Kerber Catherine DuboisThis book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.
Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings (Lecture Notes in Computer Science #14960)
by Andrea Kohlhase Laura KovácsThis book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5–9, 2024. The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections: AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certification; Proof Search and Formalization & System Descriptions.
Intelligent Computing & Optimization: Proceedings of the 4th International Conference on Intelligent Computing and Optimization 2021 (ICO2021) (Lecture Notes in Networks and Systems #371)
by Pandian Vasant Ivan Zelinka Gerhard-Wilhelm WeberThis book of Springer Nature is another proof of Springer’s outstanding and greatness on the lively interface of Smart Optimization, Computational Science, Human Intelligence and Machine Learning! It is a Master Piece of what our community of Academics and Experts can provide when an Interdisciplinary Approach of Joint, Mutual and Deep Learning is supported by Modern Mathematics and Experience of the World-Leader Springer Nature! Fourth edition of International Conference on Intelligent Computing and Optimization took place at December 30–31, 2021, via ZOOM. Objective was to celebrate “Compassion and Wisdom” with researchers, scholars, experts and investigators in Intelligent Computing and Optimization worldwide, to share knowledge, experience, innovation—marvelous opportunity for discourse and mutuality by novel research, invention and creativity. This proceedings book of ICO’2021 is published by Springer Nature—Quality Label of Excellence.
Intelligent Computing & Optimization: Proceedings of the 5th International Conference on Intelligent Computing and Optimization 2022 (ICO2022) (Lecture Notes in Networks and Systems #569)
by Pandian Vasant Gerhard-Wilhelm Weber José Antonio Marmolejo-Saucedo Elias Munapo J. Joshua ThomasThis book of Springer Nature is another proof of Springer’s outstanding and greatness on the lively interface of Smart Computational Optimization, Green ICT, Smart Intelligence and Machine Learning! It is a Master Piece of what our community of academics and experts can provide when an Interconnected Approach of Joint, Mutual and Meta Learning is supported by Modern Operational Research and Experience of the World-Leader Springer Nature! The 5th edition of International Conference on Intelligent Computing and Optimization took place at October 27–28, 2022, via Zoom. Objective was to celebrate “Creativity with Compassion and Wisdom” with researchers, scholars, experts and investigators in Intelligent Computing and Optimization across the planet, to share knowledge, experience, innovation—a marvelous opportunity for discourse and mutuality by novel research, invention and creativity. This proceedings book of ICO’2022 is published by Springer Nature—Quality Label of wonderful.
Intelligent Computing Applications for COVID-19: Predictions, Diagnosis, and Prevention (Innovations in Health Informatics and Healthcare)
by Tanzila Saba Amjad Rehman KhanAccurate estimation, diagnosis, and prevention of COVID-19 is a global challenge for healthcare organizations. Innovative measures can introduce and implement AI, and Mathematical Modeling applications. This book provides insight into the recent advances of applications, statistical methods, and mathematical modeling for the healthcare industry. This book covers the state-of-the-art applications of AI and Machine Learning in past epidemics, pandemics, and COVID-19. It offers recent global case studies, and discusses how AI and statistical methods, initiatives, and applications such as Machine Learning, Deep Learning, Correlation and Regression Analysis play a major role in the prediction, diagnosis, and prevention of a pandemic. It will also focus on how AI and statistical applications can facilitate and restructure the healthcare system. This book is written for Researchers, Students, Professionals, Executives, and the general public.
Intelligent Computing Applications for Sustainable Real-World Systems: Intelligent Computing Techniques and their Applications (Proceedings in Adaptation, Learning and Optimization #13)
by Jagdish Chand Bansal Ravipudi Venkata Rao Manjaree Pandit Laxmi SrivastavaThis book delves into various solution paradigms such as artificial neural network, support vector machine, wavelet transforms, evolutionary computing, swarm intelligence. During the last decade, novel solution technologies based on human and species intelligence have gained immense popularity due to their flexible and unconventional approach. New analytical tools are also being developed to handle big data processing and smart decision making. The idea behind compiling this work is to familiarize researchers, academicians, industry persons and students with various applications of intelligent techniques for producing sustainable, cost-effective and robust solutions of frequently encountered complex, real-world problems in engineering and science disciplines. The practical problems in smart grids, communication, waste management, elimination of harmful elements from nature, etc., are identified, and smart and optimal solutions are proposed.
Intelligent Computing Methodologies: 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part III (Lecture Notes in Computer Science #13395)
by Prashan Premaratne De-Shuang Huang Kang-Hyun Jo Abir Hussain Vitoantonio Bevilacqua Junfeng JingThis two-volume set of LNCS 13393 and LNCS 13394 constitutes - in conjunction with the volume LNAI 13395 - the refereed proceedings of the 18th International Conference on Intelligent Computing, ICIC 2022, held in Xi'an, China, in August 2022. The 209 full papers of the three proceedings volumes were carefully reviewed and selected from 449 submissions.This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was “Advanced Intelligent Computing Technology and Applications”. Papers focused on this theme were solicited, addressing theories, methodologies, and applications in science and technology.
Intelligent Computing Paradigm and Cutting-edge Technologies: Proceedings of the First International Conference on Innovative Computing and Cutting-edge Technologies (ICICCT 2019), Istanbul, Turkey, October 30-31, 2019 (Learning and Analytics in Intelligent Systems #9)
by Lakhmi C. Jain Sheng-Lung Peng Souvik Pal Basim AlhadidiThis book discusses fundamental and high-level concepts relating to intelligent computing and communications in the context of distributed computing, big data, high performance computing and the Internet of Things. It is becoming increasingly important to develop adaptive, intelligent, computing-centric, energy-aware, secure and privacy-aware mechanisms in high-performance computing and IoT applications. Serving as a useful guide for researchers and practitioners working in the field of information technology and computer science, the book also appeals to beginners wanting to learn more about the better computing paradigm. In addition, it provides a platform for researchers, engineers, academics and industry professionals from around the globe to share their research findings.
Intelligent Computing Paradigm and Cutting-edge Technologies: Proceedings of the Second International Conference on Innovative Computing and Cutting-edge Technologies (ICICCT 2020) (Learning and Analytics in Intelligent Systems #21)
by Margarita N. Favorskaya Sheng-Lung Peng Souvik Pal Basim Alhadidi Milan SimicThis book aims to bring together Researchers, Scientists, Engineers, Scholars and Students in the areas of computer engineering and information technology, and provides a forum for the dissemination of original research results, new ideas, Research and development, practical experiments, which concentrate on both theory and practices, for the benefit of the society. The book also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Computer Science and Information Technology in the context of Distributed computing, Big data, High performance computing, Internet-of-Things, and digital pedagogy. It is becoming increasingly important to develop adaptive, intelligent computing-centric, energy-aware, secure and privacy-aware mechanisms in high performance computing and IoT applications. This book aspires to convey researchers’ experiences, to present excellent result analysis, future scopes, and challenges facing the field of computer science, information technology, telecommunication, and digital pedagogy. This book aims to attract researchers and practitioners who are working in Information Technology and Computer Science. This book is about basics and high level concepts regarding intelligent computing paradigm, communications, and digital learning process. The book serves as a useful guide for Undergraduates, Postgraduates and Research Scholar in the field of Computer Science, Information Technology, and Electronics Engineering. We believe that this volume not only presents novel and interesting ideas but also will stimulate interesting discussions from the participants and inspire new ideas.
Intelligent Computing Systems and Applications: Proceedings of the 2nd International Conference, ICICSA 2023 (Lecture Notes in Networks and Systems #1010)
by Valentina Emilia Balas Sivaji Bandyopadhyay Dalton Meitei Thounaojam Saroj Kumar Biswas Anish Kumar SahaThe book includes peer-reviewed papers presented at the 2nd International Conference on Intelligent Computing Systems and Applications (ICICSA 2023). The book discusses the most recent advances in artificial intelligence, machine learning, data science, natural language processing, computer vision, image processing, embedded systems, robotics, IoT, computer networking and communications, optimization, security, and cryptography, among other topics. It also discusses several application areas and modeling methodologies in many fields. This book will be useful for researchers and academics working in relevant fields.
Intelligent Computing Systems: 4th International Symposium, ISICS 2022, Santiago, Chile, March 23–25, 2022, Proceedings (Communications in Computer and Information Science #1569)
by Anabel Martin-Gonzalez Carlos Brito-Loeza Asad Safi Victor Castañeda-ZemanThis book constitutes the proceedings of the 4th International Symposium on Intelligent Computing Systems, ISICS 2022, held in Santiago, Chile, in March 2022. Due to the COVID-19 pandemic the conference was held online. The 9 full papers along with 2 short papers presented in this volume were carefully reviewed and selected from 30 submissions. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing.
Intelligent Computing Systems: 5th International Symposium, ISICS 2024, Sharjah, United Arab Emirates, November 6–7, 2024, Proceedings (Communications in Computer and Information Science #2381)
by Anabel Martin-Gonzalez Carlos Brito-Loeza Asad Safi Victor Castañeda-ZemanThis book constitutes the proceedings of the 5th International Symposium on Intelligent Computing Systems, ISICS 2024, held in Sharjah, United Arab Emirates, during November 6-7, 2024. The 25 full papers included in this book were carefully reviewed and selected from 71 submissions. They focus on research and practice in the fields of artificial intelligence, computer vision, and image processing.
Intelligent Computing Systems: Third International Symposium, ISICS 2020, Sharjah, United Arab Emirates, March 18–19, 2020, Proceedings (Communications in Computer and Information Science #1187)
by Anabel Martin-Gonzalez Carlos Brito-Loeza Arturo Espinosa-Romero Asad SafiThis book constitutes the proceedings of the Third International Symposium on Intelligent Computing Systems, ISICS 2020, held in Sharjah, United Arab Emirates, in March 2020. The 13 full papers presented in this volume were carefully reviewed and selected from 46 submissions. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing.
Intelligent Computing Techniques for Smart Energy Systems: Proceedings of ICTSES 2018 (Lecture Notes in Electrical Engineering #607)
by Akhtar Kalam Ankit Mundra Khaleequr Rehman Niazi Amit Soni Shahbaz Ahmed SiddiquiThe book compiles the research works related to smart solutions concept in context to smart energy systems, maintaining electrical grid discipline and resiliency, computational collective intelligence consisted of interaction between smart devices, smart environments and smart interactions, as well as information technology support for such areas. It includes high-quality papers presented in the International Conference on Intelligent Computing Techniques for Smart Energy Systems organized by Manipal University Jaipur. This book will motivate scholars to work in these areas. The book also prophesies their approach to be used for the business and the humanitarian technology development as research proposal to various government organizations for funding approval.
Intelligent Computing Techniques for Smart Energy Systems: Proceedings of ICTSES 2023, Volume 1 (Lecture Notes in Electrical Engineering #1276)
by Manish Tiwari Amit Soni Anshuman Tripathi Anil Swarnkar Jagrati SahariyaThis book compiles the best selected research papers presented during the 3rd International Conference on Intelligent Computing Techniques for Smart Energy Systems (ICTSES 2023), held at Manipal University, Jaipur, Rajasthan, India. It presents the diligent work of the research community where intelligent computing techniques are applied in allied fields of engineering ranging from engineering materials to electrical engineering to electronics and communication engineering- to computer-related fields. The theoretical research concepts are supported with extensive reviews highlighting the trends in the possible and real-life applications of computational intelligence. The high-quality content with a broad range of topics is thoroughly peer-reviewed and published on suitable recommendations.
Intelligent Computing Techniques for Smart Energy Systems: Proceedings of ICTSES 2023, Volume 2 (Lecture Notes in Electrical Engineering #1277)
by Manish Tiwari Amit Soni Anshuman Tripathi Anil Swarnkar Jagrati SahariyaThis book compiles the best selected research papers presented during the 3rd International Conference on Intelligent Computing Techniques for Smart Energy Systems (ICTSES 2023), held at Manipal University, Jaipur, Rajasthan, India. It presents the diligent work of the research community where intelligent computing techniques are applied in allied fields of engineering ranging from engineering materials to electrical engineering to electronics and communication engineering- to computer-related fields. The theoretical research concepts are supported with extensive reviews highlighting the trends in the possible and real-life applications of computational intelligence. The high-quality content with broad range of the topics is thoroughly peer-reviewed and published on suitable recommendations.
Intelligent Computing Theories and Application: 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part I (Lecture Notes in Computer Science #13393)
by Prashan Premaratne De-Shuang Huang Kang-Hyun Jo Abir Hussain Vitoantonio Bevilacqua Junfeng JingThis two-volume set of LNCS 13393 and LNCS 13394 constitutes - in conjunction with the volume LNAI 13395 - the refereed proceedings of the 18th International Conference on Intelligent Computing, ICIC 2022, held in Xi'an, China, in August 2022. The 209 full papers of the three proceedings volumes were carefully reviewed and selected from 449 submissions.This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was “Advanced Intelligent Computing Technology and Applications”. Papers focused on this theme were solicited, addressing theories, methodologies, and applications in science and technology.
Intelligent Computing Theories and Application: 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part II (Lecture Notes in Computer Science #13394)
by Prashan Premaratne De-Shuang Huang Kang-Hyun Jo Abir Hussain Vitoantonio Bevilacqua Junfeng JingThis two-volume set of LNCS 13393 and LNCS 13394 constitutes - in conjunction with the volume LNAI 13395 - the refereed proceedings of the 18th International Conference on Intelligent Computing, ICIC 2022, held in Xi'an, China, in August 2022. The 209 full papers of the three proceedings volumes were carefully reviewed and selected from 449 submissions.This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was “Advanced Intelligent Computing Technology and Applications”. Papers focused on this theme were solicited, addressing theories, methodologies, and applications in science and technology.
Intelligent Computing and Applications: Proceedings of ICDIC 2020 (Smart Innovation, Systems and Technologies #315)
by R. Balasubramanian Shiuh-Jeng Wang Richi Nayak B. Narendra Kumar RaoThis book presents novel work of academicians, researchers, industry professionals, practitioners, and budding engineers to disseminate the most recent innovations, trends, and concerns along with the present-day challenges and the solving approaches for implementation in the domains of data science, intelligent computing, and computer networks and security. It is a collection of selected high-quality research papers from the International Conference on Data Science, Intelligent Computing and Cyber Security (ICDIC 2020) organized by Sree Vidyanikethan Engineering College, Tirupati, India, during 27–29 February 2020. It discusses the latest challenges and solutions in the field of data innovation, data management, data analysis, data security, and intelligent methods and applications.
Intelligent Computing and Applications: Proceedings of ICICA 2019 (Advances in Intelligent Systems and Computing #1172)
by Bijaya Ketan Panigrahi Swagatam Das Subhransu Sekhar DashThis book presents the peer-reviewed proceedings of the 5th International Conference on Intelligent Computing and Applications (ICICA 2019), held in Ghaziabad, India, on December 6–8, 2019. The contributions reflect the latest research on advanced computational methodologies such as neural networks, fuzzy systems, evolutionary algorithms, hybrid intelligent systems, uncertain reasoning techniques, and other machine learning methods and their applications to decision-making and problem-solving in mobile and wireless communication networks.
Intelligent Computing and Automation: Proceedings of the 12th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2024) (Smart Innovation, Systems and Technologies #421)
by Vikrant Bhateja Milan Simic Maitreyee DeyThe book presents the proceedings of the 12th International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA 2024), held at Intelligent Systems Research Group (ISRG), London Metropolitan University, London, United Kingdom, during June 6–7, 2024. Researchers, scientists, engineers and practitioners exchange new ideas and experiences in the domain of intelligent computing theories with prospective applications in various engineering disciplines in the book. This book is divided into four volumes. It covers broad areas of information and decision sciences, with papers exploring both the theoretical and practical aspects of data-intensive computing, data mining, evolutionary computation, knowledge management and networks, sensor networks, signal processing, wireless networks, protocols and architectures. This book is a valuable resource for postgraduate students in various engineering disciplines.
Intelligent Computing and Big Data Analytics: First International Conference, ICICBDA 2024, Navi Mumbai, India, June 15–16, 2024, Proceedings, Part-I (Communications in Computer and Information Science #2234)
by Vishwesh Vyawahare Mukesh Patil Gajanan BirajdarThis book constitutes the refereed proceedings of the First International Conference on Intelligent Computing and Big Data Analytics, ICICBDA 2024, held in Navi Mumbai, India, during June 15–16, 2024. The 48 full papers presented were carefully reviewed and selected from 275 submissions. The accepted submissions report original and novel results in various fields like Intelligent Security systems, Big Data Analytics, AI and ML applications, intelligent systems, Deep Learning, Blockchain, and many more.
Intelligent Computing and Big Data Analytics: First International Conference, ICICBDA 2024, Navi Mumbai, India, June 15–16, 2024, Proceedings, Part-II (Communications in Computer and Information Science #2235)
by Vishwesh Vyawahare Mukesh Patil Gajanan BirajdarThis book constitutes the refereed proceedings of the First International Conference on Intelligent Computing and Big Data Analytics, ICICBDA 2024, held in Navi Mumbai, India, during June 15–16, 2024. The 48 full papers presented were carefully reviewed and selected from 275 submissions. The accepted submissions report original and novel results in various fields like Intelligent Security systems, Big Data Analytics, AI and ML applications, intelligent systems, Deep Learning, Blockchain, and many more.
Intelligent Computing and Communication for the Internet of Vehicles (SpringerBriefs in Computer Science)
by Lian Zhao Jie Gao Xuemin (Sherman) Shen Mushu LiThis book investigates intelligent network resource management for IoV, with the objective of maximizing the communication and computing performance of vehicle users. Focusing on two representative use cases in IoV, i.e., safety message broadcast and autonomous driving, the authors propose link-layer protocol design and application-layer computing task scheduling to achieve the objective given the unique characteristics and requirements of IoV. In particular, this book illustrates the challenges of resource management for IoV due to network dynamics, such as time-varying traffic intensity and vehicle mobility, and presents intelligent resource management solutions to adapt to the network dynamics. The Internet of Vehicles (IoV) enables vehicle-to-everything connectivity and supports a variety of applications for vehicles on the road.Intelligent resource management is critical for satisfying demanding communication and computing requirements on IoV, while the highly dynamic network environments pose challenges to the design of resource management schemes. This book provides insights into the significance of adaptive resource management in improving the performance of IoV. The customized communication protocol and computing scheduling scheme are designed accordingly by taking the network dynamics information as an integral design factor. Moreover, the decentralized designs of the proposed solutions guarantee low signaling overhead and high scalability.A comprehensive literature review summarizing recent resource management schemes in IoV, followed by the customized design of communication and computing solutions for the two IoV use cases is included which can serve as a useful reference for professionals from both academia and industry in the area of IoV and resource management. Researchers working within this field and computer science and electrical engineering students will find this book useful as well.