Knowledge bases

TL;DR: In this paper, a neural network-based classifier was used to detect sensor faults in an electromechanical actuator in an aerospace setting, equipped with temperature, vibration, current, and position sensors.

TL;DR: In this article, a theoretical model is developed, and then implemented and solved using the finite element method to describe the swelling-induced large deformations in polymer gels, and the proposed approach is benchmarked against a recent experiment involving localized exposure of the gel boundary to a solvent, where large bending deformations appear during solvent absorption.

TL;DR: STransE is a simple combination of the SE and TransE models, but it obtains better link prediction performance on two benchmark datasets than previous embedding models, and can serve as a new baseline for the more complex models in the link prediction task.

TL;DR: The evaluation for 60 vulnerabilities on 176 releases of 119 open-source software systems shows that SecureSync is able to detect recurring vulnerabilities with high accuracy and to identify 90 releases having potentially vulnerable code that are not reported or fixed yet, even in mature systems.

TL;DR: The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time as discussed by the authors, and they are presented with a note that sets it in perspective, explains its importance, and points out difficulties in interpretation.

TL;DR: Prospector as mentioned in this paper is a computer consultant system intended to aid geologists in evaluating the favorability of an exploration site or region for occurrences of ore deposits of particular types, encoded in a computational model representing observable geological features and the relative significance thereof.

TL;DR: In this paper, the authors propose a framework for viewing issues of knowledge indexing and retrieval, a framework that includes what appears to be a useful perspective on the concept of a strategy.

TL;DR: In this article, the authors discuss the basic issues of choice of representation for problems of reasoning about actions and the relationship between different ways of formulating a problem to a problem solving system and the efficiency with which the system can be expected to find a solution.