Freeform User Interfaces for Graphical Computing

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

A conceptual architecture for interactive educational multimedia

Learning is more than knowledge acquisition; it often involves the active participation of the learner in a variety of knowledge- and skills-based learning and training activities. Interactive multimedia technology can support the variety of interaction channels and languages required to facilitate interactive learning and teaching. A conceptual architecture for interactive educational multimedia can support the development of such multimedia systems. Such an architecture needs to embed multimedia technology into a coherent educational context. A framework based on an integrated interaction model is needed to capture learning and training activities in an online setting from an educational perspective, to describe them in the human-computer context, and to integrate them with mechanisms and principles of multimedia interaction

Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes

We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or `S-operads', and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad O there is an elt(O)-operad O+ whose algebras are S-operads over O. Letting I be the initial operad with a one-element set of types, and defining I(0) = I, I(i+1) = I(i)+, we call the operations of I(n-1) the `n-dimensional opetopes'. Opetopes form a category, and presheaves on this category are called `opetopic sets'. A weak n-category is defined as an opetopic set with certain properties, in a manner reminiscent of Street's simplicial approach to weak omega-categories. Similarly, starting from an arbitrary operad O instead of I, we define `n-coherent O-algebras', which are n times categorified analogs of algebras of O. Examples include `monoidal n-categories', `stable n-categories', `virtual n-functors' and `representable n-prestacks'. We also describe how n-coherent O-algebra objects may be defined in any (n+1)-coherent O-algebra.Comment: 59 pages LaTex, uses diagram.sty and auxdefs.sty macros, one encapsulated Postscript figure, also available as a compressed Postscript file at http://math.ucr.edu/home/baez/op.ps.Z or ftp://math.ucr.edu/pub/baez/op.ps.

Report on the Twelfth United Nations/European Space Agency Workshop on Basic Space Science

Pursuant to recommendations of the United Nations Conference on the Exploration and Peaceful Uses of Outer Space (UNISPACE III) and deliberations of the United Nations Committee on the Peaceful Uses of Outer Space (UNCOPUOS), annual UN/European Space Agency workshops on basic space science have been held around the world since 1991. These workshops contributed to the development of astrophysics and space science, particularly in developing nations. Following a process of prioritization, the workshops identified the following elements as particularly important for international cooperation in the field: (i) operation of astronomical telescope facilities implementing TRIPOD, (ii) virtual observatories, (iii) astrophysical data systems, (iv) concurrent design capabilities for the development of international space missions, and (v) theoretical astrophysics such as applications of nonextensive statistical mechanics. Beginning in 2005, the workshops focus on preparations for the International Heliophysical Year 2007 (IHY2007). The workshops continue to facilitate the establishment of astronomical telescope facilities as pursued by Japan and the development of low-cost, ground-based, world-wide instrument arrays as lead by the IHY secretariat.Comment: PDF, 9 page