KOINEU

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities

이 논문은 프로그램의 자원 사용을 정형적으로 검증하려는 연구 흐름에 중요한 기여를 한다. 가장 눈에 띄는 점은 자원 경계를 추상 격자 (L, ⪯, ⊕, ⊔, ⊥) 로 일반화함으로써, 전통적인 시간 복잡도 분석을 넘어 메모리, 가스, 혹은 도메인‑특화 비용까지 하나의 형식 체계 안에서 다룰 수 있게 만든 것이다. 이러한 추상화는 기존의 비용 모델이 서로 독립적으로 설계되는 문제를 해결하고, 동일한 타입 시스템을 재사용해 다양한 비용을 동시에 추론할 수 있게 한다는 실용적 장점을 제공한다. 논문이 도입한 등급 가능성 모달리티 □ r 은

December 07, 2025

Analysis

3DID: Direct 3D Inverse Design for Aerodynamics with Physics-Aware Optimization

본 연구는 3차원 역설계 분야에서 가장 근본적인 병목 현상인 “설계 공간의 폭발적 증가” 문제를 근본적으로 해결하려는 시도로 평가할 수 있다. 전통적인 그리드 탐색이나 베이즈 최적화와 같은 전통적 방법은 차원 수가 늘어날수록 계산 복잡도가 지수적으로 증가해 실용적인 적용이 어려워진다. 최근 딥러닝 기반 접근법은 잠재 공간을 이용해 탐색 차원을 크게 축소했지만, 대부분 2D 투영을 사용하거나 기존 3D 모델을 미세 조정하는 방식에 머물러 실제 3D 형태의 자유로운 생성 능력을 제한한다. 이러한 한계는 특히 복합 물리 현상이 얽힌 설계

December 06, 2025

Protecting Bystander Privacy via Selective Hearing in Audio LLMs

본 논문은 오디오 기반 대형 언어 모델이 실제 서비스 환경에서 마주하게 되는 ‘부수 청취’ 문제를 정량화하고 해결책을 제시한다는 점에서 매우 시의적절하다. 기존 연구들은 주로 모델의 전반적인 음성 인식·이해 능력에 초점을 맞추었으며, 주변 사람들의 음성을 무심코 수집·처리하는 프라이버시 위험을 간과해 왔다. 이러한 공백을 메우기 위해 저자들은 두 가지 핵심 기여를 한다. 첫째, SH‑Bench라는 새로운 벤치마크를 구축했다. 이 벤치마크는 3,968개의 다중 화자 오디오 믹스를 포함하고, 실제 현장 녹음과 합성 데이터를 균형 있게

December 06, 2025

A fast algorithm for the Hecke representation of the braid group, and applications to the computation of the HOMFLY-PT polynomial and the search for interesting braids

이 논문은 현대 결절 이론과 계산 복잡도 이론을 연결하는 교량 역할을 한다. 핵심 아이디어는 Hecke 대수의 표현론적 구조가 브레이드 군의 원소를 행렬로 변환할 때 발생하는 연산적 강직성을 이용해, 기존 구현보다 훨씬 빠른 계산 루틴을 만든다는 점이다. 저자들은 먼저 브레이드 군 Bₙ의 생성자 σᵢ에 대해 Hecke 대수 Hₙ(q) 의 표준 표현을 명시하고, 이때 발생하는 교환 관계와 제곱 관계를 이용해 행렬 곱셈의 차원을 최소화한다. 특히, Garside 정규형을 활용해 브레이드 단어를 최소 길이의 정규 형태로 변환함으로써 중복

A Systematic Framework for Enterprise Knowledge Retrieval: Leveraging LLM-Generated Metadata to Enhance RAG Systems

본 논문은 기업용 지식 관리 시스템에서 흔히 겪는 “정보 검색 병목” 문제를 해결하기 위해 메타데이터를 자동으로 생성·활용하는 새로운 파이프라인을 제안한다. 먼저, 대형 언어 모델을 이용해 각 문서 조각에 대해 주제, 키워드, 요약, 관계 등 다차원 메타데이터를 추출한다. 이러한 메타데이터는 기존 텍스트 임베딩에 추가적인 시그널을 제공함으로써, 동일한 의미를 공유하는 문서 간의 거리 계산을 보다 정교하게 만든다. 청킹 전략은 세 가지로 구분된다. ① 의미 기반 청킹은 문맥적 유사성을 기준으로 문서를 동적으로 분할해 의미 단위가 보존

Framework Data System

A Unified Theory of Sparse Dictionary Learning in Mechanistic Interpretability: Piecewise Biconvexity and Spurious Minima

이 논문은 최근 인공지능 모델이 복잡한 개념을 어떻게 내부 표현에 담는지를 탐구하는 기계적 해석(mechanistic interpretability) 분야의 핵심 문제에 접근한다. 기존 연구들은 신경망이 의미 있는 개념을 고차원 표현 공간의 선형 방향으로 저장하고, 여러 개념이 동일한 뉴런 집합에 겹쳐서(superposition) 나타난다고 주장한다. 이러한 현상을 해소하기 위해 연구자들은 희소 사전학습(Sparse Dictionary Learning, SDL)이라는 방법론을 도입했으며, 여기에는 희소 자동인코더(sparse aut

China Regional 3km Downscaling Based on Residual Corrective Diffusion Model

본 연구는 수치예보 분야에서 고해상도 예보를 실시간으로 제공하기 위한 핵심 기술인 통계적 다운스케일링을 딥러닝 기반 확산 모델에 적용한 점에서 큰 의의를 가진다. 기존의 CorrDiff 프레임워크는 주로 표면 변수와 제한된 지역에 초점을 맞추었으나, 본 논문은 적용 영역을 약 40배 확대하여 중국 전역을 포괄하고, 6개의 기압 레벨에 해당하는 고층 변수까지 포함함으로써 모델의 일반화 능력을 크게 강화하였다. 이는 대기 현상이 수직적으로도 복잡하게 얽혀 있음을 고려한 설계로, 특히 강수·대류·제트 스트림 등 고층 동역학을 정확히 재현

On Dynamic Programming Theory for Leader-Follower Stochastic Games

본 연구는 기존의 리더‑팔로워 스토케스틱 게임 이론에 중요한 구조적 진전을 제공한다. 일반합 게임은 두 에이전트가 서로 다른 보상 함수를 갖는 상황을 의미하는데, 여기서 리더는 자신의 정책을 사전에 고정하고 팔로워는 그에 대한 최적 반응을 선택한다. 이러한 비대칭 약속 구조는 실세계의 보안 배치, 네트워크 방어, 자원 할당 등에서 흔히 나타난다. 기존 접근법은 주로 완전 정보 혹은 제한된 정책 공간을 가정하고, 팔로워의 반응을 근사하거나 제한된 형태의 균형만을 계산했다. 그러나 이러한 방법은 신뢰 가능한 집합(credible set

On Sparse Representations of 3-Manifolds

이 논문은 3‑다양체 위상학에서 가장 실용적인 데이터 구조인 삼각분할을 다루면서, 그래프 이론의 핵심 개념인 트리폭을 중심으로 알고리즘적 효율성을 극대화한다는 점에서 큰 의미를 가진다. 트리폭은 그래프가 트리와 얼마나 유사한지를 정량화하는 파라미터이며, 트리폭이 작을수록 동적 계획법이나 색칠 알고리즘 같은 전통적인 FPT 기법을 적용하기 용이하다. 기존 연구에서는 삼각분할 자체의 트리폭을 이용해 다양한 위상학적 문제(예: 매니폴드 동형판별, 코흐라 복합체 계산 등)를 FPT로 해결했지만, 히어로드 분할이라는 전혀 다른 표현으로 변환

Back to Basics: Motion Representation Matters for Human Motion Generation Using Diffusion Model

본 논문은 최근 급부상하고 있는 인간 동작 합성용 확산 모델의 핵심 설계 요소인 ‘동작 표현 방식’과 ‘손실 함수’를 체계적으로 검증한 점에서 학술적·실용적 의의가 크다. 먼저, 저자는 기존 연구에서 제안된 6가지 대표적인 동작 표현(예: 관절 각도, 관절 위치, 회전 행렬, 쿼터니언, 속도·가속도 기반 표현, 그리고 혼합형 표현)을 동일한 MDM 기반 프레임워크에 적용해 비교하였다. 이때 사용된 평가지표는 흔히 쓰이는 Frechet Inception Distance(FID)와 Diversity Score 등으로, 품질과 다양성을

Measuring the Unspoken: A Disentanglement Model and Benchmark for Psychological Analysis in the Wild

본 논문은 인간 대화의 비언어적 단서를 시각‑언어 모델에 통합하려는 시도 중 가장 포괄적인 접근법이라 할 수 있다. 첫 번째 문제인 ‘발화‑감정 모호성’은 입술 움직임이 감정 표현과 겹쳐 보이는 현상으로, 기존 VLM이 텍스트와 이미지 간의 연관성을 학습할 때 이중 의미를 구분하지 못해 심리적 추론에 오류를 일으킨다. MIND는 이러한 모호성을 해결하기 위해 계층적 구조를 채택하고, 각 레이어에서 시간적 특징 분산을 계산해 변동성이 낮은(즉, 감정과 무관한) 입술 패턴을 억제한다. 이 ‘상태 판단’ 모듈은 기존의 단순 attenti

Analysis Model

TimesNet-Gen: Deep Learning-based Site Specific Strong Motion Generation

본 논문은 지진공학 분야에서 현장별 강진 기록을 인공적으로 생성할 수 있는 새로운 데이터‑드리븐 모델을 제시한다는 점에서 큰 의미를 가진다. 기존의 강진 합성 방법은 주로 스펙트럼 기반 혹은 물리‑기반 시뮬레이션에 의존했으며, 현장 특성을 충분히 반영하기 위해서는 복잡한 파라미터 튜닝이 필요했다. 반면 본 연구는 시간 영역에서 직접 가속도 신호를 다루는 TimesNet‑Gen을 도입함으로써, 현장별 고유의 “잠재적 병목”(latent bottleneck)이라는 작은 차원의 임베딩을 통해 현장 특성을 압축하고 재현한다. 이는 현장마다

Tokenizing Buildings: A Transformer for Layout Synthesis

본 논문은 건축 설계 자동화라는 실용적 과제에 트랜스포머 기반의 시퀀스‑투‑시퀀스 모델을 적용한 점에서 의미가 크다. 기존 연구들은 주로 2D 평면도나 3D 모델을 직접 입력으로 사용하거나, 규칙 기반 시스템에 의존해 레이아웃을 생성하였다. 그러나 이러한 방식은 복잡한 공간 제약을 충분히 반영하기 어렵고, 데이터 요구량이 높으며, 일반화 능력이 제한적이다. SBM은 ‘룸 엔벨로프’라는 최소한의 입력만으로도 방 내부의 가구 배치, 동선, 기능 구역을 동시에 고려한 레이아웃을 생성한다는 점에서 입력 효율성이 뛰어나다. 모델 아키텍처는

When GenAI Meets Fake News: Understanding Image Cascade Dynamics on Reddit

본 논문은 AI‑생성 이미지와 허위 정보가 소셜 미디어, 특히 Reddit이라는 포럼 기반 플랫폼에서 어떻게 확산되는지를 정량적으로 규명한 최초의 대규모 연구로 평가할 수 있다. 연구자는 이념적 스펙트럼이 넓은 다섯 개 서브레딧을 선정함으로써, 좌파·우파·중도·대안·기술 중심 커뮤니티 등 다양한 정치·사회적 배경을 포괄하였다. 데이터 수집 단계에서는 2022‑2024년 사이에 게시된 1백만 건 이상의 포스트와 그에 연결된 재게시(cascade) 데이터를 크롤링했으며, 각 포스트에 포함된 이미지가 AI‑생성 여부를 판별하기 위해 최신

Balancing Safety and Helpfulness in Healthcare AI Assistants through Iterative Preference Alignment

본 논문은 의료 현장에서 LLM 기반 대화형 보조 시스템이 직면한 두 가지 핵심 과제—‘위험한 요청에 대한 과잉 순응’과 ‘무해한 요청에 대한 과잉 거부’를 동시에 해결하고자 하는 시도를 담고 있다. 이를 위해 저자들은 기존 사후 정렬(Post‑Deployment Alignment) 접근법에 Kahneman‑Tversky Optimization(KTO)과 Direct Preference Optimization(DPO)을 결합한 새로운 프레임워크를 설계하였다. KTO는 인간의 인지 편향을 모델링해 위험 신호에 대한 민감도를 조절하고,

December 03, 2025

SPARK: Stepwise Process-Aware Rewards for Reference-Free Reinforcement Learning

본 논문은 강화학습(RL)에서 핵심적인 보상 설계 문제를 새로운 관점에서 해결한다. 전통적인 PRM은 단계별 정답 레퍼런스나 인간 주석에 의존해 학습 데이터를 구축한다. 그러나 이러한 데이터는 비용이 많이 들고, 특히 수학·과학·코드와 같이 정답이 복잡하거나 존재하지 않을 때는 실용성이 떨어진다. SPARK는 이 한계를 “생성‑검증” 루프를 통해 극복한다. 첫 번째 단계에서 생성기 모델은 프롬프트에 따라 다채로운 풀이 경로를 생성한다. 여기서 중요한 점은 다양성을 확보하기 위해 온도 조절, 샘플링 기법 등을 활용해 다수의 후보 풀이

December 02, 2025

Towards a fully differentiable digital twin for solar cells

본 논문은 태양전지 연구에서 가장 실용적인 목표 중 하나인 연간 에너지 수율(EY) 최적화를 위한 통합 시뮬레이션 프레임워크를 제시한다. 기존의 계산 접근법은 광학, 전기, 열, 재료 과학 등 각각의 분야를 별도로 다루는 경우가 많아, 실제 현장 적용 시 발생하는 복합적인 변수들을 동시에 고려하기 어렵다. 이러한 한계를 극복하기 위해 저자들은 ‘차별 가능한 디지털 트윈(Differentiable Digital Twin)’이라는 개념을 도입하였다. 디지털 트윈은 물리적 시스템을 가상 공간에 정밀히 복제하는 기술이며, 여기서 차별 가능

December 02, 2025

Video4Spatial: Towards Visuospatial Intelligence with Context-Guided Video Generation

VIDEO4SPATIAL은 최근 비디오 기반 인공지능 연구에서 눈에 띄는 전환점을 제공한다. 기존 연구들은 주로 RGB‑D, 포즈 추정, 혹은 3D 메쉬와 같은 다중 모달리티를 결합해 공간 정보를 보강했지만, 이 논문은 순수 비디오 프레임만으로 동일하거나 그 이상의 성능을 달성한다는 점에서 혁신적이다. 핵심은 두 가지 설계 선택에 있다. 첫째, 데이터 큐레이션 단계에서 ‘시공간 일관성’과 ‘다양한 시점 전이’를 강조한 고품질 시퀀스를 선별함으로써 모델이 자연스러운 움직임과 물체 변화를 학습하도록 유도했다. 둘째, 프레임워크 내부에

December 02, 2025

AI-Enabled grading with near-domain data for scaling feedback with human-level accuracy

본 연구가 다루는 핵심 문제는 ‘구성형 짧은 답변 채점’이라는 교육 현장의 난제이다. 전통적인 자동 채점 시스템은 객관식처럼 정답이 명확히 정의된 경우에만 높은 정확도를 보이며, 자유 서술형 답변은 표현 다양성, 어휘 선택, 문맥적 의미 등 복합적인 변수를 포함한다. 따라서 사전 정의된 루브릭 없이도 정확히 채점하려면 방대한 학습 데이터와 정교한 의미 이해가 필요하다. 저자들은 이러한 난점을 극복하기 위해 ‘근접 데이터(near‑domain data)’라는 개념을 도입한다. 이는 동일하거나 유사한 주제·난이도의 과거 시험 문항과 학

Data

An Empirical Study of Agent Developer Practices in AI Agent Frameworks

본 논문은 LLM(대형 언어 모델) 기반 에이전트 프레임워크라는 비교적 새로운 연구 영역에 대한 포괄적인 실증 조사를 수행했다는 점에서 학술적·실무적 의미가 크다. 첫 번째 강점은 데이터 수집 규모이다. 1,575개의 실제 오픈소스 프로젝트와 8,710개의 개발자 토론을 메타데이터로 활용함으로써, 단순히 문헌 조사에 머무르지 않고 현장 실무에서 발생하는 구체적인 문제와 사용 패턴을 포착했다. 특히 10개의 대표 프레임워크를 선정하는 과정에서 ‘별(star)’·‘포크(fork)’·‘활동성’ 등 객관적인 지표와 함께 토론 내용의 질적

Framework

Community Quality and Influence Maximization: An Empirical Study

이 논문은 인플루언스 최대화 문제를 해결하기 위한 두 가지 접근법을 체계적으로 비교함으로써, 커뮤니티 탐지 품질이 실제 확산 성능에 미치는 영향을 실증적으로 규명한다. 첫 번째 접근법은 기존의 계층 군집(Hierarchical Clustering) 알고리즘을 사용해 얻은 비교적 저품질의 커뮤니티 구조를 기반으로 시드 노드를 선정한다. 두 번째 접근법은 저자들이 이전 연구에서 제안한 α‑계층 군집(α‑Hierarchical Clustering) 알고리즘을 적용해, 보다 명확한 모듈성(modularity)과 내부 결속력을 가진 고품질

Data assimilation and discrepancy modeling with shallow recurrent decoders

본 논문은 현대 센서 네트워크가 직면한 두 가지 근본적인 한계, 즉 측정 포인트의 희소성 및 시뮬레이션 모델의 불완전성을 동시에 해결하려는 시도로서, 머신러닝 기반 데이터 동화 프레임워크 DA‑SHRED 를 제시한다. 기존 데이터 동화 기법은 주로 칼만 필터, 변분 동화, 혹은 최근의 딥러닝 기반 접근법에 의존해 왔으며, 이들은 고차원 상태 공간을 직접 다루는 경우 계산 비용이 급격히 증가하거나, 물리적 제약을 충분히 반영하지 못한다는 문제점을 안고 있다. DA‑SHRED 는 이러한 문제점을 회피하기 위해 먼저 SHRED 라는 얕은

Data Model

fMRI2GES: Co-speech Gesture Reconstruction from fMRI Signal with Dual Brain Decoding Alignment

본 논문은 뇌 영상(fMRI)과 언어, 그리고 몸짓(gesture)이라는 세 가지 서로 다른 모달리티 사이의 매핑을 직접 학습하기 어려운 현실적인 문제를 창의적으로 해결한다는 점에서 학술적 의의가 크다. 첫 번째 핵심은 ‘비연계 데이터’를 활용한다는 점이다. 기존의 뇌‑이미지 혹은 뇌‑언어 재구성 연구는 fMRI와 목표 출력(이미지, 텍스트) 사이에 1:1 매칭이 보장된 데이터셋을 전제로 한다. 그러나 뇌와 동시에 기록된 제스처 데이터는 실험 설계상의 제약과 비용 때문에 거의 존재하지 않는다. 저자들은 이러한 제약을 우회하기 위해

From monoliths to modules: Decomposing transducers for efficient world modelling

이 논문이 제시하는 핵심 아이디어는 ‘트랜스듀서’를 이용해 세계 모델을 모듈화하고, 그 모듈들을 역으로 분해함으로써 병렬 처리와 해석 가능성을 동시에 확보한다는 점이다. 트랜스듀서는 관측·행동·보상 등 복합적인 상호작용을 하나의 입력‑출력 관계로 추상화한 구조로, POMDP(부분 관측 마코프 결정 과정)를 일반화한다. 기존 연구에서는 여러 트랜스듀서를 순차적으로 연결해 복잡한 시스템을 구성하는 ‘합성’ 방법이 주로 다루어졌으며, 이는 설계 단계에서는 직관적이지만 실제 운용 단계에서는 전체 모델이 거대해져 연산 비용이 급증하고, 내부

InnoGym: Benchmarking the Innovation Potential of AI Agents

InnoGym이 제시하는 가장 큰 혁신은 “혁신성”이라는 추상적 개념을 정량화하려는 시도에 있다. 기존의 LLM·에이전트 평가는 주로 정답률, 실행 시간, 토큰 비용 등 효율성 지표에 집중했으며, 이는 모델이 기존 지식을 재현하는 능력은 잘 측정하지만, 새로운 아이디어를 창출하는 능력은 거의 드러내지 못한다. InnoGym은 이를 보완하기 위해 두 축, 즉 performance gain과 novelty를 동시에 측정한다. performance gain은 현재까지 보고된 최적 솔루션 대비 얼마나 개선했는지를 백분율 혹은 절대값으로 나

Spatiotemporal Pyramid Flow Matching for Climate Emulation

본 논문은 기후 과학과 머신러닝이 교차하는 최전선에서, 기존 생성 모델이 갖는 근본적인 한계를 뛰어넘는 혁신적인 프레임워크를 제시한다. 현재 대부분의 기후 에뮬레이션은 고해상도 물리 기반 모델을 직접 실행하거나, 저해상도 통계 모델에 의존한다. 전자는 계산 비용이 천문학적으로 높고, 후자는 복잡한 비선형 상호작용을 충분히 포착하지 못한다. 특히, 날씨 수준의 자기회귀 방식은 시간 단계마다 순차적으로 샘플링해야 하므로 장기 시뮬레이션(수십 년~수백 년)에서는 시간 복잡도가 선형적으로 증가한다. 이러한 구조적 제약은 비정상적인 외부 강

Zero-Overhead Introspection for Adaptive Test-Time Compute

본 논문은 현재 대형 언어 모델(LLM)이 직면한 메타인지 부재 문제를 짚고, 이를 해결하기 위한 새로운 인프라스트럭처인 ZIP‑RC(Zero‑overhead Introspective Prediction of Reward and Cost)를 제시한다. 기존의 Best‑of‑N 방식은 고정된 샘플 수를 미리 정해두고 모든 후보에 대해 동일한 비용을 소모한다. 이는 생성 과정 중에 “이 정도면 충분한가?”라는 판단을 내릴 근거가 부족해, 실제로는 marginal benefit가 거의 없는 추가 샘플까지도 수행하게 만든다. 또한, 모델

ChromouVQA: Benchmarking Vision-Language Models under Chromatic Camouflaged Images

본 논문은 현재 Vision‑Language Model(VLM)이 직면한 핵심 한계인 ‘피겨‑그라운드 구분’ 문제를 정량적으로 평가하기 위해 매우 체계적인 벤치마크를 설계했다는 점에서 의미가 크다. 기존 VLM 평가 데이터셋은 주로 명확한 객체와 배경을 구분할 수 있는 이미지에 초점을 맞추었으며, 색채 위장(camouflage)과 같이 인간의 시각 시스템조차도 인지하기 어려운 상황을 충분히 반영하지 못했다. ChromouVQA는 이러한 공백을 메우기 위해 이시하라 점 플레이트(Ishihara plates)를 변형한 색채 위장 이미지

November 30, 2025

IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch

자동 형식화(auto‑formalization) 문제는 자연어로 서술된 수학 문제를 기계가 이해할 수 있는 형식 언어, 여기서는 Lean 4와 같은 정리 증명 시스템으로 변환하는 과정을 의미한다. 기존 연구에서는 주로 서양 수학 교과서나 공개된 정리 데이터베이스를 활용했지만, 이러한 자료는 이미 많은 자동 형식화 도구에 의해 학습되어 과적합(over‑fitting) 위험이 있다. 반면 INDIMATHBENCH는 인도 수학 올림피아드라는 비교적 독립적인 출처에서 312개의 문제를 수집함으로써 데이터 다양성을 크게 확대한다. 이는 LL

November 30, 2025

Integrating Causal Foundation Model in Prescriptive Maintenance Framework for Optimizing Production Line OEE

본 논문은 제조 현장에서 예측 중심의 유지보수에서 한 단계 나아가 인과관계를 명시적으로 모델링함으로써 ‘처방형 유지보수(prescriptive maintenance)’를 구현하려는 시도를 상세히 제시한다. 먼저 기존 예측 모델이 “스푸리어스(correlational) 패턴”에 의존한다는 비판은 실제 현장 사례와 일치한다. 센서 데이터가 풍부하지만, 고장 원인에 대한 도메인 지식이 부족한 경우 모델이 잡아내는 신호는 종종 우연히 발생한 상관관계에 불과하다. 이러한 상황에서 단순히 고장 확률만을 제공받아도, 현장 엔지니어는 “어디를 고

November 30, 2025

Framework Model

Optimizing Text Search: A Novel Pattern Matching Algorithm Based on Ukkonen's Approach

이 논문은 텍스트 검색 알고리즘의 효율성을 크게 높이는 방법을 제시한다. 특히 접미사 트리를 최적화함으로써, 현대 데이터셋에서 발생하는 복잡성과 규모 문제를 해결하고자 한다. 전통적인 Naive Search, KMP, Boyer Moore 알고리즘들은 기본적이지만, 그 효율성이 현대의 방대한 데이터 처리 요구사항에 부합하지 못한다. 이 연구에서는 접미사 트리를 Splitting 및 Ukkonen 알고리즘을 통해 최적화하는 방법을 제시하며, 이를 통해 선형 시간과 공간 효율성을 달성할 수 있음을 보여준다. 특히, Ukkonen 알고리

November 29, 2025

Hierarchical clustering of complex energy systems using pretopology

이 연구는 에너지 관리 분야에서 기존에 흔히 사용되던 개별 건물 단위의 현장 조사 방식이 갖는 비효율성을 근본적으로 해결하려는 시도로 평가할 수 있다. 저자는 프리토폴로지(pretopology)라는 수학적 프레임워크를 선택했는데, 이는 전통적인 위상수학이 제공하는 개념보다 더 유연하게 ‘근접성’과 ‘포함 관계’를 정의할 수 있다. 프리토폴로지 공간에서는 점들의 근접성을 나타내는 ‘프리클로저’ 연산과, 집합을 확장시키는 ‘프리내부’ 연산을 통해 데이터 간의 구조적 관계를 정량화한다. 이러한 연산을 기반으로 다중 기준(예: 위치, 크기

November 27, 2025

System

Enhancing Geo-localization for Crowdsourced Flood Imagery via LLM-Guided Attention

본 논문은 사회 미디어에서 수집된 스트리트 뷰 이미지를 활용하여 도시 홍수와 같은 위기 상황을 실시간으로 모니터링하는 문제를 해결하기 위해 VPR AttLLM 프레임워크를 제안한다. 기존의 VPR 모델들은 교차 소스 시나리오에서 발생하는 시각적 왜곡과 도메인 이동으로 인해 성능이 저하되는 한계가 있다. 이를 해결하기 위해, 본 논문은 LLMs의 의미론적 추론 및 지리 공간 지식을 주의 메커니즘을 통해 기존 VPR 파이프라인에 통합하는 모델에 무관한 프레임워크를 제시한다. VPR AttLLM은 LLMs을 활용하여 이미지 내에서 위치

November 25, 2025

Space Alignment Matters: The Missing Piece for Inducing Neural Collapse in Long-Tailed Learning

이 논문은 최근 각광받고 있는 ‘신경 붕괴(Neural Collapse, NC)’ 현상을 긴 꼬리 데이터 분류 문제에 적용함으로써, 기존 방법론이 놓치고 있던 핵심적인 정렬 문제를 새롭게 조명한다. NC는 학습이 진행될수록 클래스별 특징 평균(feature means)과 최종 선형 분류기의 가중치가 서로 정렬되고, 전체 클래스가 단순체 등각 긴밀 프레임(simplex ETF) 구조를 이루는 현상이다. 이 구조는 클래스 간 각도가 동일하고, 각 클래스의 특징이 서로 정규 직교하는 최적의 기하학적 배치를 제공한다는 점에서 이론적·실용적

November 25, 2025

Mathematics Quantitative Finance

Super-Nash Performance

The paper introduces a new solution concept called 'optimin' in game theory, aiming to maximize the minimum payoff for players under unilateral profitable deviations by others. Optimin extends the conventional Nash equilibrium and is particularly important in cooperative games where players need to

October 23, 2025

Economics

Optimal Investment with Correlated Stochastic Volatility Factors

This paper proposes a method to solve the optimal investment problem in situations with multiple random factors affecting stock volatility and returns. It simplifies the complex scenario by assuming perfect correlation among these factors, thereby reducing the multi factor problem to a single factor

November 29, 2022

Computer Science Game Theory

Robust Revenue Maximization Under Minimal Statistical Information

This paper addresses the problem of revenue maximization when selling multiple items to a buyer with additive valuations for each item, where the seller has limited information about the distribution from which these valuations are drawn. Unlike traditional Bayesian auction design that assumes perfe

April 29, 2022

Optimal Algorithms for Geometric Centers and Depth

This paper discusses a general randomized technique to solve 'implicit' linear programming problems where constraints are implicitly defined by an underlying ground set of elements. The authors leverage the structure of these implicit constraints to develop efficient linear program solvers. They app

December 24, 2021

Computer Science Computational Geometry

Dependence-Robust Inference Using Resampled Statistics

This paper addresses the challenge of making robust inferences in scenarios where data may exhibit complex or unknown weak dependencies. The authors propose a method that utilizes resampled statistics to construct test procedures without relying on the specific correlation structure of the data. The

August 26, 2021

Statistics Economics

Machine Learning Computer Science Statistics Network Distributed Computing

Distributed Deep Convolutional Neural Networks for the Internet-of-Things

This paper addresses the challenge of designing efficient deep learning (DL) solutions for Internet of Things (IoT) devices, which often have severe constraints on memory and computational power. These limitations can prevent IoT units from executing DL models that typically require significant reso

July 30, 2021

Computer Science Mathematics Systems and Control Electrical Engineering and Systems Science

Lyapunov Event-triggered Stabilization with a Known Convergence Rate

Summary : This paper presents a new event triggered control methodology for nonlinear systems that maintains stability while minimizing communication and control inputs. The proposed algorithm ensures the same convergence rate as continuous time feedback control and allows predictable scheduling of

July 20, 2020

Data Structures Cryptography and Security Computer Science Computational Complexity Quantum Physics

Lower Bounds for Function Inversion with Quantum Advice

The paper investigates the relationship between the size of auxiliary information and computation time in solving the function inversion problem within a preprocessing model, with a focus on quantum algorithms. The function inversion problem involves finding an input that maps to a given output thro

April 09, 2020

Unique key Horn functions

This paper explores the connection between relational databases and pure Horn functions, focusing on keys with small sizes. It presents structural and complexity results for minimal key sets of these functions. A critical aspect is characterizing Sperner hypergraphs where there exists a unique pure

February 18, 2020

Computer Science Databases Discrete Mathematics

Network Electrical Engineering and Systems Science Multiagent Systems Systems and Control Computer Science

Peer-to-Peer Trading in Electricity Networks: An Overview

This paper delves into peer to peer trading in electricity networks, a cutting edge energy management technique that benefits proactive consumers (prosumers) by enabling them to trade energy as goods and services. The study addresses challenges related to modeling transactions both at the virtual la

January 22, 2020

State Synchronization for Homogeneous Networks of Non-introspective Agents in Presence of Input Saturation -A Scale-free Protocol Design

This paper addresses the challenge of achieving global and semi global regulated state synchronization in homogeneous networks of non introspective agents, particularly under input saturation conditions. The key contribution is a scalable protocol design that does not require detailed knowledge abou

January 06, 2020

Computer Science Systems and Control Network Electrical Engineering and Systems Science

Emerging Technologies Neural Computing Network Computer Science Hardware Architecture

Recovering Latent Variables by Matching

This paper introduces an optimal transport based matching method to nonparametrically estimate linear models with independent latent variables. The core idea is to generate pseudo observations from the latent variables so that the Euclidean distance between the model's predictions and their matched

January 01, 2020

Economics

Shenjing: A low power reconfigurable neuromorphic accelerator with partial-sum and spike networks-on-chip

This paper introduces Shenjing, a novel architecture that aims to achieve energy efficient deep neural networks (DNNs). The primary focus is on addressing the high energy consumption of DNNs, especially in on device AI applications where both computation and communication consume significant amounts

December 02, 2019