arXiv Computer Science @arxiv_cs@qoto.org

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. (arXiv:2106.05987v1 [cs.LO]) http://arxiv.org/abs/2106.05987

Scalable Variational Gaussian Processes via Harmonic Kernel Decomposition. (arXiv:2106.05992v1 [cs.LG]) http://arxiv.org/abs/2106.05992

An Ensemble Approach Towards Adversarial Robustness. (arXiv:2106.05996v1 [cs.LG]) http://arxiv.org/abs/2106.05996

Verifying Quantized Neural Networks using SMT-Based Model Checking. (arXiv:2106.05997v1 [cs.LG]) http://arxiv.org/abs/2106.05997

Electricity and Reserve Pricing in Chance-Constrained Electricity Markets with Asymmetric Balancing Reserve Policies. (arXiv:2106.05999v1 [math.OC]) http://arxiv.org/abs/2106.05999

Use of a non-peer reviewed sources in cyber-security scientific research. (arXiv:2106.06000v1 [cs.CR]) http://arxiv.org/abs/2106.06000

TIRA: An OpenAPI Extension and Toolbox for GDPR Transparency in RESTful Architectures. (arXiv:2106.06001v1 [cs.SE]) http://arxiv.org/abs/2106.06001

Probabilistic, Structure-Aware Algorithms for Improved Variety, Accuracy, and Coverage of AMR Alignments. (arXiv:2106.06002v1 [cs.CL]) http://arxiv.org/abs/2106.06002

CodemixedNLP: An Extensible and Open NLP Toolkit for Code-Mixing. (arXiv:2106.06004v1 [cs.CL]) http://arxiv.org/abs/2106.06004

Vector Symbolic Architectures as a Computing Framework for Nanoscale Hardware. (arXiv:2106.05268v1 [cs.AR]) http://arxiv.org/abs/2106.05268

Tractable Density Estimation on Learned Manifolds with Conformal Embedding Flows. (arXiv:2106.05275v1 [stat.ML]) http://arxiv.org/abs/2106.05275

CaloFlow: Fast and Accurate Generation of Calorimeter Showers with Normalizing Flows. (arXiv:2106.05285v1 [physics.ins-det]) http://arxiv.org/abs/2106.05285

Grover's Algorithm for Question Answering. (arXiv:2106.05299v1 [quant-ph]) http://arxiv.org/abs/2106.05299

Explaining Time Series Predictions with Dynamic Masks. (arXiv:2106.05303v1 [cs.LG]) http://arxiv.org/abs/2106.05303

Revisiting Point Cloud Shape Classification with a Simple and Effective Baseline. (arXiv:2106.05304v1 [cs.CV]) http://arxiv.org/abs/2106.05304

DiffCloth: Differentiable Cloth Simulation with Dry Frictional Contact. (arXiv:2106.05306v1 [cs.GR]) http://arxiv.org/abs/2106.05306

Visual Sensor Pose Optimisation Using Rendering-based Visibility Models for Robust Cooperative Perception. (arXiv:2106.05308v1 [cs.CV]) http://arxiv.org/abs/2106.05308

B1-EPG representations using block-cutpoint trees. (arXiv:2106.05312v1 [math.CO]) http://arxiv.org/abs/2106.05312

Raman spectral analysis of mixtures with one-dimensional convolutional neural network. (arXiv:2106.05316v1 [cs.CV]) http://arxiv.org/abs/2106.05316

DNS attack mitigation Using OpenStack Isolation. (arXiv:2106.04575v1 [cs.CR]) http://arxiv.org/abs/2106.04575