Bøker utgitt av Springer Nature Switzerland AG

This book is dedicated to the life and work of the mathematician Joachim Lambek (1922¿2014). The editors gather together noted experts to discuss the state of the art of various of Lambek¿s works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. After early work in combinatorics and elementary number theory, Lambek became a distinguished algebraist (notably in ring theory). In the 1960s, he began to work in category theory, categorical algebra, logic, proof theory, and foundations of computability. In a parallel development, beginning in the late 1950s and for the rest of his career, Lambek also worked extensively in mathematical linguistics and computational approaches to natural languages. He and his collaborators perfected production and type grammars for numerous natural languages. Lambek grammars form an early noncommutative precursor to Girard¿s linear logic. In a surprising development (2000), he introduced a novel and deeper algebraic framework (which he called pregroup grammars) for analyzing natural language, along with algebraic, higher category, and proof-theoretic semantics. This book is of interest to mathematicians, logicians, linguists, and computer scientists.

The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work.Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This Second Edition updates and expands on the original editorial content and coverage, including new chapters on definitions and rationale, a general overview, research on mental health disorders, report writing, the role of treatment planning, and treatment associated with mental health disorders. The Second Edition builds on the knowledge base by providing the most current information on all aspects of each topic. This unique volume addresses basic questions in salient detail, from types and rates of challenging behaviors to populations that warrant functional assessment. In addition, it examines typical assessment techniques, including interview, scaling, experimental, and in vivo methods. The use of functional assessment in treatment planning ¿ and in combination with other interventions ¿ is covered in depth. Given the vulnerable populations and challenging behaviors (e.g., individuals with autism, intellectual disabilities, mental health issues), the book provides detailed coverage of informed consent as well as legal and ethical issues.Key areas of coverage include:The history of behavior analysis and functional assessment.The nature, prevalence, and characteristics of challenging behaviors.Interview and observation methods in functional assessment and analysis.Experimental functional analysis for challenging behaviors.Treatment methods commonly used with functional assessment.Using functional assessment in treatment planning.Functional Assessment for Challenging Behaviors, Second Edition, is an essential updated resource for researchers, clinicians and other practitioners, and graduate students in clinical child and school psychology, pediatric psychiatry and medicine, social work, rehabilitation, developmental psychology as well as other interrelated disciplines.

This book presents the proceedings of the 12th International Parallel Tools Workshop, held in Stuttgart, Germany, during September 17-18, 2018, and of the 13th International Parallel Tools Workshop, held in Dresden, Germany, during September 2-3, 2019. The workshops are a forum to discuss the latest advances in parallel tools for high-performance computing. High-performance computing plays an increasingly important role for numerical simulation and modeling in academic and industrial research. At the same time, using large-scale parallel systems efficiently is becoming more difficult. A number of tools addressing parallel program development and analysis has emerged from the high-performance computing community over the last decade, and what may have started as a collection of a small helper scripts has now matured into production-grade frameworks. Powerful user interfaces and an extensive body of documentation together create a user-friendly environment for parallel tools.

This volume focuses on very young children¿s (aged 0-8) rights in a digital world. It gathers current research from around the globe that focuses on young children¿s rights as agental citizens to the provision of and participation in digital devices and content¿as well as their right to protection from harm. The UN Digital Rights Framework of 2014 addresses children¿s needs, agency and vulnerability to harm in today¿s digital world and implies roles and responsibilities for a variety of social actors including the state, families, schools, commercial entities, researchers and children themselves. This volume presents a broad range of research, including chapters on parental supervision and control, the changing forms of play, early childhood education, media and cultural studies, law, design, health, special-needs education, and engineering. Implicit within this book is the acknowledgement that children of various ages, abilities, socioeconomic and geographic backgrounds should have equal access to, and positive / non-harmful experiences with, new digital technologies and content¿as well as adult support and expertise that enhances these experiences.This passionate book celebrates the diversity of young children¿s activities in the digital world. It interrogates these through four intersecting lenses: their rights, play experiences, contextualised design, and best practice. Balancing children¿s eager engagement with digital content alongside adult responsibilities for education, privacy and protection, the volume provides a fitting showcase for work of global relevance.Professor Lelia GreenProfessor of CommunicationsEdith Cowan UniversityPerth, Western AustraliaThis compelling text provides a critical resource to inform our understanding of the intersection of the digital world and children¿s rights.Ilene R. Berson, Ph.D.Professor of Early Childhood EducationAffiliate Faculty, Learning Design & TechnologyArea Coordinator, Early ChildhoodCoordinator, Early Childhood Ph.D. ProgramUniversity of South FloridaCollege of EducationA truly international collection that investigates young children¿s engagement with digital technologies. Identifying issues of public interest around digital practices, this highly readable book is a valuable resource for researchers, parents and policy makers. Professor Susan DanbyDirector, ARC Centre of Excellence for the Digital Child and,Faculty of EducationSchool of Early Childhood and Inclusive Education QUTKelvin Grove, Queensland

This collection presents papers from a symposium on extraction of rare metals as well as rare extraction processing techniques used in metal production. It covers metals essential for critical modern technologies including electronics, electric motors, generators, energy storage systems, and specialty alloys. ¿Rare metals are the main building blocks of many emerging critical technologies and have been receiving significant attention in recent years. Much research in academia and industry is devoted to finding novel techniques to extract critical and rare metals from primary and secondary sources. The technologies that rely on critical metals are dominating the world, and finding a way to extract and supply them effectively is highly desirable and beneficial. Rapid development of these technologies entails fast advancement of the resource and processing industry for their building materials. Authors from academia and industry exchange knowledge on developing, operating,and advancing extractive and processing technologies. Contributions cover rare-earth elements (magnets, catalysts, phosphors, and others), energy storage materials (lithium, cobalt, vanadium, graphite), alloy elements (scandium, niobium, titanium), and materials for electronics (gallium, germanium, indium, gold, silver). The contributions also cover various processing techniques in mineral beneficiation, hydrometallurgy, separation and purification, pyrometallurgy, electrometallurgy, supercritical fluid extraction, and recycling (batteries, magnets, electrical and electronic equipment).

This book presents an in-depth overview of recent work related to the safety, security, and privacy of cyber-physical systems (CPSs). It brings together contributions from leading researchers in networked control systems and closely related fields to discuss overarching aspects of safety, security, and privacy; characterization of attacks; and solutions to detecting and mitigating such attacks. The book begins by providing an insightful taxonomy of problems, challenges and techniques related to safety, security, and privacy for CPSs. It then moves through a thorough discussion of various control-based solutions to these challenges, including cooperative fault-tolerant and resilient control and estimation, detection of attacks and security metrics, watermarking and encrypted control, privacy and a novel defense approach based on deception. The book concludes by discussing risk management and cyber-insurance challenges in CPSs, and by presentingthe future outlook for this area of research as a whole. Its wide-ranging collection of varied works in the emerging fields of security and privacy in networked control systems makes this book a benefit to both academic researchers and advanced practitioners interested in implementing diverse applications in the fields of IoT, cooperative autonomous vehicles and the smart cities of the future.

This book offers a comprehensive treatise on the recent pursuits of Artificial Intelligence (AI) ¿ Explainable Artificial Intelligence (XAI) by casting the crucial features of interpretability and explainability in the original framework of Granular Computing. The innovative perspective established with the aid of information granules provides a high level of human centricity and transparency central to the development of AI constructs. The chapters reflect the breadth of the area and cover recent developments in the methodology, advanced algorithms and applications of XAI to visual analytics, knowledge representation, learning and interpretation. The book appeals to a broad audience including researchers and practitioners interested in gaining exposure to the rapidly growing body of knowledge in AI and intelligent systems.

This book presents research on the challenges and potential of fungal contribution in agriculture for food substantiality. Research on fungi plays an essential role in the improvement of biotechnologies which lead global sustainable food production. Use of fungal processes and products can bring increased sustainability through more efficient use of natural resources. Fungal inoculum, introduced into soil together with seed, can promote more robust plant growth through increasing plant uptake of nutrients and water, with plant robustness being of central importance in maintaining crop yields. Fungi are one of nature¿s best candidates for the discovery of food ingredients, new drugs and antimicrobials. As fungi and their related biomolecules are increasingly characterized, they have turned into a subject of expanding significance. The metabolic versatility makes fungi interesting objects for a range of economically important food biotechnology and related applications. The potential of fungi for a more sustainable world must be realized to address global challenges of climate change, higher demands on natural resources.

This carefully researched book presents facts and arguments showing, beyond a doubt, that nuclear fusion power will not be technically feasible in time to satisfy the world's urgent need for climate-neutral energy.The author describes the 70-year history of nuclear fusion; the vain attempts to construct an energy-generating nuclear fusion power reactor, and shows that even in the most optimistic scenario nuclear fusion, in spite of the claims of its proponents, will not be able to make a sizable contribution to the energy mix in this century, whatever the outcome of ITER. This implies that fusion power will not be a factor in combating climate change, and that the race to save the climate with carbon-free energy will have been won or lost long before the first nuclear fusion power station comes on line.Aimed at the general public as well as those whose decisions directly affect energy policy, this book will be a valuable resource for informing future debates.

This edited book analyses and discusses the current issues of integration of wind energy systems in the power systems. It collects recent studies in the area, focusing on numerous issues including unbalanced grid voltages, low-voltage ride-through and voltage stability of the grid. It also explores the impact of the emerging technologies of wind turbines and power converters in the integration of wind power systems in power systems.This book utilizes the editors¿ expertise in the energy sector to provide a comprehensive text that will be of interest to researchers, graduate students and industry professionals.

This open access book presents papers displayed in the 2nd International Conference on Energy and Sustainable Futures (ICESF 2020), co-organised by the University of Hertfordshire and the University Alliance DTA in Energy. The research included in this book covers a wide range of topics in the areas of energy and sustainability including:¿ ICT and control of energy;¿ conventional energy sources;¿ energy governance;¿ materials in energy research;¿ renewable energy; and¿ energy storage.The book offers a holistic view of topics related to energy and sustainability, making it of interest to experts in the field, from industry and academia.

This book discusses civil litigation at the supreme courts of nine jurisdictions ¿ Argentina, Austria, Croatia, England and Wales, France, Germany, Italy, Spain and the United States ¿ and focuses on the available instruments used to keep the caseload of these courts within acceptable limits. Such instruments are necessary in order to allow supreme courts to fulfil their main duties, that is, the administration of justice in individual cases (private function) and providing for the uniformity and development of the law within their respective jurisdictions (public function). If the number of cases at the supreme court level is too high, the result is undue delays, which are mainly problematic with regard to the private function. It may also put the quality of the court¿s judgments under pressure, which can affect its public and private function alike. Thus, measures aimed at avoiding excessive caseloads need to take both functions into account. Increasing the capacity of the court to handle larger numbers of cases may result in the court being unable to adequately fulfil its public function, since large numbers of court decisions make it difficult to guarantee the uniformity of the law and its development. Therefore, a balanced approach is needed to safeguard capacity and quality. As shown by the contributions gathered here, the nature of reform in this area is not the same everywhere. There are a variety of reasons for this heterogeneity, ranging from different understandings of the caseload problem itself, local conceptions regarding the purpose of the Supreme Court, and strong entitlements concerning the right to appeal to budgetary restrictions and extremely rigid legislation. The book also shows that the implementation of similar solutions to case overload, such as access filters, may have different effects in different jurisdictions. The conclusion might well be that the problem of overburdened courts is multifactorial and context-dependent, and that easy, one-size-fits-all solutions are hard to find and perhaps even harder to implement.

This book presents a comprehensive account of the energy and environmental security perspectives of the developing countries. To address the subject comprehensively, it covers four geographically diverse clusters of developing countries from across the world. The regions particularly focused on are: South Asia, South East Asia, Sub Sahara Africa, and Latin America. It is a valuable contribution to the debate, and policy and research activities around the subjects of energy and environmental security in the developing countries and beyond.The book covers the interwoven subjects of energy security and environmental security in the context of developing countries for the first time. It discusses the latest dimensions, challenges, and solutions around taking into account technical, economic, social, and policy perspectives. It incorporates up-to-date data, case studies, and comparative assessment.This edited book has contributions from established as well as emerging scholars from around the world. It benefits a wide range of stakeholders from the fields of energy, environment, and sustainable development. It is of help to academics, researchers, and analysts in these fields besides having appeal for policymakers, and national and international developmental organizations. It also helps developing countries to learn from each other¿s experiences.

Respiratory diseases are leading causes of death and disability globally, with about 65 million people suffering from COPD, and 334 million from asthma, the most common chronic disease. Each year, tens of millions of people develop and can die from from respiratory infections such as pneumonia and TB. Systemic inflammation may induce and exacerbate local inflammatory diseases in the lungs, and local inflammation can in turn cause systemic inflammation. There is increasing evidence of the coexistence of systemic and local inflammation in patients suffering from asthma, COPD, and other lung diseases, and the co-morbidity of two or more local inflammatory diseases often occurs. For example, rheumatoid arthritis frequently occurs together with, and promotes the development of, pulmonary hypertension. This co-morbidity significantly impacts quality of life, and can result in death for those affected.Current treatment options for lung disease are neither effective, nor condition-specific; there is a desperate need for novel therapeutics in the field. Additionally, the molecular and physiological significance of most major lung diseases is not well understood, which further impedes development of new treatments, especially in the case of coexistent lung diseases with other inflammatory diseases. Great progress has been made in recent years in many areas of the field, particularly in understanding the molecular geneses, regulatory mechanisms, signalling pathways, and cellular processes within lung disease, as well as basic and clinical technology, drug discovery, diagnoses, treatment options, and predictive prognoses. This is the first text to aggregate these developments. In two comprehensive volumes, experts from all over the world present state-of-the-art advances in the study of lung inflammation in health and disease. Contributing authors cover well-known as well as emerging topics in basic, translational, and clinical research, with the aim of providing researchers, clinicians, professionals, and students with new perspectives and concepts. The editors hope these books will also help to direct future research in lung disease and other inflammatory diseases, and result in the development of novel therapeutics.

This volume presents interviews that have been conducted from the 1980s to the present with important scholars of social choice and welfare theory. Starting with a brief history of social choice and welfare theory written by the book editors, it features 15 conversations with four Nobel Laureates and other key scholars in the discipline. The volume is divided into two parts. The first part presents four conversations with the founding fathers of modern social choice and welfare theory: Kenneth Arrow, John Harsanyi, Paul Samuelson, and Amartya Sen. The second part includes conversations with scholars who made important contributions to the discipline from the early 1970s onwards. This book will appeal to anyone interested in the history of economics, and the history of social choice and welfare theory in particular.

The book highlights the research contributions of the interdigitated (IDT) sensors over a period of two decades in the field of sensing technology. It presents theory, design, and practical realization of the IDT sensors working over wide frequency rage for scientific, industrial, and consumer applications. The IDT sensors have been widely investigated for wide range of sensing applications including agriculture, environmental monitoring, structural health monitoring, health care, food and beverage testing, testing of dielectric material, proximity sensing, microfluidic application, automatic dispensing system etc. Hence, importance of IDT sensors is growing continuously for future applications.As such, it offers a key reference guide on IDT sensors for students, applied physicists, material scientists, engineers, sensors designers and technicians.

This book follows on previous works addressing sustainable development research in the Asia-Pacific region. It mainly focuses on India, a country currently facing immense challenges in the form of climate change, rapid urbanisation, and population pressures in its journey to help achieve the Sustainable Development Goals. Expecting to surpass China in terms of population in the near future, India needs to develop its own solutions in order to uphold its commitments under the Paris Agreement. This book makes a contribution in that direction by presenting case studies on various aspects of the built environment, from education to managing cities, procurement, and considerations for a circular economy. The papers gathered here offer a vital resource for government policymakers, educators, and current and future professionals, equipping them with the knowledge and expertise they need in order to overcome today¿s complex challenges in the built environment.