Computer Science

This volume constitutes the refereed proceedings of the 5th International Conference of the  Immersive Learning Network, iLRN 2019, held in London, UK, in June 2019.

The 18 revised full papers and  presented in this volume were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on science, technology, engineering, and mathematics (STEM); disciplinary applications: special education; disciplinary applications: history; pedagogical strategies; immersion and presence.

This two-volume set constitutes the proceedings of the 5th Asian Conference on ACPR 2019, held in Auckland, New Zealand, in November 2019.
The 9 full papers presented in this volume were carefully reviewed and selected from 14 submissions. They cover topics such as: classification; action and video and motion; object detection and anomaly detection; segmentation, grouping and shape; face and body and biometrics; adversarial learning and networks; computational photography; learning theory and optimization; applications, medical and robotics; computer vision and robot vision; pattern recognition and machine learning; multi-media and signal processing and interaction.

This book explores the most recent Edge and Distributed Cloud computing research and industrial advances, settling the basis for Advanced Swarm Computing developments. It features the Swarm computing concepts and realizes it as an Ad-hoc Edge Cloud architecture.

After a first chapter that gently introduces the Prolog programming language using examples, the next 7 papers discuss general views of the language, possible extensions for the future, and how Prolog can generally be used to solve problems; the next 5 papers explore ideas and experiences of teaching Prolog programming and then 2 papers discuss technology that has been developed for help in that teaching; the next 3 papers describe new languages based on Prolog which show future directions for logic programming; the next 5 chapters explain the applications that were the finalists for the 2022 Alain Colmerauer Prize; and the final 8 papers describe applications developed using the Prolog language, demonstrating the language’s range.

This textbook highlights the essential need for a strong ethical framework in our approach to teaching of and working in computer, information and engineering sciences.

Through thought-provoking questions and case studies, the reader is challenged to consider the deeper implications arising from the use of today’s rapidly evolving computing technologies and ever-changing communication ecosystems.

This thoroughly revised and updated third edition features revised chapters with new and updated content and hardened the ethical framework. To cope with the rapidly changing computing and telecommunication ecosystem, a new chapter, Ethics and Social Responsibility in the Metaverse, has been added. The interface between our current universe and the evolving metaverse presents a security quagmire. The discussion throughout the book is candid and intended to ignite students’ and professionals’ interest and active participation in discussions of the issues we are facing now and those likely to emerge in the near future. 

Topics and features—including fully updated content:

• Introduces a philosophical framework and tools for understanding and analyzing computer ethics in personal, public, and professional spheres
• Describes the impact of computer technology on issues of security, privacy, anonymity, and civil liberties
• Discusses the security and ethical quagmire in the platforms of the developing metaverse (NEW chapter)
• Examines intellectual property rights in the context of computing, including the risks and liabilities associated with software
• Discusses such key social issues in computing as the digital divide, employee monitoring in the workplace, and risks to physical and mental health
• Reviews the history of computer crime, and the threat of digitally facilitated bullying, harassment, and discrimination
• Considers the ethical challenges arising from online social networks, mobile telecommunication technologies, virtual reality, the Internet of Things and 5G technologies
• Includes learning objectives, discussion questions and exercises throughout

This concise and accessible work addresses the critical ethical and moral issues important to all designers and users of computer technologies. The text incorporates the latest curricula requirements for undergraduate courses in computer science, as well as offers invaluable insights into the social impact and legal challenges posed by the latest generation of computing devices and networks.

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.

In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language.  Such programs as diagrams show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach.

Topics and features:

• Delivers a ‘crash’ diagram-based course in theory of computation
• Uses single-instruction diagrammatic programming language
• Offers a practical introduction into categories and string diagrams as computational tools
• Reveals how computability is programmability, rather than an ‘ether’ permeating computers
• Provides a categorical model of intensional computation is unique up to isomorphism
• Serves as a stepping stone into research of computable categories

In addition to its early chapters introducing computability for beginners, this flexible textbook/resource also contains both middle chapters that expand for suitability to a graduate course as well as final chapters opening up new research.

Dusko Pavlovic is a professor at the Department of Information and Computer Sciences at the University of Hawaii at Manoa, and by courtesy at the Department of Mathematics and the College of Engineering. He completed this book as an Excellence Professor at Radboud University in Nijmegen, The Netherlands.

This book is aimed at everyone preparing for the ISTQB® Certified Tester – Foundation Level exam based on the Foundation Level syllabus (version 4.0) published in 2023. It provides candidates with reliable knowledge based on this document and thus distinguishes itself from all the information about ISTQB® syllabi and exams on the Internet, which is often of rather poor quality and may even contain serious errors.

The book expands and details many issues that are described in the new 2023 version of the syllabus in a perfunctory or general way only. According to the ISTQB® guidelines for syllabus-based training, an exercise must be provided for each learning objective at the K3 level, and a practical example must be provided for each objective at the K2 or K3 level. In order to satisfy these requirements, the authors prepared numerous exercises and examples for all learning objectives at these levels. In addition, for each learning objective, one or more sample exam questions are presented which are similar to those that the candidate will see in the exam. This makes the book an excellent aid for studying and preparing for the exam and verifying acquired knowledge.

This book constitutes the proceedings of the 9th International Conference on Digital Economy, ICDEc 2024, held in Rabat, Morocco, during May 9-11, 2024. 

The 43 full papers were carefully reviewed and selected from 117 submissions. They were categorized under the topical sections as follows:

Part I: Digital Transformation, Digital Economy and Investment, Artificial Intelligence and E-learning, E-commerce and Social Media Marketing, Exploring the Nexus of Digital and Sustainable Economies in Developing States and Digital Business Models.

Part II: Application of Machine Learning for Business, Digital Technologies and Innovative Management, Social Networks and Information Technologies, Digital Economy in Emerging Countries Mobile Banking and Digital Assets, Online Session.

Embark on a captivating exploration of human-centered computing and AI, where the convergence of technology and human interaction unveils a world of endless possibilities. In the age of wireless communication, pervasive computing, and the Internet of Things, the synergy between humans and machines has never been more profound. This book delves deep into the heart of this symbiotic relationship, shedding light on the intricate dynamics that define our digital landscape.

From the humble human-computer communications, via simple interaction points, to the complex web of virtual networks, every aspect of this journey is meticulously examined. Through a lens of innovation and insight, we navigate within the complex terrain of user actions, individual differences, and algorithmic computations. At the core of our exploration lies a quest for understanding—a quest that transcends the boundaries of traditional research and ventures into the realm of cutting-edge technology. 

Special emphasis is placed on promoting original insights and paradigms, incorporating aspects derived from psychological theory and individual differences in adaptive computational systems and recommenders. Our goal is simple yet ambitious: by enhancing explainability, fairness, transparency, and decreasing bias during interactions, to empower users with greater control and understanding of the technologies that shape their lives.

Through a blend of visual storytelling and specialized textual contributions, we invite you to join us on this extraordinary journey. Whether you're a researcher, practitioner, or enthusiast in the field of AI and human-computer interaction, this book offers valuable insights and perspectives. Prepare to be inspired, enlightened, and empowered through this transformative journey as we unlock the true potential of technology in service of humanity.   

The five-volume set LNCS 15674-15678 constitutes the refereed proceedings of the 28th IACR International Conference on Practice and Theory of Public Key Cryptography, PKC 2025, held in Røros, Norway, during May 12–15, 2025.
The 60 papers included in these proceedings were carefully reviewed and selected from 199 submissions. They are grouped into these topical sections: MPC and friends; advanced PKE; security of post-quantum signatures; proofs and arguments; multi-signatures; protocols; foundations of lattices and LPN; threshold signatures; isogenies and group actions; secure computation; security against real-world attacks; batch arguments and decentralized encryption; and cryptography for blockchains.

The five-volume set LNCS 15674-15678 constitutes the refereed proceedings of the 28th IACR International Conference on Practice and Theory of Public Key Cryptography, PKC 2025, held in Røros, Norway, during May 12–15, 2025.

The 60 papers included in these proceedings were carefully reviewed and selected from 199 submissions. They are grouped into these topical sections: MPC and friends; advanced PKE; security of post-quantum signatures; proofs and arguments; multi-signatures; protocols; foundations of lattices and LPN; threshold signatures; isogenies and group actions; secure computation; security against real-world attacks; batch arguments and decentralized encryption; and cryptography for blockchains.

This book constitutes the refereed proceedings of two long-running events held along with the CAiSE conference and related to the areas of enterprise, business-process and information systems modeling:

- the 26th International Conference on Business Process Modeling, Development and Support, BPMDS 2025 and

- the 30th International Conference on Exploring Modeling Methods for Systems Analysis and Development, EMMSAD 2025.

The conferences were taking place in Vienna, Austria, during June 16–17, 2025.

For BPMDS 12 full papers were carefully reviewed and selected for publication from a total of 39 submissions. The BPMDS papers deal with a broad range of theoretical and applications-based research in business process modeling, development and support.

For EMMSAD 13 full papers and 3 short papers were accepted from a total of 37 submissions after thorough reviews. EMMSAD focusses on modeling methods for systems analysis and development.

This book constitutes the proceedings of the satellite events held at the XXX Semantic Web Conference, ESWC 2025, held in Portoroz, Slovenia, during June 1–2, 2025.

The 31 Posters & Demos papers are presented together with 12 PhD Symposium papers and 7 Industry papers in this book were carefully reviewed and selected from 43 Posters& Demo papers, 15 PHD Symsposium papers and 14 Industry papers.

The theme of  the conference was “Empowering Knowledge through Semantics: From Knowledge Graphs to Neurosemantics”. The satellite events are an important aspect of facilitating the main conference discussion as well as fundamental questions about how we acquire, represent, use, and interact with knowledge and semantics.

The satellite events of ESWC 2025 include the poster and demo session, the PhD symposium, the industry track, project networking, and workshops and tutorials.

The three-volume set IFIP ICCIDS 748, 749 and 750 constitutes the refereed post-conference proceedings of the 8th IFIP TC 12 International Conference on Computational Intelligence in Data Science, ICCIDS 2025, held in Chennai, India, during February 12–14, 2025. 

The 91 papers including 70 regular papers and 21 short papers included in these proceedings were carefully reviewed and selected from 317 submissions. The papers are organized in the following topical sections:

Part I: Computer Vision for Real World Applications.

Part II: Computer Vision for Real World Applications; Emerging Trends in AI for Speech and Text.

Part III: Emerging Trends in AI for Speech and Text; Computational Intelligence for Secure, Smart and Sustainable Applications

The three-volume set IFIP ICCIDS 748, 749 and 750 constitutes the refereed post-conference proceedings of the 8th IFIP TC 12 International Conference on Computational Intelligence in Data Science, ICCIDS 2025, held in Chennai, India, during February 12–14, 2025. 

The 91 papers including 70 regular papers and 21 short papers included in these proceedings were carefully reviewed and selected from 317 submissions. The papers are organized in the following topical sections:

Part I: Computer Vision for Real World Applications.

Part II: Computer Vision for Real World Applications; Emerging Trends in AI for Speech and Text.

Part III: Emerging Trends in AI for Speech and Text; Computational Intelligence for Secure, Smart and Sustainable Applications

This four-volume set constitutes the post-conference proceedings of the 8th EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2024, held in Jiaxing, China, during September 20-22, 2024.

The 115 full papers included in this book were carefully reviewed and selected from 297 submissions. They focus on the following topical sections:

Part I: Signal Processing and Enhancement; Information Fusion and Integration.

Part II: Information Fusion and Integration; Intelligent Computing and Machine Learning.

Part III: Intelligent Computing and Machine Learning; Applications and Intelligent Systems.

Part IV: Applications and Intelligent Systems

Beyond 5G and 6G Networks, the AI-Native Revolution explores the transformative convergence of generative artificial intelligence (GenAI), large language models (LLMs), and next-generation telecommunications. This book delves into the architectural innovations enabling AI-driven connectivity, from intelligent edge devices to adaptive radio access networks. It covers the integration of GenAI for real-time network optimization, generative modeling of wireless channels, and advanced analytics for actionable insights. Security frameworks for AI-native systems, orchestration of autonomous networks, and the fusion of AI with signal processing are thoroughly examined, offering practical solutions for researchers, engineers, and policymakers.

 The book also addresses the challenges of computational constraints, ethical dilemmas, and regulatory complexities in deploying AI-driven networks. It provides a technical yet accessible roadmap for building equitable, trustworthy, and efficient systems, balancing innovation with responsibility. With insights grounded in rigorous research and real-world applications, this work is a guide for students, practitioners, and visionaries shaping the future of connectivity. It invites readers to reimagine networks as intelligent ecosystems that anticipate needs and empower humanity’s highest aspirations.

This book constitutes the refereed post-conference proceedings of the 23rd International Conference on Information Security, ISSA 2024, held in Gqeberha, South Africa, during December 2-3, 2024.

The 21 full papers presented were carefully reviewed and selected from 55 submissions. The papers focus on topics such as Cyber security; Information Security; Network Security; Computer Security; Digital Forensics; Botnets; Security in Cloud Computing; ChatBot security; Insider Threats; NIDS; GANs and Malware; Privacy; Cyber security Education; Cyber security & AI; Digital Forensics & AI.

“Digital Health: A multidisciplinary approach” is a novel and unique book covering the main topics of health innovation focused on what computer science and technology have been applied in healthcare and what the perspectives for the future. This is a thought-provoking theme, covering a broad range of aspects of issues, from basic concepts that composes the known “4th industrial revolution” (artificial intelligence, cloud computing, internet of things, big data, robotics and computer systems), all of which has been used in different healthcare sectors, to more recent technologies applied to healthcare, such as smartphone applications, remote consulting, augmented reality, gamification and brain-machine interactions. All chapters cover detailed explanations of all these technologies and how are the possible uses and applications in healthcare in different contexts, with a multidisciplinary approach, including the vision of technology, health and social sciences researchers. The great difference of this book is the coverage of updated topics, with the most advanced knowledge of all the technologies described in each chapter, covering virtually every innovation in healthcare, and the multidisciplinary approach, making the book accessible to researchers from different fields of knowledge.

The 11 reviewed full papers and 4 short papers were selected from 35 submissions and are grouped in topical sections on digital forensics; cyber-physical system Forensics; event reconstruction in digital forensics; emerging topics in forensics; cybersecurity and digital forensics.

The 33 full papers were selected from 61 submissions and focus on security and privacy in new computing environments. The theme of SPNCE 2021 was “Secure Wireless Communication Systems: Infrastructure, Algorithms, and Management”.

The EWG-DSS series of International Conference on Decision Support System Technology (ICDSST) is planned to consolidate the tradition of annual events organized by the EWG-DSS in offering a platform for European and international DSS communities, comprising the academic and industrial sectors, to present state-of-the-art DSS research and developments, to discuss current challenges that surround decision-making processes, to exchange ideas about realistic and innovative solutions, and to co-develop potential business opportunities.

The main theme of this year was “Decision Support Systems in An Uncertain World: The Contribution of Digital Twins”.

The 21 papers presented in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections as follows: DSS models,methods, and tools; DSS for business performance and stakeholders; DSS applications for sustainability in health, energy and transportation; and DSS users and successful adoption.

This book constitutes the thoroughly refereedproceedings of the International Conference on Communication Technologies forAgeing Well and e-Health, ICT4AgeingWell 2015, held in Lisbon, Portugal, in May2015.
The 11 full papers and two invited papers presented were carefully reviewed andselected from 45 submissions. The papers cover five main topic areas, covering different aspects, including Ambient AssistedLiving, Telemedicine and E-Health, Monitoring, Accessibility and UserInterfaces, Robotics and Devices for Independent Living and HCI for Ageing Populations.

This book constitutes the refereed proceedings of the 7th International Conference on Computer, Communication, and Signal Processing, ICCCSP 2023, held in Chennai, India, during January 4–6, 2023, in hybrid mode.

The 17 full and 9 short papers presented in this volume were carefully reviewed and selected from 123 submissions. The papers are categorized into topical sections: artificial intelligence in health care; machine learning and deep learning; signal processing; and Internet of Things for smart systems.

This book constitutes the refereed proceedings of the 11th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2021, held in Kolkata, India, in December 2021.

The 13 full papers presented were carefully reviewed and selected from 42 submissions. This annual event is devoted to various aspects of security, privacy, applied cryptography, and cryptographic engineering. This is a very challenging field, requiring the expertise from diverse domains, ranging from mathematics to solid-state circuit design.

This book constitutes the proceedings of the satellite workshops held around the 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, held in Rome, Italy, in June 2022. Due to the Corona pandemic the workshop was held as a virtual event. 

The 31 papers presented in this volume were carefully reviewed and selected from 52 submissions. They stem from the following workshops:

– AIHWS: 3rd ACNS Workshop on Artificial Intelligence in Hardware Security

– AIoTS: 4th ACNS Workshop on Artificial Intelligence and Industrial IoT Security

– CIMSS: 2nd ACNS Workshop on Critical Infrastructure and Manufacturing System Security

– Cloud S&P: 4th ACNS Workshop on Cloud Security and Privacy

– SecMT: 3rd ACNS Workshop on Security in Mobile Technologies

– SiMLA: 4th ACNS Workshop on Security in Machine Learning and its Applications

This open access book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current technological gap between software management paradigms and cybersecurity models, the latter still lacking orchestration and agility to effectively address the dynamicity of the former. This book provides a comprehensive review of the main concepts, architectures, algorithms, and non-technical aspects developed during three years of investigation; the description of the Smart Mobility use case developed at the end of the project gives a practical example of how the GUARD platform and related technologies can be deployed in practical scenarios.

This book constitutes the refereed proceedings of the 6th International Symposium on Cyber Security Cryptography and Machine Learning, CSCML 2022, held in Be'er Sheva, Israel, in June - July 2022.

The 24 full and 11 short papers presented together with a keynote paper in this volume were carefully reviewed and selected from 53 submissions. They deal with the theory, design, analysis, implementation, or application of cyber security, cryptography and machine learning systems and networks, and conceptually innovative topics in these research areas.

The 34 revised full papers presented in the book were carefully selected from 150 submissions

The papers are organized around the following topics: Cryptography, Authentication, Privacy and Anonymity, Attacks and Vulnerability Analysis, Artificial Intelligence for Detection, and Network Security and Forensics.

The 104 full papers and 6 poster papers presented in these proceedings were carefully reviewed and selected from 562 submissions. They were organized in topical sections as follows:

Part II: Anonymity; cloud security; access control; authentication; digital signatures; IoT security; applications;

The 18 full and 4 work-in-process papers presented in this volume were selected from 37 submissions and underwent careful double-blind peer review. The papers focus on innovative technical, human and organizational approaches to expand collaboration support including computer science, management science, design science, cognitive and social science.

The 34 full papers and 13 poster papers presented in this volume were carefully reviewed and selected from 76 submissions. They stem from the following workshops:

This book constitutes the refereed proceedings of the 18th International Workshop on Security, IWSEC 2023, which took place as a hybrid event in Yokohama, Japan, during August 29–31, 2023. This event was held in hybrid mode.

The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: System and Hardware Security; Symmetric Key Cryptography; Public Key Cryptography; Zero Knowledge Proofs; and Card Based Cryptography.

This book constitutes the refereed proceedings of the 29th International Conference on Collaboration Technologies and Social Computing, CollabTech 2023, held in Osaka, Japan, during August 29–September 1, 2023, in hybrid mode.

The papers focus on innovative technical, human and organizational approaches to expand collaboration support including computer science, management science, design science, cognitive and social science.

This book constitutes the refereed proceedings of the 5th International Conference on Science of Cyber Security, SciSec 2023, held in Melbourne, VIC, Australia, during July 11–14, 2023. 

The four-volume set LNCS 14344-14347 constitutes the refereed proceedings of the 28th European Symposium on Research in Computer Security, ESORICS 2023, which took place in The Hague, The Netherlands, during September 25-29, 2023.

The 93 full papers presented in these proceedings were carefully reviewed and selected from 478 submissions. They were organized in topical sections as follows:

Part II: Network, web and internet; privacy; and remote.

Part III: Attacks; blockchain; and miscellaneous.

This book constitutes the refereed proceedings of the 16th International Symposium on Foundations and Practice of Security, FPS 2023, held in Bordeaux, France, during December 11–13, 2023.

The 27 regular and 8 short papers presented in this book were carefully reviewed and selected from 80 submissions. The papers have been organized in the following topical sections:

This book constitutes the refereed proceedings of Third International Workshop on Computational Mathematics Modeling in Cancer Analysis, CMMCA 2024, held in Marrakesh, Morocco, on October 6, 2024, in conjunction with MICCAI 2024. 

The 12 full papers presented in this book were carefully reviewed and selected from 14 submissions. CMMCA serves as a platform for collaboration among professionals in mathematics, engineering, computer science, and medicine, focusing on innovative mathematical methods for analyzing complex cancer data.