Böcker utgivna av Springer Nature Switzerland

This volume constitutes the refereed proceedings of the 9th International Conference of the Immersive Learning Network, iLRN 2023, held in San Luis Obispo, USA, in June 2023 as a hybrid event.The 26 revised full papers and 13 shprt papers presented in this volume were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on foundations in immersive learning research and theory; assessment and evaluation; galleries, libraries, archives and museums; inclusion, diversity, equity, access, and social justice; STEM education; language, culture and heritage; nature & environmental sciences; workforce development & industry training; self and co-regulated learning with immersive learning environments; special track: immersive learning across Latin America: state of research, use cases and projects.

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

This book provides a collection of recent research works related to new trends and pathologies associated with concrete structures, in order to contribute to the systematization and dissemination of knowledge related to moisture transport, durability, construction pathology, diagnostic techniques, and the most recent advances in this domain. The book is divided into five chapters that intend to be a resume of the current state of knowledge for benefit of professional colleagues, scientists, students, practitioners, lecturers, and other interested parties to network. At the same time, these topics will be going to the encounter of a variety of scientific and engineering disciplines, such as civil, mechanical, and materials engineering.

This book constitutes the proceedings of the 19th International Workshop on Security and Trust Management, STM 2023, co-located with the 28th European Symposium on Research in Computer Security, ESORICS 2023, held in The Hague, The Netherlands, during September 28th, 2023 The 5 full papers together with 4 short papers included in this volume were carefully reviewed and selected from 15 submissions. The workshop presents papers with topics such as security and privacy, trust models, security services, authentication, identity management, systems security, distributed systems security, privacy-preserving protocols.

This book aims to improve the understanding of smart service innovations. It contributes to evidence-based knowledge about service systems engineering and its embedding in service ecosystems, in particular how existing reference process models can be extended by considering actors, roles, activities and methods. At the same time, it aims to stimulate discussions on how methods from different disciplines can be used and combined for the development of various aspects of Smart Service Systems. Thus, the book offers support for practitioners to better organize and execute SSI projects and to develop internal competencies.

This book contributes to the navigation algorithm development for an autonomous mobile orchard robot in a GNSS denied environment. In this book, an approach is provided for path planning in an orchard using an aerial view of the environment by creating Binary Occupancy Grid Maps. The path planning is further implemented by the Probabilistic Road Maps Method (PRM) over the developed Binary Occupancy Grid Maps. For robot¿s navigation, a navigation model is developed using kinematic equations of the robot. Further, the navigation module is used in conjunction with the path-planning module. The robot was tested successfully both in simulation as well as in the real environment.

This book constitutes the refereed proceedings of the 11th International Conference on Code-Based Cryptography, CBCrypto 2023, held in Lyon, France, during April 22¿23, 2023. The 8 full papers included in this book were carefully reviewed and selected from 28 submissions. The conference offers a wide range of many important aspects of code-based cryptography such as cryptanalysis of existing schemes, the proposal of new cryptographic systems and protocols as well as improved decoding algorithms.

P2P, Grid, Cloud, and Internet computing technologies have been very fast established as breakthrough paradigms for solving complex problems by enabling aggregation and sharing of an increasing variety of distributed computational resources at large scale.Grid Computing originated as a paradigm for high performance computing, as an alternative to expensive supercomputers through different forms of large-scale distributed computing. P2P Computing emerged as a new paradigm after client-server and web-based computing and has shown useful to the development of social networking, Business to Business (B2B), Business to Consumer (B2C), Business to Government (B2G), Business to Employee (B2E), and so on. Cloud Computing has been defined as a ¿computing paradigm where the boundaries of computing are determined by economic rationale rather than technical limits¿. Cloud computing has fast become the computing paradigm with applicability and adoption in all application domains and providing utility computing at large scale. Finally, Internet Computing is the basis of any large-scale distributed computing paradigms; it has very fast developed into a vast area of flourishing field with enormous impact on today¿s information societies serving thus as a universal platform comprising a large variety of computing forms such as Grid, P2P, Cloud, and Mobile computing. The aim of the book is to provide latest research findings, innovative research results, methods, and development techniques from both theoretical and practical perspectives related to P2P, Grid, Cloud, and Internet Computing as well as to reveal synergies among such large-scale computing paradigms.

The book starts with an analysis of what is new in the Digital Services Act. The aim is to see whether this new Regulation is appropriate both for not halting technological innovation and for addressing the risks that technological innovation poses to society and to the people who use digital services. The focal point is the risk of discrimination as people are often helpless in the face of the potential discriminations in the digital services sector. In particular, the book analyses how the Digital Services Act can make a concrete contribution to the protection against discrimination. To this end, it focuses on the responsibility of digital service providers and the fact that discrimination may also depend on the way in which algorithms and artificial intelligence systems are used. Therefore, a comparison is made between the Digital Services Act and the proposed Artificial Intelligence Act. The comparison discloses that the risk-based approach is the common thread followed by the EU in regulating the digital market. The book elaborates also on the practical implications of the risk-based approach. Highlighting advantages and limitations leading the author to conclude that the risk-based approach is the way forward only if the differences between risk and danger, the limits of law, and the limits of the tendency to humanise artificial intelligence systems are considered. With specific reference to the risk of discrimination, the need for a systemic and multi-level approach is highlighted, which reinforces the contribution that can be made not only by the Digital Services Act, but also by more general and cross-cutting legislation as those on data protection and unfair commercial practices.

These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4, 2023. The 58 full papers presented were carefully reviewed and selected from 107 submissions. The papers deal with all aspects of research results, ideas, and experiences of application among researchers and practitioners involved with all aspects of uncertainty modelling and management.

This book explores new applications in the field of science and technology for healthcare systems. The main focus of this book is to devise smart, efficient and robust solutions for the health care sector to serve the major population of rural areas. Artificial Intelligence-based Healthcare Systems encourages scientists, engineers, and scholars across the multiple disciplines to design smart intelligent innovations on rural healthcare issues and motivate to collaborate multiple ideas to design best solutions. It also helps the readers at various levels of knowledge to further enhance their understanding for new tools and smart solutions.

This book constitutes the refereed proceedings of the 16th International Conference on Similarity Search and Applications, SISAP 2023, held in A Coruña, Spain, during October 9¿11, 2023.The 16 full papers and 4 short papers included in this book were carefully reviewed and selected from 33 submissions. They were organized in topical sections as follows: similarity queries, similarity measures, indexing and retrieval, data management, feature extraction, intrinsic dimensionality, efficient algorithms, similarity in machine learning and data mining.

These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4, 2023.The 58 full papers presented were carefully reviewed and selected from 107 submissions. The papers deal with all aspects of research results, ideas, and experiences of application among researchers and practitioners involved with all aspects of uncertainty modelling and management.

This book includes the proceedings of the 3rd International Congress on Engineering and Sustainability in the XXI CEntury, INCREaSE 2023. INCREaSE is a congress with the aim to bring together valuable and novel scientific contributions that address the critical issues of renewable energy, sustainable building, sustainable manufacturing, sustainable food production and other sustainability science and engineering topics that have an impact in this diverse and fast-changing research area, both in academia and industry. This 3rd edition of INCREaSE was held during July 5-7, 2023, in Faro, Portugal, organized by the Institute of Engineering and hosted by University of Algarve. The areas to be covered were:¿ Big data and data analytics applied to sustainability;¿ Climate change and mitigation, carbon reduction;¿ Combined heat and power and district heating systems;¿ Control and optimization of renewable energy systems;¿ Energy and environmental assessment in buildings and cities;¿ Food loss and food waste solutions;¿ Food safety and quality engineering;¿ Information technology and artificial intelligence applied to sustainability;¿ Nanoelectronic, nanomachining, and new nanomaterials;¿ Smart buildings, smart cities, smart districts, smart countryside;¿ Sustainability in water management;¿ Sustainable building technologies;¿ Sustainable development and circular economy;¿ Sustainable energy generation and management;¿ Sustainable food processing and packaging;¿ Sustainable manufacturing and maintenance processes and technology;¿ Sustainable technologies for risk mitigations;¿ Sustainable transport, smart vehicles and smart roads; and¿ Thermo fluids modelling and experiments for sustainability. High quality and unpublished content is an essential feature for all included papers. Moreover, the Organizing Committee of the conference guarantees that contributions were subjected to an appropriate level of reviewing process.

This book gathers the latest advances, innovations, and applications in the field of effective methods of calculation, resource-saving technologies, and advanced materials in civil and environmental engineering, as presented by leading international researchers and engineers at the XVIII International Scientific Conference Current Issues of Civil and Environmental Engineering ¿Lviv- Köice ¿ Rzeszów¿, held in Rzeszów, Poland, on September 6¿8, 2023. It covers highly diverse topics, including structural shaping and optimization; aspects of structural behavior and modeling; advanced analysis methods; experimental tests and numerical simulations; design codes, in particular Eurocodes and other national and regional limit state codes; and highway and bridges engineering. It also discusses modern architectural and structural solutions; innovative materials and products; durability and maintenance; fabrication and erection; sustainability in construction; renewable energy sources; heat, gas, and water supply; ventilation and air-conditioning; ecological and energy-saving technologies, modern water purification, and treatment technologies; and the protection of water ecosystems. This book, which was selected by means of a rigorous international peer-review process, highlights numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations.

This book provides information about plant¿environment studies and challenges for plant improvement to achieve food security. Plants face a wide range of environmental challenges, which are expected to become more intense as a result of global climate change. Plant¿environment interactions play an important role in the functioning of ecosystems. There are habitats throughout the world that present challenges to crop plants, such as through a lack of water and excessive, or toxic, salts in the soil. Soil properties represent a strong selection pressure for plant diversity and influence the structure of plant communities and participate to the generation and maintenance of biodiversity. Plant communities selected by environment grow by modifying soil physical, chemical, and biological properties, with consequent effects on survival and growth of plants. The complexity of plant¿environment interactions has recently been studied by developing a trait-based approach in which responses and effects of plants on environment were quantified and modeled. This fundamental research on plant¿environment interaction in ecosystems is essential to transpose knowledges of functional ecology to environmental management. Plants have adapted to an incredible range of environment, and extensive researches on ecological and environmental plant physiology have provided mechanistic understanding of the survival, distribution, productivity, and abundance of plant species across the diverse climates of our planet. Ecophysiological techniques have greatly advanced our understanding of photosynthesis, respiration, plant water relations, and plant responses to abiotic and biotic stresses, from instantaneous to evolutionary timescales. Ecophysiological studies also provide the basis for scaling plant physiological processes from the tissue to the canopy, ecosystem, region, and to a large extent, the entire globe. Given the above, the author proposes to bring forth a comprehensive book, ¿New Frontiers in Plant-Environment Interactions¿, highlighting the various emerging techniques and applications that are currently being used in plant¿environment interaction research and its future prospects. The author is sure that this book caters the need of all those who are working or have interest in the above topic.

This book constitutes the proceedings of the First International Conference on Complex Computational Ecosystems, CCE 2023, held in Baku, Azerbaijan, during April 25¿27, 2023. The 16 full papers and the 4 keynote abstracts included in this volume were carefully reviewed and selected from 46 submissions. They explore trans-disciplinary challenges that crossed theoretical questions with empirical observations of multi-level and multi-modal computational ecosystems.

This book develops limit theorems for a natural class of long range random walks on finitely generated torsion free nilpotent groups. The limits in these limit theorems are Lévy processes on some simply connected nilpotent Lie groups. Both the limit Lévy process and the limit Lie group carrying this process are determined by and depend on the law of the original random walk. The book offers the first systematic study of such limit theorems involving stable-like random walks and stable limit Lévy processes in the context of (non-commutative) nilpotent groups.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 9th International Workshop on Logic, Rationality, and Interaction, LORI 2023, held in Jinan, China, in October 2023.The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as agency; argumentation and agreement; beliefrepresentation; probability and uncertainty; belief revision and belief merging; knowledgeand action; dynamics of informational attitudes; intentions, plans, and goals; decisionmaking and planning; preference and utility; cooperation; strategic reasoning andgame theory; epistemology; social choice; social interaction; speech acts; knowledgerepresentation; norms and normative systems; natural language; rationality; philosophicallogic.

This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held in November 2022, in Tokyo, Japan.The 13 full papers presented were carefully reviewed and selected from 34 submissions. The conference focuses on theoretical and computational linguistics covering topics ranging from syntax, semantics, and pragmatics to the philosophy of language and natural language processing.

This book constitutes the refereed proceedings of the ¿Second Workshop on Artificial Intelligence over Infrared Images for Medical Applications, AIIIMA 2023 held in conjunction with MICCAI 2023, held in Vancouver, BC, Canada, on October 2, 2023. The 10 full papers presented in this book were carefully peer reviewed and selected from 15 submissions. The second workshop on AIIIMA, similarily to the first, aimes to create a forum to discuss the specific sub-topic of AI over Infrared Images for Medical Applications at MICCAI and promote this novel area of research, that has the potential to hugely impact our society, among the research community.

This book gathers the latest advances, innovations and applications in the field of sustainable construction materials and structures, as presented by leading international researchers and engineers at the 14th International scientific conference ¿Modern Building Materials, Structures and Techniques¿ (MBMST 2023), held in Vilnius, Lithuania, on 5¿6 October 2023. It covers topics such as modern building materials and their production technologies; investigation and design of reinforced concrete, steel, glass, timber and composite structures; innovative calculation techniques for bridges; geotechnics; new building technologies and management; and building information modelling. The contributions, which were selected through a rigorous international peer-reviewed process, share exciting ideas that will spur novel research directions and foster new multidisciplinary collaborations.

This book is a collection of research papers presented at the International Conference on Innovative Research, a part of EUROINVENT 2023, held under the patronage of Romanian Ministry of Research Innovation and Digitization. The book features contributions from leading researchers, engineers, and students who have presented their insights and experiences on a wide range of topics in the field of Materials Science and Engineering. The papers cover advancements, innovations, and future directions in the field, and are grouped into sections based on the themes discussed at the conference. The book is a valuable resource for researchers, students, and professionals interested in the latest developments in materials science and engineering.

This book constitutes the proceedings of the 6th International Conference on Applied Informatics, ICAI 2023, which took place in Guayaquil, Ecuador, in October 2023.The 30 papers presented in this volume were carefully reviewed and selected from 132 submissions. The contributions are divided into the following thematic blocks: Artificial Intelligence; Data Analysis; Decision Systems; Enterprise Information Systems Applications; Geoinformatics; Health Care Information Systems; Interdisciplinary Information Studies; Learning Management Systems; Virtual and Augmented Reality.

This book provides comprehensive studies from Middle East, African countries and Asia including Afghanistan, Algeria, Egypt, India, Iraq, Kyrgyzstan, Tunisia and Turkey on groundwater management, modelling and monitoring. A broad approach such as modelling, artificial intelligence, machine learning, and statistical models was applied in arid and semi-arid areas for management of the groundwater. These new approaches are currently in high demand. The book delves into the applications of these methods and will be a potential asset to the researchers worldwide. The book is a timely publication containing chapters based on primary data or/and extensive review chapters comprising new emerging techniques. Current high-demand research on management through the application of modelling, artificial intelligence and machine learning is the main selling point of this book.

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 5th International Conference on Advances in Quantitative Ethnography, ICQE 2023, held in Melbourne, VIC, Australia, during October 8¿12, 2023.The 33 full papers included in this book were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: understanding learners and learning; society, culture, identity, and justice; and advances in QE methodologies.

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Security Protocols, held in Cambridge, UK, during March 27¿28, 2023.Thirteen papers out of 23 submissions were selected for publication in this book, presented together with the respective transcripts of discussions. The theme of this year's workshop was ¿Humans in security protocols ¿ are we learning from mistakes?¿The topics covered are securing the human endpoint and proving humans correct.

This book constitutes the refereed proceedings of the 27th International Conference on Enterprise Design, Operations, and Computing, EDOC 2023, held in Groningen, The Netherlands, during October 30¿November 3, 2023.The 12 full papers included in this book were carefully reviewed and selected from 36submissions. They were organized in topical sections as follows: Enterprise Modeling, Enterprise Architecture & Engineering, Model-Based Software Engineering, Enterprise Analysis with Process Mining, Process Improvement & Engineering, and Modeling in an Enterprise Context.