A Formal Framework for the Analysis of Human-Machine Interactions
A Formal Framework for the Analysis of Human-Machine Interactions

Author: Sébastien Combéfis

Publisher: Presses universitaires de Louvain

Published: 2013-12

Total Pages: 302

ISBN-13: 2875582526

DOWNLOAD EBOOK

There are more and more automated systems with which people are led to interact everyday. Their complexity increases, and badly designed systems may result in automation surprises. The contribution of this thesis is a formal analysis framework to assess whether a system is prone to potential automation surprises in an interaction.

The Handbook of Formal Methods in Human-Computer Interaction
The Handbook of Formal Methods in Human-Computer Interaction

Author: Benjamin Weyers

Publisher: Springer

Published: 2017-04-24

Total Pages: 577

ISBN-13: 3319518380

DOWNLOAD EBOOK

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.

Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments

Author: Masaaki Kurosu

Publisher: Springer

Published: 2013-07-03

Total Pages: 654

ISBN-13: 3642392326

DOWNLOAD EBOOK

The five-volume set LNCS 8004--8008 constitutes the refereed proceedings of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, NV, USA in July 2013. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This volume contains papers in the thematic area of human-computer interaction, addressing the following major topics: HCI and human centred design; evaluation methods and techniques; user interface design and development methods and environments; aesthetics and kansei in HCI.

Adaptive Instructional Systems. Design and Evaluation
Adaptive Instructional Systems. Design and Evaluation

Author: Robert A. Sottilare

Publisher: Springer Nature

Published: 2021-07-03

Total Pages: 649

ISBN-13: 3030778576

DOWNLOAD EBOOK

This two-volume set LNCS 12792 and 12793 constitutes the refereed proceedings of the Third International Conference on Adaptive Instructional Systems, AIS 2021, held as Part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually. The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. The papers of AIS 2021, Part I, are organized in topical sections named: Conceptual Models and Instructional Approaches for AIS; Designing and Developing AIS; Evaluation of AIS; Adaptation Strategies and Methods in AIS. Chapter “Personalized Mastery Learning Ecosystems: Using Bloom’s Four Objects of Change to Drive Learning in Adaptive Instructional Systems” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

HCI International 2023 – Late Breaking Papers
HCI International 2023 – Late Breaking Papers

Author: Masaaki Kurosu

Publisher: Springer Nature

Published: 2023-11-24

Total Pages: 698

ISBN-13: 3031480384

DOWNLOAD EBOOK

This seven-volume set LNCS 14054-14060 constitutes the proceedings of the 25th International Conference, HCI International 2023, in Copenhagen, Denmark, in July 2023. For the HCCII 2023 proceedings, a total of 1578 papers and 396 posters was carefully reviewed and selected from 7472 submissions. Additionally, 267 papers and 133 posters are included in the volumes of the proceedings published after the conference, as “Late Breaking Work”. These papers were organized in the following topical sections: HCI Design and User Experience; Cognitive Engineering and Augmented Cognition; Cultural Issues in Design; Technologies for the Aging Population; Accessibility and Design for All; Designing for Health and Wellbeing; Information Design, Visualization, Decision-making and Collaboration; Social Media, Creative Industries and Cultural Digital Experiences; Digital Human Modeling, Ergonomics and Safety; HCI in Automated Vehicles and Intelligent Transportation; Sustainable Green Smart Cities and Smart Industry; eXtended Reality Interactions; Gaming and Gamification Experiences; Interacting with Artificial Intelligence; Security, Privacy, Trust and Ethics; Learning Technologies and Learning Experiences; eCommerce, Digital Marketing and eFinance.

The Handbook of Human-Machine Interaction
The Handbook of Human-Machine Interaction

Author: Guy A. Boy

Publisher: CRC Press

Published: 2017-11-01

Total Pages: 384

ISBN-13: 1317029461

DOWNLOAD EBOOK

The Handbook of Human-Machine Interaction features 20 original chapters and a conclusion focusing on human-machine interaction (HMI) from analysis, design and evaluation perspectives. It offers a comprehensive range of principles, methods, techniques and tools to provide the reader with a clear knowledge of the current academic and industry practice and debate that define the field. The text considers physical, cognitive, social and emotional aspects and is illustrated by key application domains such as aerospace, automotive, medicine and defence. Above all, this volume is designed as a research guide that will both inform readers on the basics of human-machine interaction from academic and industrial perspectives and also provide a view ahead at the means through which human-centered designers, including engineers and human factors specialists, will attempt to design and develop human-machine systems.

Critical Systems Analysis and Design
Critical Systems Analysis and Design

Author: Nandish V. Patel

Publisher: Psychology Press

Published: 2005

Total Pages: 328

ISBN-13: 9780415332156

DOWNLOAD EBOOK

Taking a unique approach to systems analysis and design, this insightful book provides learners with a critical personal framework for considering and developing knowledge and practice of systems analysis and design. Each chapter begins by highlighting what can be learned on its completion and ends with a critical skills development section containing activities, tasks and discussion questions. Chapters cover: * systems analysis and design in concept and action * structured data modelling * making systems analysis and design inclusive. Although the discussion and examples in this text are drawn primarily from business information systems, the lessons apply to both government and healthcare information systems and to systems development in general. Critical Systems Analysis and Design makes a complex area of study accessible and relevant and as such is an indispensable textbook for both advanced students and professionals concerned with the innovation of information systems.

Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations

Author: Manuel Mazzara

Publisher: Springer

Published: 2018-12-06

Total Pages: 669

ISBN-13: 3030047717

DOWNLOAD EBOOK

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions. The events whose papers are included in this volume are: CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical Systems DataMod 2018: 7th International Symposium From Data to Models and Back FMIS 2018: 7th International Workshop on Formal Methods for Interactive Systems FOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative Systems GCM 2018: 9th International Workshop on Graph Computation Models MDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems MSE 2018: 3rd International Workshop on Microservices: Science and Engineering SecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering

Human Machine Interaction
Human Machine Interaction

Author: Denis Lalanne

Publisher: Springer Science & Business Media

Published: 2009-03-26

Total Pages: 319

ISBN-13: 3642004369

DOWNLOAD EBOOK

Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers. It is an interdisciplinary field, connecting computer science with many other disciplines such as psychology, sociology and the arts. The present volume documents the results of the MMI research program on Human Machine Interaction involving 8 projects (selected from a total of 80 proposals) funded by the Hasler Foundation between 2005 and 2008. These projects were also partially funded by the associated universities and other third parties such as the Swiss National Science Foundation. This state-of-the-art survey begins with three chapters giving overviews of the domains of multimodal user interfaces, interactive visualization, and mixed reality. These are followed by eight chapters presenting the results of the projects, grouped according to the three aforementioned themes.

Augmented Reality, Virtual Reality, and Computer Graphics
Augmented Reality, Virtual Reality, and Computer Graphics

Author: Lucio Tommaso De Paolis

Publisher: Springer

Published: 2019-07-27

Total Pages: 428

ISBN-13: 303025965X

DOWNLOAD EBOOK

The 2-volume set LNCS 11613 and 11614 constitutes the refereed proceedings of the 6th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2019, held in Santa Maria al Bagno, Italy, in June 2019. The 32 full papers and 35 short papers presented were carefully reviewed and selected from numerous submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual and augmented reality, 3D visualization and computer graphics in the areas of medicine, cultural heritage, arts, education, entertainment, military and industrial applications. They are organized in the following topical sections: virtual reality; medicine; augmented reality; cultural heritage; education; and industry.