Bücher veröffentlicht von Springer Nature Switzerland

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 is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). To do so, the developed technical machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data.In 2022, the PhD dissertation won the ¿BPM Dissertation Award¿, granted to outstanding PhD theses in the field of Business Process Management.

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.

This book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Additionally, the book contains 4 keynote speeches and 3 tutorials, and one invited paper corresponding to one of the keynote speeches.The papers cover a broad spectrum of classical and modern topics on conceptual modeling, including research and practice in the theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models.

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.

This book constitutes the refereed proceedings of 7 workshops, held at the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023.The 28 full and 2 short papers were carefully reviewed and selected out of 53 submissions. Topics of interest span the entire spectrum of conceptual modeling, including research and practice in areas such as theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models. The following workshops are included in this volume: CMLS ¿ 4th International Workshop on Conceptual Modeling for Life Sciences;CMOMM4FAIR ¿ Third Workshop on Conceptual Modeling, Ontologies and (Meta)data Management for Findable, Accessible, Interoperable, and Reusable (FAIR) Data;EmpER ¿ 6th International Workshop on Empirical Methodsin Conceptual Modeling;JUSMOD ¿ Second International Workshop on Digital Justice, Digital Law and Conceptual Modeling;OntoCom ¿ 9th International Workshop on Ontologies and Conceptual Modeling;QUAMES ¿ 4th International Workshop on Quality and Measurement of Model-Driven Software Development;SmartFood ¿ First Workshop on Controlled Vocabularies and Data Platforms for Smart Food Systems.

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.

Rising concern about climate change and strong societal expectations with increasing complexities of mineral deposits being mined, call for more innovative exploration and exploitation technologies with higher productivity and recovery including eco-friendly strategies and policies in place for long term sustainability of the mineral Industry. It is now ardently necessary to identify and define the best mining practices addressing societal needs.In view of these, The Mining, Geological and Metallurgical Institute of India (MGMI), established way back on 16th January 1906, and one of the oldest institutions of this kind in the world, is organizing the 10th Asian Mining Congress (AMC) during November 06-09, 2023 in Kolkata, India with the Theme, ¿Roadmap for Best Mining Practices vis-à-vis Global Transformation¿. The AMC and International Mining Exhibition (IME), held concurrently, are flagship international events organized by MGMI biennially since its centenary year. This series have provided ample opportunities to all stakeholders including practicing engineers, machinery manufacturers, planners, regulators, academicians, scientists and policy makers, for sharing their knowledge, experience and expertise and exhibit their products that can benefit the mining and mineral industries not only in the Asian region but also globally.This proceeding of 10th AMC contains the articles written by eminent persons and stalwarts in their respective domains. It is a collection of contemporary articles narrating recent advancements in mining sector.

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 centralizes the importance of using culturally relevant models within health promoting schools (HPS) to promote the participation of Black students. In current HPS models Black students are often overlooked. The author presses beyond the mainstream, science-focused research on HPS to grapple with issues of power, prejudice, and oppression and focus on the social determinants of health. By focusing on social constructs as a constraint to Black students¿ wellbeing (rather than only disease), chapters present a multidimensional whole-school intervention aimed at comprehensively bridging the empowerment gap between Black students and historically privileged students.

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 book is a complete reference to the use of shear thickening fluid (STF) in protective applications. It discusses the adaptive behavior of STF in various systems and how it is used effectively in a wide range of protective applications from low-velocity to high-velocity conditions. Covered applications include STF-based energy absorbing systems, anti-impact structures, deceleration devices, shock attenuation composites, and body armor applications. Shear Thickening Fluid in Protective Applications will be a valuable reference for practicing engineers, researchers, and scientists working in advanced materials, protective applications, and smart structures.

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 book aims to offer new scientific concept in the field of water and environment. The main purpose of this book is to exchange some of the latest research findings and educational information on the water and environment in order to take important measures to protect water resources and the environment for future generations in accordance with the principles of sustainable development. The book welcomes all related research and review papers and hopes ICSDWE can positively impact our world and provide a better future for all, including the improvement to the quality of life.

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.