RV-VAE: Integrating Random Variable Algebra into Variational Autoencoders | IEEE Conference Publication | IEEE Xplore