Human–computer interaction

This volume presents four machine-independent theories of computational complexity, which have been chosen for their intrinsic importance and practical relevance.

Collected in this volume are most of the important theorems and algorithms currently known for planar graphs, together with constructive proofs for the theorems.

AI in and for Africa: A Humanistic Perspective explores the convoluted intersection of artificial intelligence (AI) with Africa's unique socio-economic realities.

AI in and for Africa: A Humanistic Perspective explores the convoluted intersection of artificial intelligence (AI) with Africa's unique socio-economic realities.

This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy.

This book describes different methods that are relevant to the development and testing of control algorithms for advanced driver assistance systems (ADAS) and automated driving functions (ADF).

This is the Second Edition of the highly successful introduction to the use of generating functions and series in combinatorial mathematics.

The three-volume set LNCS 10277-10279 constitutes the refereed proceedings of the11th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada in July 2017, jointly with 14 other thematically similar conferences.

This book presents the proceedings of the 21st Congress of the International Ergonomics Association (IEA 2021), held online on June 13-18, 2021.

This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020.

This book deals with human factors research directed towards realizing and assessing sustainability in the built environment.

If you want to master the art and science of reverse engineering code with IDA Pro for security R&D or software debugging, this is the book for you.

Visual Thinking brings the science of perception to the art of design.

Moderating Usability Tests provides insight and guidance for usability testing.

Measuring the User Experience provides the first single source of practical information to enable usability professionals and product developers to effectively measure the usability of any product by choosing the right metric, applying it, and effectively using the information it reveals.

The Cambridge Workshops on Universal Access and Assistive Technology (CWUAAT)  is one of the few gatherings where people interested in inclusive design, across different fields, including designers, computer scientists, engineers, architects, ergonomists, ethnographers, policymakers and user communities, meet, discuss, and collaborate.

The two-volume set LNICST 169 and 170 constitutes the thoroughly refereed post-conference proceedings of the Second International Internet of Things Summit, IoT 360(deg) 2015, held in Rome, Italy, in October 2015.

Social robots not only work with humans in collaborative workspaces - we meet them in shopping malls and even more personal settings like health and care.

This edited volume explores the intersection between philosophy and computing.

This book offers the first comprehensive yet critical overview of methods used to evaluate interaction between humans and social robots.

To trainee translators and established professionals alike, the range of tools and technologies now available, and the speed with which they change, can seem bewildering.

"e;Redish has done her homework and created a thorough overview of the issues in writing for the Web.

To trainee translators and established professionals alike, the range of tools and technologies now available, and the speed with which they change, can seem bewildering.

Keeping Found Things Found: The Study and Practice of Personal Information Management is the first comprehensive book on new 'favorite child' of R&D at Microsoft and elsewhere, personal information management (PIM).

Sketching User Experiences approaches design and design thinking as something distinct that needs to be better understood-by both designers and the people with whom they need to work- in order to achieve success with new products and systems.

This practically-focused book presents a computational model for detection and analysis of pedestrian features in crowds from video sequences.

GUI Bloopers 2.

Tools and technologies have long complemented and extended our physical abilities: from pre-historic spearheads to steam-propelled ploughs and high-tech prosthetics.

The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.

In this visionary and fundamentally optimistic book, the legendary oracle of technological change explains how AI will transform our species beyond recognition.

Develop intelligent voice-empowered applications and Chatbots that not only understand voice commands but also respond to itKey FeaturesTarget multiple platforms by creating voice interactions for your applicationsExplore real-world examples of how to produce smart and practical virtual assistantsBuild a virtual assistant for cars using Android Auto in XamarinBook DescriptionFrom touchscreen and mouse-click, we are moving to voice- and conversation-based user interfaces.

Explore the new features of Vue.

The next generation of AI is hereuse it to lead your business forward.

Use PySpark to easily crush messy data at-scale and discover proven techniques to create testable, immutable, and easily parallelizable Spark jobsKey FeaturesWork with large amounts of agile data using distributed datasets and in-memory cachingSource data from all popular data hosting platforms, such as HDFS, Hive, JSON, and S3Employ the easy-to-use PySpark API to deploy big data Analytics for productionBook DescriptionApache Spark is an open source parallel-processing framework that has been around for quite some time now.

Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science.

The text comprehensively discusses the representation of visual data and design principles of interactive and dynamic dashboards.

The book includes 61 selected papers from 106 presented at the second International Conference on Machine Automation (ICMA2000).

This book surveys the state of the art in explainable and interpretable reinforcement learning (RL) as relevant for robotics.

This book surveys the state of the art in explainable and interpretable reinforcement learning (RL) as relevant for robotics.

Recursive Model Theory

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components.

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.

This completely revised edition, of the Handbook of Human-Computer Interaction, of which 80% of the content is new, reflects the developments in the field since the publication of the first edition in 1988.

Handbook of Automated Reasoning

This book provides a thorough introduction to the many facets of designing technologies for autism, with a particular focus on optimizing visual attention frameworks.

This book provides a thorough introduction to the many facets of designing technologies for autism, with a particular focus on optimizing visual attention frameworks.

The Metaverse: A Critical Introduction provides a clear, concise, and well-grounded introduction to the concept of the Metaverse, its history, the technology, the opportunities, the challenges, and how it is having an impact on almost every facet of society.

In this book the editors have gathered a number of contributions by persons who have been working on problems of Cognitive Technology (CT).

Artificial Intelligence is the study of how to build or program computers to enable them to do what minds can do.