Scholars writing books that are widely used to support teaching in higher education may be undervalued due to a lack of evidence of teaching value. Whilst sales data may give credible evidence for textbooks, it may poorly reflect educational uses of other types of books. As an alternative, this article proposes a method to automatically search for mentions of books in online academic course syl...

Educating on the knowledge of electric energy consumption and conservation has been becoming a focus and rather urgent issue in energy education. Although several researchers have attempted to apply teaching and learning strategies to promote students’ conceptual understanding on the topic, they still have sub-optimal conceptual understanding of what the major factors of energy consumption are....

We study families of quadratic maps in an attempt to understand the role of dependence on parameters of unimodal maps and its relationship with the computer-generated chaos observed in numerical simulations. Our specific goal is to give conditions on this dependence to avoid chaotic situations. We show several examples that describe in some generality the qualitative properties of quadratic maps.

Automatic acquisition of inference rules for predicates has been commonly addressed by computing distributional similarity between vectors of argument words, operating at the word space level. A recent line of work, which addresses context sensitivity of rules, represented contexts in a latent topic space and computed similarity over topic vectors. We propose a novel two-level model, which comp...

This paper describes TM/XML, an XML syntax for Topic Maps that is very close to the natural, or colloquial, XML representation of the information in the topic map. It can be used to process Topic Maps data with XML tools, and integrate non-Topic Maps systems with Topic

We present a theorem-proving experiment performed with a computer algebra system. It proves a conjecture about the general pattern of the generating functions counting rooted maps of given genus. These functions are characterized by a complex non-linear differential system between generating functions of multi-rooted maps. Establishing a pattern for these functions requires a sophisticated indu...

It may be maintained by some that a discussion of the benefits of computer assisted cartography for map reading is premature, and in fact, it may correctly be pointed out that the testing by cartographers of map reading abilities on computer produced maps has not even begun as yet in a systematic way. This state of affairs is especially true of the testing of map reading abilities on 'temporary...

There are emerging interests from both computer vision and computer graphics communities in obtaining photorealistic modeling of a scene or an object from real images. This paper presents a tentative review of the computer vision techniques used in such modeling which guarantee the generated views to be geometrically correct. The topics covered include mosaicking for building environment maps, ...

We present a theorem-proving experiment performed with a computer algebra system. It proves a conjecture about the general pattern of the generating functions counting rooted maps of given genus. These functions are characterized by a complex non-linear differential system between generating functions of multi-rooted maps. Establishing a pattern for these functions requires a sophisticated indu...

A teacher must consider many details when planning and organizing a course. This paper shows how the new Topic Map computer technology can help in this process. The developed Topic Map for the CS knowledge domain is used for the analysis of introductory CS courses, but it can be also applied to other courses, including in noncomputer disciplines. Well-structured Topic Maps may become a solid ba...