ansible roles for LAS computers

A fragment of "Polyas Open Cred" translated from Kotlin to Java for doing formal program verification. The fragment is most likely not fully functional as simplifying assumptions are made.

This is an XSLT-based conversion of the rfc index to BibTeX for (La)TeX users.

Tools for handling the UCF format.

A handout for new doctoral researchers

Tensorflow-based benchmarks using Convolutional Neural Networks, originally developed by TensorFlow team https://github.com/tensorflow/benchmarks/tree/cnn_tf_v1.10_compatible/scripts/tf_cnn_benchmarks