Bøger udgivet af Murphy & Moore Publishing

Human-computer interaction (HCI) is a multidisciplinary field that involves the study of computer design technology. It also studies the relationship of the users with computers. HCI intersects with multiple domains such as computer science, cognitive science and human-factors engineering. End-user computing satisfaction or user satisfaction is a key aspect of HCI. Its scope expanded with the emergence of technologies such as Internet and smartphone. HCI focuses on generic and individual user behavior. It also incorporates social and organizational computing. It caters the spectrum of human experiences and activities including accessibility for the elderly, and for the cognitively and physically impaired. The applications of HCI range from games, learning and education, commerce, health and medical applications, to emergency planning and response. This book outlines the new paradigms in the field of human-computer interaction in detail. It is appropriate for students seeking detailed information in this area as well as for experts.

Contemporary climate change encompasses global warming and its effects on Earth's weather patterns. Climate change adaptation refers to the process of adjusting to existing or anticipated effects of climate change. It has the ability to significantly decrease many of the negative effects of climate change and increase the favorable effects. Climate adaptation entails behavioral changes in individuals and constructing better infrastructure to manage altering weather patterns. Adaptive capacity is also inextricably linked to economic and social development. The solutions for climate change adaptation usually differ for different communities, organizations, countries, and regions. Adaptation measures may include building flood defenses, switching to drought-resistant crops, redesigning communication systems, setting up early warning systems for cyclones, and reconsidering business operations and government policies. Climate change can be viewed in two ways, as a problem of development, and as a problem for development. The policies and practices with respect to development play an important role in addressing climate change. This book strives to provide a fair idea and help develop a better understanding of the latest advances in the study of climate change adaptation and development. It is a resource guide for experts as well as students.

Long-term changes in temperature and weather patterns are referred to as climate change. These changes could be due to natural causes such as oscillations in the solar cycle. However, human activities are the primary cause of climate change owing to the burning of fossil fuels such as gas, coal and oil. The combustion of fossil fuels produces greenhouse gas emissions, which act like a blanket wrapped around the Earth, trapping the sun's heat and raising the temperature of Earth. Methane and carbon dioxide are the two examples of greenhouse gas emissions that contribute to climate change. Adaptation allows humans to prepare for some of the most expected repercussions of climate change by limiting their negative effects on ecosystems and human well-being. It involves better disaster planning, strengthening water conservation programs, and building early warning systems for extreme heat events. This book provides comprehensive insights on the adaptation and impacts of climate change. It will provide comprehensive knowledge to the readers.

Computer aided verification strives to improve the quality of digital systems by analyzing their designs with the help of logical reasoning reinforced through automated software techniques. It is helpful in enhancing the reliability, correctness and robustness of the software systems. The goal is to create a mathematical model of a system and then attempt to prove its formal properties that either helps in detecting bugs or certifies the system's correctness. The proofs might be millions of lengthy lines, thereby specifically designed computer algorithms are utilized to find and verify them. This book unravels the recent studies on computer aided verification. It consists of contributions made by international experts. The book will help the readers in keeping pace with the rapid changes and emerging trends in this field of computer science.