Computer Science

Authors and titles for January 2024

[3001] arXiv:2401.07657 [pdf, other]

Title: Empirical Evidence for the Fragment level Understanding on Drug Molecular Structure of LLMs

Xiuyuan Hu, Guoqing Liu, Yang Zhao, Hao Zhang

Comments: Accepted by AAAI 2024 workshop: Large Language Models for Biological Discoveries (LLMs4Bio)

Subjects: Machine Learning (cs.LG); Computational Engineering, Finance, and Science (cs.CE); Biomolecules (q-bio.BM)

[3002] arXiv:2401.07658 [pdf, html, other]

Title: Robustness Evaluation of Localization Techniques for Autonomous Racing

Tian Yi Lim, Edoardo Ghignone, Nicolas Baumann, Michele Magno

Comments: Accepted at the Design, Automation and Test in Europe Conference 2024 as an extended abstract

Subjects: Robotics (cs.RO); Systems and Control (eess.SY)

[3003] arXiv:2401.07663 [pdf, other]

Title: Selene: Pioneering Automated Proof in Software Verification

Lichen Zhang, Shuai Lu, Nan Duan

Subjects: Software Engineering (cs.SE)

[3004] arXiv:2401.07669 [pdf, other]

Title: FiGCLIP: Fine-Grained CLIP Adaptation via Densely Annotated Videos

Darshan Singh S, Zeeshan Khan, Makarand Tapaswi

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

[3005] arXiv:2401.07671 [pdf, html, other]

Title: CLSA-CIM: A Cross-Layer Scheduling Approach for Computing-in-Memory Architectures

Rebecca Pelke, Jose Cubero-Cascante, Nils Bosbach, Felix Staudigl, Rainer Leupers, Jan Moritz Joseph

Subjects: Hardware Architecture (cs.AR); Emerging Technologies (cs.ET); Machine Learning (cs.LG)

[3006] arXiv:2401.07674 [pdf, other]

Title: Performance Evaluation of Kubernetes Networking Approaches across Constraint Edge Environments

Georgios Koukis (1 and 3), Sotiris Skaperas (2 and 3), Ioanna Angeliki Kapetanidou (1 and 3), Lefteris Mamatas (2 and 3), Vassilis Tsaoussidis (1 and 3) ((1) Department of Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece, (2) Department of Applied Informatics, University of Macedonia, Thessaloniki Greece, (3) Athena Research and Innovation Center, Greece)

Comments: Submitted: Proc. IEEE Int. Conf. Comput. Commun. ICCN Workshops (INFOCOM ICCN WKSHPS), Vancouver, Canada, 2024

Subjects: Networking and Internet Architecture (cs.NI)

[3007] arXiv:2401.07677 [pdf, other]

Title: Quantitative Information Flow Control by Construction for Component-Based Systems

Rasmus Carl Rønneberg

Subjects: Software Engineering (cs.SE)

[3008] arXiv:2401.07680 [pdf, other]

Title: Strategies, model checking and branching-time properties in Maude

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Journal-ref: J. Log. Algebraic Methods Program. 123 (2021) article 100700

Subjects: Logic in Computer Science (cs.LO)

[3009] arXiv:2401.07682 [pdf, other]

Title: Cash and Card Acceptance in Retail Payments: Motivations and Factors

Samuel Vandak, Geoffrey Goodell

Comments: 34 pages, 19 figures, 5 tables

Subjects: Computers and Society (cs.CY); Computational Engineering, Finance, and Science (cs.CE); General Finance (q-fin.GN)

[3010] arXiv:2401.07683 [pdf, other]

Title: Assisted Knowledge Graph Authoring: Human-Supervised Knowledge Graph Construction from Natural Language

Marcel Gohsen, Benno Stein

Comments: accepted at CHIIR 2024

Subjects: Computation and Language (cs.CL)

[3011] arXiv:2401.07685 [pdf, other]

Title: A Human-Powered Public Display that Nudges Social Biking via Motion Gesturing

Binh Vinh Duc Nguyen, Andrew Vande Moere

Subjects: Human-Computer Interaction (cs.HC)

[3012] arXiv:2401.07691 [pdf, other]

Title: Privacy-Aware Single-Nucleotide Polymorphisms (SNPs) using Bilinear Group Accumulators in Batch Mode

William J Buchanan, Sam Grierson, Daniel Uribe

Subjects: Cryptography and Security (cs.CR)

[3013] arXiv:2401.07696 [pdf, other]

Title: Towards Automatic Translation of Machine Learning Visual Insights to Analytical Assertions

Arumoy Shome, Luis Cruz, Arie van Deursen

Subjects: Software Engineering (cs.SE)

[3014] arXiv:2401.07697 [pdf, other]

Title: Data vs. Model Machine Learning Fairness Testing: An Empirical Study

Arumoy Shome, Luis Cruz, Arie van Deursen

Subjects: Machine Learning (cs.LG); Computers and Society (cs.CY); Software Engineering (cs.SE)

[3015] arXiv:2401.07698 [pdf, html, other]

Title: Online Learning of Continuous Signed Distance Fields Using Piecewise Polynomials

Ante Marić, Yiming Li, Sylvain Calinon

Subjects: Robotics (cs.RO)

[3016] arXiv:2401.07702 [pdf, html, other]

Title: Prompting open-source and commercial language models for grammatical error correction of English learner text

Christopher Davis, Andrew Caines, Øistein Andersen, Shiva Taslimipoor, Helen Yannakoudakis, Zheng Yuan, Christopher Bryant, Marek Rei, Paula Buttery

Comments: 8 pages with appendices; accepted to ACL Findings 2024

Subjects: Computation and Language (cs.CL)

[3017] arXiv:2401.07704 [pdf, other]

Title: The Paradox of Function Header Comments

Arthur Oxenhorn, Almog Mor, Uri Stern, Dror G. Feitelson

Comments: 11 pages, 2 figures plus 23 inlined graphs

Subjects: Software Engineering (cs.SE)

[3018] arXiv:2401.07709 [pdf, html, other]

Title: Towards Efficient Diffusion-Based Image Editing with Instant Attention Masks

Siyu Zou, Jiji Tang, Yiyi Zhou, Jing He, Chaoyi Zhao, Rongsheng Zhang, Zhipeng Hu, Xiaoshuai Sun

Comments: Accepted by AAAI2024

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

[3019] arXiv:2401.07710 [pdf, other]

Title: Go-Explore for Residential Energy Management

Junlin Lu, Patrick Mannion, Karl Mason

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY)

[3020] arXiv:2401.07711 [pdf, other]

Title: Efficient Nonparametric Tensor Decomposition for Binary and Count Data

Zerui Tao, Toshihisa Tanaka, Qibin Zhao

Comments: AAAI-24

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[3021] arXiv:2401.07713 [pdf, other]

Title: Approximations to Study the Impact of the Service Discipline in Systems with Redundancy

Nicolas Gast (POLARIS, UGA), Benny van Houdt (UA)

Journal-ref: Proceedings of the ACM on Measurement and Analysis of Computing Systems , 2024, 8 (1)

Subjects: Performance (cs.PF)

[3022] arXiv:2401.07717 [pdf, other]

Title: A Pragmatical Approach to Anomaly Detection Evaluation in Edge Cloud Systems

Sotiris Skaperas (1 and 3), George Koukis (2 and 3), Ioanna Angeliki Kapetanidou (2 and 3), Vassilis Tsaoussidis (2 and 3), Lefteris Mamatas (1 and 3) ((1) Department of Applied Informatics, University of Macedonia, Thessaloniki Greece, (2) Department of Electrical and Computer Engineering, Democritus University of Thrace, Greece, (3) Athena Research and Innovation Center, Greece)

Comments: Submitted: Proc. IEEE Int. Conf. Comput. Commun. ICCN Workshops (INFOCOM ICCN WKSHPS), Vancouver, Canada, 2024

Subjects: Networking and Internet Architecture (cs.NI)

[3023] arXiv:2401.07718 [pdf, other]

Title: How Social Media Big Data Can Improve Suicide Prevention

Anastasia Peshkovskaya, Yu-Tao Xiang

Comments: 7 pages, 1 figure, 1 table

Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC); Social and Information Networks (cs.SI)

[3024] arXiv:2401.07721 [pdf, other]

Title: Graph Transformer GANs with Graph Masked Modeling for Architectural Layout Generation

Hao Tang, Ling Shao, Nicu Sebe, Luc Van Gool

Comments: Accepted to TPAMI, an extended version of a paper published in CVPR2023. arXiv admin note: substantial text overlap with arXiv:2303.08225

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

[3025] arXiv:2401.07722 [pdf, other]

Title: Inferring Preferences from Demonstrations in Multi-Objective Residential Energy Management

Junlin Lu, Patrick Mannion, Karl Mason

Subjects: Artificial Intelligence (cs.AI)

[3026] arXiv:2401.07725 [pdf, other]

Title: Effects Investigation of MAC and PHY Layer Parameters on the Performance of IEEE 802.15.6 CSMA/CA

Md. Abubakar Siddik, Most. Anju Ara Hasi, Md. Rajiul Islam, Jakia Akter Nitu

Comments: 22 pages. arXiv admin note: substantial text overlap with arXiv:2209.00247

Subjects: Networking and Internet Architecture (cs.NI)

[3027] arXiv:2401.07726 [pdf, html, other]

Title: Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits

Paulo Garcia

Comments: Accepted at IEEE 10th International Conference on Communications and Electronics (ICCE) 2024

Subjects: Programming Languages (cs.PL); Robotics (cs.RO)

[3028] arXiv:2401.07727 [pdf, other]

Title: HexaGen3D: StableDiffusion is just one step away from Fast and Diverse Text-to-3D Generation

Antoine Mercier, Ramin Nakhli, Mahesh Reddy, Rajeev Yasarla, Hong Cai, Fatih Porikli, Guillaume Berger

Comments: 9 pages, 8 figures, 2 tables

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

[3029] arXiv:2401.07729 [pdf, html, other]

Title: SSL-Interactions: Pretext Tasks for Interactive Trajectory Prediction

Prarthana Bhattacharyya, Chengjie Huang, Krzysztof Czarnecki

Comments: Accepted at IV-2024. 13 pages, 5 figures

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

[3030] arXiv:2401.07732 [pdf, other]

Title: Popularity in location games

Gaëtan Fournier, Marc Schröder

Subjects: Computer Science and Game Theory (cs.GT)

[3031] arXiv:2401.07743 [pdf, other]

Title: Simulating and model checking membrane systems using strategies in Maude

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Journal-ref: J. Logic. Algebr. Program 124 (2022) article 100727

Subjects: Logic in Computer Science (cs.LO)

[3032] arXiv:2401.07744 [pdf, other]

Title: Combining Machine Learning and Ontology: A Systematic Literature Review

Sarah Ghidalia, Ouassila Labbani Narsis, Aurélie Bertaux, Christophe Nicolle

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

[3033] arXiv:2401.07745 [pdf, html, other]

Title: MaskClustering: View Consensus based Mask Graph Clustering for Open-Vocabulary 3D Instance Segmentation

Mi Yan, Jiazhao Zhang, Yan Zhu, He Wang

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

[3034] arXiv:2401.07746 [pdf, other]

Title: Sparsity-based background removal for STORM super-resolution images

Patris Valera, Josué Page Vizcaíno, Tobias Lasser

Subjects: Computer Vision and Pattern Recognition (cs.CV); Image and Video Processing (eess.IV)

[3035] arXiv:2401.07749 [pdf, other]

Title: Metalevel transformation of strategies

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Journal-ref: J. Logic. Algebr. Program 124 (2022) article 100728

Subjects: Logic in Computer Science (cs.LO)

[3036] arXiv:2401.07753 [pdf, other]

Title: Low-light Stereo Image Enhancement and De-noising in the Low-frequency Information Enhanced Image Space

Minghua Zhao, Xiangdong Qin, Shuangli Du, Xuefei Bai, Jiahao Lyu, Yiguang Liu

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

[3037] arXiv:2401.07756 [pdf, other]

Title: Joint Probability Selection and Power Allocation for Federated Learning

Ouiame Marnissi, Hajar EL Hammouti, El Houcine Bergou

Subjects: Machine Learning (cs.LG)

[3038] arXiv:2401.07760 [pdf, other]

Title: On the importance of Data Scale in Pretraining Arabic Language Models

Abbas Ghaddar, Philippe Langlais, Mehdi Rezagholizadeh, Boxing Chen

Subjects: Computation and Language (cs.CL)

[3039] arXiv:2401.07761 [pdf, other]

Title: Stable Matchings in Practice: A Constraint Programming Approach

Zhaohong Sun, Naoyuki Yamada, Yoshihiro Takenami, Daisuke Moriwaki, Makoto Yokoo

Subjects: Computer Science and Game Theory (cs.GT)

[3040] arXiv:2401.07762 [pdf, other]

Title: Auto-Regressive Model with Exogenous Input--ARX--based traffic-flow prediction

Jun Ying, Xin Dong, Bowei Li, Zihan Tian

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[3041] arXiv:2401.07764 [pdf, html, other]

Title: When Large Language Model Agents Meet 6G Networks: Perception, Grounding, and Alignment

Minrui Xu, Dusit Niyato, Jiawen Kang, Zehui Xiong, Shiwen Mao, Zhu Han, Dong In Kim, Khaled B. Letaief

Subjects: Artificial Intelligence (cs.AI); Networking and Internet Architecture (cs.NI)

[3042] arXiv:2401.07768 [pdf, html, other]

Title: On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases

Momonari Kudo, Kazuhiro Yokoyama

Comments: 25 pages, Comments are welcome!

Journal-ref: Mathematical Foundations for Post-Quantum Cryptography (T. Takagi et al. eds), Mathematics for Industry, Springer, 2024

Subjects: Symbolic Computation (cs.SC); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)

[3043] arXiv:2401.07769 [pdf, html, other]

Title: Deep Evolutional Instant Interest Network for CTR Prediction in Trigger-Induced Recommendation

Zhibo Xiao, Luwei Yang, Tao Zhang, Wen Jiang, Wei Ning, Yujiu Yang

Comments: 7 pages, 6 figures, accepted by the 17th ACM International Conference on Web Search and Data Mining(WSDM'2024)

Subjects: Information Retrieval (cs.IR); Machine Learning (cs.LG)

[3044] arXiv:2401.07770 [pdf, other]

Title: Seeing the Unseen: Visual Common Sense for Semantic Placement

Ram Ramrakhya, Aniruddha Kembhavi, Dhruv Batra, Zsolt Kira, Kuo-Hao Zeng, Luca Weihs

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

[3045] arXiv:2401.07777 [pdf, other]

Title: Quantum Transfer Learning for Acceptability Judgements

Giuseppe Buonaiuto, Raffaele Guarasci, Aniello Minutolo, Giuseppe De Pietro, Massimo Esposito

Subjects: Computation and Language (cs.CL); Computational Physics (physics.comp-ph); Quantum Physics (quant-ph)

[3046] arXiv:2401.07780 [pdf, other]

Title: Learning Soft Constrained MPC Value Functions: Efficient MPC Design and Implementation providing Stability and Safety Guarantees

Nicolas Chatzikiriakos, Kim P. Wabersich, Felix Berkel, Patricia Pauli, Andrea Iannelli

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

[3047] arXiv:2401.07781 [pdf, other]

Title: Towards A Better Metric for Text-to-Video Generation

Jay Zhangjie Wu, Guian Fang, Haoning Wu, Xintao Wang, Yixiao Ge, Xiaodong Cun, David Junhao Zhang, Jia-Wei Liu, Yuchao Gu, Rui Zhao, Weisi Lin, Wynne Hsu, Ying Shan, Mike Zheng Shou

Comments: Project page: this https URL

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

[3048] arXiv:2401.07783 [pdf, other]

Title: Cybersecurity and Embodiment Integrity for Modern Robots: A Conceptual Framework

Alberto Giaretta, Amy Loutfi

Comments: 8 pages, 1 figure, 3 tables

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

[3049] arXiv:2401.07784 [pdf, other]

Title: Certifiable Mutual Localization and Trajectory Planning for Bearing-Based Robot Swarm

Yingjian Wang, Xiangyong Wen, Fei Gao

Subjects: Robotics (cs.RO)

[3050] arXiv:2401.07787 [pdf, other]

Title: Improving OCR Quality in 19th Century Historical Documents Using a Combined Machine Learning Based Approach

David Fleischhacker, Wolfgang Goederle, Roman Kern

Comments: 29 pages, 23 figures, 7 tables

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