Causal Graph Dynamics and Kan Extensions
이 논문은 범주론의 칸 확장을 활용하여 국소적, 동기적, 결정론적인 특성을 가진 인과 그래프 역학이 글로벌 변환의 범주에 속함을 증명하고, 이를 통해 단조 인과 그래프 역학의 보편성을 규명합니다.
💻 Category
cs
6056 편의 논문
Using weakest application conditions to rank graph transformations for graph repair
이 논문은 그래프 제약 조건에서 유도된 '손상 지표' 및 '수리 지표' 적용 조건을 활용하여 그래프 변환 단계 전후의 제약 위반 수 변화를 정량화함으로써, 그래프 수리를 위한 변환 규칙을 잠재적 효과에 따라 순위 매기는 알고리즘을 제안하고 그 유효성과 확장성을 입증합니다.
Möbius-Transformed Trapezoidal Rule
이 논문은 가중 소보레프 공간에 정의된 함수에 대해 최적의 수렴 속도를 보장하는 모비우스 변환 사다리꼴 법칙을 제안하고, 이를 주기적 소보레프 공간으로의 변환을 통해 함수 근사, 무작위 알고리즘, 다변수 적분 등으로 확장하는 방법을 제시합니다.
Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros
이 논문은 최대 차수가 인 그래프의 색칠 수를 결정론적으로 근사 계산하는 알고리즘을 제시하여, 기존 의 한계를 깨고 조건에서 Potts 모델의 분할 함수가 0 이 아님을 증명함으로써 Barvinok 의 보간법을 활용한 다항 시간 근사 계산이 가능함을 보여줍니다.
Optimizing QoS in HD Map Updates: Cross-Layer Multi-Agent with Hierarchical and Independent Learning
이 논문은 자율주행차의 HD 맵 업데이트 지연을 줄이기 위해 IEEE 802.11 의 CWmax 및 IFSn 파라미터를 포함한 교차계층 최적화와 계층적 독립 학습 기반의 다중 에이전트 방식을 제안하며, 이를 통해 기존 EDCA 대비 다양한 서비스에서 최대 87.3% 의 지연 시간 개선을 달성했음을 보여줍니다.
TIMotion: Temporal and Interactive Framework for Efficient Human-Human Motion Generation
이 논문은 단일 인체 기반 또는 분리 모델링 방식의 한계를 극복하기 위해 인과적 상호작용 주입, 역할 진화 스캐닝, 지역적 패턴 증폭 기법을 도입한 효율적이고 효과적인 인간 - 인간 모션 생성 프레임워크인 TIMotion 을 제안하고 InterHuman 및 InterX 데이터셋에서 우수한 성능을 입증합니다.
VisPoison: An Effective Backdoor Attack Framework for Tabular Data Visualization Models
이 논문은 표본 데이터 시각화 모델의 보안 취약점을 드러내기 위해 희귀 단어 패턴이나 첫 번째 단어 프롬프트와 같은 은밀한 트리거를 활용하여 민감 정보 유출, 오도성 시각화, 서비스 거부 공격을 수행하는 백도어 공격 프레임워크 'VisPoison'을 제안하고, 기존 방어 기법의 한계를 지적하며 보다 견고한 시스템의 필요성을 강조합니다.
Open-World Task and Motion Planning via Vision-Language Model Genereated Constraints
이 논문은 비전 - 언어 모델이 생성한 이산적 및 연속적 제약 조건을 작업 및 운동 계획 (TAMP) 시스템에 통합하여 자연어 기반의 복잡한 장기 로봇 조작 과제를 해결하는 'OWL-TAMP'라는 새로운 접근법을 제안하고 그 유효성을 실험을 통해 입증합니다.
"Should I Give Up Now?" Investigating LLM Pitfalls in Software Engineering
이 논문은 26 명의 소프트웨어 엔지니어를 대상으로 한 연구를 통해 LLM 의 부정확한 응답이 작업 포기 확률을 11 배 증가시키는 등 주요 실패 요인을 규명하고, 이를 극복하기 위한 프롬프트 정교화 등의 완화 전략과 향후 도구의 방향성을 제시합니다.
Active Prompt Learning with Vision-Language Model Priors
이 논문은 사전 훈련된 비전 - 언어 모델의 특성을 활용한 클래스 기반 클러스터링과 적응형 임계값 기반의 선택적 질의 전략을 통해, 적은 레이블 데이터로도 높은 정확도를 달성하는 예산 효율적 액티브 프롬프트 학습 프레임워크를 제안합니다.
Towards a Taxonomy of Software Log Smells
이 논문은 51 편의 문헌을 분석하여 로그 냄새 (log smells) 에 대한 9 가지 분류 체계를 제시하고, 이를 해결하는 기존 도구들의 현황과 연구 과제를 규명하여 개발자의 로그 코드 품질 향상을 돕습니다.
Collaborative Problem Solving in Mixed Reality: A Study on Visual Graph Analysis
이 논문은 72 명의 참가자를 대상으로 한 실험을 통해 혼합 현실 환경에서 시각적 그래프 분석을 위한 3D 표현이 기준이 되는 명목상 그룹 (nominal groups) 보다 협업 문제 해결에 더 나은 결과를 유도하지 못함을 보여주었습니다.
Runs in Paperfolding Sequences
이 논문은 종이 접기 수열의 실행 길이와 그 시작 및 종료 위치가 2-동기화되어 유한 오토마톤으로 계산 가능함을 보임으로써 기존 연구 결과를 일반화하고, 해당 실행 길이 수열의 임계 지수와 부분어 복잡성에 대한 새로운 결과를 증명합니다.
ARSGaussian: 3D Gaussian Splatting with LiDAR for Aerial Remote Sensing Novel View Synthesis
본 논문은 LiDAR 점구름을 제약 조건으로 활용하고 왜곡 보정 및 정규화 손실 함수를 도입하여 지상 원거리 촬영 환경에서 발생하는 기하학적 오류와 화질 저하 문제를 해결하고, AIR-LONGYAN 데이터셋을 공개하는 항공 원격 감지를 위한 정밀한 3D 가우스 스플래팅 기법인 ARSGaussian 을 제안합니다.
Generative AI and LLMs in Industry: A text-mining Analysis and Critical Evaluation of Guidelines and Policy Statements Across Fourteen Industrial Sectors
이 논문은 14 개 산업 분야의 160 개 가이드라인과 정책 성명서를 텍스트 마이닝 기법으로 분석하여 생성형 AI 와 대규모 언어 모델의 혁신과 윤리적 책임, 규제 간의 균형을 모색하고 산업 전반에 대한 책임 있는 통합을 위한 실질적인 통찰과 제언을 제시합니다.
Integrating Language-Image Prior into EEG Decoding for Cross-Task Zero-Calibration RSVP-BCI
이 논문은 다양한 RSVP 작업 간 교차 작업 제로 보정 성능을 향상시키기 위해 언어 - 이미지 사전 지식을 EEG 디코딩에 통합한 ELIPformer 모델을 제안하고, 이를 통해 RSVP-BCI 시스템의 실용적 배포를 가능하게 함을 보여줍니다.
Exploring EEG and Eye Movement Fusion for Multi-Class Target RSVP-BCI
이 논문은 다중 클래스 RSVP-BCI 시스템의 성능을 향상시키기 위해 EEG 와 안구 운동 (EM) 신호를 융합한 'MTREE-Net'을 제안하고, 이를 검증하기 위해 43 명의 참가자로부터 수집된 EEG 와 EM 데이터를 포함한 공개 데이터셋을 구축했습니다.
Kite: How to Delegate Voting Power Privately
이 논문은 DAO 거버넌스에서 투표권 위임의 기밀성을 보장하기 위해 제로지식 증명을 활용하여 위임자, 위임받는자, 위임 사실 자체의 연결성을 숨기는 새로운 프로토콜 'Kite'를 제안하고, 이를 이더리움 Governor Bravo 스마트 컨트랙트에 구현하여 실용성을 입증했습니다.
Unveiling the Potential of iMarkers: Invisible Fiducial Markers for Advanced Robotics
이 논문은 로봇과 증강현실 장치에만 감지되어 인간의 시야를 방해하지 않는 새로운 형태의 비가시성 표지자 'iMarkers'를 제안하고, 그 하드웨어 설계와 오픈소스 소프트웨어 알고리즘을 통해 다양한 로봇 시나리오에서의 효과성과 적응성을 입증합니다.
Analysis of a finite element method for the Stokes--Poisson--Boltzmann equations
이 논문은 전기 포텐셜과 항력 간의 결합을 가중된 대류 항으로 재구성한 새로운 유한 요소법을 제안하고, 이를 통해 스토크스-푸아송-볼츠만 연립방정식의 해 존재성과 유일성을 증명하며 수치 실험을 통해 전기삼투 흐름에 대한 수렴성과 적용 가능성을 입증합니다.