Computer Assisted Learning 1989

Computer Assisted Learning 1989
Author: M.R. Kibby
Publisher: Elsevier
Total Pages: 306
Release: 2014-05-23
Genre: Education
ISBN: 1483299066

This volume contains a selection of papers from the CAL '89 Symposium and includes papers on a wide range of topics related to computer assisted learning. Papers selected include those from the following areas: CAL design, electronic mail and networks, hypermedia, learning and cognition, multimedia, CAL policy and practice and artificial intelligence techniques and knowledge base systems.

Advances in Control Education 1991

Advances in Control Education 1991
Author: G.F. Franklin
Publisher: Elsevier
Total Pages: 217
Release: 2014-05-23
Genre: Technology & Engineering
ISBN: 1483298892

This volume is the published proceedings of selected papers from the IFAC Symposium, Boston, Massachusetts, 24-25 June 1991, where a forum was provided for the discussion of the latest advances and techniques in the education of control and systems engineers. Emerging technologies in this field, neural networks, fuzzy logic and symbolic computation are incorporated in the papers. Containing 35 papers, these proceedings provide a valuable reference source for anyone lecturing in this area, with many practical applications included.

Computer Assisted Learning

Computer Assisted Learning
Author: M.R. Kibby
Publisher: Elsevier
Total Pages: 276
Release: 2014-05-23
Genre: Education
ISBN: 1483298728

This volume contains a selection of the best papers from the Computer Assisted Learning '91 Symposium. It includes research on a wide range of topics related to computers and learning with an emphasis on hard research evidence and innovative explorations.

Item Banking: Interactive Testing and Self-Assessment

Item Banking: Interactive Testing and Self-Assessment
Author: Dieudonné Leclercq
Publisher: Springer Science & Business Media
Total Pages: 280
Release: 1993
Genre: Computers
ISBN: 9783540566533

Assessment has long been recognized as a key feature in learning efficacy, especially through formative evaluation. Item banking, the storage and classification of test items, is an essential part of systematic assessment. This volume is based on a NATO Advanced Research Workshop held as part of the Special Programme on Advanced Educational Technology. The workshop brought together scholars from around the world to discuss and critically analyze the issues and problems associated with Subjective Probability Measurement (SPM) or the more generic research area called self-assessment. Recent advances in computer technology (expert systems, interactive video disks, and hypermedia) along with the developing sophistication of self-assessment scoring systems based on SPM made this conference particularly important and timely. The book is divided into three main parts: - The input: item banking and hypermedia - The process: subjective probabilities - The output: teaching and learning feedbacks. In summary, although SPM is a difficult theoretical concept for most educators to comprehend, the sophisticated nature of modern computer systems coupled with comprehensive formative and summative evaluation and self-assessment systems make SPM transparent to the user.

Logic at Botik '89

Logic at Botik '89
Author: Albert R. Meyer
Publisher: Springer Science & Business Media
Total Pages: 310
Release: 1989-06-07
Genre: Computers
ISBN: 9783540512370

The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.