automatic construction of finite algebras

This paper deals withmodel generation for equational theories, i.e., automatically generating (finite) models of a given set of (logical) equations. Our method of finite model generation and a tool for automatic construction of finite algebras is described. Some examples are given to show the applications of our program. We argue that, the combination of model generators and theorem provers enables us to get a better understanding of logical theories. A brief comparison between our tool and other similar tools is also presented.

Column chromatographic purification free synthesis of long-chain monodisperse oligo(1,4-phenyleneethynylene)s: towards large-scale automatic synthesis of molecular wires

A facile, mild and rapid solid phase synthetic route free of column chromatographic purification to the synthesis of soluble monodisperse long-chain oligo(1,4-phenyleneethynylene)s is presented.

Crossmodal effects of Guqin and piano music on selective attention: An event-related potential study

To compare the effects of music from different cultural environments (Guqin: Chinese music; piano: Western music) on crossmodal selective attention, behavioral and event-related potential (ERP) data in a standard two-stimulus visual oddball task were reco

Effects of several organic acids on the feeding behavior of Tilapia nilotica

Automatic recording of the frequency of feeding 'bites' was used to evaluate the effects of several organic acids (citric, metacectonic, lactic, acetic, and oxalic) on the stimulatory feeding behavior of Tilapia nilotica . Some of these acids are added to food stocks to retard spoilage. The results showed that citric acid at a concentration of 10(-2) to 10(-6) m, metacetonic acid at 10(-4) to 10(-6) m, and lactic acid at 10(-2) to 10(-5) m stimulated feeding. Fish tended to avoid metacetonic acid at 10(-3) m and acetic acid at 10(-3) m. Acetic acid at 10(-5) m and oxalic acid at 10(-6) m had no significant effects on fish feeding.