arXiv Computer Science @arxiv_cs@qoto.org

A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL. (arXiv:2211.03817v1 [cs.SE]) http://arxiv.org/abs/2211.03817

CELLS: A Parallel Corpus for Biomedical Lay Language Generation. (arXiv:2211.03818v1 [cs.CL]) http://arxiv.org/abs/2211.03818

A Fuzzy-set-based Joint Distribution Adaptation Method for Regression and its Application to Online Damage Quantification for Structural Digital Twin. (arXiv:2211.02656v1 [cs.CE]) http://arxiv.org/abs/2211.02656

MolE: a molecular foundation model for drug discovery. (arXiv:2211.02657v1 [q-bio.QM]) http://arxiv.org/abs/2211.02657

Dealing with Drift of Adaptation Spaces in Learning-based Self-Adaptive Systems using Lifelong Self-Adaptation. (arXiv:2211.02658v1 [cs.LG]) http://arxiv.org/abs/2211.02658

De novo PROTAC design using graph-based deep generative models. (arXiv:2211.02660v1 [q-bio.QM]) http://arxiv.org/abs/2211.02660

Deconfounded Imitation Learning. (arXiv:2211.02667v1 [cs.LG]) http://arxiv.org/abs/2211.02667

Wind Power Forecasting Considering Data Privacy Protection: A Federated Deep Reinforcement Learning Approach. (arXiv:2211.02674v1 [cs.LG]) http://arxiv.org/abs/2211.02674

An Adversarial Robustness Perspective on the Topology of Neural Networks. (arXiv:2211.02675v1 [cs.LG]) http://arxiv.org/abs/2211.02675

Context-tree weighting and Bayesian Context Trees: Asymptotic and non-asymptotic justifications. (arXiv:2211.02676v1 [cs.IT]) http://arxiv.org/abs/2211.02676

Towards Efficient ECG-based Atrial Fibrillation Detection via Parameterised Hypercomplex Neural Networks. (arXiv:2211.02678v1 [eess.SP]) http://arxiv.org/abs/2211.02678

Automatic Seizure Prediction using CNN and LSTM. (arXiv:2211.02679v1 [eess.SP]) http://arxiv.org/abs/2211.02679

An Adaptive Batch Normalization in Deep Learning. (arXiv:2211.02050v1 [cs.LG]) http://arxiv.org/abs/2211.02050

Fearless Steps Challenge Phase-1 Evaluation Plan. (arXiv:2211.02051v1 [eess.AS]) http://arxiv.org/abs/2211.02051

Theta-Resonance: A Single-Step Reinforcement Learning Method for Design Space Exploration. (arXiv:2211.02052v1 [cs.LG]) http://arxiv.org/abs/2211.02052

LMentry: A Language Model Benchmark of Elementary Language Tasks. (arXiv:2211.02069v1 [cs.CL]) http://arxiv.org/abs/2211.02069

Quantum Protocol for Decision Making and Verifying Truthfulness among $N$-quantum Parties: Solution and Extension of the Quantum Coin Flipping Game. (arXiv:2211.02073v1 [quant-ph]) http://arxiv.org/abs/2211.02073

An interactive visualisation for all 2x2 real matrices, with applications to conveying the dynamics of iterative eigenvalue algorithms. (arXiv:2211.02075v1 [math.NA]) http://arxiv.org/abs/2211.02075

Scaling Multimodal Pre-Training via Cross-Modality Gradient Harmonization. (arXiv:2211.02077v1 [cs.CV]) http://arxiv.org/abs/2211.02077

A system design approach toward integrated cryogenic quantum control systems. (arXiv:2211.02081v1 [quant-ph]) http://arxiv.org/abs/2211.02081