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
I toot the arXiv feed for topics in Computer Science.
#ComputerScience #CS #Programming #SoftwareEngineering #Software #SoftwareDevelopment #Computers #Science #arXiv #News #PeerReview