Chasing RATs: Tracing Reading for and as Creative Activity
이 논문은 알고리즘과 AI 요약이 인간적 해석을 자동화하며 사라지게 하는 창의적 독서 과정을 '독서 활동 흔적 (RATs)'이라는 개념으로 재정의하고, 이를 가시화하여 인간 해석의 가치를 보존하는 새로운 도구 설계를 제안합니다.
💻 Category
cs
4478 편의 논문
DynVLA: Learning World Dynamics for Action Reasoning in Autonomous Driving
이 논문은 자율주행 의사결정의 정확성과 물리적 근거를 강화하기 위해 미래 세계의 역학을 압축된 토큰으로 예측하는 '동역학 CoT' 방식을 도입한 새로운 주행 VLA 모델인 DynVLA 를 제안하고, 이를 통해 기존 텍스트 및 시각 CoT 방법보다 우수한 성능을 입증합니다.
Agentar-Fin-OCR
이 논문은 복잡한 레이아웃과 페이지 간 단절 문제를 해결하기 위해 크로스페이지 콘텐츠 통합 알고리즘과Difficulty-adaptive 커리큘럼 학습 등을 도입한 금융 도메인 특화 문서 파싱 시스템 'Agentar-Fin-OCR'과 이를 평가하기 위한 벤치마크 'FinDocBench'를 제안합니다.
Network Slicing in 5G Mobile Communication Architecture, Profit Modeling, and Challenges
이 논문은 5G 및 그 이상의 통신 시스템에서 핵심 기술로 부상한 네트워크 슬라이싱의 개념과 시스템 아키텍처를 설명하고, 자체 슬라이스 구현과 외부 슬라이스 자원 임대라는 두 가지 차원의 수익 모델링을 심층 분석하며, 해당 기술의 현실적 해결 방안과 향후 연구 방향을 제시합니다.
Pwned: How Often Are Americans' Online Accounts Breached?
이 논문은 'Have I Been Pwned' 데이터와 미국 성인 5,000 명 표본을 결합한 분석을 통해 미국인의 약 82.84% 가 적어도 한 번 계정 유출을 경험했으며, 평균적으로 3 회 이상 유출된 것으로 추정된다고 밝히고 있습니다.
Online Monitoring of Metric Temporal Logic using Sequential Networks
이 논문은 사이버 - 물리 시스템의 메트릭 시계 논리 (MTL) 명세로부터 이산 및 밀집 시간 행동을 위한 순차적 네트워크를 구축하는 통합 기법을 제안하여, 효율적이고 확장 가능한 온라인 모니터링 프레임워크를 제공하며 기존 접근법 대비 뛰어난 성능과 확장성을 입증합니다.
Module checking of pushdown multi-agent systems
이 논문은 푸시다운 다중 에이전트 시스템 (PMS) 의 모듈 체킹 문제를 연구하여 ATL 에 대해서는 2EXPTIME-완전임을, ATL* 에 대해서는 4EXPTIME-완전임을 증명함으로써 ATL* 의 경우 기존 모델 체킹보다 지수적으로 높은 복잡도를 가짐을 보여줍니다.
Probabilistic Counters for Privacy Preserving Data Aggregation
이 논문은 모리스 카운터와 맥스지오 카운터와 같은 확률적 카운터가 추가적인 무작위화 없이도 개인의 사생활을 보호하면서 집계 데이터를 제공하는 효과적인 메커니즘이 될 수 있음을 증명하고, 이를 분산 설문 조사에 적용하는 방법을 제시합니다.
Homomorphisms of (n,m)-graphs with respect to generalised switch
이 논문은 (n,m)-그래프에 대한 일반화된 스위치 연산을 제안하고 이를 통해 호모모피즘의 기본 성질을 규명하며, 2004 년과 2012 년에 제기된 열린 문제들을 해결하고 범주론적 곱과 색수 이론을 확장하는 포괄적인 연구 결과를 제시합니다.
Excess demand in public transportation systems: The case of Pittsburgh's Port Authority
이 논문은 버스가 만석으로 탑승하지 못한 승객에 대한 데이터 누락으로 인한 편향을 보정하기 위해 잠재적 초과 수요를 식별하고 필터링하는 프레임워크를 제안하며, 이를 피츠버그 포트 오토리티의 실제 데이터를 적용하여 1 년 간의 초과 수요를 추정했습니다.
Implicit Biases in Refereeing: Lessons from NBA Referees
이 논문은 NBA 심판 데이터를 분석하여 홈팀 편향 (특히 플레이오프에서 두드러짐) 과 특정 선수에 대한 유리한 편향은 존재하지만, 특정 선수나 팀에 대한 부정적 편향 및 인종적 편향은 발견되지 않았음을 보고하며 팬데믹 이후 홈팀 편향이 감소한 점도 지적합니다.
Towards Selecting the Informative Alternative Relational Query Plans for Database Education
이 논문은 데이터베이스 교육에서 학습자가 쿼리 옵티마이저의 의사결정을 이해하는 데 도움이 되도록, 다양한 대체 실행 계획 중 가장 유익한 k 개의 계획을 선택하는 'TIPS' 문제를 정의하고 효율적인 근사 알고리즘을 제안하여 실증적으로 그 효과를 입증했습니다.
An Elementary Proof of the FMP for Kleene Algebra
이 논문은 변환 오토마타를 활용한 새로운 대수적 기법을 제시하여 클리니 대수 (Kleene Algebra) 의 유한 모델 성질 (FMP) 에 대한 초등적 증명을 제시하고, 이를 통해 유한 관계 모델에 대한 완전성을 확립함으로써 기존 결과를 일반화합니다.
Dyck Words, Pattern Avoidance, and Automatic Sequences
이 논문은 이진 문자열에서 $7/3$-제곱 자유성이 괄호 중첩 깊이의 유계를 보장함을 보이고, 투에 - 모르스 (Thue-Morse) 단어의 디크 (Dyck) 인자에 대한 명시적 특징을 규명하며 그 개수에 대한 엄밀한 상한과 하한을 증명합니다.
Proving Properties of -Representations with the Walnut Theorem-Prover
이 논문은 Walnut 정리 증명기를 활용하여 Frougny 와 Sakarovitch 의 고전 정리를 새로운 계산적 방식으로 재증명하고, 이를 통해 -표현에 관한 기존 및 새로운 결과들을 통일적이고 자동화된 방식으로 유도함을 보여줍니다.
Universal quantification makes automatic structures hard to decide
이 논문은 자동 구조에서 단일 보편 양화사 (universal quantifier) 를 제거할 때 최소 NFA 의 크기가 이중 지수적으로 증가할 수 있으며, 해당 언어의 공집합성 판정이 EXPSPACE-완전임을 증명하여 보편 양화사 제거에 대한 더 효율적인 접근법의 존재 가능성을 부정합니다.
Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
이 논문은 이중 푸쉬아웃 (DPO) 그래프 변환 시스템의 종료성을 증명하기 위한 가중치 유형 그래프 기법을 정제하여, 그래프에 대한 접근법의 능력을 강화하고 다른 범주로 일반화하며 문헌에 등장하는 DPO 변형들을 허용하도록 개량합니다.
BOPIM: Bayesian Optimization for influence maximization on temporal networks
이 논문은 시간적 네트워크에서 영향력 극대화 문제를 해결하기 위해 커널 함수와 획득 함수를 개선한 베이지안 최적화 알고리즘인 BOPIM 을 제안하며, 기존 그리디 알고리즘과 유사한 성능을 유지하면서 최대 10 배 빠른 속도로 최적의 시드 노드 집합과 그 불확실성을 정량화할 수 있음을 입증합니다.
Robustness Over Time: Understanding Adversarial Examples' Effectiveness on Longitudinal Versions of Large Language Models
이 논문은 GPT, Llama, Qwen 등 주요 대규모 언어 모델 (LLM) 계열의 장기적 업데이트를 분석하여, 버전이 올라갈수록 항상 보안과 안전성이 향상되는 것은 아니며 오히려 특정 공격 유형에 대한 취약성이 심화되거나 모델 크기가 커져도 견고성이 균일하게 개선되지 않을 수 있음을 규명했습니다.
Cardinality and Representation of Stone Relation Algebras
이 논문은 가중치 그래프를 모델링하는 스톤 관계 대수에 카디널리티 공리를 일반화하여 관계 대수에 대한 더 간단한 공리 체계를 제시하고, 스톤 관계 대수의 표현 가능성 및 관계 대수화 조건을 연구합니다.