arXiv Computer Science @arxiv_cs@qoto.org

A Constructive Formalization of the Weak Perfect Graph Theorem. (arXiv:1912.02211v1 [cs.LO]) http://arxiv.org/abs/1912.02211

Assessing the best edit in perturbation-based iterative refinement algorithms to compute the median string. (arXiv:1912.02217v1 [cs.DS]) http://arxiv.org/abs/1912.02217

Reinforcement learning for bandwidth estimation and congestion control in real-time communications. (arXiv:1912.02222v1 [cs.NI]) http://arxiv.org/abs/1912.02222

Large-Scale Semi-Supervised Learning via Graph Structure Learning over High-Dense Points. (arXiv:1912.02233v1 [cs.LG]) http://arxiv.org/abs/1912.02233

A journey in applying blockchain for cyberphysical systems. (arXiv:1912.01606v1 [cs.CR]) http://arxiv.org/abs/1912.01606

A Simulation Model for Pedestrian Crowd Evacuation Based on Various AI Techniques. (arXiv:1912.01629v1 [cs.MA]) http://arxiv.org/abs/1912.01629

Fast Algorithms for Geometric Consensuses. (arXiv:1912.01639v1 [cs.CG]) http://arxiv.org/abs/1912.01639

bertha: Project Skeleton for Scientific Software. (arXiv:1912.01640v1 [cs.CE]) http://arxiv.org/abs/1912.01640

A FEAST variant incorporated with a power iteration. (arXiv:1912.01642v1 [math.NA]) http://arxiv.org/abs/1912.01642

Visual Illusions Also Deceive Convolutional Neural Networks: Analysis and Implications. (arXiv:1912.01643v1 [cs.CV]) http://arxiv.org/abs/1912.01643

Mo' States Mo' Problems: Emergency Stop Mechanisms from Observation. (arXiv:1912.01649v1 [cs.LG]) http://arxiv.org/abs/1912.01649

Physics-based Simulation of Continuous-Wave LIDAR for Localization, Calibration and Tracking. (arXiv:1912.01652v1 [cs.CV]) http://arxiv.org/abs/1912.01652

Modeling, simulation and validation of supersonic parachute inflation dynamics during Mars landing. (arXiv:1912.01658v1 [cs.CE]) http://arxiv.org/abs/1912.01658

Integrating Motion into Vision Models for Better Visual Prediction. (arXiv:1912.01661v1 [cs.CV]) http://arxiv.org/abs/1912.01661

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