As new interactive systems evolve, they frequently hit a sweet spot: A few new tricks to learn, and users gets tremendous benefits, simplifying their lives. But beyond that lies t...
Background: Multifactor Dimensionality Reduction (MDR) has been introduced previously as a non-parametric statistical method for detecting gene-gene interactions. MDR performs a d...
William S. Bush, Todd L. Edwards, Scott M. Dudek, ...
Gain modulation, in which the sensitivity of a neural response to one input is modified by a second input, is studied at single-neuron and network levels. At the single neuron leve...
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...
Personas are a powerful design and communication tool to help all those involved in the creation of interactive systems to better focus their efforts on their users. A persona is ...