A framework for the construction of new features for hard classification tasks is discussed. The approach brings together ideas from the fields of machine learning, computational geometry, and pattern recognition. Two heuristics for evaluation of newly-constructed features are proposed, and their statistical significance verified. Finally, it is shown how the proposed framework can be used to c...

This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method has been implemented as an extension to the model checker Spin called Mpi-Spin. It has been applied to 17 examples from a widely-used textbook on MPI. Many correctness properties of these examples were verified and in two cases ...

In this paper, the cartesian product and the relations on neutrosophic soft sets have been defined in a new approach. Some properties of this concept have been discussed and verified with suitable real life examples. The neutrosophic soft composition has been defined and verified with the help of example. Then, some basic properties to it have been established. After that the concept of neutros...