Computer-Science
양자 질의 복잡도로 본 AC0의 한계
다각형 영역의 측지 직경
열대 이중 기술법
네트워크 정보 이론 강의노트와 교재 개요
컴파일러가 생성한 FPGA 설계 기능 검증 인프라
헥사격자 식별코드 밀도 하한의 새로운 개선
구글처럼 DNA 검색 엔진 만들기
셀룰러 오토마타 한계집합의 라이스 정리 재조명
Kemeny 점수 계산을 위한 고정 매개변수 알고리즘 이론과 실천
복잡도 이분법 3정규 그래프 홀런트 문제
동형사상법과 균형선택의 복잡성 PSPACE완전성의 새로운 증명
대칭·완전코어·K코어 스타 네트워크에서 분산 평균 합의 가중치 최적화
동적 균일화 기법을 이용한 시간비동질 무한 마코프 인구 모델 분석
다차원 비선형 최적화의 난이도
두 전자 원자 기초 상태 계산의 전설, 1958년 페케리스‑아카드‑WEIZAC 협업과 2010년 재현
멀티그래프 샘플링을 통한 온라인 소셜 네트워크 분석
플러드잇 난이도와 알고리즘 복잡성
다각형 영역 지오데식 직경의 효율적 계산
양자 어드버시브 컴퓨팅을 위한 마이너 보편 그래프 설계
상태와 예외의 이중 효과: 대칭과 범주론적 해석
전류미러 회로를 이용한 얇은막 트랜지스터 배열 설계
바이오인포매틱스 서버 인증 인가 최적화 방안
