Computer-Science
최소한의 명제형 이론
플래시 메모리를 위한 페이지 차등 로깅 효율적인 DBMS 독립 저장 방식
cCSP 동기화 의미론 PVS 형식화
오픈 데이터 시대의 협업 변천: SDSS 사례 연구
셀 경계에서 적응형 자원 할당을 위한 협력 기술
재귀적 비밀 공유와 다중 비밀 은닉 기법
클라우드 기술 연구 로드맵
협동 MIMO‑OFDM 시스템에서 위치 정보 기반 기법
실수 해를 찾는 이변수 다항식 시스템의 병렬 제로 매칭 알고리즘
언어 기술을 위한 문법 측면 프로그래밍
완전 상보 코드 기반 CT‑CDMA 스테가노그래피
최소극대 에이전트를 위한 보편 최적 개인정보 보호 메커니즘
다중 슬롯 광고 경매를 위한 다중 팔 밴딧 메커니즘
센서 네트워크를 위한 분산 데이터 저장 및 임계값 보안 기법
공간 유전자 발현 데이터에서 부정 연관 규칙 탐색
섬유산업 생산계획을 위한 퍼지 프로그래밍 적용
자동음성인식 60년 변천사와 최신 동향
평판 기반 웹 페이지와 상품 순위 향상 방법
효율적인 후보군 축소를 통한 빈발 패턴 마이닝
스퓨리어스 스위칭 억제 기반 저전력 하이브리드 인코딩 멀티플라이어
GPU 모델별 타일링 최적화 성능 분석
다차원 데이터 구조와 효율적 의사결정을 위한 기법
