Skip to main content
This website is in trial operation, support us!
We gratefully acknowledge support from all contributors.
Contribute Donate

Computer Science

Authors and titles for January 2025

Total of 9601 entries : 1-50 51-100 101-150 151-200 201-250 251-300 301-350 351-400 ... 9601-9601
Showing up to 50 entries per page: fewer | more | all
[201] arXiv:2501.00473 [cn-pdf, pdf, html, other]
Title: Quantifying the Dynamics of Harm Caused by Retracted Research
Yunyou Huang, Jiahui Zhao, Dandan Cui, Zhengxin Yang, Bingjie Xia, Qi Liang, Wenjing Liu, Li Ma, Suqin Tang, Tianyong Hao, Zhifei Zhang, Wanling Gao, Jianfeng Zhan
Subjects: Digital Libraries (cs.DL)
[202] arXiv:2501.00476 [cn-pdf, pdf, other]
Title: Design To Convert a Wired PLC into Wireless PLC
Sushil Ghildiyal, Kishankumar Bhimani, Manimozhi M
Comments: 9 pages, 11 figures
Journal-ref: International Journal for Research in Applied Science and Engineering Technology (IJRASET), Volume 6, Issue I, Page No: 1591-1597, 2018
Subjects: Human-Computer Interaction (cs.HC) ; Systems and Control (eess.SY) ; Instrumentation and Detectors (physics.ins-det)
[203] arXiv:2501.00480 (cross-list from eess.SY) [cn-pdf, pdf, html, other]
Title: Lyapunov-based Resilient Secondary Synchronization Strategy of AC Microgrids Under Exponentially Energy-Unbounded FDI Attacks
Mohamadamin Rajabinezhad, Nesa Shams, Asad Ali Khan, Omar A. Beg, Shan Zuo
Comments: arXiv admin note: substantial text overlap with arXiv:2309.17253
Subjects: Systems and Control (eess.SY)
[204] arXiv:2501.00481 [cn-pdf, pdf, other]
Title: A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic
Yaroslav Petrukhin (University of Lodz)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 5-15
Subjects: Logic in Computer Science (cs.LO)
[205] arXiv:2501.00483 [cn-pdf, pdf, other]
Title: Twist Sequent Calculi for S4 and its Neighbors
Norihiro Kamide (Nagoya City University, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 16-32
Subjects: Logic in Computer Science (cs.LO)
[206] arXiv:2501.00484 [cn-pdf, pdf, other]
Title: Nested-sequent Calculus for Modal Logic MB
Tomoaki Kawano (Kanagawa University)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 33-47
Subjects: Logic in Computer Science (cs.LO)
[207] arXiv:2501.00485 [cn-pdf, pdf, other]
Title: Two Cases of Deduction with Non-referring Descriptions
Jiří Raclavský (Masaryk University, Brno, Czech Republic)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 48-65
Subjects: Logic in Computer Science (cs.LO) ; Computation and Language (cs.CL)
[208] arXiv:2501.00486 [cn-pdf, pdf, other]
Title: Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
Takahiro Sawasaki (Institute of Liberal Arts and Science, Kanazawa University, Kanazawa, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 66-76
Subjects: Logic in Computer Science (cs.LO)
[209] arXiv:2501.00487 [cn-pdf, pdf, other]
Title: Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
Akinori Maniwa (Tokyo Institute of Technology, Tokyo, Japan), Ryo Kashima (Tokyo Institute of Technology, Tokyo, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 93-108
Subjects: Logic in Computer Science (cs.LO)
[210] arXiv:2501.00488 [cn-pdf, pdf, other]
Title: Incomplete Descriptions and Qualified Definiteness
Bartosz Więckowski (Goethe University, Frankfurt am Main, Germany)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 109-120
Subjects: Logic in Computer Science (cs.LO)
[211] arXiv:2501.00489 [cn-pdf, pdf, other]
Title: Many-Valued Modal Logic
Amir Karniel (Department of Mathematics, Technion - Israel Institute of Technology), Michael Kaminski (Department of Computer Science, Technion - Israel Institute of Technology)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 121-137
Subjects: Logic in Computer Science (cs.LO)
[212] arXiv:2501.00492 [cn-pdf, pdf, other]
Title: Modal Logics -- RNmatrices vs. Nmatrices
Marcelo E. Coniglio (University of Campinas, Campinas, Brazil), Paweł Pawłowski (Ghent University, Ghent, Belgium), Daniel Skurt (Ruhr University Bochum, Bochum, Germany)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 138-149
Subjects: Logic in Computer Science (cs.LO)
[213] arXiv:2501.00493 [cn-pdf, pdf, other]
Title: Complexity of Nonassociative Lambek Calculus with classical logic
Paweł Płaczek (WSB Merito University in Poznan, Poland)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 150-164
Subjects: Logic in Computer Science (cs.LO) ; Computational Complexity (cs.CC)
[214] arXiv:2501.00494 [cn-pdf, pdf, other]
Title: A Unified Gentzen-style Framework for Until-free LTL
Norihiro Kamide (Nagoya City University, Japan), Sara Negri (University of Genoa, Italy)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 165-179
Subjects: Logic in Computer Science (cs.LO)
[215] arXiv:2501.00495 [cn-pdf, pdf, other]
Title: Kamide is in America, Moisil and Leitgeb are in Australia
Satoru Niki (Department of Philosophy I, Ruhr University Bochum, Bochum, Germany), Hitoshi Omori (Graduate School of Information Sciences, Tohoku University, Sendai, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 180-194
Subjects: Logic in Computer Science (cs.LO)
[216] arXiv:2501.00498 [cn-pdf, pdf, other]
Title: Unified Gentzen Approach to Connexive Logics over Wansing's C
Norihiro Kamide (Nagoya City University, Aichi, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 214-228
Subjects: Logic in Computer Science (cs.LO)
[217] arXiv:2501.00499 [cn-pdf, pdf, other]
Title: The Power of Generalized Clemens Semantics
Hitoshi Omori (Graduate School of Information Sciences, Tohoku University, Sendai, Japan), Jonas R. B. Arenhart (Department of Philosophy, Federal University of Santa Catarina, Florianópolis, Brazil)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 244-256
Subjects: Logic in Computer Science (cs.LO)
[218] arXiv:2501.00500 [cn-pdf, pdf, other]
Title: A note on Grigoriev and Zaitsev's system CNL$^2_4$
Hitoshi Omori (Graduate School of Information Sciences, Tohoku University, Sendai, Japan), Jonas R. B. Arenhart (Department of Philosophy, Federal University of Santa Catarina, Florianópolis, Brazil)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 229-243
Subjects: Logic in Computer Science (cs.LO)
[219] arXiv:2501.00501 [cn-pdf, pdf, other]
Title: The Disjunction-Free Fragment of D2 is Three-Valued
Hitoshi Omori (Graduate School of Information Sciences, Tohoku University, Sendai, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 257-270
Subjects: Logic in Computer Science (cs.LO)
[220] arXiv:2501.00502 [cn-pdf, pdf, html, other]
Title: Exploring Physics-Informed Neural Networks for Crop Yield Loss Forecasting
Miro Miranda, Marcela Charfuelan, Andreas Dengel
Comments: 6 pages, 2 figures, NeurIPS 2024 Workshop on Tackling Climate Change with Machine Learning
Journal-ref: https://www.climatechange.ai/papers/neurips2024/45
Subjects: Machine Learning (cs.LG) ; Artificial Intelligence (cs.AI)
[221] arXiv:2501.00507 [cn-pdf, pdf, html, other]
Title: Real-Time Sampling-Based Safe Motion Planning for Robotic Manipulators in Dynamic Environments
Nermin Covic, Bakir Lacevic, Dinko Osmankovic, Tarik Uzunovic
Journal-ref: The IEEE Transactions on Robotics, 2025
Subjects: Robotics (cs.RO)
[222] arXiv:2501.00508 [cn-pdf, pdf, html, other]
Title: Active Learning of General Halfspaces: Label Queries vs Membership Queries
Ilias Diakonikolas, Daniel M. Kane, Mingchen Ma
Comments: Accepted by NeurIPS 2024
Subjects: Machine Learning (cs.LG)
[223] arXiv:2501.00509 [cn-pdf, pdf, html, other]
Title: Fotheidil: an Automatic Transcription System for the Irish Language
Liam Lonergan, Ibon Saratxaga, John Sloan, Oscar Maharog, Mengjie Qian, Neasa Ní Chiaráin, Christer Gobl, Ailbhe Ní Chasaide
Comments: Accepted to the 5th Celtic Language Technology Workshop within COLING 2025
Subjects: Computation and Language (cs.CL) ; Sound (cs.SD) ; Audio and Speech Processing (eess.AS)
[224] arXiv:2501.00510 [cn-pdf, pdf, html, other]
Title: VinT-6D: A Large-Scale Object-in-hand Dataset from Vision, Touch and Proprioception
Zhaoliang Wan, Yonggen Ling, Senlin Yi, Lu Qi, Wangwei Lee, Minglei Lu, Sicheng Yang, Xiao Teng, Peng Lu, Xu Yang, Ming-Hsuan Yang, Hui Cheng
Subjects: Robotics (cs.RO)
[225] arXiv:2501.00511 [cn-pdf, pdf, other]
Title: Stochastic Extragradient with Flip-Flop Shuffling & Anchoring: Provable Improvements
Jiseok Chae, Chulhee Yun, Donghwan Kim
Comments: 73+7 pages, 4 figures. Published in NeurIPS 2024
Subjects: Machine Learning (cs.LG) ; Optimization and Control (math.OC)
[226] arXiv:2501.00513 [cn-pdf, pdf, other]
Title: CaReBench: A Fine-Grained Benchmark for Video Captioning and Retrieval
Yifan Xu, Xinhao Li, Yichun Yang, Desen Meng, Rui Huang, Limin Wang
Subjects: Computer Vision and Pattern Recognition (cs.CV) ; Information Retrieval (cs.IR) ; Machine Learning (cs.LG)
[227] arXiv:2501.00517 [cn-pdf, pdf, other]
Title: A Method for Enhancing the Safety of Large Model Generation Based on Multi-dimensional Attack and Defense
Keke Zhai
Subjects: Cryptography and Security (cs.CR) ; Artificial Intelligence (cs.AI)
[228] arXiv:2501.00520 [cn-pdf, pdf, html, other]
Title: Innovative Silicosis and Pneumonia Classification: Leveraging Graph Transformer Post-hoc Modeling and Ensemble Techniques
Bao Q. Bui, Tien T.T. Nguyen, Duy M. Le, Cong Tran, Cuong Pham
Subjects: Computer Vision and Pattern Recognition (cs.CV) ; Machine Learning (cs.LG)
[229] arXiv:2501.00522 [cn-pdf, pdf, html, other]
Title: TinyHelen's First Curriculum: Training and Evaluating Tiny Language Models in a Simpler Language Environment
Ke Yang, Volodymyr Kindratenko, ChengXiang Zhai
Subjects: Computation and Language (cs.CL) ; Artificial Intelligence (cs.AI)
[230] arXiv:2501.00523 (cross-list from eess.SY) [cn-pdf, pdf, html, other]
Title: Event-Triggered Observer-Based Fixed-Time Consensus Control for Uncertain Nonlinear Multiagent Systems with Unknown States
Kewei Zhou, Ziming Wang, Zhihao Chen, Xin Wang
Subjects: Systems and Control (eess.SY)
[231] arXiv:2501.00525 [cn-pdf, pdf, html, other]
Title: Is Segment Anything Model 2 All You Need for Surgery Video Segmentation? A Systematic Evaluation
Cheng Yuan, Jian Jiang, Kunyi Yang, Lv Wu, Rui Wang, Zi Meng, Haonan Ping, Ziyu Xu, Yifan Zhou, Wanli Song, Hesheng Wang, Qi Dou, Yutong Ban
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[232] arXiv:2501.00527 [cn-pdf, pdf, html, other]
Title: Exploiting Boundary Loss for the Hierarchical Panoptic Segmentation of Plants and Leaves
Madeleine Darbyshire, Elizabeth Sklar, Simon Parsons
Comments: Presented at the 9th Workshop for Computer Vision in Plant Phenotyping and Agriculture (CVPPA) 2024 at the European Conference of Computer Vision (ECCV) 2024. arXiv admin note: text overlap with arXiv:2310.06582
Subjects: Computer Vision and Pattern Recognition (cs.CV) ; Machine Learning (cs.LG)
[233] arXiv:2501.00528 [cn-pdf, pdf, html, other]
Title: PyMilo: A Python Library for ML I/O
AmirHosein Rostami, Sepand Haghighi, Sadra Sabouri, Alireza Zolanvari
Comments: 7 pages, 5 figures, 2 tables, 3 code blocks
Subjects: Machine Learning (cs.LG) ; Artificial Intelligence (cs.AI)
[234] arXiv:2501.00529 [cn-pdf, pdf, html, other]
Title: Sinhala Transliteration: A Comparative Analysis Between Rule-based and Seq2Seq Approaches
Yomal De Mel, Kasun Wickramasinghe, Nisansa de Silva, Surangika Ranathunga
Comments: 8 pages, 7 tables
Journal-ref: https://aclanthology.org/2025.indonlp-1.19/
Subjects: Computation and Language (cs.CL)
[235] arXiv:2501.00530 [cn-pdf, pdf, html, other]
Title: Superposition in Transformers: A Novel Way of Building Mixture of Experts
Ayoub Ben Chaliah, Hela Dellagi
Subjects: Computation and Language (cs.CL) ; Artificial Intelligence (cs.AI)
[236] arXiv:2501.00532 [cn-pdf, pdf, html, other]
Title: Variability-Aware Machine Learning Model Selection: Feature Modeling, Instantiation, and Experimental Case Study
Cristina Tavares, Nathalia Nascimento, Paulo Alencar, Donald Cowan
Comments: arXiv admin note: text overlap with arXiv:2311.14214
Subjects: Software Engineering (cs.SE)
[237] arXiv:2501.00533 [cn-pdf, pdf, html, other]
Title: Rapid Learning in Constrained Minimax Games with Negative Momentum
Zijian Fang, Zongkai Liu, Chao Yu, Chaohao Hu
Subjects: Machine Learning (cs.LG)
[238] arXiv:2501.00537 [cn-pdf, pdf, html, other]
Title: Extending XReason: Formal Explanations for Adversarial Detection
Amira Jemaa, Adnan Rashid, Sofiene Tahar
Comments: International Congress on Information and Communication Technology (ICICT), Lecture Notes in Networks and Systems (LNNS), Springer, 2025
Subjects: Artificial Intelligence (cs.AI) ; Cryptography and Security (cs.CR) ; Machine Learning (cs.LG)
[239] arXiv:2501.00538 [cn-pdf, pdf, html, other]
Title: Adaptive Tabu Dropout for Regularization of Deep Neural Network
Md. Tarek Hasan, Arifa Akter, Mohammad Nazmush Shamael, Md Al Emran Hossain, H. M. Mutasim Billah, Sumayra Islam, Swakkhar Shatabda
Journal-ref: Neural Information Processing, ICONIP 2022, Lecture Notes in Computer Science 13623, Springer Cham, 2023, 334-345
Subjects: Machine Learning (cs.LG)
[240] arXiv:2501.00539 [cn-pdf, pdf, html, other]
Title: MCP-Solver: Integrating Language Models with Constraint Programming Systems
Stefan Szeider
Subjects: Artificial Intelligence (cs.AI) ; Computation and Language (cs.CL) ; Machine Learning (cs.LG) ; Software Engineering (cs.SE)
[241] arXiv:2501.00541 [cn-pdf, pdf, html, other]
Title: Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
Adnan Rashid, Sa'ed Abed, Osman Hasan
Comments: 11th International Conference on Mechatronics and Robotics Engineering (ICMRE), Lille, France, 2025
Subjects: Logic in Computer Science (cs.LO)
[242] arXiv:2501.00546 [cn-pdf, pdf, html, other]
Title: Performance Analysis and Optimization of STAR-RIS-Aided Cell-Free Massive MIMO Systems Relying on Imperfect Hardware
Zeping Sui, Hien Quoc Ngo, Michail Matthaiou, Lajos Hanzo
Comments: This paper has been accepted by IEEE TWC
Subjects: Information Theory (cs.IT) ; Signal Processing (eess.SP)
[243] arXiv:2501.00549 [cn-pdf, pdf, html, other]
Title: So Timely, Yet So Stale: The Impact of Clock Drift in Real-Time Systems
Mehrdad Salimnejad, Nikolaos Pappas, Marios Kountouris
Subjects: Information Theory (cs.IT) ; Networking and Internet Architecture (cs.NI) ; Systems and Control (eess.SY)
[244] arXiv:2501.00555 [cn-pdf, pdf, other]
Title: Prune 'n Predict: Optimizing LLM Decision-making with Conformal Prediction
Harit Vishwakarma, Alan Mishler, Thomas Cook, Niccolò Dalmasso, Natraj Raman, Sumitra Ganesh
Journal-ref: 42nd International Conference on Machine Learning (ICML 2025)
Subjects: Machine Learning (cs.LG) ; Artificial Intelligence (cs.AI) ; Applications (stat.AP) ; Machine Learning (stat.ML)
[245] arXiv:2501.00559 [cn-pdf, pdf, html, other]
Title: AraSTEM: A Native Arabic Multiple Choice Question Benchmark for Evaluating LLMs Knowledge In STEM Subjects
Ahmad Mustapha, Hadi Al-Khansa, Hadi Al-Mubasher, Aya Mourad, Ranam Hamoud, Hasan El-Husseini, Marwah Al-Sakkaf, Mariette Awad
Subjects: Computation and Language (cs.CL) ; Artificial Intelligence (cs.AI)
[246] arXiv:2501.00560 [cn-pdf, pdf, html, other]
Title: Re-evaluating Automatic LLM System Ranking for Alignment with Human Preference
Mingqi Gao, Yixin Liu, Xinyu Hu, Xiaojun Wan, Jonathan Bragg, Arman Cohan
Comments: Findings of NAACL 2025
Subjects: Computation and Language (cs.CL) ; Artificial Intelligence (cs.AI) ; Machine Learning (cs.LG)
[247] arXiv:2501.00562 [cn-pdf, pdf, html, other]
Title: An Overview and Discussion on Using Large Language Models for Implementation Generation of Solutions to Open-Ended Problems
Hashmath Shaik, Alex Doboli
Subjects: Computation and Language (cs.CL) ; Artificial Intelligence (cs.AI)
[248] arXiv:2501.00569 [cn-pdf, pdf, html, other]
Title: Probing Visual Language Priors in VLMs
Tiange Luo, Ang Cao, Gunhee Lee, Justin Johnson, Honglak Lee
Comments: Project Page: https://vilp-team.github.io/
Subjects: Computer Vision and Pattern Recognition (cs.CV) ; Machine Learning (cs.LG)
[249] arXiv:2501.00571 [cn-pdf, pdf, html, other]
Title: KnowRA: Knowledge Retrieval Augmented Method for Document-level Relation Extraction with Comprehensive Reasoning Abilities
Chengcheng Mai, Yuxiang Wang, Ziyu Gong, Hanxiang Wang, Yihua Huang
Comments: This work has been accepted by IJCAI 2025 (CCF A)
Subjects: Computation and Language (cs.CL)
[250] arXiv:2501.00574 [cn-pdf, pdf, html, other]
Title: VideoChat-Flash: Hierarchical Compression for Long-Context Video Modeling
Xinhao Li, Yi Wang, Jiashuo Yu, Xiangyu Zeng, Yuhan Zhu, Haian Huang, Jianfei Gao, Kunchang Li, Yinan He, Chenting Wang, Yu Qiao, Yali Wang, Limin Wang
Subjects: Computer Vision and Pattern Recognition (cs.CV) ; Machine Learning (cs.LG)
Total of 9601 entries : 1-50 51-100 101-150 151-200 201-250 251-300 301-350 351-400 ... 9601-9601
Showing up to 50 entries per page: fewer | more | all