arXiv Computer Science @arxiv_cs@qoto.org

SCENARIOTCHECK: A Checklist-based Reading Technique for the Verification of IoT Scenarios. (arXiv:2107.13597v1 [cs.SE]) http://arxiv.org/abs/2107.13597

To Boost or not to Boost: On the Limits of Boosted Neural Networks. (arXiv:2107.13600v1 [cs.LG]) http://arxiv.org/abs/2107.13600

Domain-matched Pre-training Tasks for Dense Retrieval. (arXiv:2107.13602v1 [cs.CL]) http://arxiv.org/abs/2107.13602

Large sample spectral analysis of graph-based multi-manifold clustering. (arXiv:2107.13610v1 [cs.LG]) http://arxiv.org/abs/2107.13610

Fully Homomorphically Encrypted Deep Learning as a Service. (arXiv:2107.12997v1 [cs.LG]) http://arxiv.org/abs/2107.12997

A New Split for Evaluating True Zero-Shot Action Recognition. (arXiv:2107.13029v1 [cs.CV]) http://arxiv.org/abs/2107.13029

Red Dragon AI at TextGraphs 2021 Shared Task: Multi-Hop Inference Explanation Regeneration by Matching Expert Ratings. (arXiv:2107.13031v1 [cs.CL]) http://arxiv.org/abs/2107.13031

Dataset Distillation with Infinitely Wide Convolutional Networks. (arXiv:2107.13034v1 [cs.LG]) http://arxiv.org/abs/2107.13034

A Case Study on Sampling Strategies for Evaluating Neural Sequential Item Recommendation Models. (arXiv:2107.13045v1 [cs.IR]) http://arxiv.org/abs/2107.13045

MixFaceNets: Extremely Efficient Face Recognition Networks. (arXiv:2107.13046v1 [cs.CV]) http://arxiv.org/abs/2107.13046

RingBFT: Resilient Consensus over Sharded Ring Topology. (arXiv:2107.13047v1 [cs.DB]) http://arxiv.org/abs/2107.13047

Whole Slide Images are 2D Point Clouds: Context-Aware Survival Prediction using Patch-based Graph Convolutional Networks. (arXiv:2107.13048v1 [eess.IV]) http://arxiv.org/abs/2107.13048

Understanding and Generalizing Monotonic Proximity Graphs for Approximate Nearest Neighbor Search. (arXiv:2107.13052v1 [cs.IR]) http://arxiv.org/abs/2107.13052

A Highly Linear and Flexible FPGA-Based Time-to-Digital Converter. (arXiv:2107.13053v1 [eess.SY]) http://arxiv.org/abs/2107.13053

An FPGA cached sparse matrix vector product (SpMV) for unstructured computational fluid dynamics simulations. (arXiv:2107.12371v1 [physics.comp-ph]) http://arxiv.org/abs/2107.12371

Relational Boosted Regression Trees. (arXiv:2107.12373v1 [cs.DB]) http://arxiv.org/abs/2107.12373

Training Energy-Efficient Deep Spiking Neural Networks with Single-Spike Hybrid Input Encoding. (arXiv:2107.12374v1 [cs.NE]) http://arxiv.org/abs/2107.12374

Geometric Deep Learning on Molecular Representations. (arXiv:2107.12375v1 [physics.chem-ph]) http://arxiv.org/abs/2107.12375

Constraining dark matter annihilation with cosmic ray antiprotons using neural networks. (arXiv:2107.12395v1 [astro-ph.HE]) http://arxiv.org/abs/2107.12395

Selective MPC: Distributed Computation of Differentially Private Key Value Statistics. (arXiv:2107.12407v1 [cs.CR]) http://arxiv.org/abs/2107.12407