1,721,136 research outputs found
Critical Needs and Demands for IT-based support to distance learning and collaborative work in European companies.
No full text
SAW: Safeness at the workplace. Report on the course "Sicurezza sul posto di lavoro: Legge 626
No full text
Design and implementation of a logical framework for course configuration in e-learning
No full textA logical framework for the definition of courses tailored over the individual needs of different learners is presented. This framework describes how to specify, by means of propositional logic, knowledge relations among the di dactic components that are present in a didactic pool, so that the outcoming course will meet the needs of each indi vidual student. Moreover, the framework describes how to specify the target knowledge taught by the course and also the starting knowledge that the student possesses at the be ginning. It describes also how to use the specifications to choose the set of components needed and how these com ponents have to be sequenced in the produced course. An initial implementation in Prolog of the framework is currently under construction. Samples of its use are given
Advances in the Design of Symbolic Computation Systems
No full textNew methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods C la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and impelementation issues, and reasoning capabilities supported by the whole framework are described
- …
