| 1405 | U-Net-based viscosity solver for incompressible newtonian fluids = 비압축성 뉴턴 유체를 위한 U-Net 기반의 점성 해석link Park, Wonjung; Park, Jinah; et al, 한국과학기술원, 2022 |
| 1406 | UART의 에뮬레이션과 가상화 플랫폼의 연동을 통한 실행시간 예측 = Estimation of execution time through UART emulation and virtualization platform interworkinglink 노정민; 신인식; et al, 한국과학기술원, 2019 |
| 1407 | UI based cross-device screen distribution = 유저 인터페이스 기반 다중기기 화면 분산 기술link Lee, Sun Jae; Shin, Insik; et al, 한국과학기술원, 2021 |
| 1408 | UI distribution technology based on ai and accessibility service for multi-device interaction = 다중기기 상호작용을 위한 AI와 접근성 서비스 기반 UI 분산 기술link Song, Daye; 송다예; et al, 한국과학기술원, 2024 |
| 1409 | UML specification-based integration testing of software components = UML 명세에 기반한 소프트웨어 컴포넌트의 통합 테스팅 기법link Kim, Jun-San; 김준산; et al, 한국과학기술원, 2003 |
| 1410 | Unbalanced GANs: pre-training the generator of generative adversarial network using variational autoencoder = Unbalanced GANs: 베이지안 오토인코더를 이용한 적대적 생성 신경망 사전 학습 방법론link Ham, Hyungrok; Kim, Daeyoung; et al, 한국과학기술원, 2021 |
| 1411 | Uncertainty based fault type identification for fault knowledge base generation in system of systems = 시스템 오브 시스템즈의 불확실성 기반 결함 타입 분석을 통한 결함 지식 베이스 생성link Shin, Seungchyul; Bae, Doo-Hwan; et al, 한국과학기술원, 2021 |
| 1412 | Uncertainty calibration in deep learning = 딥러닝의 불확실성 보정에 관한 연구link Willette, Jeffrey Ryan; Hwang, Sung Ju; et al, 한국과학기술원, 2021 |
| 1413 | Understanding multilingualism in Switzerland using text mining algorithms = 텍스트 마이닝 알고리즘을 이용한 다중 언어 사회 스위스에 대한 이해link Kim, Jae-Won; 김재원; et al, 한국과학기술원, 2014 |
| 1414 | Understanding the effect of in-video prompting on learners and instructors = 비디오 내 프롬프팅이 학습자와 교수자에게 미치는 영향link Shin, Hyungyu; Kim, Juho; et al, 한국과학기술원, 2019 |
| 1415 | Understanding the use of emojis in hate speech : a case study of its detection and restoration on Twitch.tv = 혐오 표현에서 이모지 사용에 대한 이해 : Twitch.tv에서 탐지 및 복원 사례를 중심으로link Kim, Jaeheon; Cha, Meeyoung; et al, 한국과학기술원, 2020 |
| 1416 | UNIX Shell을 이용한 수행가능한 소프트웨어 명세 기법 = Executable software specification using UNIX shelllink 이성희; Lee, Sung-Hee; et al, 한국과학기술원, 1988 |
| 1417 | Unix 환경에서 ISO 모델에 근거한 basic class virtual terminal 프로토콜 = Basic class vritual terminal protocol based on ISO model in unix environmentlink 최선완; Choi, Sun-Wan; et al, 한국과학기술원, 1986 |
| 1418 | Unsupervised domain adaptation in neural machine translation = 기계 번역 모델에서의 비지도 학습 방법link Lee, Changmin; Oh, Alice; et al, 한국과학기술원, 2021 |
| 1419 | Unsupervised joint learning of shape and correspondence for non-rigid point cloud registration = 비정형 점군 정합을 위한 비지도 공동 학습link Min, Taewon; 민태원; et al, 한국과학기술원, 2024 |
| 1420 | Unsupervised modeling of sentiments and emotions in online social network conversations = 자율적 기계학습 모델을 기반으로 한 온라인 소셜 미디어 대화에서의 감정 분석link Kim, Su-In; 김수인; et al, 한국과학기술원, 2012 |
| 1421 | Use of deep learning for characterization of microfluidic soft sensors = 딥러닝을 활용한 마이크로플루이딕 소프트 센서의 특성 분석link Han, Seunghyun; Jo, Sungho; et al, 한국과학기술원, 2018 |
| 1422 | User controlled lightpath 를 기반으로 global environment for network innovations 의 프로토타입 제작 = Prototyping of global environment for network innovations based on user controlled lightpathlink 유영재; Yu, Yeong-Jae; et al, 한국과학기술원, 2008 |
| 1423 | User datagram protocol 의 개발과 응용 = Development and application of user datagram protocollink 하종성; Ha, Jong-Sung; et al, 한국과학기술원, 1986 |
| 1424 | Using concolic testing to generate test cases for software product line = 콘콜릭 테스팅을 사용한 소프트웨어 제품 라인을 위한 테스트케이스 생성 방법link Jin-Sol Kim; Sungwon Kang; et al, 한국과학기술원, 2021 |
| 1425 | Using model checking to generate data-flow oriented test case from statecharts = 모델 체킹을 이용한 Statecharts로부터의 자료 흐름 지향 테스트 케이스 생성 방법link Yoo, Jee-Eun; 유지은; Kwon, Yong-Rae; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
| 1426 | Using source code metrics to improve fault localization = 소스코드 메트릭 사용을 통한 결함 위치추정 성능 향상link Sohn, Jeongju; Yoo, Shin; et al, 한국과학기술원, 2017 |
| 1427 | Using syntactic structure to extract prominent gene regulatory network from the literature = 문서 내에서 사실로 상정된 유전자 조절 네트워크의 추출을 위한 문법 구조의 활용link Yang, Won Suk; Park, Jong Cheol; et al, 한국과학기술원, 2017 |
| 1428 | Using weighted ranking with classification for facial age estimation = 가중 랭킹과 분류 방법을 활용한 얼굴 나이 인식 방법link Im, Woobin; Yang, Hyun Seung; et al, 한국과학기술원, 2018 |
| 1429 | Utilizing a transformer for link prediction = 링크 예측을 위한 트랜스포머 활용link Jeon, Seolhee; Kim, Myoung Ho; et al, 한국과학기술원, 2023 |
| 1430 | Utilizing local sentiment information in sentiment topic detection for online news documents = 문서 내 감성 표현을 활용한 감성 주제 탐지link Shin, Wook-Hyun; 신욱현; et al, 한국과학기술원, 2010 |
| 1431 | Utilizing textual information for reinforcement learning = 강화학습을 위한 텍스트 부가정보 활용에 대한 연구link Kim, Shinhyung; Kim, Kee-Eung; et al, 한국과학기술원, 2020 |
| 1432 | V-경비 충분 다각형의 결정 알고리즘 = Decision algorithms for V-guard sufficient polygonslink 조병철; Jo, Byung-Cheol; et al, 한국과학기술원, 2002 |
| 1433 | VA 파일 성능의 분석과 향상 = Analysis and improvement of the VA-file performancelink 최승락; Choi, Seung-Lak; et al, 한국과학기술원, 1999 |
| 1434 | Validating IGE mode of block cipher from quantum adversaries = IGE 모드를 사용한 블록암호의 양자 안전성link Kim, Sungsook; Kim, Kwangjo; et al, 한국과학기술원, 2018 |
| 1435 | Variational interaction information maximization for cross-domain disentanglement = 도메인 간 은닉 공간 분리를 위한 변형 상호 작용 정보 최대화link Hwang, Hyeongjoo; Kim, Kee-Eung; et al, 한국과학기술원, 2020 |
| 1436 | VAX/VMS 의 성능 평가를 위한 queueing network 모형 = Queueing network model for the performance evaluation of VAX/VMSlink 최동훈; Choe, Dong-Whoon; et al, 한국과학기술원, 1983 |
| 1437 | vBPF : safely extending eBPF to enhance programmability and flexibility = vBPF: eBPF의 확장과 편의성을 위한 안전한 방법의 개발link Ahn, Junho; Kwon, Youngjin; et al, 한국과학기술원, 2023 |
| 1438 | VBR을 고려한 비디오 서버의 최적 자원 구성 = Optimal resource configuration of video servers considering VBRlink 조대현; Cho, Dae-Hyun; et al, 한국과학기술원, 2000 |
| 1439 | Verification of function block diagram through verilog translation = Verilog 변환을 이용한 FBD의 정형검증link Jeon, Seung-Jae; 전승재; et al, 한국과학기술원, 2007 |
| 1440 | Verified real computation = 검증된 실수 연산link Park, Se Won; Ziegler, Martin; et al, 한국과학기술원, 2017 |
| 1441 | Verifying well-definedness of variational objectives for probabilistic programs = 확률적 프로그램의 잘 정의된 변분 목적 함수 검증link Yu, Hangyeol; Yang, Hongseok; et al, 한국과학기술원, 2020 |
| 1442 | VIA 상의 커널 수준 소켓 계층 설계와 구현 = Design and implementation of a kernel-level sockets layer over virtual interface architecturelink 장재완; Jang, Jae-Wan; et al, 한국과학기술원, 2004 |
| 1443 | VICODE : 검증도구가 일체화된 동시설계환경 = VICODE : verification integrated co-design environmentlink 김건우; Kim, Gun-Woo; et al, 한국과학기술원, 2007 |
| 1444 | Video matting using multi-frame nonlocal matting laplacian = 다장면 비국부 매팅 라플라시안을 이용한 영상 매팅link Choi, In-Chang; 최인창; et al, 한국과학기술원, 2012 |
| 1445 | Video object detection and segmentation = 비디오 물체 탐지와 세그먼테이션link Bruno, Andries; Hwang, Sung Ju; et al, 한국과학기술원, 2020 |
| 1446 | Video-guided facial animation = 비디오 기반 얼굴 애니메이션link Yoo, Sang-Wook; 유상욱; et al, 한국과학기술원, 2008 |
| 1447 | Video-on-demand server retrieval scheduling to support scan operations = VOD 서버에서 고속의 화면 검색 기능을 지원하기 위한 리트리벌 스케쥴링 기법link Hyun, Jong-Woong; 현종웅; et al, 한국과학기술원, 1998 |
| 1448 | View-dependent scene appearance synthesis using inverse rendering from light fields = 라이트필드를 이용한 인버스 렌더링 기반 시점 의존적 외관 합성link Kang, Dahyun; Kim, Min H.; et al, 한국과학기술원, 2021 |
| 1449 | Viewpoint selection of treelike structures = 트리 구조의 뷰 포인트 선택 방법link Jang, Jaehyun; Park, Jinah; et al, 한국과학기술원, 2016 |
| 1450 | Virtual grasping of a whole hand model and adaptive force feedback method using a haptic device = 햅틱 인터페이스 기반 완전한 가상 손 모델의 그립 생성 및 적응적 힘 피드백 기법link An, Youngjin; Park, Jinah; et al, 한국과학기술원, 2019 |
| 1451 | Virtual machine scheduling for fast interrupt processing = 즉각적인 인터럽트 처리를 위한 하이퍼바이저 스케줄러 연구link Kim, Kun-Ho; 김건호; et al, 한국과학기술원, 2014 |
| 1452 | Virtualized security appliance based rootkit detection algorithm in cloud computing = 클라우드 컴퓨팅 환경에서의 VSA 기반 루트킷 탐지 시스템 연구link Hwang, Tong Wook; 황동욱; et al, 한국과학기술원, 2015 |
| 1453 | Visualization of the sparsely scattered data on the surface of the sphere = 구면상에서 희소하게 산재한 자료의 가시화link An, Seong-Jun; 안성준; et al, 한국과학기술원, 1991 |
| 1454 | VLSH: voronoi-based locality sensitive hashing = VLSH: 보로노이 기반 국지성 민감 해싱link Tieu Lin L Loi; Loi; et al, 한국과학기술원, 2013 |
| 1455 | VM escape 공격을 완화시키는 침입감내시스템 설계 = Intrusion tolerant system for mitigating VM escape attackslink 권현; Kwon, Hyun; et al, 한국과학기술원, 2015 |
| 1456 | Vocabgram : facilitating the development of productive vocabulary using videos = Vocabgram : 비디오를 통한 표현 어휘 학습link Jo, Kyung Je; Kim, Juho; et al, 한국과학기술원, 2020 |
| 1457 | Voronoi diagrams with transportation on the euclidean plane = 트랜스포테이션 모델에서의 보로노이 다이어그램link Bae, Sang-Won; 배상원; et al, 한국과학기술원, 2004 |
| 1458 | Voronol digram 과 euclidean minimum spanning tree 를 구하기 위한 on-line algorithm = On-line algorithms for voronol diagram and euclidean minimum spanning treelink 허성우; Hur, Sung-Woo; et al, 한국과학기술원, 1983 |
| 1459 | VSELP 부호화의 연산량 감소법에 관한 연구 = Complexity reduction methods for vector sum excited linear predictive codinglink 김승주; Kim, Sung-Joo; et al, 한국과학기술원, 1994 |
| 1460 | WADN : 웹 어플리케이션 전송 기법을 이용한 어플리케이션 서버의 동적 확장 방법 = WADN : a method for extending application servers dynamically using a Web application delivery mechanismlink 임민열; Lim, Min-Yeol; et al, 한국과학기술원, 2002 |
| 1461 | Walking trajectory planning for virtual humans = 가상인물의 보행을 위한 경로 계획link Choi, Min-Gyu; 최민규; et al, 한국과학기술원, 1998 |
| 1462 | Water-related disaster assessment using computer vision and satellite imagery = 위성영상과 딥러닝을 활용한 건물 피해 탐지 연구link Kim, Danu; Cha, Meeyoung; et al, 한국과학기술원, 2023 |
| 1463 | Wavelet-based progressive fast recompression technique for 3D large mesh data = 웨이블릿 기반 3차원 거대 그물망 데이터의 점진적 고속 재압축 기술link Kim, Yeonghun; Choi, Sunghee; et al, 한국과학기술원, 2020 |
| 1464 | Weakest precondition 분석을 이용한 다중 버전 소프트웨어에서의 공통 모드 고장 검출 = Detection of common mode failures in N-version software using weakest precondition analysislink 윤광식; Yoon, Gwang-Sik; et al, 한국과학기술원, 1997 |
