This article investigates the reliability and effectiveness of nonwoven zinc(II) oxide-polyvinylidene fluoride (ZnO-PVDF) nanocomposite fiber textiles as an embedded corrosion sensor using an accelerated thermal cyclic method paired to electrochemical impedance spectroscopy (EIS). Results suggest that the flexible sensor is reliable at both monitoring the corrosion and acting as a corrosion barrier.

Article that introduces Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. The authors' proof-of-concept Natlog implementation is tightly embedded in the Python-based deep-learning ecosystem with focus on content-driven indexing of ground term datasets. As an overriding of the authors symbolic indexing algorithm, the same function can be delegated to a neural network, serving ground facts to Natlog's resolution engine. The open-source implementation is available as a Python package at t https://pypi.org/project/natlog/.

This article surveys previous work on negation with an emphasis on computational approaches.