- Table View
- List View
Intelligent Communication Technologies and Virtual Mobile Networks: ICICV 2019 (Advances in Intelligent Systems and Computing #33)
by S. Balaji Álvaro Rocha Yi-Nan ChungThis book presents the outcomes of the Intelligent Communication Technologies and Virtual Mobile Networks Conference (ICICV 2019) held in Tirunelveli, India, on February 14–15, 2019. It presents the state of the art in the field, identifying emerging research topics and communication technologies and defining the future of intelligent communication approaches and virtual computing. In light of the tremendous growth ICT, it examines the rapid developments in virtual reality in communication technology and high-quality services in mobile networks, including the integration of virtual mobile computing and communication technologies, which permits new technologies based on the resources and services of computational intelligence, big data analytics, Internet of Things (IoT), 5G technology, automation systems, sensor networks, augmented reality, data mining, and vehicular ad hoc networks with massive cloud-based backend. These services have a significant impact on all areas of daily life, like transportation, e-commerce, health care, secure communication, location detection, smart home, smart city, social networks and many more.
Intelligent Communication Technologies and Virtual Mobile Networks: Proceedings of ICICV 2023 (Lecture Notes on Data Engineering and Communications Technologies #171)
by G. Rajakumar Ke-Lin Du Álvaro RochaThe book is a collection of high-quality research papers presented at Intelligent Communication Technologies and Virtual Mobile Networks (ICICV 2023), held at Francis Xavier Engineering College, Tirunelveli, Tamil Nadu, India, during February 16–17, 2023. 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 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 Comparisons: Analytic Inequalities
by George A. AnastassiouThis monograph presents recent and original work of the author on inequalities in real, functional and fractional analysis. The chapters are self-contained and can be read independently, they include an extensive list of references per chapter. The book's results are expected to find applications in many areas of applied and pure mathematics, especially in ordinary and partial differential equations and fractional differential equations. As such this monograph is suitable for researchers, graduate students, and seminars of the above subjects, as well as Science and Engineering University libraries.
Intelligent Comparisons II: Operator Inequalities and Approximations
by George A. AnastassiouThis compact book focuses on self-adjoint operators' well-known named inequalities and Korovkin approximation theory, both in a Hilbert space environment. It is the first book to study these aspects, and all chapters are self-contained and can be read independently. Further, each chapter includes an extensive list of references for further reading. The book's results are expected to find applications in many areas of pure and applied mathematics. Given its concise format, it is especially suitable for use in related graduate classes and research projects. As such, the book offers a valuable resource for researchers and graduate students alike, as well as a key addition to all science and engineering libraries.
Intelligent Computation and Analytics on Sustainable Energy and Environment: Proceedings of the 1st International Conference on Intelligent Computation and Analytics on Sustainable Energy and Environment (Conference Proceedings Series on Intelligent Systems, Data Engineering, and Optimization)
by Amarjit Roy Chiranjit Sain Raja Ram Kumar Sandip Chanda Valentina Emilia Balas Saad MekhilefThe 1st International Conference on Intelligent Computation and Analytics on Sustainable Energy (ICICASEE 2023) was held at Ghani Khan Choudhury Institute of Engineering & Technology (GKCIET), Malda, West Bengal, India. GKCIET is a premier engineering institute located in Malda, West Bengal, India. Being established in 2010, at present the institute offers B.Tech and Diploma Civil Engineering, Mechanical Engineering, Electrical Engineering, Computer Science and engineering and Food process□ing technology. The conference was aimed to provide a platform for researchers, academicians, indus□try professionals, and students to exchange knowledge and ideas on intelligent computation, analytics, and their applications in sustainable energy systems. The Department of Electrical Engineering of the institute hosted the conference from September 21–23, 2023.
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: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings (Lecture Notes in Computer Science #11617)
by Cezary Kaliszyk Edwin Brady Andrea Kohlhase Claudio Sacerdoti CoenThis book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value.
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.