Data generated on location-aware social media provide rich information about the places (shopping malls, restaurants, cafés, etc) where citizens spend their time. That information can, in turn, be used to describe city neighborhoods in terms of the activity that takes place therein. For example, the data might reveal that citizens visit one neighborhood mainly for shopping, while another for it...

Spoken dialog systems have been widely researched, and are in everyday use (e.g., Amtrak’s automated reservation system at 1-800-USA-RAIL). This research, however, has been targeted at Western users – comparatively affluent, literate, with many different options for information access, and with very different realities than those of the typical user in the developing world. Further research is ...

BACKGROUND Successfully increasing cycling across a broad range of the population would confer important health benefits, but many potential cyclists are deterred by fears about traffic danger. Media coverage of road traffic crashes may reinforce this perception. As part of a wider effort to model the system dynamics of urban cycling, in this paper we examined how media coverage of cyclist fata...

information and communication technologies are the most recent scientific achievements of mankind's ability seems to have much to offer society and are expected to be useful in solving the problems of human society. many around the world believe that accelerates the process of adjustment in the exchange of knowledge and information through information and communication technologies a vital role...

Icons, or pictorial and graphical objects, are commonly used in human-computer interaction (HCI) fields as the mediator in order to communicate information to users. Yet there has been little studies focusing on a majority of the world’s population – semi-literate communities – in terms of the fundamental knowhow for designing icons for such population. In this study, two sets of icons belongin...

Literacy dominates Western society to the extent that we are largely unaware of its presence and influence. Yet it is increasingly important for information behaviours to address the needs of non-literate people as the technologies of literate cultures seek to consolidate their grip on the developing world. Literacy is now undergoing its greatest changes since the last 500 years with technology...

The ‘literate’ programming model is extended to include a concept of mechanical transformation. A prototype tool, FLP (Formal Literate Programming tool), has been developed which uses this extended ‘literate’ programming model in both a formal program proof setting, and within a formal (refinement) program development setting. In both settings, FLP provides history, access to tools, and an easy...

At OM2013, the author suggested and sketched a system that would use LTEX documents as Literate Programming sources for content dictionaries. This paper reports on the progress that has since been made with this system. One important milestone that has been reached is that valid .ocd files with CDDefinitions, FMPs, CMPs, and Examples are being generated.