We argue that visual, analogical representations of mathematical concepts can be used by automated theory formation systems to develop further concepts and conjectures in mathematics. We consider the role of visual reasoning in human development of mathematics, and consider some aspects of the relationship between mathematics and the visual, including artists using mathematics as inspiration fo...

The gestures children spontaneously produce when explaining a task predict whether they will subsequently learn that task. Why? Gesture might simply reflect a child's readiness to learn a particular task. Alternatively, gesture might itself play a role in learning the task. To investigate these alternatives, we experimentally manipulated children's gesture during instruction in a new mathematic...

In the search for principles of pattern generation in complex biological systems, an operational approach is presented that embraces both theory and experiment. The central mathematical concepts of self-organization in nonequilibrium systems (including order parameter dynamics, stability, fluctuations, and time scales) are used to show how a large number of empirically observed features of temp...

It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated with schemas expressed in that modelling language. This paper terms these restrictions temporal constraints, and defines three types of temporal constraint which are argued to be useful modelling concepts, capturing impo...

Ontology construction requires an understanding of the meaning and usage of its encoded concepts. While definitions found in dictionaries or glossaries may be adequate for many concepts, the actual usage in expert writing could be a better source of information for many others. The goal of this paper is to describe an automated procedure for finding definitional content in expert writing. The a...

In the conceptual metaphor theory, it has been common to assume at least two metaphors where concepts of Time are structured through concepts of Space; Time-moving metaphor and Ego-moving metaphor. Several researchers carried out quantitative studies and revealed that languages have preferences on these Temporal metaphors: Ego-moving metaphor is more preferable in English and Chinese. This pape...

This paper discusses the meaning and the role of Trust and Reputation in Internet-of-Service and e-Commerce environments following a comparative case study. Both environments represent paradigms through which the Internet is seen as a huge infrastructure where electronic services or real products are traded on. In comparison to electronic commerce, participating in an Internet-of-Services can b...

While UML is recognized as the de-facto standard in modeling software systems, it is at the same time often criticized for being too large and complex. To be able to evolve UML to overcome this criticism, evidence is needed about which parts of UML are actually used. In this respect, a few studies exist that investigate which diagram types of UML are commonly used. However, to the best of our k...

An ontology-based knowledge sharing system OntoShare is described. RDF(S) and RDF are used to specify and populate an ontology, based on information shared between users in virtual communities. We begin by discussing the advantages that use of Semantic Web technology afford in the area of knowledge management tools. The way in which OntoShare supports WWW-based communities of practice is descri...