💻 computer science
A Two-Stage Optimization Algorithm for Booking Allocation in Short-Term Group Apartment Rentals: A Case Study
本文介绍了一种在低代码开源平台上实现的两阶段整数规划算法，该算法取代了特拉维夫一家短租运营商的手动流程，通过优化预订分配而非定价，实现了收入 3.5% 的增长和处理时间 90% 的缩减。
💻 Category
cs
2320 篇论文
💻 computer science
When Network Topology Supports Graph-Based Intrusion Detection: A Pre-Deployment Validity Framework
本文提出了一种部署前有效性框架，通过图结构可微性（Graph Structural Differentiability）和显著性隔离（Prominence Isolation）来评估网络拓扑，以确定结构信号是否足以进行有效的基于图的入侵检测，并揭示了高结构不平等性本身并不保证攻击选择性的性能，且在投入资源之前必须考虑时间敏感性。
💻 computer science
Beyond the Largest Gap: Multi-Boundary Ranked-List Truncation for Multi-Hop Retrieval
该论文提出了 GapR，一种快速且有效的多边界排序列表截断方法，它通过识别多个信息量丰富的得分边界而非仅仅依赖单一的最大间隙，从而在平衡证据覆盖范围与计算效率的同时，提升了多跳检索性能和下游回答质量。
💻 computer science
Why collective AI assurance cannot target agents or networks in isolation
本文通过析因实验证明，集体人工智能结果产生于结构性原因与行为性原因可分离且具有上下文依赖性的特定交互机制，从而证明有效的 AI 保障不能孤立地针对智能体或网络，而必须聚焦于其交互过程中的动态因果结构。
💻 computer science
Benchmarking Gradient Boosting and Explainable AI for Credit Default Prediction on Imbalanced Financial Data: A Leakage-Safe Multi-Seed Evaluation with SHAP and LIME
本文建立了一套严谨且防泄漏的信用违约预测基准测试协议，证明了梯度提升集成模型在不平衡金融数据上的表现显著优于逻辑回归和 TabNet，同时揭示了事后阈值调优使得合成重采样变得多余，并强调了在模型风险管理中验证 SHAP 与 LIME 之间解释差异的紧迫性。
💻 computer science
Beyond Prompt Injection: Trust-Boundary Security Assurance for LLM-Integrated and Agentic Applications
本文提出了一种方法论层面的信任边界安全保障框架，该框架通过对集成大语言模型（LLM）及智能体（Agentic）系统进行建模，将不断演进的语义威胁转化为可验证、可测试的安全控制措施及基于证据的报告。
💻 computer science
Automated Disease Prediction and Prescription System with Regional Kannada Synonym Integration
本文提出了一种自动化的疾病预测与处方系统，该系统利用 RNN-LSTM 模型将区域性的卡纳达语医学同义词准确地翻译成英语，从而在上下文识别方面超越了 Google Translate 和 Whisper 等现有工具，以协助医疗专业人员管理高患者量。
💻 computer science
Evidence Quality in Assurance-Oriented Benchmark Construction
本文通过分析一个包含40个案例的数据集，表征了面向保证导向基准构建的公共软件事件证据质量，揭示了在可重构性、配对性和来源溯源性方面的显著差距，并最终发布了AIRR-40注册表，以支持更严谨的任务相关基准测试。
💻 computer science
biotrace2csv: Data Extraction Tool for BioTrace+ PDF Data Reports
biotrace2csv 是一款免费、开源的命令行工具，它能将 BioTrace+ PDF 报告中的心率变异性和生理数据自动提取为 CSV 格式，在达到与人工提取 100% 准确率的同时，将处理时间缩短了约 50 倍。
💻 computer science
Finite Evidence, Infinite Horizons: The Artificial Age Score as a Case Study in Longitudinal AI Measurement
本文认为，有限的纵向人工智能评估记录（以人工时代评分 [AAS] 为例）在缺乏明确规定的延续模型的情况下，无法确定无限时界的系统属性或收敛性，这一点已通过反例和压力测试得到了证实，这些测试表明，仅凭有限的观测只能得出基于模型的条件性推论，而非确定性结论。