Browse "College of Engineering(공과대학)" by Type Thesis(Master)

Showing results 12501 to 12520 of 23954

12501
Stack aided verification tool for software defined network and network function virtualization = SDN과 NFV를 위한 스택 기반 검증 방법link

Kim, Changjun; 김창준; et al, 한국과학기술원, 2015

12502
STADAS: semi-supervised traffic anomaly detection with ambiguous samples from real-world situations = 실제 상황에서의 모호한 샘플을 사용한 준 지도 학습 이상 차량 탐지link

Lim, Dongho; Kim, Daeshik; et al, 한국과학기술원, 2021

12503
Stagnation flow 를 이용한 효소 전극 내의 물질 전달 효과 = The effect of mass transfer on immobiilized enzyme electrode in stagnation flowlink

주대권; Joo, Dae-Kwon; et al, 한국과학기술원, 1981

12504
Stainless Fe-Cr-Ni-W maraging 강에서 W 함량과 열처리가 미세조직 및 기계적 성질에 미치는 영향 = The effects of W-contents and heat treatments on microstructure and mechanical properties in stainless Fe-Cr-Ni-W maraging steelslink

석진익; Suk, Jin-Ik; et al, 한국과학기술원, 1989

12505
Stand-alone wearable hybrid vision system for real-time terrain classification with enhanced light robustness = 조명에 강건한 실시간 지형 분류를 위한 독립형 웨어러블 하이브리드 비전 시스템link

Jeon, Sangha, 한국과학기술원, 2024

12506
Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발 = A tool for showing inferenced types of standard ML expressionslink

편기현; Pyun, Ki-Hyun; et al, 한국과학기술원, 1997

12507
Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법 = Estimating uncaught exceptions in standard ML programs from type-based equationslink

류석영; Ryu, Suk-Young; et al, 한국과학기술원, 1996

12508
Standardized max logits : a simple yet effective approach for identifying unexpected road obstacles in urban-scene segmentation = 도로 주행 중 이상 물체 탐지를 위한 간단하고 효과적인 방법론에 관한 연구link

Jung, Sanghun; Choo, Jaegul; et al, 한국과학기술원, 2022

12509
Starting jet formation through eversion of elastic sheets = 뒤집히는 구조체를 이용한 스타팅 제트 형성link

Jung, Cheolgyun; Kim, Daegyoum; et al, 한국과학기술원, 2020

12510
State graph modeling and simulation framework for urban traffic systems = State Graph 기반의 도시 교통 시스템 모델링 및 시뮬레이션 프레임워크 제안link

Myong, Mi-Ra; 명미라; et al, 한국과학기술원, 2014

12511
State retention architecture exploration for power gating = 파워 게이팅을 위한 데이터 저장 구조 탐색link

Kim, Jong-Ho; 김종호; et al, 한국과학기술원, 2008

12512
State transition modeling and syntactic validation of a connection establishment protocol = 접속 형성 프로토콜의 상태 천이 모형화 및 구문법적 검증에 관한 연구link

Jeong, Man-Sang; 정만상; et al, 한국과학기술원, 1984

12513
State-checking push-pull interface generation for rapid prototyping = 빠른 원형 제작을 위한 상태 검사 푸시-풀 인터페이스 생성link

Son, Choon-Ho; 손춘호; et al, 한국과학기술원, 2006

12514
Statecharts 명세의 역방향 안전성 분석 = Backward safety analysis for statecharts specificationslink

장준보; Jang, Joon-Bo; et al, 한국과학기술원, 1999

12515
Stateful black box uplink testing for 5G StandAlone network = 5G StandAlone 네트워크를 대상으로한 다양한 상태 기반 블랙박스 테스팅link

Hwang, Yeongbin; Kim, Yongdae; et al, 한국과학기술원, 2023

12516
Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link

Sun, Kwangwon; 선광원; et al, 한국과학기술원, 2016

12517
Static and Dynamic Contributions to the Dispersion Correlation between Alkali Metals = 알칼리 금속 간 분산 상호 작용의 정적 및 동적 상관 효과의 기여에 대한 연구link

Kim, Minho; 김민호; et al, 한국과학기술원, 2015

12518
Static and fatigue failure of embedded optical fiber in smart structure = 지능형 구조물에 삽입된 광섬유의 정적 및 피로 파괴link

Kim, Ho; 김호; et al, 한국과학기술원, 1996

12519
Static chaos microfluid mixers using microblock-induced alternating whirling and microchannel-induced lamination = 미소블록에 의한 교차적인 회전유동과 미소유로에 의한 유동박층화를 이용한 정적 혼돈 미소유체 혼합기에 관한 연구link

Chang, Sung-Hwan; 장성환; et al, 한국과학기술원, 2003

12520
Static energy minimization of 3D-stacked L2 cache with selective cache compression = 선택적 압축을 통한 3차원 적층 L2 캐쉬의 누수 전력 최소화link

Park, Jong-Bum; 박종범; et al, 한국과학기술원, 2013

rss_1.0 rss_2.0 atom_1.0