- Table View
- List View
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: 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: 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 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: 4th BenchCouncil International Symposium, IC 2024, Guangzhou, China, December 4–6, 2024, Revised Selected Papers (Communications in Computer and Information Science #2517)
by Weiping Li Chunjie LuoThis book constitutes the proceedings of the 4th BenchCouncil International Symposium on Intelligent Computers, Algorithms, and Applications, IC 2024, held in Guangzhou, China, during December 4–6, 2024. The 16 full papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Algorithms; Education; Evaluation; System.
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 Yanchun Zhang Wanling Gao Christophe CruzThis 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 & 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 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
by De-Shuang Huang Kyungsook Han Abir HussainThis book - in conjunction with the volumes LNCS 8588 and LNBI 8590 - constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014. The 85 papers of this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections such as soft computing; artificial bee colony algorithms; unsupervised learning; kernel methods and supporting vector machines; machine learning; fuzzy theory and algorithms; image processing; intelligent computing in computer vision; intelligent computing in communication networks; intelligent image/document retrievals; intelligent data analysis and prediction; intelligent agent and Web applications; intelligent fault diagnosis; knowledge representation/reasoning; knowledge discovery and data mining; natural language processing and computational linguistics; next gen sequencing and metagenomics; intelligent computing in scheduling and engineering optimization; advanced modeling, control and optimization techniques for complex engineering systems; complex networks and their applications; time series forecasting and analysis using artificial neural networks; computer human interaction using multiple visual cues and intelligent computing; biometric system and security for intelligent computing.
Intelligent Computing Methodologies
by De-Shuang Huang Kyungsook Han Abir Hussain M. Michael GromihaThis book - in conjunction with the volumes LNCS 8588 and LNBI 8590 - constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014. The 85 papers of this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections such as soft computing; artificial bee colony algorithms; unsupervised learning; kernel methods and supporting vector machines; machine learning; fuzzy theory and algorithms; image processing; intelligent computing in computer vision; intelligent computing in communication networks; intelligent image/document retrievals; intelligent data analysis and prediction; intelligent agent and Web applications; intelligent fault diagnosis; knowledge representation/reasoning; knowledge discovery and data mining; natural language processing and computational linguistics; next gen sequencing and metagenomics; intelligent computing in scheduling and engineering optimization; advanced modeling, control and optimization techniques for complex engineering systems; complex networks and their applications; time series forecasting and analysis using artificial neural networks; computer human interaction using multiple visual cues and intelligent computing; biometric system and security for intelligent computing.
Intelligent Computing Methodologies: 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part III (Lecture Notes in Computer Science #10956)
by De-Shuang Huang Kyungsook Han Abir Hussain M. Michael GromihaThis book constitutes - in conjunction with the two-volume set LNCS 10954 and LNCS 10955 - the refereed proceedings of the 14th International Conference on Intelligent Computing, ICIC 2018, held in Wuhan, China, in August 2018. The 275 full papers and 72 short papers of the three proceedings volumes were carefully reviewed and selected from 632 submissions. The papers are organized in topical sections such as Evolutionary Computation and Learning; Neural Networks; Pattern Recognition; Image Processing; Information Security; Virtual Reality and Human-Computer Interaction; Business Intelligence and Multimedia Technology; Biomedical Informatics Theory and Methods; Swarm Intelligence and Optimization; Natural Computing; Quantum Computing; Intelligent Computing in Computer Vision; Fuzzy Theory and Algorithms; Machine Learning; Systems Biology; Intelligent Systems and Applications for Bioengineering; Evolutionary Optimization: Foundations and Its Applications to Intelligent Data Analytics; Swarm Evolutionary Algorithms for Scheduling and Combinatorial Optimization; Swarm Intelligence and Applications in Combinatorial Qoptimization; Advances in Metaheuristic Optimization Algorithm; Advances in Image Processing and Pattern Techniques; Bioinformatics.
Intelligent Computing Methodologies: 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part III (Lecture Notes in Computer Science #11645)
by De-Shuang Huang Abir Hussain Zhi-Kai HuangThis two-volume set of LNCS 11643 and LNCS 11644 constitutes - in conjunction with the volume LNAI 11645 - the refereed proceedings of the 15th International Conference on Intelligent Computing, ICIC 2019, held in Nanchang, China, in August 2019. The 217 full papers of the three proceedings volumes were carefully reviewed and selected from 609 submissions.The ICIC theme unifies 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. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.” Papers related to this theme are especially solicited, including theories, methodologies, and applications in science and technology.
Intelligent Computing Methodologies: 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part III (Lecture Notes in Computer Science #12465)
by Prashan Premaratne De-Shuang HuangThis two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings of the 16th International Conference on Intelligent Computing, ICIC 2020, held in Bari, Italy, in October 2020. The 162 full papers of the three proceedings volumes were carefully reviewed and selected from 457 submissions. The ICIC theme unifies 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. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.” Papers related to this theme are especially solicited, addressing theories, methodologies, and applications in science and technology.
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
by Anabel Martin-Gonzalez Victor Uc-CetinaThis book contains the reviewed, accepted contributions ofthe First International Symposium on Intelligent Computing Systems (ISICS) that was held in Merida (Mexico) from 16-18 March 2016. We received 25 submissions from 13 countries. Eachsubmission had been evaluated by at least three members of the ProgramCommittee and external reviewers. Based on these reviews, 12 papers wereselected for long oral presentation. In addition to the contributed papers,four keynote speaker presentations were included in the conference program.
Intelligent Computing Systems
by Lakhmi C. Jain Maria Virvou George A. TsihrintzisThis book at hand explores emerging scientific and technological areas in which Intelligent Computing Systems provide efficient solutions and,thus, may play a role in the years to come. It demonstrates how Intelligent Computing Systems make use of computational methodologies that mimic nature-inspired processes to address real world problems of high complexity for which exact mathematical solutions, based on physical and statistical modelling, are intractable. Common intelligent computational methodologies are presented including artificial neural networks, evolutionary computation,genetic algorithms, artificial immune systems, fuzzy logic, swarm intelligence, artificial life, virtual worlds and hybrid methodologies based on combinations of the previous. The book will be useful to researchers, practitioners and graduate students dealing with mathematically-intractable problems. It is intended for both the expert/researcher in the field of Intelligent Computing Systems, as well as for the general reader in the fields of Artificial and Computational Intelligence who wishes to learn more about the field of Intelligent Computing Systems and its applications. An extensive list of bibliographic references at the end of each chapter guides the reader to probe further into application area of interest to him/her.
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: Second International Symposium, Isics 2018, Merida, Mexico, March 21-23, 2018, Proceedings (Communications In Computer And Information Science #820)
by Carlos Brito-Loeza Arturo Espinosa-RomeroThis book constitutes the proceedings of the Second International Symposium on Intelligent Computing Systems, ISICS 2018, held in Merida, Mexico, in March 2018. The 12 papers presented in this volume were carefully reviewed and selected from 28 submissions. They deal with the field of intelligent computing systems focusing on 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.