- Table View
- List View
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science #14308)
by Yi Li Sofiène TaharThis book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.
AI-generated Content: First International Conference, AIGC 2023, Shanghai, China, August 25–26, 2023, Revised Selected Papers (Communications in Computer and Information Science #1946)
by Feng Zhao Duoqian MiaoThis book constitutes the revised selected papers of the First International Conference, AIGC 2023, held in Shanghai, China, during August 25–26, 2023The 30 full papers included in this volume were carefully reviewed and selected from 62 submissions. The volume focuses on the remarkable strides that have been made in the realm of artificial intelligence and its transformative impact on content creation. As delving into the content of the proceedings, the readers will encounter cutting-edge research findings, innovative applications, and thought-provoking insights that underscore the transformative potential of AI-generated content.
Advanced Computational Intelligence and Intelligent Informatics: 8th International Workshop, IWACIII 2023, Beijing, China, November 3–5, 2023, Proceedings, Part I (Communications in Computer and Information Science #1931)
by Bin Xin Naoyuki Kubota Kewei Chen Fangyan DongThis two-volume set constitutes the refereed proceedings of the 8th International Workshop on Advanced Computational Intelligence and Intelligent Informatics, IWACIII 2023, held in Beijing, China, in November 2023.The 56 papers presented were thoroughly reviewed and selected from the 118 qualifies submissions. They are organized in the topical sections on intelligent information processing; intelligent optimization and decision-making; pattern recognition and computer vision; advanced control; multi-agent systems; robotics.
Advanced Computational Intelligence and Intelligent Informatics: 8th International Workshop, IWACIII 2023, Beijing, China, November 3–5, 2023, Proceedings, Part II (Communications in Computer and Information Science #1932)
by Bin Xin Naoyuki Kubota Kewei Chen Fangyan DongThis two-volume set constitutes the refereed proceedings of the 8th International Workshop on Advanced Computational Intelligence and Intelligent Informatics, IWACIII 2023, held in Beijing, China, in November 2023.The 56 papers presented were thoroughly reviewed and selected from the 118 qualifies submissions. They are organized in the topical sections on intelligent information processing; intelligent optimization and decision-making; pattern recognition and computer vision; advanced control; multi-agent systems; robotics.
Social Media Processing: 11th Chinese National Conference, SMP 2023, Anhui, China, November 23–26, 2023, Proceedings (Communications in Computer and Information Science #1945)
by Feng Wu Xuanjing Huang Xiangnan He Jiliang Tang Shu Zhao Daifeng Li Jing ZhangThis book constitutes the thoroughly refereed proceedings of the 11th Chinese National Conference of Social Media Processing, SMP 2023, held in Anhui, China, in November 2023.The 16 full papers presented were carefully reviewed and selected from 88 submissions. The papers are organized in the topical sections on knowledge representation and reasoning; knowledge acquisition and knowledge base construction; linked data, knowledge integration, and knowledge graph storage management; natural language understanding and semantic computing; knowledge graph applications; knowledge graph open resources.
Advances in Computing and Information: Proceedings of ERCICA 2023, Volume 1 (Lecture Notes in Electrical Engineering #1104)
by N. R. Shetty N. H. Prasad N. NaliniThis book presents the proceedings of the International Conference on Emerging Research in Computing, Information, Communication and Applications (ERCICA) 2023. The conference provides an interdisciplinary forum for researchers, professional engineers and scientists, educators and technologists to discuss, debate and promote research and technology in the upcoming areas of computing, information, communication and their applications. Some of the topics include the Internet of Things (IoT), wireless communications, image and video processing, parallel and distributed computing, and smart grid applications, among others. The book discusses these emerging research areas, providing a valuable resource for researchers and practicing engineers alike.
Advances in Communication and Applications: Proceedings of ERCICA 2023, Volume 2 (Lecture Notes in Electrical Engineering #1105)
by N. R. Shetty N. H. Prasad H. C. NagarajThis book presents the proceedings of the International Conference on Emerging Research in Computing, Information, Communication and Applications (ERCICA) 2023. The conference provides an interdisciplinary forum for researchers, professional engineers and scientists, educators and technologists to discuss, debate and promote research and technology in the upcoming areas of computing, information, communication and their applications. Some of the topics include the Internet of Things (IoT), wireless communications, image and video processing, parallel and distributed computing, and smart grid applications, among others. The book discusses these emerging research areas, providing a valuable resource for researchers and practicing engineers alike.
From Digital Divide to Digital Inclusion: Challenges, Perspectives and Trends in the Development of Digital Competences (Lecture Notes in Educational Technology)
by Łukasz Tomczyk Francisco D. Guillén-Gámez Julio Ruiz-Palmero Akhmad HabibiThis book offers an expert perspective on two key phenomena in the development of the information society, namely digital inclusion and digital exclusion. Despite the intensive digitalization of various areas in human activity, the lack of proper information and communications technology (ICT) literacy, the lack of access to high-speed Internet, and the still unsatisfactory level of e-services are a reality in many regions and countries. This edited book presents a unique overview of research related to the dynamics of digital exclusion and the development of digital competences, as well as an analysis of the most effective educational solutions to foster the digital inclusion of disadvantaged groups. This book is particularly useful for educators dealing with the topic of digital exclusion and inclusion and who are looking for knowledge on enhancing digital competences in disadvantaged groups. It is also helpful for social policy makers involved in designing solutions to minimize various forms of digital exclusion. Finally, this book serves as a reference for academics and students from the disciplines of pedagogy, social policy, new media psychology, media sociology, and cultural anthropology.
Intelligent Systems and Data Science: First International Conference, ISDS 2023, Can Tho, Vietnam, November 11–12, 2023, Proceedings, Part I (Communications in Computer and Information Science #1949)
by Nguyen Thai-Nghe Thanh-Nghi Do Peter HaddawyThis two-volume set constitutes the refereed proceedings of the First International Conference on Intelligent Systems and Data Science, ISDS 2023, held in Can Tho, Vietnam, in November 2023.The 35 full papers and 13 short papers presented were thoroughly reviewed and selected from 123 submissions. They are organized in the following topical sections: applied intelligent systems and data science for agriculture, aquaculture, and biomedicine; big data, IoT, and cloud computing; deep learning and natural language processing; intelligent systems.
Dirty Data Processing for Machine Learning
by Zhixin Qi Hongzhi Wang Zejiao DongIn both the database and machine learning communities, data quality has become a serious issue which cannot be ignored. In this context, we refer to data with quality problems as “dirty data.” Clearly, for a given data mining or machine learning task, dirty data in both training and test datasets can affect the accuracy of results. Accordingly, this book analyzes the impacts of dirty data and explores effective methods for dirty data processing. Although existing data cleaning methods improve data quality dramatically, the cleaning costs are still high. If we knew how dirty data affected the accuracy of machine learning models, we could clean data selectively according to the accuracy requirements instead of cleaning all dirty data, which entails substantial costs. However, no book to date has studied the impacts of dirty data on machine learning models in terms of data quality. Filling precisely this gap, the book is intended for a broad audience ranging from researchers in the database and machine learning communities to industry practitioners. Readers will find valuable takeaway suggestions on: model selection and data cleaning; incomplete data classification with view-based decision trees; density-based clustering for incomplete data; the feature selection method, which reduces the time costs and guarantees the accuracy of machine learning models; and cost-sensitive decision tree induction approaches under different scenarios. Further, the book opens many promising avenues for the further study of dirty data processing, such as data cleaning on demand, constructing a model to predict dirty-data impacts, and integrating data quality issues into other machine learning models. Readers will be introduced to state-of-the-art dirty data processing techniques, and the latest research advances, while also finding new inspirations in this field.
Intelligent Systems and Data Science: First International Conference, ISDS 2023, Can Tho, Vietnam, November 11–12, 2023, Proceedings, Part II (Communications in Computer and Information Science #1950)
by Nguyen Thai-Nghe Thanh-Nghi Do Peter HaddawyThis two-volume set constitutes the refereed proceedings of the First International Conference on Intelligent Systems and Data Science, ISDS 2023, held in Can Tho, Vietnam, in November 2023.The 35 full papers and 13 short papers presented were thoroughly reviewed and selected from 123 submissions. They are organized in the following topical sections: applied intelligent systems and data science for agriculture, aquaculture, and biomedicine; big data, IoT, and cloud computing; deep learning and natural language processing; intelligent systems.
Data Economy in the Digital Age (Data-Intensive Research)
by Samiksha Shukla Kritica Bisht Kapil Tiwari Shahid BashirThe book is a comprehensive guide that explores the concept of data economy and its implications in today's world. The book discusses the principles and components of the ecosystem, the challenges and opportunities presented by data monetization, and the potential risks related to data privacy. Real-life examples and case studies are included to understand the concepts better. The book is suitable for individuals in data science, economics, business, and technology and for students, academics, and policymakers. It is an excellent read for anyone interested in the data economy.
Geomorphic Risk Reduction Using Geospatial Methods and Tools (Disaster Risk Reduction)
by Raju Sarkar Sunil Saha Basanta Raj Adhikari Rajib ShawThis book explores the use of advanced geospatial techniques in geomorphic hazards modelling and risk reduction. It also compares the accuracy of traditional statistical methods and advanced machine learning methods and addresses the different ways to reduce the impact of geomorphic hazards.In recent years with the development of human infrastructures, geomorphic hazards are gradually increasing, which include landslides, flood and soil erosion, among others. They cause huge loss of human property and lives. Especially in mountainous, coastal, arid and semi-arid regions, these natural hazards are the main barriers for economic development. Furthermore, human pressure and specific human actions such as deforestation, inappropriate land use and farming have increased the danger of natural disasters and degraded the natural environment, making it more difficult for environmental planners and policymakers to develop appropriate long-term sustainability plans. The most challenging task is to develop a sophisticated approach for continuous inspection and resolution of environmental problems for researchers and scientists. However, in the past several decades, geospatial technology has undergone dramatic advances, opening up new opportunities for handling environmental challenges in a more comprehensive manner.With the help of geographic information system (GIS) tools, high and moderate resolution remote sensing information, such as visible imaging, synthetic aperture radar, global navigation satellite systems, light detection and ranging, Quickbird, Worldview 3, LiDAR, SPOT 5, Google Earth Engine and others deliver state-of-the-art investigations in the identification of multiple natural hazards. For a thorough examination, advanced computer approaches focusing on cutting-edge data processing, machine learning and deep learning may be employed. To detect and manage various geomorphic hazards and their impact, several models with a specific emphasis on natural resources and the environment may be created.
Human-Centric Smart Computing: Proceedings of ICHCSC 2023 (Smart Innovation, Systems and Technologies #376)
by Siddhartha Bhattacharyya Jyoti Sekhar Banerjee Mario KöppenThis book includes high-quality research papers presented at the Second International Conference on Human-Centric Smart Computing (ICHCSC 2023), organized by the University of Engineering and Management, Jaipur, India, on 5–6 July 2023 in New Delhi, India. The topics covered in the book are human-centric computing, hyper connectivity, and data science. The book presents innovative work by leading academics, researchers, and experts from industry.
Theoretical Computer Science: 41st National Conference, NCTCS 2023, Guangzhou, China, July 21–23, 2023, Revised Selected Papers (Communications in Computer and Information Science #1944)
by Zhiping Cai Mingyu Xiao Jialin ZhangThis book constitutes the refereed proceedings of the 41st National Conference on Theoretical Computer Science, NCTCS 2023, held in Guangzhou, China, during July 21–23, 2023.The 16 full papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: theoretical computer science, algorithm complexity, artificial intelligence, algorithm design, machine learning theory, computational model, formal methods, network security, software and application security.
FPGA EDA: Design Principles and Implementation
by Kaihui Tu Xifan Tang Cunxi Yu Lana Josipović Zhufei ChuThis book focuses on FPGA EDA tools, the very foundation of FPGA technology. Instead of illustrating how to use them, this book dives into the tools themselves, revealing how these tools are being designed and how they may improve. Unlike other semiconductors, FPGA has a distinctive two-stage EDA system: chip design EDA and application design EDA.State-of-the-art algorithms, data models and design methodologies/standards are the main concerns of this book, and these will be very helpful for FPGA EDA engineers and researchers to obtain a bird’s eye view of this complicated knowledge system. In the chip design EDA part, full-custom and semicustom methodologies bring up ASIC-like EDA tools, and in the application design EDA side, typical topics including high-level synthesis, logic synthesis, physical implementation, bitstream configuration, etc., are well discussed.
Data Mining and Machine Learning in Sports: Success Metrics for Elite Goalkeepers in European Football Leagues (SpringerBriefs in Applied Sciences and Technology)
by Rabiu Muazu Musa Anwar P. Majeed Aina Munirah Ab Rasid Mohamad Razali AbdullahThis brief highlights the factors associated with good goalkeeping techniques and their impact on goalkeepers’ performance in elite European football leagues. The goalkeeping performances of 1600 goalkeepers from five consecutive seasons across the English Premier League, Spanish La Liga, Italian Serie A, and German Bundesliga are studied. The findings from this brief are useful for identifying the success metrices of top-class goalkeepers that help stakeholders to devise strategies to further enhance their performances and empower talent identification experts with pertinent information for mapping out future high-performance goalkeepers.
Applied Computing for Software and Smart Systems: Proceedings of ACSS 2023 (Lecture Notes in Networks and Systems #781)
by Rituparna Chaki Nabendu Chaki Agostino Cortesi Khalid SaeedThis book features a collection of high-quality research papers presented at the 10th International Symposium on Applied Computing for Software and Smart systems (ACSS 2023), to be held during September 15–16, 2023, in Kolkata, India. The book presents innovative works by undergraduate, graduate students as well as Ph.D. scholars. The emphasis of the workshop is on software and smart systems and research outcomes on other relevant areas pertaining to advancement of computing.
Information and Communication Technology in Technical and Vocational Education and Training for Sustainable and Equal Opportunity: Business Governance and Digitalization of Business Education (Technical and Vocational Education and Training: Issues, Concerns and Prospects #39)
by Reem Khamis Hamdan Allam Hamdan Bahaaeddin Alareeni Rim El KhouryThis book provides an in-depth analysis of current development concerning ICTs with reference to vocational education and training. It presents the best and innovative ICT-based solutions implemented in education and explores controversial topics such as challenges and opportunities. Information and communication technologies (ICTs) have dramatically changed the way we learn and work. They have created new opportunities along with new challenges, putting profound and urgent implications on vocational education and training (VET). Nowadays, we must think broadly and make the right choices about VET using innovation and digitalization to boost the quality of vocational education and training, enable the upskilling and reskilling of adults, and enhance the employability of learners. The potential and the impact of ICTs in vocational education and training have yet to be fully exploited, leading to an emerging direction of research. This book helps readers to understand the idea of business education and education governance in a digital age. It is of interest to practitioners, administrators, researchers, teachers, teacher educators and students.
Data Science and Applications: Proceedings of ICDSA 2023, Volume 4 (Lecture Notes in Networks and Systems #821)
by Satyasai Jagannath Nanda Rajendra Prasad Yadav Amir H. Gandomi Mukesh SaraswatThis book gathers outstanding papers presented at the International Conference on Data Science and Applications (ICDSA 2023), organized by Soft Computing Research Society (SCRS) and Malaviya National Institute of Technology Jaipur, India, from 14 to 15 July 2023. The book is divided into four volumes, and it covers theoretical and empirical developments in various areas of big data analytics, big data technologies, decision tree learning, wireless communication, wireless sensor networking, bioinformatics and systems, artificial neural networks, deep learning, genetic algorithms, data mining, fuzzy logic, optimization algorithms, image processing, computational intelligence in civil engineering, and creative computing.
Data Science and Applications: Proceedings of ICDSA 2023, Volume 3 (Lecture Notes in Networks and Systems #820)
by Satyasai Jagannath Nanda Rajendra Prasad Yadav Amir H. Gandomi Mukesh SaraswatThis book gathers outstanding papers presented at the International Conference on Data Science and Applications (ICDSA 2023), organized by Soft Computing Research Society (SCRS) and Malaviya National Institute of Technology Jaipur, India, from 14 to 15 July 2023. The book is divided into four volumes, and it covers theoretical and empirical developments in various areas of big data analytics, big data technologies, decision tree learning, wireless communication, wireless sensor networking, bioinformatics and systems, artificial neural networks, deep learning, genetic algorithms, data mining, fuzzy logic, optimization algorithms, image processing, computational intelligence in civil engineering, and creative computing.
Data Science and Applications: Proceedings of ICDSA 2023, Volume 2 (Lecture Notes in Networks and Systems #819)
by Satyasai Jagannath Nanda Rajendra Prasad Yadav Amir H. Gandomi Mukesh SaraswatThis book gathers outstanding papers presented at the International Conference on Data Science and Applications (ICDSA 2023), organized by Soft Computing Research Society (SCRS) and Malaviya National Institute of Technology Jaipur, India, from 14 to 15 July 2023. The book is divided into four volumes, and it covers theoretical and empirical developments in various areas of big data analytics, big data technologies, decision tree learning, wireless communication, wireless sensor networking, bioinformatics and systems, artificial neural networks, deep learning, genetic algorithms, data mining, fuzzy logic, optimization algorithms, image processing, computational intelligence in civil engineering, and creative computing.
Knowledge Management and Acquisition for Intelligent Systems: 19th Principle and Practice of Data and Knowledge Acquisition Workshop, PKAW 2023, Jakarta, Indonesia, November 15-16, 2023, Proceedings (Lecture Notes in Computer Science #14317)
by Shiqing Wu Wenli Yang Muhammad Bilal Amin Byeong-Ho Kang Guandong XuThis book constitutes the refereed proceedings of the 19th Principle and Practice of Data and Knowledge Acquisition Workshop, PKAW 2023, held in conjunction with the 20th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2023), in November 2023, in Jakarta, Indonesia. The 9 full papers and 2 short papers included in this volume were carefully reviewed and selected from 28 initial submissions. They are organized in the topical section such as machine learning, natural language processing, and intelligent systems.
Data Science and Applications: Proceedings of ICDSA 2023, Volume 1 (Lecture Notes in Networks and Systems #818)
by Satyasai Jagannath Nanda Rajendra Prasad Yadav Amir H. Gandomi Mukesh SaraswatThis book gathers outstanding papers presented at the International Conference on Data Science and Applications (ICDSA 2023), organized by Soft Computing Research Society (SCRS) and Malaviya National Institute of Technology Jaipur, India, from 14 to 15 July 2023. The book is divided into four volumes, and it covers theoretical and empirical developments in various areas of big data analytics, big data technologies, decision tree learning, wireless communication, wireless sensor networking, bioinformatics and systems, artificial neural networks, deep learning, genetic algorithms, data mining, fuzzy logic, optimization algorithms, image processing, computational intelligence in civil engineering, and creative computing.
Artificial Intelligence Logic and Applications: The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings (Communications in Computer and Information Science #1917)
by Songmao Zhang Yonggang ZhangThis book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5–6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions. This volume aims to provide novel ideas, original research achievements, and practical experiences in a broad range of artificial intelligence logic and applications.