Computer-Science
RESTful 서비스와 RDF 연결 웹과 시맨틱 웹의 통합
단백질 2차 구조 예측을 위한 다중 히든 마코프 모델 알고리즘
라운드 로빈 스케줄링을 위한 마코프 체인 모델 분석
블루투스 기반 유비쿼터스 정보 전달 시스템
쌍별 예측을 위한 잠재 특성 로그선형 모델
대학 교육에서 정보기술 활용 효과 분석: 부디 루후르 대학교 사례
레트로액티브 자료구조를 이용한 보로노이 다이어그램 복제
대체 스텝(r,s) 생성기의 대수적 공격과 보안 재평가
광학 신경망을 이용한 물리 기반 컴퓨팅
동적 대칭 축소와 상태 대칭을 활용한 효율적인 심볼릭 모델 검증
비가환 대수의 측정 결과 공간과 스펙트럼
에코홈헬퍼 기후변화 행동을 돕는 가정용 전문가 시스템
절(條) 수 기반 SAT 최악 상한선 새로운 발견
튜링 자동자와 그래프 기계
여성 서사와 분절: 레이디 메이즈 변주곡의 핵심 노드 탐구
큐피드 무정형 P2P 네트워크 자유이용자 문제 해결
협업 소프트웨어 개발에서 조정 문제 탐지
마이크로스트립 비균일 전송선로를 이용한 최적 저역통과 필터 설계
병렬·축소 길이 위너 필터로 GPS 정밀도와 처리 속도 혁신
IEEE 802.11 OFDM 심볼에 데이터 숨기기
SCTP 스테가노그래피 위협과 방어 전략
NumGfun: 선형 미분 방정식과 순환 관계를 다루는 수치 및 해석적 계산 패키지
