The project DML-CZ: The Czech Digital Mathematics Library has been implemented since 2005 and in 2010 switched over to routine operation. This report describes progress, growth and usage of the DML-CZ, the experience from cooperation with content providers in the designed editorial workflow, some newly implemented features, adjustments of the workflow following from both the ongoing practical experience and the requirements of the advancing EuDML project, the general public acceptance and attendance...

Fuzzy logic controller performance depends on the fuzzy control rule set. This set can be obtained either by an expert or from a learning algorithm through a set of examples. Recently, we have developed SLAVE an inductive learning algorithm capable of identifying fuzzy systems. The refinement of the rules proposed by SLAVE (or by an expert) can be very important in order to improve the accuracy of the model and in order to simplify the description of the system. The refinement algorithm is based...