- Table View
- List View
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: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings (Lecture Notes in Computer Science #12236)
by Bruce Miller Christoph BenzmüllerThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic.
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 Computer Mathematics
by Volker Sorge Florian Rabe Cezary Kaliszyk Jacques Carette Manfred KerberThis book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.
Intelligent Computer Mathematics
by Frank Tompa Leonardo De Moura Bruce Miller Moa Johansson Michael KohlhaseThis book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.
Intelligent Computer Systems in Engineering Design
by Staffan SunnersjöThisintroductory book discusses how to plan and build useful, reliable,maintainable and cost efficient computer systems for automated engineeringdesign. The book takes a user perspective and seeks to bridge the gap betweentexts on principles of computer science and the user manuals for commercialdesign automation software. The approach taken is top-down, following the pathfrom definition of the design task and clarification of the relevant designknowledge to the development of an operational system well adapted for its purpose. This introductory text for the practicing engineer working in industry coversmost vital aspects of planning such a system. Experiences from applications ofautomated design systems in practice are reviewed based on a large number ofreal, industrial cases. The principles behind the most popular methods indesign automation are presented with sufficient rigour to give the userconfidence in applying them on real industrial problems. This book is alsosuited for a half semester course at graduate level and has been complementedby suggestions for student assignments grown out of the lecture notes of twopostgraduate courses given annually or biannually during the last ten years atthe Product development program at the School of Engineering at JönköpingUniversity.
Intelligent Computers, Algorithms, and Applications: Third BenchCouncil International Symposium, IC 2023, Sanya, China, December 3–6, 2023, Revised Selected Papers (Communications in Computer and Information Science #2036)
by Christophe Cruz Yanchun Zhang Wanling GaoThis book constitutes the proceedings of the First BenchCouncil International Symposium on Intelligent Computers, Algorithms, and Applications, IC 2023, which took place in Sanya, China, in December 2023. The 18 full papers and 8 short papers included in this book were carefully reviewed and selected from 50 submissions. They were organized in topical sections as follows: AI Algorithms and Systems; AI for Ocean science and engineering; AI in finance; AI for education; AI for materials science and engineering; AI for medicine; AI for civil aviation; AI for high energy physics; AI for law.
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 2019 Computing Conference, Volume 2 (Advances in Intelligent Systems and Computing #998)
by Kohei Arai Rahul Bhatia Supriya KapoorThis book presents the proceedings of the Computing Conference 2019, providing a comprehensive collection of chapters focusing on core areas of computing and their real-world applications. Computing is an extremely broad discipline, encompassing a range of specialized fields, each focusing on particular areas of technology and types of application, and the conference offered pioneering researchers, scientists, industrial engineers, and students from around the globe a platform to share new ideas and development experiences. Providing state-of-the-art intelligent methods and techniques for solving real- world problems, the book inspires further research and technological advances in this important area.
Intelligent Computing: Volume 2 (Advances In Intelligent Systems and Computing #881)
by Kohei Arai Supriya Kapoor Rahul BhatiaThis book, gathering the Proceedings of the 2018 Computing Conference, offers a remarkable collection of chapters covering a wide range of topics in intelligent systems, computing and their real-world applications. The Conference attracted a total of 568 submissions from pioneering researchers, scientists, industrial engineers, and students from all around the world. These submissions underwent a double-blind peer review process. Of those 568 submissions, 192 submissions (including 14 poster papers) were selected for inclusion in these proceedings. Despite computer science’s comparatively brief history as a formal academic discipline, it has made a number of fundamental contributions to science and society—in fact, along with electronics, it is a founding science of the current epoch of human history (‘the Information Age’) and a main driver of the Information Revolution. The goal of this conference is to provide a platform for researchers to present fundamental contributions, and to be a premier venue for academic and industry practitioners to share new ideas and development experiences. This book collects state of the art chapters on all aspects of Computer Science, from classical to intelligent. It covers both the theory and applications of the latest computer technologies and methodologies. Providing the state of the art in intelligent methods and techniques for solving real-world problems, along with a vision of future research, the book will be interesting and valuable for a broad readership.
Intelligent Computing: Volume 2 (Advances In Intelligent Systems and Computing #881)
by Kohei Arai Supriya Kapoor Rahul BhatiaThis book, gathering the Proceedings of the 2018 Computing Conference, offers a remarkable collection of chapters covering a wide range of topics in intelligent systems, computing and their real-world applications. The Conference attracted a total of 568 submissions from pioneering researchers, scientists, industrial engineers, and students from all around the world. These submissions underwent a double-blind peer review process. Of those 568 submissions, 192 submissions (including 14 poster papers) were selected for inclusion in these proceedings. Despite computer science’s comparatively brief history as a formal academic discipline, it has made a number of fundamental contributions to science and society—in fact, along with electronics, it is a founding science of the current epoch of human history (‘the Information Age’) and a main driver of the Information Revolution. The goal of this conference is to provide a platform for researchers to present fundamental contributions, and to be a premier venue for academic and industry practitioners to share new ideas and development experiences. This book collects state of the art chapters on all aspects of Computer Science, from classical to intelligent. It covers both the theory and applications of the latest computer technologies and methodologies. Providing the state of the art in intelligent methods and techniques for solving real-world problems, along with a vision of future research, the book will be interesting and valuable for a broad readership.
Intelligent Computing: Proceedings of the 2019 Computing Conference, Volume 1 (Advances in Intelligent Systems and Computing #997)
by Kohei Arai Supriya Kapoor Rahul BhatiaThis book presents the proceedings of the Computing Conference 2019, providing a comprehensive collection of chapters focusing on core areas of computing and their real-world applications. Computing is an extremely broad discipline, encompassing a range of specialized fields, each focusing on particular areas of technology and types of application, and the conference offered pioneering researchers, scientists, industrial engineers, and students from around the globe a platform to share new ideas and development experiences. Providing state-of-the-art intelligent methods and techniques for solving real- world problems, the book inspires further research and technological advances 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
by Durbadal Mandal Rajib Kar Swagatam Das Bijaya Ketan PanigrahiThe idea of the 1st International Conference on Intelligent Computing and Applications (ICICA 2014) is to bring the Research Engineers, Scientists, Industrialists, Scholars and Students together from in and around the globe to present the on-going research activities and hence to encourage research interactions between universities and industries. The conference provides opportunities for the delegates to exchange new ideas, applications and experiences, to establish research relations and to find global partners for future collaboration. The proceedings covers latest progresses in the cutting-edge research on various research areas of Image, Language Processing, Computer Vision and Pattern Recognition, Machine Learning, Data Mining and Computational Life Sciences, Management of Data including Big Data and Analytics, Distributed and Mobile Systems including Grid and Cloud infrastructure, Information Security and Privacy, VLSI, Electronic Circuits, Power Systems, Antenna, Computational fluid dynamics & Heat transfer, Intelligent Manufacturing, Signal Processing, Intelligent Computing, Soft Computing, Bio-informatics, Bio Computing, Web Security, Privacy and E-Commerce, E-governance, Service Orient Architecture, Data Engineering, Open Systems, Optimization, Communications, Smart wireless and sensor Networks, Smart Antennae, Networking and Information security, Machine Learning, Mobile Computing and Applications, Industrial Automation and MES, Cloud Computing, Green IT, IT for Rural Engineering, Business Computing, Business Intelligence, ICT for Education for solving hard problems, and finally to create awareness about these domains to a wider audience of practitioners.
Intelligent Computing and Block Chain: First BenchCouncil International Federated Conferences, FICC 2020, Qingdao, China, October 30 – November 3, 2020, Revised Selected Papers (Communications in Computer and Information Science #1385)
by Wanling Gao Kai Hwang Changyun Wang Weiping Li Zhigang Qiu Lei Wang Aoying Zhou Weining Qian Cheqing Jin Zhifei ZhangThis book constitutes the refereed post-conference proceedings of the Second BenchCouncil International Federated Intelligent Computing and Block Chain Conferences, FICC 2020, held in Qingdao, China, in October/ November 2020.The 32 full papers and 6 short papers presented were carefully reviewed and selected from 103 submissions. The papers of this volume are organized in topical sections on AI and medical technology; AI and big data; AI and block chain; AI and education technology; and AI and financial technology.
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.
Intelligent Computing and Communication for the Internet of Vehicles (SpringerBriefs in Computer Science)
by Mushu Li Jie Gao Xuemin (Sherman) Shen Lian ZhaoThis 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.
Intelligent Computing and Information and Communication
by Subhash Bhalla Vikrant Bhateja Anjali A. Chandavale Anil S. Hiwale Suresh Chandra SatapathyThe volume presents high quality research papers presented at Second International Conference on Information and Communication Technology for Intelligent Systems (ICICC 2017). The conference was held during 2-4 August 2017, Pune, India and organized communally by Dr. Vishwanath Karad MIT World Peace University, Pune, India at MIT College of Engineering, Pune and supported by All India Council for Technical Education (AICTE) and Council of Scientific and Industrial Research (CSIR). The volume contains research papers focused on ICT for intelligent computation, communications and audio, and video data processing.
Intelligent Computing and Innovation on Data Science: Proceedings of ICTIDS 2021 (Lecture Notes in Networks and Systems #248)
by Sheng-Lung Peng Sun-Yuan Hsieh Suseendran Gopalakrishnan Balaganesh DuraisamyThis book gathers high-quality papers presented at 2nd International Conference on Technology Innovation and Data Sciences (ICTIDS 2021), organized by Lincoln University, Malaysia from 19 – 20 February 2021. It covers wide range of recent technologies like artificial intelligence and machine learning, big data and data sciences, Internet of Things (IoT), and IoT-based digital ecosystem. The book brings together works from researchers, scientists, engineers, scholars and students in the areas of engineering and technology, and provides an opportunity 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 common man.
Intelligent Computing and Innovation on Data Science: Proceedings of ICTIDS 2019 (Lecture Notes in Networks and Systems #118)
by Sheng-Lung Peng Le Hoang Son G. Suseendran D. BalaganeshThis book covers both basic and high-level concepts relating to the intelligent computing paradigm and data sciences in the context of distributed computing, big data, data sciences, high-performance computing and Internet of Things. It is becoming increasingly important to develop adaptive, intelligent computing-centric, energy-aware, secure and privacy-aware systems in high-performance computing and IoT applications. In this context, the book serves as a useful guide for industry practitioners, and also offers beginners a comprehensive introduction to basic and advanced areas of intelligent computing. Further, it provides a platform for researchers, engineers, academics and industrial professionals around the globe to showcase their recent research concerning recent trends. Presenting novel ideas and stimulating interesting discussions, the book appeals to researchers and practitioners working in the field of information technology and computer science.