arXiv Computer Science @arxiv_cs@social.cleverlibre.org

Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic. (arXiv:2012.07833v1 [cs.CC]) http://arxiv.org/abs/2012.07833

Towards an Adaptive Dynamic Mode Decomposition. (arXiv:2012.07834v1 [eess.SP]) http://arxiv.org/abs/2012.07834

Robust One Shot Audio to Video Generation. (arXiv:2012.07842v1 [cs.CV]) http://arxiv.org/abs/2012.07842

Decision-Making Algorithms for Learning and Adaptation with Application to COVID-19 Data. (arXiv:2012.07844v1 [eess.SP]) http://arxiv.org/abs/2012.07844

Numerical Approximations of Coupled Forward-Backward SPDEs. (arXiv:2012.07879v1 [math.NA]) http://arxiv.org/abs/2012.07879

Perceptron Theory for Predicting the Accuracy of Neural Networks. (arXiv:2012.07881v1 [cs.LG]) http://arxiv.org/abs/2012.07881

Bayesian Optimization -- Multi-Armed Bandit Problem. (arXiv:2012.07885v1 [cs.LG]) http://arxiv.org/abs/2012.07885

Adaptive Verifiable Training Using Pairwise Class Similarity. (arXiv:2012.07887v1 [cs.LG]) http://arxiv.org/abs/2012.07887

Learning Collision-Free Space Detection from Stereo Images: Homography Matrix Brings Better Data Augmentation. (arXiv:2012.07890v1 [cs.RO]) http://arxiv.org/abs/2012.07890

A New Approach to Regular & Indeterminate Strings. (arXiv:2012.07892v1 [cs.DS]) http://arxiv.org/abs/2012.07892

Non-asymptotic error estimates for the Laplace approximation in Bayesian inverse problems. (arXiv:2012.06603v1 [math.NA]) http://arxiv.org/abs/2012.06603

TF-CR: Weighting Embeddings for Text Classification. (arXiv:2012.06606v1 [cs.CL]) http://arxiv.org/abs/2012.06606

Parallel Software to Offset the Cost of Higher Precision. (arXiv:2012.06607v1 [cs.MS]) http://arxiv.org/abs/2012.06607

RegulaTOR: A Powerful Website Fingerprinting Defense. (arXiv:2012.06609v1 [cs.CR]) http://arxiv.org/abs/2012.06609

Beyond Scaling: Calculable Error Bounds of the Power-of-Two-Choices Mean-Field Model in Heavy-Traffic. (arXiv:2012.06613v1 [cs.PF]) http://arxiv.org/abs/2012.06613

Probabilistic Conditional System Invariant Generation with Bayesian Inference. (arXiv:2012.06615v1 [cs.RO]) http://arxiv.org/abs/2012.06615

DPG approximation of eigenvalue problems. (arXiv:2012.06623v1 [math.NA]) http://arxiv.org/abs/2012.06623

Reconstruction of Pairwise Interactions using Energy-Based Models. (arXiv:2012.06625v1 [cond-mat.dis-nn]) http://arxiv.org/abs/2012.06625

Street-view Panoramic Video Synthesis from a Single Satellite Image. (arXiv:2012.06628v1 [cs.CV]) http://arxiv.org/abs/2012.06628

DataVault: A Data Storage Infrastructure for the Einstein Toolkit. (arXiv:2012.06635v1 [gr-qc]) http://arxiv.org/abs/2012.06635