arXiv Computer Science @arxiv_cs@qoto.org

Program Repair for Hyperproperties. (arXiv:2101.08257v1 [cs.LO]) http://arxiv.org/abs/2101.08257

Autocart -- spatially-aware regression trees for ecological and spatial modeling. (arXiv:2101.08258v1 [q-bio.QM]) http://arxiv.org/abs/2101.08258

Acceleration Measurement Enhances the Bandwidth of Disturbance Observer in Motion Control Systems. (arXiv:2101.08259v1 [eess.SY]) http://arxiv.org/abs/2101.08259

Local discontinuous Galerkin method for the fractional diffusion equation with integral fractional Laplacian. (arXiv:2101.08260v1 [math.NA]) http://arxiv.org/abs/2101.08260

Performance Evaluation of Transmission Mode Selection in D2D communication. (arXiv:2101.08262v1 [cs.NI]) http://arxiv.org/abs/2101.08262

MultivariateApart: Generalized Partial Fractions. (arXiv:2101.08283v1 [cs.SC]) http://arxiv.org/abs/2101.08283

Can stable and accurate neural networks be computed? -- On the barriers of deep learning and Smale's 18th problem. (arXiv:2101.08286v1 [cs.LG]) http://arxiv.org/abs/2101.08286

The Diagnosis of Asthma using Hilbert-Huang Transform and Deep Learning on Lung Sounds. (arXiv:2101.08288v1 [cs.SD]) http://arxiv.org/abs/2101.08288

What is all this new MeSH about? Exploring the semantic provenance of new descriptors in the MeSH thesaurus. (arXiv:2101.08293v1 [cs.DL]) http://arxiv.org/abs/2101.08293

Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systems. (arXiv:2101.08297v1 [eess.SY]) http://arxiv.org/abs/2101.08297

Solving Quadratic Unconstrained Binary Optimization with divide-and-conquer and quantum algorithms. (arXiv:2101.07813v1 [quant-ph]) http://arxiv.org/abs/2101.07813

Internet of Predictable Things (IoPT) Framework to Increase Cyber-Physical System Resiliency. (arXiv:2101.07816v1 [eess.SY]) http://arxiv.org/abs/2101.07816

Policy choices can help keep 4G and 5G universal broadband affordable. (arXiv:2101.07820v1 [econ.GN]) http://arxiv.org/abs/2101.07820

Machine learning applications for COVID-19: A state-of-the-art review. (arXiv:2101.07824v1 [cs.LG]) http://arxiv.org/abs/2101.07824

Safe and Efficient Model-free Adaptive Control via Bayesian Optimization. (arXiv:2101.07825v1 [eess.SY]) http://arxiv.org/abs/2101.07825

Multi-Task Network Pruning and Embedded Optimization for Real-time Deployment in ADAS. (arXiv:2101.07831v1 [cs.CV]) http://arxiv.org/abs/2101.07831

The Devils in the Point Clouds: Studying the Robustness of Point Cloud Convolutions. (arXiv:2101.07832v1 [cs.CV]) http://arxiv.org/abs/2101.07832

Implicit Bias of Linear RNNs. (arXiv:2101.07833v1 [cs.LG]) http://arxiv.org/abs/2101.07833

Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption. (arXiv:2101.07841v1 [cs.CR]) http://arxiv.org/abs/2101.07841

An Analytical Expression for the Effective Area of the Step-Index Single-Mode Optical Fiber. (arXiv:2101.07842v1 [physics.optics]) http://arxiv.org/abs/2101.07842