The paper is dedicated to presentation of a new approach to joint design and verification of rule-based systems. The principal idea is that verification should be performed on-line, incrementally, during system design. This allows for early detection and handling of knowledge base anomalies and inconsistencies. The ...

Mit dem im Task Trainer (TT) integrierten Funktions-Fragment- Checker (FFC) wurde für die C#-Programmierausbildung eine computergestützte Übungsumgebung geschaffen, in der der Lernende durch die eigenständige Auswahl von unterschiedlich komplexen Übungsaufgaben aus einem Pool verschiedener Aufgabentypen seinen Lern- ...

The Electronic Exercise (TEE) is an experimental adaptive learning system which uses knowledge structures to apply an intelligent tutoring algorithm and especially the representation of its surmise relation via HASSE diagrams to navigate within the learning material, to visualize the learning progress and convey the ...

Aufbauend auf Erfahrungen bei der Entwicklung von Hochschulanwendungen behandelt dieser Beitrag als Positionspapier einen Ansatz zur Integration heterogener Datenbanken am Beispiel eines Hochschul-Informationssystems. Nach einer Diskussion der neuen Möglichkeiten, die sich durch die Datenbank-Integration ergeben, wird ...

Standard Operating Procedures (SOPs) are a significant element of quality assurance in health care. They consist of practical, mandatory instructions for frequently occurring tasks in the performance of clinical trials. The methods of how to accomplish these tasks embody the current state of medical knowledge and are ...

Das Lernsystem Thermopr@ctice stellt eine internetgestützte Lernumgebung für das Berechnen von Übungsaufgaben mit dem Computer-Algebra-system Mathcad dar. Die veränderte Arbeitsweise des Lernenden besteht darin, das herkömmliche Arbeitsblatt durch den Mathcad-Arbeitsbildschirm zu ersetzen und die Aufgabenlösung ...

Im Internet des neuen Jahrtausends spielt die Auffindbarkeit von Informationen eine zentralere Rolle als jemals zuvor. Es gilt den Benutzer schnell, elegant und vor allem effizient genau zu den Informationen gelangen zu lassen, die er wünscht. Die IntelligentPad Technologie versucht, mit Hilfe einfach zu bedienender ...

Im Vortrag werden Motivation und Zielstellung für den Aufbau eines interaktiven Portals „Prozessautomation“, das für die Integration ausgewählte LMS, die für das Portal vorbereiteten Praktikumsversuche „Aufzug“, „Gießspie- gelregelung“ und „Mehrtankanlage“, deren hard- und softwaretechnische Anbindung an das Internet ...

The problem of sharing and re-using existing digital scientific and educational resources within learning environments has vital importance for building an effective e-learning resource repository. Most systems lack integrative mechanisms to connect arbitrary resources to learning units. This article describes such a ...

In the paper, a novel Neuro-Fuzzy Kolmogorov's Network (NFKN) is considered. The NFKN is based on the famous Kolmogorov’s superposition theorem (KST). The network consists of two layers of neo-fuzzy neurons (NFNs) and is linear in both the hidden and output layer parameters, so it can be trained with very fast and simple ...