Computer & IT

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.

The 3-volume set LNCS 14583-14585 constitutes the proceedings of the 22nd International Conference on Applied Cryptography and Network Security, ACNS 2024, which took place in Abu Dhabi, UAE, in March 2024. The 54 full papers included in these proceedings were carefully reviewed and selected from 230 submissions. They have been organized in topical sections as follows: Part I: Cryptographic protocols; encrypted data; signatures; Part II: Post-quantum; lattices; wireless and networks; privacy and homomorphic encryption; symmetric crypto; Part III: Blockchain; smart infrastructures, systems and software; attacks; users and usability.

This book discusses the two fundamental elements that underline the science and design of artificial intelligence (AI) systems: the learning and acquisition of knowledge from observational data, and the reasoning of that knowledge together with whatever information is available about the application at hand. It then presents a mathematical treatment of the core issues that arise when unifying first-order logic and probability, especially in the presence of dynamics, including physical actions, sensing actions and their effects. A model for expressing causal laws describing dynamics is also considered, along with computational ideas for reasoning with such laws over probabilistic logical knowledge.

This book presents the state of the art in High-Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High-Performance Data Analytics. In addition, they explore new topics like the use of High-Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented in 2021 at the 31st Workshop on Sustained Simulation Performance, WSSP31, held at HLRS in Stuttgart, Germany, and WSSP32, held at Tohoku University in Sendai, Japan.

This edited book introduces readers to the area of "Everyday Virtual and Augmented Reality". With Virtual and Augmented Reality technologies, becoming more pervasive in our homes and workplaces, new use cases and scenarios emerge together with new challenges that need to be addressed. These challenges encompass the design and implementation of appropriate VR/AR applications for ordinary environments that were not built with the explicit intention of supporting VR systems. The everyday/domestic environments present a range of issues that are usually not present in the physical locations purposed for VR and AR use in academic or professional environments, such as constrained spaces, presence of obstacles, absence of instrumentation, social and organizational restrictions etc. To address the above challenges, we collect the latest work from the Virtual Reality and Augmented Reality research community, by combining the presentation of general definitions and characterization of the field, of interaction concepts and techniques, of a variety of use cases and areas. The constellation of different environment examples (from education, sport to consumer and marketing), from across the globe and platforms, provide a comprehensive discussion on scientific and engineering methods, which enable the development of VR/AR systems in everyday context.

This book constitutes the refereed post proceedings of the 18th International Conference on Advances in Computer Games, ACG 2023, held online, during November 28-30, 2023.The 14 full papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Chess and its Variants, Solving Games, Board Games, Card Games, Player Investigation, Math, Games, and Puzzles.

This book constitutes the MICCAI Challenge, MMAC 2023, that held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, which took place in October 2023. The 11 long papers included in this volume presents a wide range of state-of-the-art deep learning methods developed for the various tasks presented in the challenge.

The 3-volume set LNCS 14583-14585 constitutes the proceedings of the 22nd International Conference on Applied Cryptography and Network Security, ACNS 2024, which took place in Abu Dhabi, UAE, in March 2024. The 54 full papers included in these proceedings were carefully reviewed and selected from 230 submissions. They have been organized in topical sections as follows: Part I: Cryptographic protocols; encrypted data; signatures; Part II: Post-quantum; lattices; wireless and networks; privacy and homomorphic encryption; symmetric crypto; Part III: Blockchain; smart infrastructures, systems and software; attacks; users and usability.

The 3-volume set LNCS 14583-14585 constitutes the proceedings of the 22nd International Conference on Applied Cryptography and Network Security, ACNS 2024, which took place in Abu Dhabi, UAE, in March 2024. The 54 full papers included in these proceedings were carefully reviewed and selected from 230 submissions. They have been organized in topical sections as follows: Part I: Cryptographic protocols; encrypted data; signatures; Part II: Post-quantum; lattices; wireless and networks; privacy and homomorphic encryption; symmetric crypto; Part III: Blockchain; smart infrastructures, systems and software; attacks; users and usability.

This book constitutes the thoroughly refereed and revised selected papers from the 12th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2023, held in Lisbon, Portugal, during February 22-24, 2023. The 28 full papers and 42 short papers included in this book were carefully reviewed and selected from 157 submissions. They were organized in topical sections as follows: theory and methods and applications.

This book presents machine learning approaches to identify the most important predictors of crucial variables for dealing with the challenges of managing production units and designing agriculture policies. The book focuses on the agricultural sector in the European Union and considers statistical information from the Farm Accountancy Data Network (FADN).Presently, statistical databases present a lot of information for many indicators and, in these contexts, one of the main tasks is to identify the most important predictors of certain indicators. In this way, the book presents approaches to identifying the most relevant variables that best support the design of adjusted farming policies and management plans. These subjects are currently important for students, public institutions and farmers. To achieve these objectives, the book considers the IBM SPSS Modeler procedures as well as the respective models suggested by this software.The book is read by students in production engineering, economics and agricultural studies, public bodies and managers in the farming sector.

The three-volume set LNICST 561, 562 563 constitutes the refereed post-conference proceedings of the 19th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2023, held in Corfu Island, Greece, during October 4-6, 2023. The 72 full papers presented in these proceedings were carefully reviewed and selected from 176 submissions. The papers are organized in the following topical sections: Volume I: Collaborative Computing, Edge Computing & Collaborative working, Blockchain applications, Code Search and Completion, Edge Computing Scheduling and Offloading.Volume II: Deep Learning and Application, Graph Computing, Security and Privacy Protection and Processing and Recognition.Volume III: Onsite Session Day2, Federated learning and application, Collaborative working, Edge Computing and Prediction, Optimization and Applications.

The three-volume set LNICST 561, 562 563 constitutes the refereed post-conference proceedings of the 19th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2023, held in Corfu Island, Greece, during October 4-6, 2023. The 72 full papers presented in these proceedings were carefully reviewed and selected from 176 submissions. The papers are organized in the following topical sections: Volume I: Collaborative Computing, Edge Computing & Collaborative working, Blockchain applications, Code Search and Completion, Edge Computing Scheduling and Offloading.Volume II: Deep Learning and Application, Graph Computing, Security and Privacy Protection and Processing and Recognition.Volume III: Onsite Session Day2, Federated learning and application, Collaborative working, Edge Computing and Prediction, Optimization and Applications.

The three-volume set LNICST 561, 562 563 constitutes the refereed post-conference proceedings of the 19th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2023, held in Corfu Island, Greece, during October 4-6, 2023. The 72 full papers presented in these proceedings were carefully reviewed and selected from 176 submissions. The papers are organized in the following topical sections: Volume I: Collaborative Computing, Edge Computing & Collaborative working, Blockchain applications, Code Search and Completion, Edge Computing Scheduling and Offloading.Volume II: Deep Learning and Application, Graph Computing, Security and Privacy Protection and Processing and Recognition.Volume III: Onsite Session Day2, Federated learning and application, Collaborative working, Edge Computing and Prediction, Optimization and Applications.

This book constitutes the proceedings of the 22nd International Conference on Smart Card Research and Advanced Applications, CARDIS 2023, held in Amsterdam, The Netherlands, during November 14-16, 2023.The 13 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: fault attacks; side-channel analysis; smartcards & efficient Implementations; and side-channel & neural networks.

This book constitutes the refereed proceedings of the 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, which took place in Friedrichshafen, Germany, in September 2019. The 16 full papers and 4 short papers presented in this book were carefully reviewed and selected from 32 submissions. The papers were organized in topical sections on embedded real-time systems; estimations; architecture and applications; algorithms and System C; and analysis.

This book brings together the insights from three different areas, Information Seeking and Retrieval, Cognitive Psychology, and Behavioral Economics, and shows how this new interdisciplinary approach can advance our knowledge about users interacting with diverse search systems, especially their seemingly irrational decisions and anomalies that could not be predicted by most normative models.The first part "Foundation" of this book introduces the general notions and fundamentals of this new approach, as well as the main concepts, terminology and theories. The second part "Beyond Rational Agents" describes the systematic biases and cognitive limits confirmed by behavioral experiments of varying types and explains in detail how they contradict the assumptions and predictions of formal models in information retrieval (IR). The third part "Toward A Behavioral Economics Approach" first synthesizes the findings from existing preliminary research on bounded rationality and behavioral economics modeling in information seeking, retrieval, and recommender system communities. Then, it discusses the implications, open questions and methodological challenges of applying the behavioral economics framework to different sub-areas of IR research and practices, such as modeling users and search sessions, developing unbiased learning to rank and adaptive recommendations algorithms, implementing bias-aware intelligent task support, as well as extending the conceptualization and evaluation on IR fairness, accountability, transparency and ethics (FATE) with the knowledge regarding both human biases and algorithmic biases.This book introduces a behavioral economics framework to IR scientists seeking a new perspective on both fundamental and new emerging problems of IR as well as the development and evaluation of bias-aware intelligent information systems. It is especially intended for researchers working on IR and human-information interaction who want to learn about the potential offered by behavioral economics in their own research areas.

This textbook integrates important mathematical foundations, efficient computational algorithms, applied statistical inference techniques, and cutting-edge machine learning approaches to address a wide range of crucial biomedical informatics, health analytics applications, and decision science challenges. Each concept in the book includes a rigorous symbolic formulation coupled with computational algorithms and complete end-to-end pipeline protocols implemented as functional R electronic markdown notebooks. These workflows support active learning and demonstrate comprehensive data manipulations, interactive visualizations, and sophisticated analytics. The content includes open problems, state-of-the-art scientific knowledge, ethical integration of heterogeneous scientific tools, and procedures for systematic validation and dissemination of reproducible research findings.Complementary to the enormous challenges related to handling, interrogating, and understanding massive amounts of complex structured and unstructured data, there are unique opportunities that come with access to a wealth of feature-rich, high-dimensional, and time-varying information. The topics covered in Data Science and Predictive Analytics address specific knowledge gaps, resolve educational barriers, and mitigate workforce information-readiness and data science deficiencies. Specifically, it provides a transdisciplinary curriculum integrating core mathematical principles, modern computational methods, advanced data science techniques, model-based machine learning, model-free artificial intelligence, and innovative biomedical applications. The book's fourteen chapters start with an introduction and progressively build foundational skills from visualization to linear modeling, dimensionality reduction, supervised classification, black-box machine learning techniques, qualitative learning methods, unsupervised clustering, model performance assessment, feature selection strategies, longitudinal data analytics, optimization, neural networks, and deep learning. The second edition of the book includes additional learning-based strategies utilizing generative adversarial networks, transfer learning, and synthetic data generation, as well as eight complementary electronic appendices. This textbook is suitable for formal didactic instructor-guided course education, as well as for individual or team-supported self-learning. The material is presented at the upper-division and graduate-level college courses and covers applied and interdisciplinary mathematics, contemporary learning-based data science techniques, computational algorithm development, optimization theory, statistical computing, and biomedical sciences. The analytical techniques and predictive scientific methods described in the book may be useful to a wide range of readers, formal and informal learners, college instructors, researchers, and engineers throughout the academy, industry, government, regulatory, funding, and policy agencies. The supporting book website provides many examples, datasets, functional scripts, complete electronic notebooks, extensive appendices, and additional materials.

This book constitutes the refereed proceedings of the 15th International Conference on ICT Innovations 2023. Learning: Humans, Theory, Machines, and Data, ICT Innovations 2023, held in Ohrid, North Macedonia during September 24-26, 2023.The 17 full papers included in this book were carefully reviewed and selected from 52 submissions. They are organized in sections by topics as follows: AI and natural language processing; bioinformatics; dew computing; e-learning and e-services; image processing; network science; theoretical informatics.

This book constitutes the proceedings of the Third International Workshop on Explainable Artificial Intelligence in Healthcare, XAI-Healthcare 2023, and the First International Workshop on Process Mining Applications for Healthcare, PM4H 2023, which took place in conjunction with AIME 2023 in Portoroz, Slovenia, on June 15, 2023.The 7 full papers included from XAI-Healthcare were carefully reviewed and selected from 11 submissions. They focus on all aspects of eXplainable Artificial Intelligence (XAI) in the medical and healthcare field. For PM4H 5 papers have been accepted from 17 submissions. They deal with data-driven process analysis techniques in healthcare.

This CCIS conference volume constitutes the proceedings of the 24th International Conference, ACTET 2023, in Jaipur, India, December 2023. The 7 full papers together in this volume were carefully reviewed and selected from 89 submissions. The conference addresses fundamentals of advanced scientific computing and specific mechanisms and algorithms for particular and to exchange their innovative ideas, knowledge, expertise, and experience in advance computing techniques in various domains of engineering and technology.

The book explores how modern technologies, including artificial intelligence and neural networks, are being used to enhance cybersecurity. In today's world, the development of the Internet is nothing short of transformative, affecting every aspect of our lives. Ensuring the safety of its users is a paramount concern, and it requires a diverse set of disciplines to address. Researchers from various fields, including IT, mathematics, psychology, and medicine, are collectively working to tackle this interdisciplinary challenge. The significance of this issue has been magnified by the COVID-19 pandemic, which forced many aspects of our lives into the digital realm, from online payments to remote work and education. This shift brought new security challenges, with data privacy and system integrity taking center stage. It delves into the intricacies of Big Data by having to analyze an immense volume of network traffic data that can only be effectively analyzed with specialized tools. Real-time threat detection is critical, and the book sheds light on cutting-edge approaches to achieving this goal. The content of the book covers a broad spectrum of topics related to IT system security, from user and system profiling to preventing data leaks and defending against phishing attacks. Additionally, innovative concepts such as "glial networks" are introduced, offering new ways to interpret knowledge stored in convolutional networks. These solutions are not limited to security alone; they have applications across various domains. The book highlights the advantages of these cutting-edge approaches over existing methods, demonstrating their relevance to large corporations, public institutions, schools, small businesses, and households. In a world where security threats are constantly evolving, this book is a valuable resource for understanding the dynamic landscape of network security and the role of artificial intelligence in safeguarding our digital ecosystems.

This book constitutes the refereed proceedings of the 10th International Workshop on Machine Learning and Data Mining for Sports Analytics, MLSA 2023, held in Turin, Italy, in September 2023.The 16 full papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Football/Soccer, Basketball, Other team sports, Individual sports.

This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Human Computer Interaction, IHCI 2023, held in Daegu, South Korea, during November 8-10, 2023.The 55 full papers and 16 short papers included in this book were carefully reviewed and selected from 139 submissions. They were organized in topical sections as follows: Volume I: Natural Language and Dialouge Systems, Affective Computing and Human Factors, Human Centred AI, Human-Robot Interaction and Intelligent Interfaces and User Centred Design.Volume II: AI and Big Data, Deep Learning, Intelligent Systems, Mobile Computing and Ubiquitous Interactions and Social Computing and Interactive Elements.

This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Human Computer Interaction, IHCI 2023, held in Daegu, South Korea, during November 8-10, 2023.The 55 full papers and 16 short papers included in this book were carefully reviewed and selected from 139 submissions. They were organized in topical sections as follows: Volume I: Natural Language and Dialouge Systems, Affective Computing and Human Factors, Human Centred AI, Human-Robot Interaction and Intelligent Interfaces and User Centred Design.Volume II: AI and Big Data, Deep Learning, Intelligent Systems, Mobile Computing and Ubiquitous Interactions and Social Computing and Interactive Elements.

This LNCS conference volume constitutes the proceedings of the third MICCAI Workshop, DGM4MICCAI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 2023. The 23 full papers included in this volume were carefully reviewed and selected from 38 submissions.The conference presents topics ranging from methodology, causal inference, latent interpretation, generative factor analysis to applications such as mammography, vessel imaging, and surgical Videos.

This book covers selected papers presented at the 2nd International Conference on Computing, IoT and Data Analytics (ICCIDA) in 2022 organized by Universidad de Castilla - La Mancha, Spain, August 11-12, 2023. It highlights some of the latest research advances and cutting-edge analyses of real-world problems related to Computing, IoT and Data Analytics and their applications in various domains. This includes state of the art models and methods used on benchmark datasets.

This book contains revised selected papers from the 30th International Conference on Selected Areas in Cryptography, SAC 2023, held in Fredericton, New Brunswick, Canada, in August 2023.The 21full papers presented in these proceedings were carefully reviewed and selected from 45 submissions. The papers are organized in the following topical sections: Cryptanalysis of Lightweight Ciphers; Side-Channel Attacks and Countermeasures; Post-Quantum Constructions; Symmetric cryptography and fault attacks; Post-Quantum Analysis and Implementations; Homomorphic encryption; Public-Key Cryptography; and Differential Cryptanalysis.

The authors propose a novel measure of proximity between two sets of nominal elements. This measure describes the changes in the first set after adding the second set or changes in the second set after adding the first set.It is crucial to note that this measure is not symmetric, it means that the perturbation of the first set on the second set can be different than the perturbation of the opposition direction. The introduced set impact measure allows for the direct treatment of objects described by nominal-valued attributes. The ordinary sets, multisets, fuzzy sets, and the intuitionistic fuzzy sets are considered. The book is intended for data science professionals, philosophers as well as cognitive psychologists, who struggle with practical problems in which asymmetry of proximity of objects cannot be neglected. The use of the proposed measures of perturbation between compared objects can be very important in data mining or in exploration of Internetresources.

This Open Access book reviews recent theoretical and numerical developments in nonlinear model order reduction in continuum mechanics, being addressed to Master and PhD students, as well as to researchers, lecturers and instructors. The aim of the authors is to provide tools for a better understanding and implement reduced order models by using: physics-based models, synthetic data forecast by these models, experimental data and deep learning algorithms. The book involves a survey of key methods of model order reduction applied to model-based engineering and digital twining, by learning linear or nonlinear latent spaces.Projection-based reduced order models are the projection of mechanical equations on a latent space that have been learnt from both synthetic data and experimental data. Various descriptions and representations of structured data for model reduction are presented in the applications and survey chapters. Image-based digital twins are developed in a reduced setting. Reduced order models of as-manufactured components predict the mechanical effects of shape variations. A similar workflow is extended to multiphysics or coupled problems, with high dimensional input fields. Practical techniques are proposed for data augmentation and also for hyper-reduction, which is a key point to speed up projection-based model order reduction of finite element models. The book gives access to python libraries available on gitlab.com, which have been developed as part of the research program [FUI-25] MORDICUS funded by the French government. Similarly to deep learning for computer vision, deep learning for model order reduction circumvents the need to design parametric problems prior reducing models. Such an approach is highly relevant for image-base modelling or multiphysics modelling.