Search results for ""Springer International Publishing AG""
Springer International Publishing AG Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky: 24th International Conference, AIED 2023, Tokyo, Japan, July
This volume constitutes poster papers and late breaking results presented during the 24th International Conference on Artificial Intelligence in Education, AIED 2023, Tokyo, Japan, July 3–7, 2023.The 65 poster papers presented were carefully reviewed and selected from 311 submissions. This set of posters was complemented with the other poster contributions submitted for the Poster and Late Breaking results track of the AIED 2023 conference.
£109.99
Springer International Publishing AG Alicyclic Chemistry
This textbook is intended for undergraduate and postgraduate students in organic chemistry. It describes the synthesis and properties of cycloalkanes compounds such as cyclopropane, cyclobutane, cyclopentane, cyclohexane, cycloheptane and cycloheptatriene. It further covers the chemistry of ring compounds. The book also covers the reaction mechanisms of non-benzenoid aromatic compounds including annulenes, metallocenes and azulenes. It further contains discussions on tropone, tropolones, fluxional molecules, catenanes and rotaxanes. End-of-chapter exercises such as multiple-choice questions and short answer-questions help students in self-learning. This textbook is useful for undergraduate and postgraduate students in organic chemistry.
£69.99
Springer International Publishing AG Modified Posterior Approach to the Hip Joint
This book provides a detailed description of the anatomy as well as surgical aspects of posterior approach to the hip joint. This approach has been highlighted in several key texts in orthopaedics over the years with this book offering the reader a comprehensive overview in a single resource.Modified Posterior Approach to the Hip Joint, 2nd Edition provides a well-structured overview of the original surgical findings undertaken by the Author, which are still followed ardently today. Clinicians seeking a clear and illustrated guide to the posterior approach to hip surgery will find this book to be an indispensable resource in everyday clinical practice.
£79.99
Springer International Publishing AG Blended Learning : Lessons Learned and Ways Forward: 16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Blended Learning, ICBL 2023, held in Hong Kong, China, on July 17-20, 2023. The 24 papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections named: smart classroom and digital literacy; online and distant learning; content and pedagogy development for blended learning; gamification and interactive learning environment; learning analytics and big data in education.
£49.99
Springer International Publishing AG Reimagining Science Education in the Anthropocene, Volume 2
This volume, a follow up to Reimagining Science Education in the Anthropocene (2021), continues a transdisciplinary conversation around reconceptualizing science education in the era of the Anthropocene. Drawing educators from many walks of life and areas of practice together in a creative work that helps reorient science education toward the problems and peculiarities associated with this contemporary geologic time. This work continues the mission of transforming the ways communities inherit science and technology education: its knowledges, practices, policies, and ways-of-living-with-Nature. Our understanding of the Anthropocene is necessarily open and pluralistic, as different beings on our planet experience this time of crisis in different ways. This second volume continues to nurture productive relationships between science education and fields such as science studies, environmental studies, philosophy, the natural sciences, Indigenous studies, and critical theory in order to provoke a science education that actively seeks to remake our shared ecological and social spaces in the coming decades and centuries. This is an open access book.
£44.99
Springer International Publishing AG Software Engineering Research in System Science: Proceedings of 12th Computer Science On-line Conference 2023, Volume 1
The latest advancements in software engineering are featured in this book, which contains the refereed proceedings of the part of the 12th Computer Science Online Conference 2023 (CSOC 2023), held online in April 2023. The software engineering research in system science session is focusing on the importance of software engineering in the field of system science. This section provides a platform for researchers to share their insights on modern research methodologies, machine learning, and statistical learning techniques in software engineering research. The session provides a unique opportunity for researchers and industry experts to explore the latest trends in software engineering and inspire future research directions. This session brings together experts from different fields to present their research and discuss the latest challenges and opportunities. One of the key themes of this session is the application of artificial intelligence in software engineering. Researchers are exploring how techniques can be used to automate various aspects of software engineering, such as testing, debugging, and maintenance. This helps improve the quality and efficiency of software development processes.
£159.99
Springer International Publishing AG Functional Imaging and Modeling of the Heart: 12th International Conference, FIMH 2023, Lyon, France, June 19–22, 2023, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Functional Imaging and Modeling of the Heart, held in Lyon, France, in June 2023.The 72 full papers were carefully reviewed and selected from 80 submissions. The focus of the papers is on following topics: increased imaging resolutions, data explosion, sophistication of computational models and advent of AI frameworks, while new imaging modalities have emerged (e.g. combined PET-MRI, Spectral CT).
£84.99
Springer International Publishing AG Modernity in Health and Disease Diagnosis: The Account from STEM Women
This book gathers contributions highlighting the role of women in science, with a focus on health and disease.Women have contributed in no small way to the wealth of knowledge and discoveries in various aspects of health.The 21st century has been dubbed the "Knowledge Economy" due to a substantial increase in the accessibility of information, leading individuals to become more knowledgeable and well-rounded.Given the fact that irrespective of the field of study, knowledge eventually decays, more women in the 21st century have been at the forefront extending the frontiers of knowledge in the field of STEMM (Science Technology Engineering Mathematics Medicine) - engaging in rigorous research and making significant contributions in the field. Letting their voices heard through their well-researched published studies is a significant way of encouraging other upcoming women scientist and bringing advances in disease diagnosis to achieve SDG3.The contributions in this book aim to increase visibility of women in the field of science and to serve as a source of inspiration to everyone.
£109.99
Springer International Publishing AG End-User Development: 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6–8, 2023, Proceedings
This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6–8, 2023.The 17 full papers and 2 (keynote extended abstracts) included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: Artificial Intelligence for End-Users; Internet of Things for End-Users; Privacy; Security and Society; Supporting End-User Development.
£49.99
Springer International Publishing AG Agile Processes in Software Engineering and Extreme Programming: 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13–16, 2023, Proceedings
This open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Whole Team Sustainability”. The 11 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They focus on agile practices and agile in the large.
£34.99
Springer International Publishing AG Migration and Entrepreneurship in the Global Context: Case Studies, Processes and Practices
Presenting a collection of case studies on immigrant and migrant entrepreneurship, this book offers an understanding of the phenomenon as a creation of a distinctive labor market that leads to innovation, productivity, and economic growth. As such, it contributes to SDG 8: 'Promote sustained, inclusive and sustainable economic growth, full and productive employment and decent work for all.'Reflecting on the increasing interest in the subject, contributors provide new perspectives of migrants in diaspora, thus offering a better grasp of lived experiences. Chapters explore the common adversities that immigrant entrepreneurs face, such as the lack of knowledge in terms of operations of the host country market, dealing with unfair treatment, and the subsequent challenge of building long term relationships with locals. Focusing on individual migrant entrepreneurship cases and the recurrent challenges that such entrepreneurs encounter, many of the chapters are written by academics who are migrants with entrepreneurial experiences, which brings a unique insight into the topic. Exploring issues such as gender and enterprise, family business, and entrepreneurial activities, this distinctive collection provides a comprehensive overview of varied experiences of migrant entrepreneurs in both developed and developing countries.
£139.99
Springer International Publishing AG Pattern Recognition: 15th Mexican Conference, MCPR 2023, Tepic, Mexico, June 21–24, 2023, Proceedings
This book constitutes the refereed proceedings of the 15th Mexican Conference on Pattern Recognition, MCPR 2023, held in Tepic, Mexico, during June 21–24, 2023.The 30 full papers presented in this book were carefully reviewed and selected from 61 submissions. The papers are divided into the following topical sections: pattern recognition and machine learning techniques; deep learning and neural networks; medical applications of pattern recognition; language processing and recognition; and industrial applications of pattern recognition.
£59.99
Springer International Publishing AG Cloud Technologies and Services: Theoretical Concepts and Practical Applications
This textbook provides a thorough yet compact review of cloud technologies. It offers easy to understand explanations of the technical concepts underlying cloud services, platforms, and applications offered by Amazon Web Services (AWS), Microsoft Azure, and the Google Cloud Platform (GCP). It presents cloud concepts at a depth that can be understood and applied by both technical and non-technical readers. Once that is accomplished the learner can then easily move toward more advanced topics. Or, they can use the knowledge gained from this book to obtain industry certifications and be competitive in this exciting industry. Reader learning is enhanced with quizzes and exam questions and hands-on labs throughout the book with PowerPoint slides, instructor guide and additional labs online. All the tools needed for advancement to the level of cloud architect are found in this book. The author has verified the success of this approach in his own academic environment with much success. He teaches Cloud Engineering and Advanced Cloud Engineering at Southern Methodist University. Both courses were developed in partnership with the AWS Academy, the education arm of the Amazon Web Services cloud platform. Using this methodology his students routinely take and pass cloud certification exams and obtain lucrative employment positions in the rapidly expanding cloud industry.
£64.99
Springer International Publishing AG Modeling Decisions for Artificial Intelligence: 20th International Conference, MDAI 2023, Umeå, Sweden, June 19–22, 2023, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2023, held in Umeå, Sweden, during June19–22,2023.The 17 papers presented in this volume were carefully reviewed and selected from 28 submissions. Additionally, 1 invited paper were included. The papers discuss different facets of decision processes in a broad sense and present research in data science, data privacy, aggregation functions, human decision making, graphs and social networks, and recommendation and search.The papers are organized in the following topical sections: Decision making and uncertainty; Machine Learning and data science; and Data privacy.
£49.99
Springer International Publishing AG Combinatorics on Words: 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Combinatorics on Words, WORDS 2023, held in Umeå, Sweden, during June 12–16, 2023.The 19 contributed papers presented in this book were carefully reviewed and selected from 28 submissions. In addition, the volume also contains 3 invited papers. WORDS is the main conference series devoted to combinatorics on words. This area is connected to several topics from computer science and mathematics, including string algorithms, automated proofs, discrete dynamics, number theory and, of course, classical combinatorics
£59.99
Springer International Publishing AG New Challenges for the Banking Industry: Searching for Balance Between Corporate Governance, Sustainability and Innovation
This book aims to enrich the banking and finance literature by gathering insights in new research topics being undertaken in the aftermath of the Covid-19 pandemic. The book spans all the major research fields in finance and banking with a particular focus on corporate governance, sustainability and innovation. The book brings together academics at a range of European universities and stems from research presented at the 2022 Annual Conference of the Wolpertinger Club. The first part focuses on the impact of banks’ corporate governance practice on their performance, including pay gaps as well as diversity and ESG policies. The second part examines how banks are conducting their green transition with topics including reputational risk, greenwashing, green bonds, and ESG scores. The final section of the book considers the role of digitalization and innovative technologies in creating unprecedented disruption in the banking sector. This edited collection is valuable to those researching in finance, banking and business, as well as policymakers and operational decision makers at financial institutions.
£149.99
Springer International Publishing AG Augmented Intelligence and Intelligent Tutoring Systems: 19th International Conference, ITS 2023, Corfu, Greece, June 2–5, 2023, Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Augmented Intelligence and Intelligent Tutoring Systems, ITS 2023, held in Corfu, Greece, during June 2-5, 2023. The 41 full papers and 19 short papers presented in this book were carefully reviewed and selected from 84 submissions. The papers are divided into the following topical sections: augmented intelligence in tutoring systems; augmented intelligence in healthcare informatics; augmented intelligence in games, serious games and virtual reality; neural networks and data mining; augmented intelligence and metaverse; security, privacy and ethics in augmented intelligence; and applied natural language processing.
£84.99
Springer International Publishing AG The Content Governance Dilemma: Digital Constitutionalism, Social Media and the Search for a Global Standard
This open access book is one of the first academic works to comprehensively analyse the dilemma concerning global content governance on social media. To date, no single human rights standard exists across all social media platforms, allowing private companies to set their own rules, values and parameters. On the one hand, this normative autonomy raises serious concerns, primarily around whether companies should be permitted to establish the rules governing free speech online. On the other hand, if social media platforms simply adopted international law standards, they would be compelled to operate a choice on which model to follow, and put in place mechanisms to uphold these general standards. This book examines this topic from a multidisciplinary perspective, drawing from the expertise of the authors in law, political science and communication studies. It provides a carefully reconstructed theory of the content governance dilemma, as well as pragmatic solutions for companies and policymakers. In this way, the book not only benefits academics by advancing the debate on content moderation issues, but also informs new policies and regulatory strategies by offering an up-to-date overview of rules and tools for content moderation, as well as an evaluation of their current level of compliance with standards emerged in international human rights law and digital constitutionalism initiatives.
£44.99
Springer International Publishing AG Decision Support Systems XIII. Decision Support Systems in An Uncertain World: The Contribution of Digital Twins: 9th International Conference on Decision Support System Technology, ICDSST 2023, Albi, France, May 30 – June 1, 2023, Proceedi
This book constitutes the proceedings of the 9th International Conference on Decision Support Systems Technologies, ICDSST 2023, held during May 30 – June 1, 2023.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.
£49.99
Springer International Publishing AG Keywords In and Out of Context
This book explores the rich history of the keyword from its earliest manifestations (long before it appeared anywhere in Google Trends or library cataloging textbooks) in order to illustrate its implicit and explicit mediation of human cognition and communication processes. The author covers the concept of the keyword from its deictic origins in primate and proto-speech communities, through its development within oral traditions, to its initial appearances in numerous graphical forms and its workings over time within a variety of indexing traditions and technologies. The book follows the history all the way to its role in search engine optimization and social media strategies and its potential as an element in the slowly emerging semantic web, as well as in multiple voice search applications. The author synthesizes different perspectives on the significance of this often-invisible intermediary, both in and out of the library and information science context, helping readers to understand how it has come to be so embedded in our daily life.This book: Provides a thorough history of the keyword, from primate and proto-speech communities to current times Explains how the concept of the keyword relates to human cognition and communication processes Highlights the applications of the keyword, both in and out of the library and information science context
£24.99
Springer International Publishing AG Sketches of Physics: The Celebration Collection
This book is a journey through the wonders of physics, the special thousandth volume of the renowned Lecture Notes in Physics book series. From quantum physics to solar physics, this volume showcases the beauty of physics in various fields. Written by series editors and colleagues, these essays are accessible to non-specialists and graduate-level students alike, making for an intriguing read for anyone interested in learning about physics beyond their own field of study. Explore the historical development of the series with two insightful forewords.List of essays: A New Era of Quantum Materials Mastery and Quantum Simulators In and Out of Equilibrium Evaluation and Utility of Wilsonian Naturalness The Geometric Phase: Consequences in Classical and Quantum Physics The Coming Decades of Quantum Simulation Insights into Complex Functions Exploring the Hottest Atmosphere with the Parker Solar Probe A Primer on the Riemann Hypothesis
£74.99
Springer International Publishing AG Modern Keratoplasty: Surgical Techniques and Indications
Keratoplasty techniques have evolved in the last 15 years into a variety of forms, which have diversified the previous monographic presence of the penetrating keratoplasty technique. The development of anterior lamellar graft (DALK), and posterior lamellar graft (DSAEK), makes an important change in the approach to lamellar surgery. Later on, the appearance of DMEK and superficial lamellar keratectomy broadened the spectrum. Today, intralamellar surgery has evolved with a number of techniques that involve stromal enhancement with biologically active or acellular corneal laminas from donors, customized lenticles from SMILE surgeries or customized by corneal topography, and more recently, corneal regeneration of the stroma by advanced techniques using mesenchymal stem cells.This book offers a comprehensive overview of modern keratoplasty techniques, the technology, surgical skills, and outcomes. It highlights the practical uses of keratoplasty for all cornea surgeons and anterior segment surgeons. The book is divided into sections, each covering a specific type of keratoplasty, including chapters on innovations within each surgery type. The goal of this book is to unify all recent knowledge about the different keratoplasty techniques and outcomes, creating a one-stop resource for ophthalmaolgy surgeons.Modern Keratoplasty is a must-have resource for corneal specialists and surgeons, anterior segment surgeons, refractive surgeons, cataract surgeons, residents, fellows, and corneal researchers.
£119.99
Springer International Publishing AG Academia and Higher Learning in Popular Culture
This edited volume focuses on the cultural production of knowledge in the academy as mediated or presented through film and television. This focus invites scrutiny of how the academy itself is viewed in popular culture from The Chair to Terry Pratchett's ‘Unseen University’ and Doctor Who's Time Lord Academy among others. Spanning a number of genres and key film and television series, the volume is also inherently interdisciplinary with perspectives from History, Cultural Studies, Gender Studies, STEM, and more. This collection brings together leading experts in different disciplines and from different national backgrounds. It emphasises that even at a point of mass, global participation in higher education, the academy is still largely mediated by popular culture and understood through the tropes perpetuated via a multimedia landscape.
£109.99
Springer International Publishing AG Descriptive Statistics for Scientists and Engineers: Applications in R
This book introduces descriptive statistics and covers a broad range of topics of interest to students and researchers in various applied science disciplines. This includes measures of location, spread, skewness, and kurtosis; absolute and relative measures; and classification of spread, skewness, and kurtosis measures, L-moment based measures, van Zwet ordering of kurtosis, and multivariate kurtosis. Several novel topics are discussed including the recursive algorithm for sample variance; simplification of complicated summation expressions; updating formulas for sample geometric, harmonic and weighted means; divide-and-conquer algorithms for sample variance and covariance; L-skewness; spectral kurtosis, etc. A large number of exercises are included in each chapter that are drawn from various engineering fields along with examples that are illustrated using the R programming language. Basic concepts are introduced before moving on to computational aspects. Some applications in bioinformatics, finance, metallurgy, pharmacokinetics (PK), solid mechanics, and signal processing are briefly discussed. Every analyst who works with numeric data will find the discussion very illuminating and easy to follow.
£34.99
Springer International Publishing AG Asynchronous Many-Task Systems and Applications: First International Workshop, WAMTA 2023, Baton Rouge, LA, USA, February 15–17, 2023, Proceedings
This book constitutes the proceedings of the Workshop on Asynchronous Many-Task Systems and Applications 2023 in Baton Rouge, LA, USA, February 2023. The workshop present the advantages and challenges of task-based programming on modern and future HPC systems.The 6 full papers included in this volume were carefully reviewed and selected from 7 submissions.
£44.99
Springer International Publishing AG Co-Evolution of Symbolic Species in the Financial Market: A Framework for Economic and Political Decision-Making
This book offers a systemic understanding of the evolutionary model of financial markets and their place with broader political economic systems. Through examining the co-evolutionary process, where the interplay between financial markets and society is highlighted, insight is provided into the concepts of growth, development, preference, information, and price. After outlining these core concepts, they are applied to co-evolution within financial markets to illustrate the mechanics that underpin economic systems. Binomial and trinomial co-evolution is then discussed in relation to financial market variables, preference and price in terms of symbolic utility, and logical economic modelling structures.This book presents a new research methodology based on a logical to approach economics that looks beyond historical and empirical economic frameworks. It will be relevant to students, researchers, and policymakers interested in financial economics.
£109.99
Springer International Publishing AG Pervasive Knowledge and Collective Intelligence on Web and Social Media: First EAI International Conference, PerSOM 2022, Messina, Italy, November 17-18, 2022, Proceedings
This book constitutes the refereed post-conference proceedings of the First International Conference on Pervasive Knowledge and Collective Intelligence on Web and Social Media, PerSOM 2022, which was held in Messina, Italy, in November 2022. The 9 full papers were carefully reviewed and selected from 35 submissions and present findings of research from the fields of pervasive computing, web, and social media to promote ideas and practices about pervasive knowledge and collective intelligence in this fields. The conference targeted a wide variety of topics including new perspectives in social theories, complex networks, data science, knowledge management, web and social media.
£54.99
Springer International Publishing AG Postdigital Research: Genealogies, Challenges, and Future Perspectives
This book explores genealogies and the challenges related to the concept of the postdigital, the ambiguous nature of postdigital knowledges, and the many faces of postdigital sensibilities. The book answers three key questions: What is postdigital knowledge? What does it mean to do postdigital research? What, if anything, is distinct from research conducted in other perspectives? As such, this book is a one-stop publication for those interested in the theory of postdigital research. Postdigital Research: Genealogies, Challenges, and Future Perspectives is complemented by Constructing Postdigital Research: Method and Emancipation, also edited by Petar Jandrić, Alison MacKenzie, and Jeremy Knox, which explores these questions in practice.
£149.99
Springer International Publishing AG Risks and Security of Internet and Systems: 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers
This book constitutes the proceedings of the 17th International Conference on Risks and Security of Internet and Systems, CRiSIS 2022, which took place in Sousse, Tunesia, during December 7-9, 2022. The 14full papers and 4 short papers included in this volume were carefully reviewed and selected from 39 submissions. The papers detail security issues in internet-related applications, networks and systems.
£99.99
Springer International Publishing AG Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. .
£34.99
Springer International Publishing AG Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, P
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
£34.99
Springer International Publishing AG Cognitive Security: A System-Scientific Approach
This book presents the latest research in cognitive security, a rapidly emerging field that addresses the vulnerabilities in human behavior and cognition that can lead to Cyber-Physical Systems (CPS) compromise. This book demonstrates that as adversaries increasingly use manipulative and deceptive information to disrupt human cognitive processes, including sensation, attention, memory, and mental operations, humans are misled into fallacious reasoning and manipulated decisions that can lead to system-level meltdown. Cognitive security aims to protect humans from the exploitation of cognitive vulnerabilities, help them make informed decisions that are free from manipulation and undue influence, and mitigate the aggravating risk in the ensuing steps of the attacker’s kill chain. This book offers solutions that work across different fields, such as psychology, neuroscience, data science, social science, and game theory, to deal with cognitive threats. It guides the reader through the core ideas with figures, real-life examples, and case studies. Moreover, it formally defines all research questions, presents the results using mathematical theorems and proofs, and obtains insights through numerical validation. This book provides a self-contained and brief overview of essential system-scientific tools for modeling, analyzing, and mitigating cognitive vulnerabilities. The concepts of human cognitive capacities and cognitive vulnerabilities are formally discussed, followed by two case studies in the scenarios of reactive and proactive attention vulnerabilities. This book provides insights and applications on this transdisciplinary topic, with the goal of motivating future research in this emerging area and pushing the frontier of human-technology convergence. This book is a valuable reference for researchers and advanced-level students studying or working in cognitive security and related fields. It is also useful for decision-makers, managers, and professionals working within these related fields.
£39.99
Springer International Publishing AG Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
£34.99
Springer International Publishing AG Virtual and Innovative Quality Management Across the Value Chain: Industry Insights, Case Studies and Best Practices
This book provides professionals and academics with a holistic and practical approach to virtual and innovative quality management (QM) throughout the business value chain. It describes how to manage the value change from the supply side combining all functions of the value chain and contains best practices in performance, particularly in the production, trading, service, and information industries. It explores such topics as integrated management systems (IMS), extended reality, artificial intelligence, and environmental social governance (ESG). Industry examples and case studies are used to reveal the diversity of opportunities for QM methodologies and principles. This book is an ideal guide for professionals and practitioners who wish to incorporate QM concepts to achieve a competitive advantage across all business functions.
£79.99
Springer International Publishing AG Victorian Verse: The Poetics of Everyday Life
Victorian Verse: The Poetics of Everyday Life casts new light on nineteenth-century poetry by examining the period through its popular verse forms and their surrounding social and media landscape. The volume offers insight into two central concepts of both the Victorian era and our own—status and taste—and how cultural hierarchies then and now were and are constructed and broken. By recovering the lost diversity of Victorian verse, the book maps the breadth of Victorian writing and reading practices, illustrating how these seemingly minor verse genres actually possessed crucial social functions for Victorians, particularly in education, leisure practices, the cultural production of class, and the formation of individual and communal identities. The essays consider how “major” Victorian poets, such as the Pre-Raphaelites, were also committed to writing and reading “minor” verse, further troubling the clear-cut notions of canonicity by examining the contradictions of value.
£109.99
Springer International Publishing AG Visual and Performing Arts Collaborations in Higher Education: Transdisciplinary Practices
This book examines the role of the visual and performing arts in higher education and argues for the importance of socially engaged transdisciplinary practices, not just to the college curriculum but also to building an informed and engaged citizenry. The first chapter defines and offers an outline for conducting transdisciplinary research. Chapters two through five present examples of transdisciplinary projects facilitated in Central Florida between 2017 and 2022. Topics and methodological frameworks include ecocriticism and climate change, migration, poverty, and displacement, ageing and disability, and systemic racism and mass incarceration. Each chapter includes descriptions of the projects and outlines how they integrated the essential learning outcomes articulated by the American Association of Colleges and Universities in the Liberal Education and America’s Promise report. A concluding chapter offers reflections on the value of transdisciplinary collaborative work and poses questions for further discussions on the role of the arts in higher education. The book is designed for graduate and undergraduate students, faculty, and non-academics interested in engaging in transdisciplinary projects to address complex societal issues.
£99.99
Springer International Publishing AG Genetic Programming: 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings
This book constitutes the refereed proceedings of the 26th European Conference on Genetic Programming, EuroGP 2023, held as part of EvoStar 2023, in Brno, Czech Republic, during April 12–14, 2023, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EvoApplications. The 14 revised full papers and 8 short papers presented in this book were carefully reviewed and selected from 38 submissions. The wide range of topics in this volume reflects the current state of research in the field. The collection of papers cover topics including developing new variants of GP algorithms for both optimization and machine learning problems as well as exploring GP to address complex real-world problems.
£59.99
Springer International Publishing AG COVID19 and Perinatology
The book is answering a clear need and is directed to: 1) obstetricians, 2) neonatologists, 3) pediatricians, 3) public health specialists, 4) adult critical care physicians, 5) infectious disease specialists, 5) psychologists.
£59.99
Springer International Publishing AG Artificial Intelligence for Communications and Networks: 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
This book, AICON 2022, constitutes the post-conference proceedings of the 4th EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2022, held in Hiroshima, Japan, in November 30- December 1, 2022. The 9 full papers and 4 short papers were carefully reviewed and selected from 36 submissions. The papers detail research in the areas of AI and communication systems related to intelligent systems and computational intelligence for communication and networks. They are organized in topical sections on AI and networks; machine learning; and evolutionary computation.
£54.99
Springer International Publishing AG Epistemic Situation Calculus Based on Granular Computing: A New Approach to Common-Sense Reasoning
This book approaches to the subject of common-sense reasoning in AI using epistemic situation calculus which integrates the ideas of situation calculus and epistemic logic. Artificial intelligence (AI) is the research area of science and engineering for intelligent machines, especially intelligent computer programs. It is very important to deal with common-sense reasoning in knowledge-based systems. If we employ a logic-based framework, classical logic is not suited for the purpose of describing common-sense reasoning. It is well known that there are several difficulties with logic-based approaches, e.g., the so-called Fame Problem. We try to formalize common-sense reasoning in the context of granular computing based on rough set theory. The book is intended for those, like experts and students, who wish to get involved in the field as a monograph or a textbook for the subject. We assume that the reader has mastered the material ordinarily covered in AI and mathematical logic
£109.99
Springer International Publishing AG The Misdiagnosis Casebook in Clinical Medicine: A Case-Based Guide
One third of misdiagnosed medical cases result in serious injury or death. Moreover, 40,000-80,000 deaths occur each year in the United States alone because of misdiagnosis. This is a major clinical crisis that medical schools and hospitals have failed to adequately address. There is currently no book available that provides general clinicians with the knowledge to prevent such lethal errors in a variety of disciplines.Composed of clinical cases, the book represents seventy chapters fashioned into sixteen modules and are organized by systems, such as allergy and immunology, cardiology, neurology and rheumatology, just to name a few. Each chapter is organized with a general introduction to the topic followed by the name of the specific disease. Next comes the actual clinical case presentation followed by the differential diagnosis. It then explains what was misdiagnosed in the specific case and why. A general discussion and plan of action is then described followed by a conclusion. Uniquely incorporated in the book is a chapter dedicated to the legal perspectives of misdiagnosis followed by an editor’s perspective. The Misdiagnosis Casebook in Clinical Medicine is a valuable and much-needed resource for clinicians as well as practitioners in all areas of medicine.
£99.99
Springer International Publishing AG Information for a Better World: Normality, Virtuality, Physicality, Inclusivity: 18th International Conference, iConference 2023, Virtual Event, March 13–17, 2023, Proceedings, Part I
This two-volume set LNCS 13971 + 13972 constitutes the refereed proceedings of the 18th International Conference on Information for a Better World: Normality, Virtuality, Physicality, Inclusivity, held in March 2023.The 36 full papers and the 46 short papers presented in these proceedings were carefully reviewed and selected from 197 submissions. They cover topics such as: Archives and Records, Behavioral Research, Information Governance and Ethics, AI and Machine Learning, Data Science, Information and Digital literacy, Cultural Perspectives, Knowledge Management and Intellectual Capital, Social Media and Digital Networks, Libraries, Human-Computer Interaction and Technology, Information Retrieval, Community Informatics, and Digital Information Infrastructure.
£69.99
Springer International Publishing AG Revising Smart Cities with Regenerative Design
This book presents a road map to urban regeneration through the contemporary concept of smart cities. It investigates why the concept has gained adoption as it has but until now it has been geared towards a profit-making venture by large corporations and ignoring the economic aspirations of smaller companies and city councils. The technologies can provide enhanced liveability levels if the concept is redefined. This work will be of interest to academics and policy makers looking at exploring how to drive urban regeneration in a sustainable and inclusive fashion while supporting local economies. It presents a case study of Port Louis, Mauritius, with unique insights and data. Academics, policy makers and urban developers could potentially adopt the model and calibrate it to various cities and quantify the economic and social benefits.
£109.99
Springer International Publishing AG Management von Diabetes in Ländern mit niedrigem Einkommen: Bereitstellung einer nachhaltigen Diabetesversorgung mit begrenzten Ressourcen
Dieses Buch befasst sich mit der Komplexität von Diabetes und den damit verbundenen Komplikationen und stellt die sozioökonomische Belastung durch die Krankheit dar, wobei die steigende Prävalenz, die pandemische Ausmaße erreicht, und die damit verbundenen Kosten berücksichtigt werden. Die Faktoren, die zu einer hohen Diabetesprävalenz führen, und der Einfluss der pharmazeutischen Industrie werden bewertet, und es werden Lösungen für eine nachhaltige Diabetesversorgung mit begrenzten Ressourcen aufgezeigt, einschließlich einer nationalen Konzentration auf eine kosteneffiziente Diabetesbehandlung, Ernährung und körperliche Bewegung, strukturierte Diabetesaufklärung und ein zentrales nationales elektronisches Gesundheitssystem. Darüber hinaus werden in diesem Buch langfristige Bemühungen zur Eindämmung der Diabeteslast durch Präventionsmaßnahmen vorgestellt.Managing Diabetes in Low Income Countries" ist ein unverzichtbarer Leitfaden für Kliniker und Forscher in der Diabetesversorgung, Medizinstudenten und Kliniker in der Ausbildung, Entscheidungsträger in der Diabetespolitik, Regulierungsbehörden, internationale Diabetes- und Patientenorganisationen, die alle an der aktuellen klinischen Praxis der Diabetesversorgung beteiligt sind.
£44.99
Springer International Publishing AG Self-Powered Internet of Things: How Energy Harvesters Can Enable Energy-Positive Sensing, Processing, and Communication
This book covers cutting edge advancements on self-powered Internet of Things, where sensing devices can be energy-positive while capturing context from the physical world. It provides new mechanisms for activity recognition without the need of conventional inertial sensors, which demand significant energy during their operation and thus quickly deplete the batteries of internet-of-things (IoT) devices. The book offers new solutions by employing energy harvesters as activity sensors as well as power sources to enable the autonomous and self-powered operation of IoT devices without the need of human intervention. It provides useful content for graduate students as well as researchers to understand the nascent technologies of human activity, fitness and health monitoring using autonomous sensors. In particular, this book is very useful for people working on pervasive computing, activity recognition, wearable IoT, fitness/healthcare and autonomous systems.This book covers a broad range of topics related to self-powered activity recognition. The main topics of this book include wearables, IoT, energy harvesting, energy harvesters as sensors, activity recognition and self-powered operation of IoT devices. This book starts with the introduction of wearable IoT devices and activity recognition and then highlights the conventional activity recognition mechanisms. After that, it describes the use of energy harvesters to power the IoT devices. Later, it explores the use of various energy harvesters as activity sensors. It also proposes the use of energy harvesters as simultaneous source of energy and context information and defines the emerging concept of energy-positive sensing compared to conventional energy-negative sensing. Finally, it explores sensor/signal fusion to enhance the performance using multiple energy harvesters and charts a way forward for future research in this area. This book covers all important and emerging topics that have significance in the design and implementation of autonomous wearable IoT devices. We believe that this book will lay the foundation for designing self-powered IoT devices which can ultimately replace the conventional wearable IoT devices which need regular recharging and replacement.
£109.99
Springer International Publishing AG Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
£44.99
Springer International Publishing AG Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
£79.99
Springer International Publishing AG Syrian Refugees in Turkey: Between Reception and Integration
This open access book provides a comprehensive analysis of Turkey’s response to Syrian mass migration from 2011 to 2020. It examines internal and external dimensions of the refugee issue in relation to Middle Eastern geopolitics as well as the salience of controlling irregular migration to the European Union. The book focuses on policies and discourses developed in the fields of border management, reception, asylum and protection, and integration of refugees with an emphasis on continuities, ruptures and changes. One of its main goals is to compare differences in policy practices across provinces in order to better capture ways in which Syrian refugees claim agency, develop belonging and experience integration in the context of cultural intimacy, precarity and temporariness. By providing rich empirical evidence, this book provides a valuable resource for students and scholars in migration studies, political science, anthropology, sociology and public administration disciplines as well as policy makers, stakeholders and the general public.
£44.99