In this paper, I review both mathematics education and CSCL literature and discuss how we can better take advantage of CSCL tools for developing mathematical proof skills. I introduce a model of proof in school mathematics that incorporates both empirical and deductive ways of knowing. I argue that two major forces have given rise to this…

Recently, a lot of open source e-learning platforms have been offered for free in the Internet. We thus incorporate the intelligent diagnosis and assessment tool into an open software e-learning platform developed for programming language courses, wherein the proposed learning diagnosis assessment tools based on text mining and machine learning…

We present principles for the design of an online system to support computer algebra enabled questions for use within the teaching and learning of mathematics in higher education. The introduction of a computer algebra system (CAS) into a computer aided assessment (CAA) system affords sophisticated response processing of student provided answers.…

The nature of the multiuser object oriented (MOO) environment lends itself to flexible and rich interactive collaboration space providing interactive discussion, mail, mailing list, and news features to its virtual denizens. EdMOO (HREF1) was created in mid-1995 as an environment for teachers to experience the text based virtual reality…

Virus programs have become a significant problem in the computer industry. The effects of these programs have been publicized widely. Anyone working with microcomputers cannot have escaped exposure to the term. Yet, there are a large number of people (teachers in particular) who have only vague notions of what viruses are. This paper provides a…

The purpose of this paper is to analyze the impact that computer based information systems (CBIS) could have on U.S. multinational corporations operating in Canada, particularly in the province of Quebec, and the implications for the North American Free Trade Agreement (NAFTA) that went into effect on January 1, 1994. The study focused on how the…

This report describes the process and results of a collaborative annotation process for inserting internal, conceptual linking in a book about hypertext design and the implications of that process for designing collaborative hypertext environments. The book was the product of a NATO (North Atlantic Treaty Organization)-sponsored Advanced Research…

In constructing a knowledge-based system, the knowledge engineer must convert rules of thumb provided by the domain expert and previously solved examples into a working system. Research in machine learning has produced algorithms that create rules for knowledge-based systems, but these algorithms require either many examples or a complete domain…

Developed as a service to the health sciences community, this monograph is intended as an introduction to interactive videodisk technology. It describes both videodisk and compact disk technologies and different videodisk player formats, and discusses some of the major factors that educators considering videodisk adoption should consider. The…

Detailed reviews of two legal information databases--"Laborlaw I" and "Legal Resource Index"--are presented in this paper. Each database review begins with a bibliographic entry listing the title; producer; vendor; cost per hour contact time; offline print cost per citation; time period covered; frequency of updates; and size…

This document outlines the strategies that are used for teaching and assessment in Dominie, an intelligent tutoring system designed to enable the user to operate a computer interface independently. Eight interaction modes are described in detail: four teaching strategies (cognitive apprenticeship, successive refinement, discovery learning, and…

This paper describes the evolution and development of an intelligent information system, i.e., a knowledge base for steel structures being undertaken as part of the Technical Information Center for Steel Structures at Lehigh University's Center of Advanced Technology for Large Structural Systems (ATLSS). The initial development of the Technical…

Arguing that an explicit representation of the problem-solving method of an expert system shell as abstract control knowledge provides a powerful foundation for learning, this paper describes the abstract control knowledge of the Heracles expert system shell for heuristic classification problems, and describes how the Odysseus apprenticeship…

EX.MAIN, a model for maintenance and staff training which combines knowledge based expert systems and computer based training, was developed jointly by the Department of Production Engineering of the University of Naples and CIRCUMVESUVIANA, the largest private railroad in Italy. It is a global model in the maintenance field which contains both…

The Computer-Based Memorization System (CBMS), which specifies the facts that students are to know and how well the facts are to be known, uses a compiled form of an associative network for its knowledge database. (An associative network is a knowledge representation that uses associations for its basic representation of knowledge.) The CBMS…