Computer-Science
ActorScript 확장: 적응형 동시성으로 안티클라우드 프라이버시와 보안 구현
무관절 로봇의 물리 시뮬레이션과 설계 원리
합성 자유곱 기반 공개키 프로토콜
숨고 달리는 도둑을 상대하는 경찰‑도둑 게임의 구조적 특성
고에너지 물리 시뮬레이션을 위한 HepML 형식
네트워크 SIR 모델에서 개인 감염 확률 계산은 NP 하드
반복 약점 우위와 행렬 소거 및 매칭 경로
고전 스핀 컴퓨팅의 오류 내성 구현
순차적 복잡도로 보는 온라인 학습
복잡 동적 시스템을 위한 시스템 이론 기반 모델링 제어 의사결정 지원
물리장 클러스터 식별 및 특성화 기법
시퀀스 이론의 결정 가능성 탐구
별칭 분석 이론과 계산법에 대한 연구
최고 기대 보상 디코딩을 활용한 HMM 기반 바이러스 재조합 탐지
템펠마이어 β‑서비스 측정법의 한계와 개선 방안
지역 분포 데이터에서 전역 클러스터 추론
가중 논리 프로그램의 곱 변환과 응용
시간제한 사회동원 DARPA 네트워크 챌린지 승리 전략
연쇄 그래프의 신뢰성 가우시안 경우
빛에 반응하는 서브 흥분성 BZ 매질의 다형성 논리게이트 구현
부분 격자 인식 복잡도 이분법
에너지 패리티 게임의 이론과 알고리즘
