| 1259 | Safety analysis of function block diagrams using fault trees = Fault tree 기법을 이용한 function block diagram 의 안전성 분석link Oh, You-Ju; 오윤주; et al, 한국과학기술원, 2004 |
| 1260 | Scalable resources allocation for services based on distributed agent = 동적인 사물인터넷 환경을 위한 분산 에이전트 협상을 통한 확장성 있는 물리적 자원 할당 방법link Jorge A Gaete; Jorge; et al, 한국과학기술원, 2014 |
| 1261 | Scalable subspace snooping: Exploiting temporal sharing stability = 일시적으로 변하지 않는 공유 특성을 활용한 부분공간 스누핑 프로토콜link Ahn, Jeong-Seob; 안정섭; et al, 한국과학기술원, 2011 |
| 1262 | Scalable subspace snooping: Exploiting temporal sharing stability = 일시적으로 변하지 않는 공유 특성을 활용한 부분공간 스누핑 프로토콜link Ahn, Jeong-Seob; 안정섭; et al, 한국과학기술원, 2011 |
| 1263 | Scene text recognition using touch screen interface = 터치스크린 인터페이스를 활용한 자연영상 내 문자열 인식link Jung, Je-Hyun; 정제현; et al, 한국과학기술원, 2010 |
| 1264 | Scheduling flash request in SSD to improve response time = 입출력 응답 속도 개선을 위한 SSD 내부에서의 스케줄링 알고리즘 연구link Shin, Ji-Yong; 신지용; et al, 한국과학기술원, 2009 |
| 1265 | SCI 기반의 LAMP 시스템 상에서 메시지 전송을 위한 부계층의 설계 및 구현 = Design and implementation of sub-layer for message passing on SCI-based LAMP systemlink 우남윤; Woo, Nam-Yoon; et al, 한국과학기술원, 1999 |
| 1266 | SCI/버스 브리지의 설계 및 구현 = Design and implementation of a SCI/bus bridgelink 박은경; Park, Eun-Kyung; et al, 한국과학기술원, 1996 |
| 1267 | SCI를 기반으로한 분산공유메모리 다중처리기를 위한 캐쉬 제어기의 설계 및 구현 = Design and implementation of a cache controller for SCI-based distributed shared memory multiprocessorslink 조정연; Cho, Jung-Yon; et al, 한국과학기술원, 1995 |
| 1268 | Screen mark attack : 제2의 워터마크를 이용한 새로운 워터마크 공격방법 = Screen mark attack : a new watermark attack method with the second watermarklink 박현중; Park, Hyun-Joong; et al, 한국과학기술원, 2001 |
| 1269 | SDIO에서 RAID 레벨 5의 효율적인 구현 = Efficient implementation of RAID level 5 on single disk I/Olink 김호진; Ghim, Ho-Jin; et al, 한국과학기술원, 2004 |
| 1270 | Sector-level log management to improve partial write performance in SSDs = SSD 에서의 부분쓰기 성능을 위한 섹터 레벨의 로그 저장 기법link Jin, Seong-Wook; 진성욱; et al, 한국과학기술원, 2010 |
| 1271 | Secure 3D modeling and intellectual property management platform based on blockchain technology = 블록체인 기술 기반의 안전한 3D 모델링 및 지적 재산권 관리 플랫폼link Park, Hunmin; Yoon, Sung-Eui; et al, 한국과학기술원, 2021 |
| 1272 | Secure I/O architecture for isolated heterogeneous computing with hardware assisted trusted execution environment = 신뢰할 수 있는 이종 컴퓨팅을 위한 하드웨어 보안 기술 기반 안전한 I/O 아키텍처 연구link Jang, Insu; Huh, Jaehyuk; et al, 한국과학기술원, 2018 |
| 1273 | Securely executing malicious code = 악성코드의 안전한 실행에 대하여link Faerevaag, Markus Veie; Cha, Sang Kil; 차상길; Kang, Brent Byung Hoon; et al, 한국과학기술원, 2019 |
| 1274 | Securing legacy kernel with type-guided refactoring to rust = 러스트에서 타입 기반 리팩토링을 통한 기존 커널 보호link Park, Sanguk; Ryu, Sukyoung; et al, 한국과학기술원, 2021 |
| 1275 | Selecting candidate component best matching specification from a component library = 컴포넌트 라이브러리로부터 명세에 가장 근접한 후보 컴포넌트 추출 기법link Tegegne, Marew; 마로; et al, 한국과학기술원, 2003 |
| 1276 | Selective denoising technique in optical diffraction tomography images of red blood cell = 적혈구의 광 회절 단층 촬영 영상에서의 선택적 잡음 제거 방법link Hwang, In Woo; Park, Jinah; et al, 한국과학기술원, 2018 |
| 1277 | Selective forgetting of classes and tasks for deep neural networks = 심층 신경망을 위한 클래스와 태스크의 선택적 망각link Kim, Dongkwan; Oh, Alice; et al, 한국과학기술원, 2019 |
| 1278 | Semantic grasping for robotic manipulation through knowledge graph = 지식 그래프를 활용한 로봇의 의미론적 파지법에 대한 연구link Kwak, Ji Ho; Jo, Sungho; et al, 한국과학기술원, 2023 |
| 1279 | Semi-automatic building segmentation from 1m resolution aerial images = 1m 해상도 항공영상으로부터 건물 영역의 반자동적 추출에 관한 연구link Yoon, Tae-Hun; 윤태훈; et al, 한국과학기술원, 1999 |
| 1280 | Semi-supervised learning for time series collected at a low sampling rate = 낮은 샘플링 속도로 수집된 시계열 데이터를 위한 준지도 학습link Bae, Minyoung; 배민영; et al, 한국과학기술원, 2023 |
| 1281 | Semi-supervised object detection with contrastive learning and regression uncertainty = 대조 학습 및 회귀 불확실성을 사용한 준지도 학습 기반의 객체 탐지link Choi, Honggyu; Kim, Tae-Kyun; et al, 한국과학기술원, 2023 |
| 1282 | Separable explanations of deep neural network decisions = 심층 신경망 의사 결정의 분리 가능한 설명link Rieger, Laura Simone; Kim, Kee Eung; 김기응; Cheong, Otfried; et al, 한국과학기술원, 2018 |
| 1283 | Separating objects in the plane with the minimum number of separators = 최소 갯수의 분할자를 이용한 평면상의 물체들의 분할문제link Jung, Hyun-Woo; 정현우; et al, 한국과학기술원, 2002 |
| 1284 | Service consumption planning for efficient service migration in mobile edge computing environments = 모바일 엣지 컴퓨팅 환경에서 효율적인 서비스 마이그레이션을 위한 서비스 소비 계획 제공 방법link Lee, Moonyoung; Ko, In-Young; et al, 한국과학기술원, 2021 |
| 1285 | SHCS-MAC 프로토콜 기반 인지 라디오 네트워크의 다중 홉 통신을 위한 시각 동기화 기법 = Time synchronization for multi-hop communication in SHCS-MAC protocol based cognitive radio networkslink 안재호; Ahn, Jaeho; et al, 한국과학기술원, 2016 |
| 1286 | Shot 기반의 센서 패턴 노이즈를 이용한 재촬영 동영상 탐지 기법에 관한 연구 = A study about re-captured videos detection using shot-based sensor pattern noiselink 정대진; Jung, Dae-Jin; et al, 한국과학기술원, 2012 |
| 1287 | Shuffle-Brujin 다중처리기에 관한 연구 = A study on the shuffle-Brujin multiprocessor networklink 김범기; Kim, Beom-Ki; et al, 한국과학기술원, 1992 |
| 1288 | Shuffle/exchanged-shuffle 네트워크에 관한 연구 = A study on shuffle/exchanged-shuffle networklink 최준수; Choi, Joon-Soo; et al, 한국과학기술원, 1986 |
| 1289 | Sidekick AI: enabling mindful AI chatbot conversations for safer driving = 사이드킥 AI: 챗봇을 위한 운전상황 인지형 대화 조율 시스템link McCracken, Chloe Ann; 매크래컨 클로이 앤; et al, 한국과학기술원, 2024 |
| 1290 | Simple transport mechanism for distributed systems on internetwork = 분산체제를 위한 internetwork 상에서의 간단한 전송 mechanism 에 관한 연구link Heo, Deuk-Man; 허득만; et al, 한국과학기술원, 1987 |
| 1291 | Simulation study on message swiching centerlink Jin, Sung-Il; 진성일; et al, 한국과학기술원, 1980 |
| 1292 | Simulation-based integration testing for multiple PLCs in reactor protection system = 원자로 보호계통의 다중 PLC를 위한 시뮬레이션 기반 통합 테스팅link Eun, Hyeongseok; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| 1293 | Single-shot acquisition of cylindrical mesostructure normals using diffuse illumination = 확산 조명을 이용한 원통형 메조 구조 단일 영상 획득 연구link Hwang, Inseung; Kim, Min H.; et al, 한국과학기술원, 2020 |
| 1294 | Skyline query processing in environments incorporating preferences of multiple users = 다중 사용자들의 선호도를 고려한 통합 스카이라인 질의 처리link Cho, Jun-Young; 조준영; et al, 한국과학기술원, 2013 |
| 1295 | Smartphone interface based on image processing = 이미지 처리 기반의 스마트폰 인터페이스link Han, Jong-Won; 한종원; et al, 한국과학기술원, 2012 |
| 1296 | SMP 클러스터를 위한 소프트웨어 분산공유메모리의 구현 및 성능 측정 = Implementation and performance evaluation of software distributed shared memory for SMP clusterslink 이동현; Lee, Dong-Hyun; et al, 한국과학기술원, 2002 |
| 1297 | SMTP를 이용한 하이퍼 메일 시스템의 설계 및 구현 = Design and implementation of a hypermail system using SMTPlink 정진호; Jung, Jin-Ho; et al, 한국과학기술원, 1993 |
| 1298 | Snakes 모델을 이용한 얼굴 윤곽선 추적 시스템에 관한 연구 = A study on the face contour tracking system using snakes modellink 조용진; Cho, Yong-Jin; et al, 한국과학기술원, 1996 |
| 1299 | Snapstream: snapshot-based interaction in live streaming for visual art = 라이브 스트리밍에서의 스냅샷 기반 인터랙션link Yang, Saelyne; Kim, Juho; et al, 한국과학기술원, 2021 |
| 1300 | SOAP기반 응용프로그램 디스패쳐의 설계 및 구현 = Design and implementation of a SOAP-Based application logic dispatcherlink 김신강; Kim, Shin-Gang; et al, 한국과학기술원, 2003 |
| 1301 | Social and linguistic dynamics of global shared attention during the 2014 FIFA world cup = 2014 FIFA 월드컵에서 나타난 범세계적 공유행동의 사회와 언어적 역학관계 연구link Kim, Dongwoo; 김동우; et al, 한국과학기술원, 2015 |
| 1302 | Soft Voxelizer: a differentiable voxelizer for multi-representational 3D geometry processing = Soft Voxelizer: 다중 표현 3차원 기하 처리를 위한 미분 가능한 복셀라이저link Kim, Hyunsoo; Park, Jinah; et al, 한국과학기술원, 2021 |
| 1303 | Software cost estimation for the microprocessor-embedded systems = 마이크로프로세서 내장시스템의 소프트웨어 개발비용 추정 사례연구link Kang, Kwan-Hee; 강관희; et al, 한국과학기술원, 1986 |
| 1304 | Software cost estimation model development with consideration of characteristics in a defense domain = 국방 환경을 고려한 무기체계 내장형 소프트웨어 비용 추정 모델 개발link Kwon, Tae-Yong; 권태용; et al, 한국과학기술원, 2010 |
| 1305 | Software fault predictors for web applications = 웹 어플리케이션을 위한 소프트웨어 결함 예측 지표에 대한 연구link Le, Truong Giang; 레, 트롱 장; et al, 한국과학기술원, 2010 |
| 1306 | Software packet processing on intel many integrated core architecture = 인텔 매니코어 아키텍쳐 기반 소프트웨어 패킷 처리link Shim, Junhyun; 심준현; et al, 한국과학기술원, 2015 |
| 1307 | Software teach pendant for RHINO XR-2 robot = RHINO XR-2 로보트를 위한 소프트웨어 teach pendent 개발link Lee, Jong-In; 이종인; et al, 한국과학기술원, 1985 |
| 1308 | Software techniques to mitigate performance inconsistency by shared caches in virtualized environments = 가상화 환경에서 공유 캐시에 의한 성능 비일관성을 해결하는 방법 연구link Cha, Sang-Hoon; 차상훈; et al, 한국과학기술원, 2012 |
| 1309 | Software 신뢰도의 향상에 관한 연구 = A study on the reliability improvement of softwarelink 김동윤; Kim, Dong-Yoon; et al, 한국과학기술원, 1976 |
| 1310 | Solving sensor void problem in uncontrolled mobile sensor networks = 센서 노드의 무작위적 움직임으로 인하여 발생하는 센서 부재문제의 해결방안link Park, Susuk; 박수석; et al, 한국과학기술원, 2015 |
| 1311 | Spanning tree 의 보간 성질에 관한 연구 = A study on the interpolating property of spanning treeslink 조환규; Cho, Hwan-Gue; et al, 한국과학기술원, 1986 |
| 1312 | Spark examiner를 이용해 ANSI-C 프로그램을 분석하기 위한 변환기 구현 = Implementation of ANSI-C translator for analyzing C program using SPARK examinerlink 김진섭; Kim, Jin-Sup; et al, 한국과학기술원, 2002 |
| 1313 | Spatial operations for target space assignment in sensor network database = 센서 데이터베이스에서의 공간지정 질의언어 및 처리 기법link Park, Min-Jee; 박민지; et al, 한국과학기술원, 2014 |
| 1314 | Spatio-temporal analysis of image sequence : edge detection and optical flow estimation = 시공간 정보를 이용한 동영상 분석 : 에지 검출 및 운동 벡터 계산link Kim, Zu-Whan; 김주환; et al, 한국과학기술원, 1996 |
| 1315 | Spectral-based automatic labeling and refining of Human Cortical Sulcal Curves using Expert-Provided Examples = 전문가가 제공한 예제를 이용한 스펙트럼 기반 주요 대뇌 열구 곡선의 자동 레이블링 및 정제link Lyu, Il-Woo; 류일우; et al, 한국과학기술원, 2011 |
| 1316 | Speech segregation from music-mixed speech based on pitch prediction = 피치예측에 기반한 음성 음악 혼재 데이터로부터의 음성 분리link Kim, Han-Gyu; 김한규; et al, 한국과학기술원, 2011 |
| 1317 | SPIN++를 이용한 병렬 객체 모델의 검증 = Concurrent object model verification using SPIN++link 조웅희; Cho, Woong-Hee; et al, 한국과학기술원, 1999 |
| 1318 | SPIN으로부터 생성된 반례의 축소 및 시각화 기법 = Compaction and visualization of SPINs counterexamplelink 신모범; Shin, Mo-Bum; et al, 한국과학기술원, 2007 |
