Showing results 152161 to 152180 of 202994
Verification study for a surface wave method based on harmonic wavelet analysis waves using a large-scale model testing site Kim, Dong-Soo; Kim, Jong-Tae; Park, HeonJoon; Bang, Eun Seok; Park, Hyung-Choon, JOURNAL OF APPLIED GEOPHYSICS, v.113, pp.74 - 85, 2015-02 |
Verification with Instruction Based Synthesizable Testbench Park, Sin Chong, ITC-CSCC 2005, pp.1391 - 1392, 2005-07-01 |
Verification, Validation, Accreditation (VV&A) of Modeling and Simulation Using Military and Defense Characteristics Jang, Young Jae; Jeong, Seung Min; Kim, Junghoon; HWANG, ILLHOE; Cho, Hyunju; Kim, Daeyoung; Sung, Shin Woong, Asia Pacific Industrial Engineering & Management Systems Conference, Asia Pacific Industrial Engineering and Management Society, 2013-12-06 |
Verification, validation, and accreditation (VV&A) considering military and defense characteristics Kim, Junghoon; Jeong, Seung Min; Oh, Sunkyung; Jang, Young Jae, INDUSTRIAL ENGINEERING AND MANAGEMENT SYSTEMS, v.14, no.1, pp.88 - 93, 2015-03 |
Verification-based Post-processing for Improvement of Keyword Recognizer Kim, K; Kim, HoiRin, Proc. of ICSP2001, pp.519 - 522, 2001-08 |
Verified real computation = 검증된 실수 연산link Park, Se Won; Ziegler, Martin; et al, 한국과학기술원, 2017 |
Verifying a Software Architecture Reconstruction Framework with a Case Study Lee, Seonah; Kang, Sungwon, 2006 International Conference on Software Engineering and Knowledge Engineering (SEKE'2006), pp.0, SEKE'2006, 2011-08-10 |
Verifying Communication Network Functionality through Protocol Testing Kang, Sungwon, International Conference on Software in Telecommunications and Computer Networks (SoftCOM'98), pp.0 - 0, 1998-10-01 |
Verifying entanglement with minimal measurements Bae, Joonwoo, 43rd International Conference on Quantum Probability, and Infinite Dimensional Analysis (QP-43), NRF of Korea, Research Institute for Natural Sciences, 2023-01-09 |
Verifying Safety of File-like Resources by Resource Allocation Matrix Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01 |
Verifying well-definedness of variational objectives for probabilistic programs = 확률적 프로그램의 잘 정의된 변분 목적 함수 검증link Yu, Hangyeol; Yang, Hongseok; et al, 한국과학기술원, 2020 |
Verikube: Automatic and Efficient Verification for Container Network Policies Kang, Haney; Shin, Seungwon, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E105D, no.12, pp.2131 - 2134, 2022-12 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonzoo; Lee, Insup; Obradovic, Davor, International Symposium on Software Testing and Analysis, pp.2 - 13, ACM, 2000-08-01 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18 |
Verisim: Formal analysis of network simulations Bhargavan, K; Gunter, CA; Kim, Moonzoo; Lee, I; Obradovic, D; Sokolsky, O; Viswanathan, M, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.28, no.2, pp.129 - 145, 2002-02 |
Versatile Applications of a Geotechnical Information System for Estimating Site Effects at Gyeongju in Korea SUN, Chang-Guk; CHUNG, Choong-Ki; Kim, Dong-Soo; LEE, Sun-Jae, International Conference on Earthquake Geotechnical Engineering, 2007-06 |
Versatile Approach for Modulating Electron-withdrawing/donating Properties of Atomically Dispersed Fe-N-C Catalyst via Sulfur Doping for Oxygen Reduction Reaction 장예주; 이진우, 한국전기화학회 2022년도 추계총회 및 학술발표회, 한국전기화학회, 2022-11-04 |
Versatile Approaches of Holographically Featured Layer-Controllable FCC Nanostructure for Highly Sensitive SERS Applications Jeon, Hwan Chul; Heo, Chul-Joon; Lee, Su Yeon; Park, Sung-Gyu; Yang, Seung-Man, 한국화학공학회 추계학술발표회, 한국화학공학회, 2013-10-25 |
Versatile Carbon Hybrid Films Composed of Vertical Carbon Nanotubes Grown on Mechanically Compliant Graphene Films Lee, Duck Hyun; Kim, Ji Eun; Han, Tae Hee; Hwang, Jae Won; Jeon, Seokwoo; Choi, Sung-Yool; Hong, Soon Hyung; et al, ADVANCED MATERIALS, v.22, no.11, pp.1247 - 1252, 2010-03 |
Versatile High-Fidelity Photovoltaic Module Emulation System Woojoo Lee; Younghyun Kim; Yanzhi Wang; Massoud Pedram; Soohee Han; Chang, Naehyuck, Low Power Electronics and Design (ISLPED) 2011 International Symposium, IEEE, 2011-08-01 |
Discover