We describe our approach and initial results in the participatory design of technology relevant to local rural livelihoods. Our approach to design and usability proceeds from rese...
Kevin Walker, Joshua Underwood, Timothy Mwololo Wa...
Although gender differences in a technological world are receiving significant research attention, much of the research and practice has aimed at how society and education can imp...
Laura Beckwith, Margaret M. Burnett, Susan Wiedenb...
Online communities can help people form productive relationships. Unfortunately, this potential is not always fulfilled: many communities fail, and designers don't have a sol...
Pamela J. Ludford, Dan Cosley, Dan Frankowski, Lor...
Many genomic sequences and, more generally, (multivariate) time series display tremendous variability. However, often it is reasonable to assume that the sequence is actually gene...
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt...
Christian Urban, Stefan Berghofer, Michael Norrish