arXiv Computer Science @arxiv_cs@qoto.org

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis. (arXiv:2310.19806v1 [cs.LO]) http://arxiv.org/abs/2310.19806

Improved Communication Efficiency in Federated Natural Policy Gradient via ADMM-based Gradient Updates. (arXiv:2310.19807v1 [cs.LG]) http://arxiv.org/abs/2310.19807

MgNO: Efficient Parameterization of Linear Operators via Multigrid. (arXiv:2310.19809v1 [cs.LG]) http://arxiv.org/abs/2310.19809

Advantages of Machine Learning in Bus Transport Analysis. (arXiv:2310.19810v1 [cs.LG]) http://arxiv.org/abs/2310.19810

A Historical Context for Data Streams. (arXiv:2310.19811v1 [cs.LG]) http://arxiv.org/abs/2310.19811

ACWA: An AI-driven Cyber-Physical Testbed for Intelligent Water Systems. (arXiv:2310.17654v1 [cs.AR]) http://arxiv.org/abs/2310.17654

Music Recommendation Based on Audio Fingerprint. (arXiv:2310.17655v1 [eess.AS]) http://arxiv.org/abs/2310.17655

Deep Learning Algorithm for Advanced Level-3 Inverse-Modeling of Silicon-Carbide Power MOSFET Devices. (arXiv:2310.17657v1 [eess.SP]) http://arxiv.org/abs/2310.17657

Is Channel Independent strategy optimal for Time Series Forecasting?. (arXiv:2310.17658v1 [cs.LG]) http://arxiv.org/abs/2310.17658

RTNH+: Enhanced 4D Radar Object Detection Network using Combined CFAR-based Two-level Preprocessing and Vertical Encoding. (arXiv:2310.17659v1 [eess.SP]) http://arxiv.org/abs/2310.17659

An Invitation to Hypercomplex Phase Retrieval: Theory and Applications. (arXiv:2310.17660v1 [eess.SP]) http://arxiv.org/abs/2310.17660

An Overview on IEEE 802.11bf: WLAN Sensing. (arXiv:2310.17661v1 [eess.SP]) http://arxiv.org/abs/2310.17661

Cascaded Multi-task Adaptive Learning Based on Neural Architecture Search. (arXiv:2310.17664v1 [cs.LG]) http://arxiv.org/abs/2310.17664

Fine tuning Pre trained Models for Robustness Under Noisy Labels. (arXiv:2310.17668v1 [cs.LG]) http://arxiv.org/abs/2310.17668

An Approach for Efficient Neural Architecture Search Space Definition. (arXiv:2310.17669v1 [cs.LG]) http://arxiv.org/abs/2310.17669

Enhancing Energy-efficiency by Solving the Throughput Bottleneck of LSTM Cells for Embedded FPGAs. (arXiv:2310.16842v1 [cs.AR]) http://arxiv.org/abs/2310.16842

Experimental Demonstration of Non-Stateful In-Memory Logic with 1T1R OxRAM Valence Change Mechanism Memristors. (arXiv:2310.16843v1 [cs.AR]) http://arxiv.org/abs/2310.16843

Hardware-Algorithm Co-design Enabling Processing-in-Pixel-in-Memory (P2M) for Neuromorphic Vision Sensors. (arXiv:2310.16844v1 [cs.AR]) http://arxiv.org/abs/2310.16844

Detecting Changes in Crowdsourced Social Media Images. (arXiv:2310.16848v1 [cs.SI]) http://arxiv.org/abs/2310.16848

Deep Learning Models for Classification of COVID-19 Cases by Medical Images. (arXiv:2310.16851v1 [eess.IV]) http://arxiv.org/abs/2310.16851