Simulations are presented and discussed of learning sequential control in a Neural Blackboard Architecture (NBA) for in situ concept-based reasoning. Sequential control is learned in a reservoir network, consisting of columns with neural circuits. This allows the reservoir to control the dynamics of processing by responding to information given by questions and the activations in the NBA. The i...

In 2009 a pilot project was undertaken to develop and enhance Personal Development Planning (PDP) and employability skills amongst final year undergraduates on the BA Business Management degree. Developed in conjunction with students, the Careers and Employability service and the Academic Skills unit, a Personal Development and Employability Workbook was generated. Student learning from this to...

Architectural design patterns capture architectural design experience and provide abstract solutions to recurring architectural design problems. Their description is usually expressed informally and it is not veri ed whether the proposed speci cation indeed solves the original design problem. As a consequence, an architect cannot fully rely on the speci cation when implementing a pattern to sol...

This paper presents a visual language called Miro for specifying and restricting operating system security configurations. A Miro picture specifies exactly what rights users have on files. A Miro constraint, also stated visually, restricts the set of Miro pictures which are considered legal. Such constraints on pictures give an exact specification of security policies and a practical method for...

Although the benefits of e-learning have been discussed in various previous studies; it is a critical issue of better understanding the reasons why some learners are dissatisfied with the e-learning experience. Therefore, this research investigates learners’ satisfaction, behavioral intentions, and the effectiveness of the Blackboard e-learning system. A total of 424 university students were su...

This paper describes the global feedback in ACTIVEMATH, a learning environment for mathematics and beyond. We describe the blackboard-architecture with its components and easily modifiable rules and present the user-adaptive global learning suggestions implemented so far.

Large-scale systems for information extraction include many different classifiers and extractors. Experience in building such systems shows that finding an appropriate architecture is both difficult and important: in particular, in systems containing many learned components, it is important to cleanly share information between the components, and to flexibly sequence the actions of the componen...

We show how PVS-style predicate subtyping can be simulated in HOL using predicate sets, and explain how to perform subtype checking using this model. We illustrate some applications of this to specification and verification in HOL, and also demonstrate some limits of the approach. Finally we report on the effectiveness of a subtype checker used as a condition prover in a contextual rewriter.