- Table View
- List View
Intelligent Communication Technologies and Virtual Mobile Networks: Proceedings of ICICV 2022 (Lecture Notes on Data Engineering and Communications Technologies #131)
by G. Rajakumar Ke-Lin Du Chandrasekar Vuppalapati Grigorios N. BeligiannisThe book is a collection of high-quality research papers presented at Intelligent Communication Technologies and Virtual Mobile Networks (ICICV), held at Francis Xavier Engineering College, Tirunelveli, Tamil Nadu, India, during February 10–11, 2022. The book shares knowledge and results in theory, methodology and applications of communication technology and mobile networks. The book covers innovative and cutting-edge work of researchers, developers and practitioners from academia and industry working in the area of computer networks, network protocols and wireless networks, data communication technologies and network security.
Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings (Lecture Notes in Computer Science #13467)
by Kevin Buzzard Temur KutsiaThis 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 Catherine Dubois Manfred KerberThis 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: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings (Lecture Notes in Computer Science #12833)
by Fairouz Kamareddine Claudio Sacerdoti CoenThis book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 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.* The conference was held virtually due to the COVID-19 pandemic.
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 Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Lecture Notes in Computer Science #11006)
by Florian Rabe William M. Farmer Grant O. Passmore Abdou YoussefThis book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.
Intelligent Computing: Proceedings of the 2021 Computing Conference, Volume 3 (Lecture Notes in Networks and Systems #285)
by Kohei AraiThis 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.
Intelligent Computing: Proceedings of the 2021 Computing Conference, Volume 2 (Lecture Notes in Networks and Systems #284)
by Kohei AraiThis 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.
Intelligent Computing: Proceedings of the 2021 Computing Conference, Volume 1 (Lecture Notes in Networks and Systems #283)
by Kohei AraiThis 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.
Intelligent Computing: Proceedings of the 2022 Computing Conference, Volume 1 (Lecture Notes in Networks and Systems #506)
by Kohei AraiThe book, “Intelligent Computing - Proceedings of the 2022 Computing Conference”, 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 2022 held on July 14-15, 2022. Computing 2022 attracted a total of 498 submissions which underwent a double-blind peer-review process. Of those 498 submissions, 179 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 book 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 will be a trigger for further related research and technology improvements in this important subject.
Intelligent Computing: Proceedings of the 2022 Computing Conference, Volume 2 (Lecture Notes in Networks and Systems #507)
by Kohei AraiThe book, “Intelligent Computing - Proceedings of the 2022 Computing Conference”, 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 2022 held on July 14–15, 2022. Computing 2022 attracted a total of 498 submissions which underwent a double-blind peer-review process. Of those 498 submissions, 179 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 book 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 will be a trigger for further related research and technology improvements in this important subject.
Intelligent Computing: Proceedings of the 2022 Computing Conference, Volume 3 (Lecture Notes in Networks and Systems #508)
by Kohei AraiThe book, “Intelligent Computing - Proceedings of the 2022 Computing Conference”, 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 2022 held on July 14-15, 2022. Computing 2022 attracted a total of 498 submissions which underwent a double-blind peer-review process. Of those 498 submissions, 179 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 book 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 will be a trigger for further related research and technology improvements in this important subject.
Intelligent Computing: Proceedings of the 2023 Computing Conference, Volume 2 (Lecture Notes in Networks and Systems #739)
by Kohei AraiThis book is a collection of extremely well-articulated, insightful and unique state-ofthe-art papers presented at the Computing Conference which took place in London on June 22–23, 2023. A total of 539 papers were received out of which 193 were selected for presenting after double-blind peer-review. The book covers a wide range of scientific topics including IoT, Artificial Intelligence, Computing, Data Science, Networking, Data security and Privacy, etc. The conference was successful in reaping the advantages of both online and offline modes. 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 book interesting and valuable. We also expect that the conference and its publications will be a trigger for further related research and technology improvements in this important subject.
Intelligent Computing: Proceedings of the 2023 Computing Conference, Volume 1 (Lecture Notes in Networks and Systems #711)
by Kohei AraiThis book is a collection of insightful and unique state-of the-art papers presented at the Computing Conference which took place in London on June 22–23, 2023. A total of 539 papers were received out of which 193 were selected for presenting after double-blind peer-review. The book covers a wide range of scientific topics including IoT, Artificial Intelligence, Computing, Data Science, Networking, Data security and Privacy, etc. The conference was successful in reaping the advantages of both online and offline modes. 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 book interesting and valuable. We also expect that the conference and its publications will be a trigger for further related research and technology improvements in this important subject.
Intelligent Computing: Proceedings of the 2024 Computing Conference, Volume 1 (Lecture Notes in Networks and Systems #1016)
by Kohei AraiExplore the forefront of computing with the proceedings of the Computing Conference 2024. Featuring 165 carefully selected papers from a pool of 457 submissions, this collection encapsulates the cutting-edge research and innovation presented during the conference. Delve into a diverse range of topics, insights, and methodologies that shape the future of computing. Whether you're an academic, researcher, or enthusiast, this concise volume offers a snapshot of the dynamic and collaborative spirit defining the Computing Conference 2024.
Intelligent Computing: Proceedings of the 2024 Computing Conference, Volume 4 (Lecture Notes in Networks and Systems #1019)
by Kohei AraiExplore the forefront of computing with the proceedings of the Computing Conference 2024. Featuring 165 carefully selected papers from a pool of 457 submissions, this collection encapsulates the cutting-edge research and innovation presented during the conference. Delve into a diverse range of topics, insights, and methodologies that shape the future of computing. Whether you're an academic, researcher, or enthusiast, this concise volume offers a snapshot of the dynamic and collaborative spirit defining the Computing Conference 2024.
Intelligent Computing: Proceedings of the 2024 Computing Conference, Volume 3 (Lecture Notes in Networks and Systems #1018)
by Kohei AraiExplore the forefront of computing with the proceedings of the Computing Conference 2024. Featuring 165 carefully selected papers from a pool of 457 submissions, this collection encapsulates the cutting-edge research and innovation presented during the conference. Delve into a diverse range of topics, insights, and methodologies that shape the future of computing. Whether you're an academic, researcher, or enthusiast, this concise volume offers a snapshot of the dynamic and collaborative spirit defining the Computing Conference 2024.
Intelligent Computing: Proceedings of the 2024 Computing Conference, Volume 2 (Lecture Notes in Networks and Systems #1017)
by Kohei AraiExplore the forefront of computing with the proceedings of the Computing Conference 2024. Featuring 165 carefully selected papers from a pool of 457 submissions, this collection encapsulates the cutting-edge research and innovation presented during the conference. Delve into a diverse range of topics, insights, and methodologies that shape the future of computing. Whether you're an academic, researcher, or enthusiast, this concise volume offers a snapshot of the dynamic and collaborative spirit defining the Computing Conference 2024.
Intelligent Computing: Proceedings of the 2020 Computing Conference, Volume 2 (Advances in Intelligent Systems and Computing #1229)
by Kohei Arai Supriya Kapoor Rahul BhatiaThis book focuses on the core areas of computing and their applications in the real world. Presenting papers from the Computing Conference 2020 covers a diverse range of research areas, describing various detailed techniques that have been developed and implemented.The Computing Conference 2020, which provided a venue for academic and industry practitioners to share new ideas and development experiences, attracted a total of 514 submissions from pioneering academic researchers, scientists, industrial engineers and students from around the globe. Following a double-blind, peer-review process, 160 papers (including 15 poster papers) were selected to be included in these proceedings.Featuring state-of-the-art intelligent methods and techniques for solving real-world problems, the book is a valuable resource and will inspire further research and technological improvements in this important area.
Intelligent Computing: Proceedings of the 2020 Computing Conference, Volume 1 (Advances in Intelligent Systems and Computing #1228)
by Kohei Arai Supriya Kapoor Rahul BhatiaThis book focuses on the core areas of computing and their applications in the real world. Presenting papers from the Computing Conference 2020 covers a diverse range of research areas, describing various detailed techniques that have been developed and implemented.The Computing Conference 2020, which provided a venue for academic and industry practitioners to share new ideas and development experiences, attracted a total of 514 submissions from pioneering academic researchers, scientists, industrial engineers and students from around the globe. Following a double-blind, peer-review process, 160 papers (including 15 poster papers) were selected to be included in these proceedings.Featuring state-of-the-art intelligent methods and techniques for solving real-world problems, the book is a valuable resource and will inspire further research and technological improvements in this important area.
Intelligent Computing: Proceedings of the 2020 Computing Conference, Volume 3 (Advances in Intelligent Systems and Computing #1230)
by Kohei Arai Supriya Kapoor Rahul BhatiaThis book focuses on the core areas of computing and their applications in the real world. Presenting papers from the Computing Conference 2020 covers a diverse range of research areas, describing various detailed techniques that have been developed and implemented.The Computing Conference 2020, which provided a venue for academic and industry practitioners to share new ideas and development experiences, attracted a total of 514 submissions from pioneering academic researchers, scientists, industrial engineers and students from around the globe. Following a double-blind, peer-review process, 160 papers (including 15 poster papers) were selected to be included in these proceedings.Featuring state-of-the-art intelligent methods and techniques for solving real-world problems, the book is a valuable resource and will inspire further research and technological improvements in this important area.
Intelligent Computing and Applications: Proceedings of ICDIC 2020 (Smart Innovation, Systems and Technologies #315)
by B. Narendra Kumar Rao R. Balasubramanian Shiuh-Jeng Wang Richi NayakThis 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 Subhransu Sekhar Dash Swagatam Das Bijaya Ketan PanigrahiThis 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 Communication: Proceedings of 3rd ICICC 2019, Bangalore (Advances in Intelligent Systems and Computing #1034)
by Suresh Chandra Satapathy Vikrant Bhateja V. N. Manjunath Aradhya Yu-Dong ZhangThis book features a collection of high-quality, peer-reviewed papers presented at the Third International Conference on Intelligent Computing and Communication (ICICC 2019) held at the School of Engineering, Dayananda Sagar University, Bengaluru, India, on 7 – 8 June 2019. Discussing advanced and multi-disciplinary research regarding the design of smart computing and informatics, it focuses on innovation paradigms in system knowledge, intelligence and sustainability that can be applied to provide practical solutions to a number of problems in society, the environment and industry. Further, the book also addresses the deployment of emerging computational and knowledge transfer approaches, optimizing solutions in various disciplines of science, technology and healthcare.
Intelligent Computing and Communication: Proceedings of 6th ICICC 2022 (Advances in Intelligent Systems and Computing #1447)
by M. Seetha Sateesh K. Peddoju Vishnu Pendyala Vedula V. S. S. S. ChakravarthyThis book features a collection of high-quality, peer-reviewed papers presented at the Sixth International Conference on Intelligent Computing and Communication (ICICC 2022) organized by Department of Computer Science and Engineering, G. Narayanamma Institute of Technology and Science (for women) Autonomous, Hyderabad, India, on November 18–19, 2022. It focuses on innovation paradigms in system knowledge, intelligence, and sustainability that can be applied to provide practical solutions to a number of problems in society, the environment, and industry. Further, the book also addresses the deployment of emerging computational and knowledge transfer approaches, optimizing solutions in various disciplines of science, technology, and healthcare.