Computer Science

Authors and titles for recent submissions, skipping first 807

• Fri, 17 May 2024
• Thu, 16 May 2024
• Wed, 15 May 2024
• Tue, 14 May 2024
• Mon, 13 May 2024

Wed, 15 May 2024 (continued, showing 25 of 354 entries)

[808]  arXiv:2405.08396 [pdf, ps, other]

Title: Coupled-Band ESSFM for Low-Complexity DBP

Authors: Stella Civelli, Debi Pada Jana, Enrico Forestieri, Marco Secondini

Comments: The paper has been submitted for publication to ECOC 2024

Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

[809]  arXiv:2405.08395 [pdf, other]

Title: Cross-Blockchain Communication Using Oracles With an Off-Chain Aggregation Mechanism Based on zk-SNARKs

Authors: Michael Sober, Giulia Scaffino, Stefan Schulte

Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC)

[810]  arXiv:2405.08392 [pdf, ps, other]

Title: Neuromorphic Robust Estimation of Nonlinear Dynamical Systems Applied to Satellite Rendezvous

Authors: Reza Ahmadvand, Sarah Safura Sharif, Yaser Mike Banad

Comments: 11 figures, 7 tables, 37 pages. arXiv admin note: text overlap with arXiv:2307.07963

Subjects: Systems and Control (eess.SY); Earth and Planetary Astrophysics (astro-ph.EP); Neural and Evolutionary Computing (cs.NE)

[811]  arXiv:2405.08380 [pdf, other]

Title: CIER: A Novel Experience Replay Approach with Causal Inference in Deep Reinforcement Learning

Authors: Jingwen Wang, Dehui Du, Yida Li, Yiyang Li, Yikang Chen

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[812]  arXiv:2405.08377 [pdf, other]

Title: ASP-Completeness of Hamiltonicity in Grid Graphs, with Applications to Loop Puzzles

Authors: MIT Hardness Group, Josh Brunner, Della Hendrickson, Lily Chung, Erik D. Demaine, Andy Tockman

Comments: 34 pages, 41 figures. To appear at Fun with Algorithms 2024

Subjects: Computational Complexity (cs.CC)

[813]  arXiv:2405.08373 [pdf, other]

Title: PromptMind Team at MEDIQA-CORR 2024: Improving Clinical Text Correction with Error Categorization and LLM Ensembles

Authors: Satya Kesav Gundabathula, Sriram R Kolar

Comments: Paper accepted for oral presentation at Clinical NLP workshop, NAACL 2024

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[814]  arXiv:2405.08372 [pdf, ps, other]

Title: Reasoning about Interior Mutability in Rust using Library-Defined Capabilities

Authors: Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[815]  arXiv:2405.08366 [pdf, other]

Title: Towards Principled Evaluations of Sparse Autoencoders for Interpretability and Control

Authors: Aleksandar Makelov, George Lange, Neel Nanda

Subjects: Machine Learning (cs.LG)

[816]  arXiv:2405.08363 [pdf, other]

Title: UnMarker: A Universal Attack on Defensive Watermarking

Authors: Andre Kassis, Urs Hengartner

Subjects: Cryptography and Security (cs.CR); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[817]  arXiv:2405.08360 [pdf, other]

Title: A Local discontinuous Galerkin method for the Benajamin-Ono equation

Authors: Mukul Dwivedi, Tanmay Sarkar

Comments: arXiv admin note: text overlap with arXiv:2404.18069

Subjects: Numerical Analysis (math.NA)

[818]  arXiv:2405.08359 [pdf, other]

Title: GPS-IDS: An Anomaly-based GPS Spoofing Attack Detection Framework for Autonomous Vehicles

Authors: Murad Mehrab Abrar, Raian Islam, Shalaka Satam, Sicong Shao, Salim Hariri, Pratik Satam

Comments: Article under review at IEEE Transactions on Dependable and Secure Computing. For associated AV-GPS-Dataset, see this https URL

Subjects: Cryptography and Security (cs.CR); Robotics (cs.RO)

[819]  arXiv:2405.08356 [pdf, other]

Title: A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems

Authors: Sebastian Rehms, Stefan Köpsell, Verena Klös, Florian Tschorsch

Comments: 24 pages, 7 figures

Subjects: Cryptography and Security (cs.CR)

[820]  arXiv:2405.08355 [pdf, other]

Title: Seal-Tools: Self-Instruct Tool Learning Dataset for Agent Tuning and Detailed Benchmark

Authors: Mengsong Wu, Tong Zhu, Han Han, Chuanyuan Tan, Xiang Zhang, Wenliang Chen

Comments: 14 pages, 10 figures

Subjects: Computation and Language (cs.CL)

[821]  arXiv:2405.08353 [pdf, other]

Title: Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric

Authors: Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers

Comments: Submitted to IEEE Transactions on Automatic Control

Subjects: Systems and Control (eess.SY)

[822]  arXiv:2405.08352 [pdf, other]

Title: Sibson's $α$-Mutual Information and its Variational Representations

Authors: Amedeo Roberto Esposito, Michael Gastpar, Ibrahim Issa

Subjects: Information Theory (cs.IT); Probability (math.PR)

[823]  arXiv:2405.08351 [pdf, ps, other]

Title: KG-EmpiRE: A Community-Maintainable Knowledge Graph for a Sustainable Literature Review on the State and Evolution of Empirical Research in Requirements Engineering

Authors: Oliver Karras

Comments: Accepted for publication at the 32nd IEEE International Requirements Engineering conference (RE) 2024

Subjects: Software Engineering (cs.SE)

[824]  arXiv:2405.08349 [pdf, other]

Title: Model-Free Unsupervised Anomaly detection framework in multivariate time-series of industrial dynamical systems

Authors: Mazen Alamir, Raphaël Dion

Comments: 21 pages, 2 tables, 10 figures

Subjects: Systems and Control (eess.SY)

[825]  arXiv:2405.08348 [pdf, other]

Title: Foundational Verification of Smart Contracts through Verified Compilation

Authors: Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao

Comments: 27 pages, 6 figures

Subjects: Programming Languages (cs.PL)

[826]  arXiv:2405.08345 [pdf, other]

Title: Multi-Robot Rendezvous in Unknown Environment with Limited Communication

Authors: Kun Song, Gaoming Chen, Wenhang Liu, Zhenhua Xiong

Comments: Submit to RAL. 8 pages, 6 figures

Subjects: Robotics (cs.RO)

[827]  arXiv:2405.08344 [pdf, other]

Title: No Time to Waste: Squeeze Time into Channel for Mobile Video Understanding

Authors: Yingjie Zhai, Wenshuo Li, Yehui Tang, Xinghao Chen, Yunhe Wang

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[828]  arXiv:2405.08343 [pdf, other]

Title: Accuracy Evaluation of a Lightweight Analytic Vehicle Dynamics Model for Maneuver Planning

Authors: J.R. Ziehn, M. Ruf, M. Roschani, J. Beyerer

Comments: 9 pages, 13 figures

Journal-ref: 2020 5th International Conference on Robotics and Automation Engineering (ICRAE)

Subjects: Robotics (cs.RO); Systems and Control (eess.SY); Numerical Analysis (math.NA)

[829]  arXiv:2405.08342 [pdf, ps, other]

Title: Abnormal Respiratory Sound Identification Using Audio-Spectrogram Vision Transformer

Authors: Whenty Ariyanti, Kai-Chun Liu, Kuan-Yu Chen, Yu Tsao

Comments: Published in 2023 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC)

Journal-ref: 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (2023) 1-4

Subjects: Sound (cs.SD); Machine Learning (cs.LG); Audio and Speech Processing (eess.AS)

[830]  arXiv:2405.08340 [pdf, other]

Title: Achieving Resolution-Agnostic DNN-based Image Watermarking:A Novel Perspective of Implicit Neural Representation

Authors: Yuchen Wang, Xingyu Zhu, Guanhui Ye, Shiyao Zhang, Xuetao Wei

Subjects: Cryptography and Security (cs.CR); Computer Vision and Pattern Recognition (cs.CV)

[831]  arXiv:2405.08337 [pdf, ps, other]

Title: Perivascular space Identification Nnunet for Generalised Usage (PINGU)

Authors: Benjamin Sinclair, Lucy Vivash, Jasmine Moses, Miranda Lynch, William Pham, Karina Dorfmann, Cassandra Marotta, Shaun Koh, Jacob Bunyamin, Ella Rowsthorn, Alex Jarema, Himashi Peiris, Zhaolin Chen, Sandy R Shultz, David K Wright, Dexiao Kong, Sharon L. Naismith, Terence J. OBrien, Meng Law

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[832]  arXiv:2405.08334 [pdf, other]

Title: Could Chemical LLMs benefit from Message Passing

Authors: Jiaqing Xie, Ziheng Chi

Comments: Under review at BIOKDD'24

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

• Fri, 17 May 2024
• Thu, 16 May 2024
• Wed, 15 May 2024
• Tue, 14 May 2024
• Mon, 13 May 2024