This paper is about a machine learning approach based on the multilinear...
A peer-to-peer system is a distributed system in which equal nodes (in t...
Nowadays, the usefulness of a formal language for ensuring the consisten...
A means of building safe critical systems consists of formally modeling ...