Cs-Dm
공유 화이트보드 기반 분산 네트워크의 동기화 모델 비교와 계산 능력
열대대수 기반 네트워크 최대 합의 분석
프랙탈 문자열을 활용한 인도 라가 음악 작곡
그레이엄 트리 재구성 추측과 파티션을 이용한 지수적 하한
정수값 변환과 아핀 이산 동역학 시스템
다차원 모스 헤들런드 정리의 완전한 확장과 Presburger 정의 가능성
무한 순열의 자동성 연구
P와 NP 관계에 대한 새로운 관점: UF 클래스 제안
그래프 이분법의 새로운 경계와 판단적 분할
다중경로 스패너와 결함 내성 스패너의 새로운 연결 고리
고차 서브모듈러 함수 최소화를 위한 단조 불리언 함수 활용
데이터 행렬 저차원 고유벡터의 국소화 현상
루트 트리 분해와 매트로이드 제약 및 경계가 있는 구조물의 무한소 강성
유클리드 구를 이용한 관용 식별 코드
표면 분할 분해와 표면 위 그래프의 부분 그래프 동형성
정규 매트로이드의 지역 제한된 브랜치 폭에서 1차 논리 속성 결정
동적 소스와 디리클레 급수로 보는 트라이·BST 비용의 현실적 분석
허프만 코드와 컴팩트 트리의 개수와 단위분수 합
평면 그래프의 개수와 카스텔레인 기법
모나드로 풀어보는 최대 구간 합 튜토리얼
패턴 단어를 위한 무모호 1‑균일 사상 연구
추상 수 체계의 열거 급수와 유리 자동화 이론의 연결
