arXiv Computer Science @arxiv_cs@social.cleverlibre.org

FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. (arXiv:1912.01032v1 [cs.LO]) http://arxiv.org/abs/1912.01032

Periodic P\'olya Urns, the Density Method, and Asymptotics of Young Tableaux. (arXiv:1912.01035v1 [math.PR]) http://arxiv.org/abs/1912.01035

Efficient implementation of partitioned stiff exponential Runge-Kutta methods. (arXiv:1912.01044v1 [math.NA]) http://arxiv.org/abs/1912.01044

TutorialVQA: Question Answering Dataset for Tutorial Videos. (arXiv:1912.01046v1 [cs.CL]) http://arxiv.org/abs/1912.01046

Estimating Numerical Distributions under Local Differential Privacy. (arXiv:1912.01051v1 [cs.CR]) http://arxiv.org/abs/1912.01051

The state of the art in kidney and kidney tumor segmentation in contrast-enhanced CT imaging: Results of the KiTS19 Challenge. (arXiv:1912.01054v1 [eess.IV]) http://arxiv.org/abs/1912.01054

GGNN: Graph-based GPU Nearest Neighbor Search. (arXiv:1912.01059v1 [cs.CV]) http://arxiv.org/abs/1912.01059

A Keyframe-based Continuous Visual SLAM for RGB-D Cameras via Nonparametric Joint Geometric and Appearance Representation. (arXiv:1912.01064v1 [cs.RO]) http://arxiv.org/abs/1912.01064

A Bayesian Inference Framework for Procedural Material Parameter Estimation. (arXiv:1912.01067v1 [cs.GR]) http://arxiv.org/abs/1912.01067

About how to make novel Visible by using Newly Translated Tale of Genji as an example. (arXiv:1912.01068v1 [cs.HC]) http://arxiv.org/abs/1912.01068

A Case for the Score: Identifying Image Anomalies using Variational Autoencoder Gradients. (arXiv:1912.00003v1 [eess.IV]) http://arxiv.org/abs/1912.00003

Reproducible Evaluation of Neural Network Based Channel Estimators And Predictors Using A Generic Dataset. (arXiv:1912.00005v1 [cs.IT]) http://arxiv.org/abs/1912.00005

Randpay: The Technology for Blockchain Micropayments and Transactions Which Require Recipient's Consent. (arXiv:1912.00007v1 [cs.CR]) http://arxiv.org/abs/1912.00007

MSTDP: A More Biologically Plausible Learning. (arXiv:1912.00009v1 [cs.NE]) http://arxiv.org/abs/1912.00009

A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time. (arXiv:1912.00010v1 [cs.LO]) http://arxiv.org/abs/1912.00010

Heuristic Strategies in Uncertain Approval Voting Environments. (arXiv:1912.00011v1 [cs.GT]) http://arxiv.org/abs/1912.00011

Negative Translations for Affine and Lukasiewicz Logic. (arXiv:1912.00012v1 [cs.LO]) http://arxiv.org/abs/1912.00012

Efficient Approximate Inference with Walsh-Hadamard Variational Inference. (arXiv:1912.00015v1 [stat.ML]) http://arxiv.org/abs/1912.00015

On the Heavy-Tailed Theory of Stochastic Gradient Descent for Deep Neural Networks. (arXiv:1912.00018v1 [stat.ML]) http://arxiv.org/abs/1912.00018

Long Short-Term Network Based Unobtrusive Perceived Workload Monitoring with Consumer Grade Smartwatches in the Wild. (arXiv:1912.00019v1 [cs.HC]) http://arxiv.org/abs/1912.00019