Realms: A Structure for Consolidating Knowledge about Mathematical Theories

Since there are different ways of axiomatizing and developing a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of formalized mathematics. We introduce the notion of a realm as a structure for consolidating knowledge about a mathematical theory. A realm contains several axiomatizations of a theory that are separately developed. Views interconnect these developments and establish that the axiomatizations are equivalent in the sense of being mutually interpretable. A realm also contains an external interface that is convenient for users of the library who want to apply the concepts and facts of the theory without delving into the details of how the concepts and facts were developed. We illustrate the utility of realms through a series of examples. We also give an outline of the mechanisms that are needed to create and maintain realms.Comment: As accepted for CICM 201

Freeform User Interfaces for Graphical Computing

報告番号: 甲15222 ; 学位授与年月日: 2000-03-29 ; 学位の種別: 課程博士 ; 学位の種類: 博士(工学) ; 学位記番号: 博工第4717号 ; 研究科・専攻: 工学系研究科情報工学専

Developing downloadable TUIs for online pedagogic activities

The Web has changed how we interact with the World’s information and knowledge. As a result there have been several changes to the education sector, especially in online distance learning. Nevertheless, most of the e-Learning activities struggle to break the GUI paradigm. The HCI community has focused on the use of Tangible User Interfaces (TUI) for pedagogic purposes thus producing some evidence of the potential that embodied cognition might bring to constructivist learning. New education movements such as the Edupunk movement argue for an empowerment of independent learners, following the constructivist perspective where learners have to have a more active role by experimenting and discovering concepts on their own. However, we think that accessing TUI systems via Web can lead to pedagogic activities that break the GUI paradigm in education on the Web. This paper presents a case study: three prototypes of TUIs for online learning and exploration were developed and tested, investigating the usability and engagement provided by this kind of interactive tools. <br/

D-touch: A Consumer-Grade Tangible Interface Module and Musical Applications

We define a class of tangible media applications that can be implemented on consumer-grade personal computers. These applications interpret user manipulation of physical objects in a restricted space and produce unlocalized outputs. We propose a generic approach to the implementation of such interfaces using flexible fiducial markers, which identify objects to a robust and fast video-processing algorithm, so they can be recognized and tracked in real time. We describe an implementation of the technology, then report two new, flexible music performance applications that demonstrate and validate it

Domino: exploring mobile collaborative software adaptation

Social Proximity Applications (SPAs) are a promising new area for ubicomp software that exploits the everyday changes in the proximity of mobile users. While a number of applications facilitate simple file sharing between co–present users, this paper explores opportunities for recommending and sharing software between users. We describe an architecture that allows the recommendation of new system components from systems with similar histories of use. Software components and usage histories are exchanged between mobile users who are in proximity with each other. We apply this architecture in a mobile strategy game in which players adapt and upgrade their game using components from other players, progressing through the game through sharing tools and history. More broadly, we discuss the general application of this technique as well as the security and privacy challenges to such an approach