Narrow your search

Library

KU Leuven (8)

UGent (4)

AP (3)

KBC (3)

KDG (3)

ULB (3)

EhB (2)

KBR (2)

UCLouvain (2)

ULiège (2)

More...

Resource type

book (16)

digital (3)


Language

English (19)


Year
From To Submit

2023 (2)

2022 (1)

2020 (2)

2017 (2)

2011 (2)

More...
Listing 1 - 10 of 19 << page
of 2
>>
Sort by
Formal methods for interactive systems
Author:
ISBN: 0122183150 9780122183157 Year: 1991 Volume: vol *13 Publisher: London: Academic press,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Statistics for HCI : Making Sense of Quantitative Data
Author:
ISBN: 3031022289 3031002083 3031011007 Year: 2020 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Many people find statistics confusing, and perhaps even more confusing given recent publicity about problems with traditional p-values and alternative statistical techniques including confidence intervals and Bayesian statistics. This book aims to help readers navigate this morass: to understand the debates, to be able to read and assess other people's statistical reports, and make appropriate choices when designing and analysing their own experiments, empirical studies, and other forms of quantitative data gathering.


Book
Statistics for HCI
Author:
ISBN: 9781681737430 9781681737454 9781681737447 1681737442 9781681738239 Year: 2020 Publisher: [San Rafael, California] Morgan & Claypool

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Human-computer interaction
Author:
ISBN: 0132398648 Year: 1998 Publisher: London : Prentice-Hall Europe,


Book
Remote cooperation : CSCW issues for mobile and teleworkers
Authors: ---
Year: 1996 Publisher: London Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

An introduction to artificial intelligence
Authors: ---
ISBN: 1857283996 Year: 2003 Publisher: London : Routledge,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
Authors: --- ---
Year: 2023 Publisher: New York, NY, United States : Association for Computing Machinery,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Human-computer interaction
Authors: --- --- ---
ISBN: 9780130461094 0130461091 Year: 2004 Publisher: Essex Pearson Education Limited

Loading...
Export citation

Choose an application

Bookmark

Abstract

This text examines a range of HCI topics while emphasising design methods. It is divided into three clear parts: foundations, design practice and advanced topics.

Keywords

Human-computer interaction --- User experience --- Gebruikerservaring --- Computers --- Computing Methodologies --- Task Performance and Analysis --- Electronic Data Processing --- Technology --- #SBIB: --- Arts, Industrial --- Industrial Arts --- Cloud Computing --- Computer-human interaction --- Human factors in computing systems --- Interaction, Human-computer --- Human engineering --- User-centered system design --- User interfaces (Computer systems) --- Critical Incident Technic --- Task Performance --- Task Performance, Analysis --- Critical Incident Technique --- Critical Incident Technics --- Critical Incident Techniques --- Incident Technic, Critical --- Incident Technics, Critical --- Incident Technique, Critical --- Incident Techniques, Critical --- Performance, Analysis Task --- Performance, Task --- Performances, Analysis Task --- Performances, Task --- Task Performances --- Task Performances, Analysis --- Technic, Critical Incident --- Technics, Critical Incident --- Technique, Critical Incident --- Techniques, Critical Incident --- Systems Analysis --- High Performance Computing --- Methodologies, Computing --- Computing Methodology --- Computing, High Performance --- Methodology, Computing --- Performance Computing, High --- Calculators, Programmable --- Computer Hardware --- Computers, Digital --- Hardware, Computer --- Calculator, Programmable --- Computer --- Computer, Digital --- Digital Computer --- Digital Computers --- Programmable Calculator --- Programmable Calculators --- methods --- #SBIB:309H1720 --- Informatiekunde, informatie management


Book
The handbook of formal methods in human-computer interaction
Authors: --- --- ---
ISBN: 3319518380 3319518372 Year: 2017 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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 a 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.

Listing 1 - 10 of 19 << page
of 2
>>
Sort by