| 736 | Safety analysis of hybrid real-time system requirements using qualitative models = 정성 모델을 이용한 복합 실시간 계통 요구사항의 안전성 분석link Lee, Jang-Soo; 이장수; et al, 한국과학기술원, 2002 |
| 737 | Sampling-based motion planning algorithm to handle a narrow passage problem = 좁은 길 문제를 해결하기 위한 샘플링 기반 모션 플래닝 알고리즘link Lee, Jung-Hwan; 이정환; et al, 한국과학기술원, 2014 |
| 738 | Scalable and efficient data stream delivery and archiving infrastructure for real-time sensing applications = 실시간 센싱 어플리케이션을 위한 확장성 있고 효율적인 데이터 스트림 전송 및 저장 인프라스트럭처link Cho, Kyung-Min; 조경민; et al, 한국과학기술원, 2010 |
| 739 | Scalable and reliable group key management schemes for secure multicast = 안전한 멀티캐스트를 위한 확장성 및 신뢰성 있는 그룹키 관리 기법에 관한 연구link Hur, Jun-Beom; 허준범; et al, 한국과학기술원, 2009 |
| 740 | Scalable boolean simulation methods for dynamical biological systems = 생체시스템의 동역학 분석을 위한 효율적인 이진 시뮬레이션 기법 연구link Hong, Changki; 홍창기; et al, 한국과학기술원, 2017 |
| 741 | Scalable cache coherent schemes for direct-connected shared memory multiprocessors = 직접 상호연결 공유메모리 다중처리기를 위한 확장성있는 캐쉬 일관성 기법link Rhee, Yun-Seok; 이윤석; et al, 한국과학기술원, 1999 |
| 742 | Scalable data stream monitoring framework for large-scale ubiquitous services = 대규모 유비쿼터스 서비스를 위한 확장형 데이터 스트림 모니터링 프레임워크link Lee, Jin-Won; 이진원; et al, 한국과학기술원, 2009 |
| 743 | Scalable group key management schemes for large-scaled groups = 대규모 그룹을 위한 확장성 높은 그룹 키 관리 기법에 관한 연구link Kim, Hee-Youl; 김희열; et al, 한국과학기술원, 2007 |
| 744 | Scalable load balancing mechanism by asynchronous migrations = 비동기 프로세스 이전에 의한 가변적 부하균등화 기법link Chung, Chul; 정철; et al, 한국과학기술원, 1989 |
| 745 | Scalable metadata management for RFID and wireless sensor networks integration towards internet of things = Internet of things에서 RFID와 무선 센서네트워크 통합을 위한 확장 가능한 메타데이터 관리link Sung, Jong-Woo; 성종우; et al, 한국과학기술원, 2011 |
| 746 | Scalable path exploration and memory error detection for efficient vulnerability discovery = 대규모 소프트웨어의 효율적 취약점 탐지를 위한 경로 탐색 및 메모리 오류 감지 기법link Han, Wookhyun; Shin, Insik; et al, 한국과학기술원, 2020 |
| 747 | Scalable persistent data protection with hardware trusted execution = 하드웨어 기반 신뢰 환경을 이용한 확장가능하고 지속적인 데이터 보호기법 연구link Kim, Taehoon; Huh, Jaehyuk; et al, 한국과학기술원, 2020 |
| 748 | Scalable session and traffic management for multiparty sessions = 다중 참가자 세션을 위한 확장성있는 세션 관리와 트래픽 관리link Kang, Kyung-Ran; 강경란; et al, 한국과학기술원, 1999 |
| 749 | Scene text recognition using part-based character models = 문자의 지역적 특성 모델을 이용한 자연영상 내 문자인식 연구link Seok, Jae-Hyun; 석재현; et al, 한국과학기술원, 2014 |
| 750 | Schema-based semantic query optimization for XML queries = XML 질의를 위한 스키마 기반 의미적 질의 최적화link Park, Chang-Won; 박창원; et al, 한국과학기술원, 2002 |
| 751 | Seamless integration of soft wearable hand robots via augmented intelligence = 증강 지능을 통한 소프트 웨어러블 손 로봇 융합 방법link Kim, Daekyum; Jo, Sungho; et al, 한국과학기술원, 2021 |
| 752 | Secure and efficient data deduplication techniques for cloud storage systems = 클라우드 스토리지 시스템에서 안전하고 효율적인 데이터 중복 제거 기법에 관한 연구link Shin, Young-Joo; 신영주; et al, 한국과학기술원, 2014 |
| 753 | Secure and reliable vehicular IoT architecture with data collect-and-share model = 데이터 수집 및 공유 모델 기반의 보안과 신뢰성을 지원하는 차량 중심 IoT 아키텍처link Han, Jiyong; Kim, Daeyoung; et al, 한국과학기술원, 2020 |
| 754 | Secure bit-plane based steganography = 안전한 비트-평면 기반 스테가노그래피link Bui, Cong Nguyen; Lee, Heung-Kyu; et al, 한국과학기술원, 2010 |
| 755 | Secure group key distribution schemes for broadcast encryption = 브로드캐스트 암호를 위한 안전한 그룹키 분배 기법에 관한 연구link Park, Chan-Il; 박찬일; et al, 한국과학기술원, 2011 |
| 756 | Secure mobile device structure and application = 안전한 모바일 기기의 구조 및 응용에 관한 연구link Lee, Yun-kyung; Yoon, Hyun-Soo; et al, 한국과학기술원, 2018 |
| 757 | Selectivity estimation and a cost model for spatio-temporal queries = 시공간 질의를 위한 선택률 추정과 비용 모델link Choi, Yong-Jin; 최용진; et al, 한국과학기술원, 2003 |
| 758 | Self-imitation learning algorithms for goal-oriented dialogues = 목적지향 대화를 위한 자기 모방 학습 알고리즘 연구link Jang, Youngsoo; Kim, Kee-Eung; et al, 한국과학기술원, 2022 |
| 759 | Self-managed DRAM architecture to optimize capacity and energy efficiency = 효율적인 용량 확장 및 에너지 절감을 위한 자가 관리 DRAM 구조 연구link Kim, Seikwon; Huh, Jaehyuk; et al, 한국과학기술원, 2018 |
| 760 | Semantic analysis of prepositional phrases in English-to-Korean machine translation = 영한 기계번역에서의 전치사구 의미해석link Kang, Won-Seog; 강원석; et al, 한국과학기술원, 1995 |
| 761 | Sensing flow execution engine for concurrent mobile sensing applications = 동시에 동작하는 모바일 센싱 애플리케이션을 위한 센싱 플로우 실행 엔진link Ju, Young-Hyun; 주영현; et al, 한국과학기술원, 2014 |
| 762 | Sensor deployment and medium access control for military surveillance applications in wireless sensor networks = 군용 감시정찰 센서네트워크에 적용 가능한 센서배치기법과 맥 프로토콜에 관한 연구link Hong, Jae-Young; 홍재영; et al, 한국과학기술원, 2011 |
| 763 | Service adaptation loss modeling and minimization for spontaneous service composition in a ubiquitous computing environment = 유비쿼터스 환경에서 즉시적 서비스 조합을 위한 서비스 적응 손실 모델링 및 최소화 기법link Kim, Byoung Oh; 김병오; et al, 한국과학기술원, 2015 |
| 764 | Singing voice generation and phrase emphasis using glottal-waveform = 성대파를 이용한 가창음성 생성 및 어구 강조link Bae, Jae-Hyun; 배재현; et al, 한국과학기술원, 2011 |
| 765 | Software optimization methods for high-performance flash-based storage devices = 고성능 플래시 저장 장치를 위한 소프트웨어 최적화 기법link Park, Seon-yeong; 박선영; et al, 한국과학기술원, 2011 |
| 766 | Software theft detection through analysis of the semantic units of program = 프로그램의 의미 단위 분석을 통한 소프트웨어의 도용 탐지 방법link Lim, Hyun-il; 임현일; et al, 한국과학기술원, 2009 |
| 767 | Software theft detection through static trace birthmarks for java = 자바의 정적 트레이스 버스마크를 통한 소프트웨어 도용 탐지link Park, Hee-Wan; 박희완; et al, 한국과학기술원, 2010 |
| 768 | Some visibility problems for isothetic objects and a simple polygon = 직교 물체와 단순 다각형의 가시성에 관한 연구link Doh, Jeong-In; 도정인; et al, 한국과학기술원, 1989 |
| 769 | Sorting method for fully homomorphic encrypted data using the cryptographic single-instruction multiple-data operation = 완전동형암호의 암호기법적 SIMD기능을 활용한 암호문 정렬 기술link Kim, Pyung; 김평; et al, 한국과학기술원, 2016 |
| 770 | Speaker oriented conversation model and its evaluation = 화자 기반 대화 모델 및 평가 방법link Bak, JinYeong; Oh, Alice; et al, 한국과학기술원, 2020 |
| 771 | Specification and analysis of dynamic systems using temporal logic = 동적 시스템 명세를 위한 시제논리와 분석link Cho, Seung-Mo; 조승모; et al, 한국과학기술원, 2002 |
| 772 | Specification and analysis of timing requirements in CBD approach using modular petri nets = 컴포넌트 기반 개발 방법론에서의 modular petri nets 를 이용한 시간 제약 사항의 명세 및 분석link Lee, Ho-Kyoung; 이호경; et al, 한국과학기술원, 2007 |
| 773 | Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2007 |
| 774 | Speculative branch dolding for low energy embedded processors = 저전력 내장형 프로세서를 위한 Speculative branch foldinglink Park, Sang-Hyun; 박상현; et al, 한국과학기술원, 2005 |
| 775 | Speech emotion recognition in noisy environments using adaptive comb filtering and feature vector classification = 적응 콤 필터링과 특징 벡터 분류 기법을 이용한 잡음 환경에서의 음성 감정 인식link Park, Jeong-Sik; 박정식; et al, 한국과학기술원, 2010 |
| 776 | Speech synthesis and speaker modification based on two-band speech model = 2대역 음성모델에 기반한 음성합성 및 화자변환link Kim, Eun-Kyoung; 김은경; et al, 한국과학기술원, 2003 |
| 777 | SPODoM: search-based parameter optimization framework on just-in-time software defect prediction model = 검색 기반 just-in-time 소프트웨어 결함 예측 모델 파라미터 최적화 프레임워크link Kang, Jonggu; Baik, Jongmoon; et al, 한국과학기술원, 2022 |
| 778 | Spontaneous interaction network architecture = 즉각적 인터랙션 네트워크 아키텍처link Ko, Yang-Woo; 고양우; et al, 한국과학기술원, 2010 |
| 779 | Static and dynamic combined analysis for bug detection of web apps = 웹 앱 결함 검출을 위한 정적 동적 혼합 분석link Park, Joonyoung; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
| 780 | Statistical program dependence approximation = 통계적 프로그램 의존성 분석link Lee, Seongmin; Yoo, Shin; et al, 한국과학기술원, 2022 |
| 781 | Stochastic modeling of Korean language for Open-vocabulary handwritten Hangul recognition = 개방 어휘 환경에서의 필기체 한글 인식을 위한 한국어의 통계적 모델링link Ryu, Sung-Ho; 류성호; et al, 한국과학기술원, 2005 |
| 782 | Storage management for vector/raster data in spatial database systems = 공간 데이타베이스 시스템에서 벡터/래스터 데이타를 위한 저장 관리link Hwang, Byung-Yeon; 황병연; et al, 한국과학기술원, 1994 |
| 783 | Storage management using multi-attribute indexing scheme in database management systems = 데이타베이스 관리 시스템에서 다중-속성 색인 기법을 이용한 저장 관리link Kim, Byung-Wook; 김병욱; et al, 한국과학기술원, 1996 |
| 784 | Storage sharing in closed P2P system = 폐쇄형 P2P 시스템에서의 저장 공간 공유link Oh, Seung-Taek; 오승택; et al, 한국과학기술원, 2007 |
| 785 | Structural analysis of regular textures using symmetry groups = 대칭그룹을 이용한 반복텍스츄어의 구조 분석link Oh, Gyu-Hwan; 오규환; et al, 한국과학기술원, 1998 |
| 786 | Study on detecting subtle signals in images using deep neural networks = 이미지의 미세 신호 탐지를 위한 딥러닝 기반 기술link Ahn, Wonhyuk; Lee, Heung-Kyu; 이흥규; Choi, Sunghee; et al, 한국과학기술원, 2021 |
| 787 | Study on fast computation of cryptographic computations : elliptic curve operations and server-aided secret computations = 암호학적 연산의 빠른 계산을 위한 연구 : 타원곡선 연산 및 서버의 도움을 받는 비밀 계산link Hong, Seong-Min; 홍성민; et al, 한국과학기술원, 2000 |
| 788 | Study on quantum circuit optimization of standard block ciphers = 표준 블록 암호에 대한 양자 회로 구현 최적화 연구link Chung, Doyoung; Lee, Jooyoung; et al, 한국과학기술원, 2023 |
| 789 | Study on secure and efficient management of outsourced data in cloud storage = 클라우드 스토리지의 안전성 및 효율성 향상을 위한 암호화된 데이터 검색 및 중복 제거에 대한 연구link Koo, Dongyoung; 구동영; et al, 한국과학기술원, 2016 |
| 790 | Support vector based classification for bio-data mining = 바이오 데이터 마이닝을 위한 서포트 벡터 기반 분류link Lee, Ki-Young; 이기영; et al, 한국과학기술원, 2006 |
| 791 | Supporting parallelism for Real-Time Multiprocessor Scheduling = 멀티 프로세서 플랫폼에서 실시간 작업의 스케줄링을 위한 동시 실행성 지원link Lee, Jin-Kyu; 이진규; et al, 한국과학기술원, 2011 |
| 792 | Surface-based Registration for Subcortical Structures = 피질하 구조를 위한 곡면 기반 등록link Cho, Young-Sang; 조영상; et al, 한국과학기술원, 2011 |
| 793 | Synchronization and inheritance schemes for an actor-based object-oriented language = Actor 모델에 기초한 객체지향 언어를 위한 동기화 및 상속기법link Ryu, Ki-Yeol; 류기열; et al, 한국과학기술원, 1992 |
| 794 | Synchronization of nested transactions in multidatabase systems = 다중 데이터베이스 시스템에서의 중첩 트랜잭션의 동기화link Choe, Weon-Seog; 최원석; et al, 한국과학기술원, 1999 |
| 795 | Synergetic interaction between fault localisation and defect prediction = 결함 위치 식별과 결함 예측간의 보완적 상호작용link Sohn, Jeongju; Yoo, Shin; et al, 한국과학기술원, 2021 |
