This paper describes a visual formalism and a tool to support design and evaluation of human—computer interaction in context-customized systems. The formalism is called XDM (for ‘‘context-sensitive dialogue modelling’’) and combines extended Petri nets with Card, Moran and Newell’s KLM operators theory to describe static and dynamic aspects of interaction in every context in which the system sh...

Sebastian Deterding is a designer and researcher working on playful and motivational design for human flourishing. He is a senior research fellow at the Digital Creativity Labs at the University of York, and a founder and principal designer of the design agency coding conduct. He has created engaging experiences touching millions of users for clients including the BBC, BMW, Deutsche Telekom, an...

We present a design that assigns persona information and uses it to selects one identity from several user identities in user resources such as bookmarks. As a proof of concept, we implemented a persona-bookmark system. In this system, a user can assign his persona information to his bookmarks so that the system automates login processes using the persona information. Thus, the user can log int...

A common and critical dilemma confronting enterprises today is how to ensure that they realize more value from their large-scale investments in IT and IT-enabled change. This article describes the choices made by the Dutch airline KLM to more fully engage its business managers in the governance of IT and the change-agent role played by a new CIO Office. The article identifies the benefits achie...

Designs can often be unacceptable on performance grounds. In this work, we integrate a GOMS-like ability to predict execution times into the generic cognitive architecture developed for the formal verification of human error related correctness properties. As a result, formal verification and GOMSlike timing analysis are combined within a unified framework. This allows one to judge whether a fo...

Abstract Background ?-Nicotinamide mononucleotide (NMN) is the direct precursor of nicotinamide coenzymes such as NAD + and NADP , which are widely applied in industrial biocatalysis especially involving cofactor-dependent oxidoreductases. Moreover, NMN a promising candidate for medical uses since it considered to be beneficial improving health aged people who usually suffer from an insufficien...