Hierarchical proof presentations are ubiquitous within logic and computer science, but have made little impact on mathematics in general. The reasons for this are not currently known, and need to be understood if mathematical knowledge management systems are to gain acceptance in the mathematical community. We report on some initial experiments with three users of a set of web-based hierarchica...

When it comes to lifelong learning and e-learning, we are steadily moving towards distributed and self-organized networks where multiple content providers offer parts and pieces, not complete vertical systems. This spurs development of new methods and techniques to position learners in these networks. Positioning requires that characteristics of the learner are mapped onto characteristics of le...

A reasonable C++ Java Native Interface (JNI) technique termed C++ Wrappered JNI (C++WJ) is presented. The technique simplifies current error-prone JNI development by wrappering JNI calls. Provided development is done with the aid of a C++ compiler, C++WJ offers type checking and behind the scenes caching. A tool (jH) patterned on javah automates the creation of C++WJ classes. The paper presents...

This paper presents a web-based application for tablets ‘ChunkitApp’ developed to investigate chunking in online speech processing. The design of the app is based on recent theoretical developments in linguistics and cognitive science, and in particular on the suggestions of Linear Unit Grammar [1]. The data collected using the app provides evidence for the reality of online chunking in languag...

In this paper we present a new personalisation algorithm for hypermedia databases, called GRAS (Gaussian Rating Adaptation Scheme), which combines content-based and social filtering. The goal is to filter documents retrieved by a query according to the personal interest of the user and to sort them according to their relevance. GRAS is based on ideas about human taste originating in cognitive s...

Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of software from requirements is error prone. Finally, the installation and use of complied software can introduce errors. Thus, it can be difficult to provide assurances about the state of a software's execution. We pre...

Personalized curriculum sequencing is an important research issue for web-based learning systems because no fixed learning paths will be appropriate for all learners. Therefore, many researchers focused on developing e-learning systems with personalized learning mechanisms to assist on-line web-based learning and adaptively provide learning paths in order to promote the learning performance of ...

1. introduction based on the general issues in cognitive linguistics regarding the role of different linguistic processes in meaning construction in a narrative text, introducing a new methodological analysis of meaning construction process in the emergent story of a text needs a methodological model. hence, the general purpose of this article is to introduce and apply a cognitive analytical mo...

The advantage of using cognitive radio technology is its ability to adapt and behave to the needs of the application. The adaptability to the application leads cognitive radios with the potential for creating next generation cognitive wireless network. In dynamic spectrum allocation problem, the cognitive radio technology is used to detect the presence of primary user signal so that spectrum wi...