212581 | Validating IGE mode of block cipher from quantum adversaries = IGE 모드를 사용한 블록암호의 양자 안전성link Kim, Sungsook; Kim, Kwangjo; et al, 한국과학기술원, 2018 |
212582 | Validating Software Reliability Early through Statistical Model Checking Kim, Young-Joo; Choi, Ok-Joo; Kim, Moon-Zoo; Baik, Jong-Moon; Kim, Tai-Hyo, IEEE SOFTWARE, v.30, no.3, pp.35 - 41, 2013-05 |
212583 | Validation and Development of a 1D Model for Electrochemical CO2 Reduction to Formic Acid LEE, JAESEO; Lee, Jay Hyung, 9th Korea International CCUS Conference, KCRC, 2019-02-22 |
212584 | Validation and Sensitivity analysis of 1-D Dynamic Model of Autothermal Diesel Reformer for SOFC-APU (Solid Oxide Fuel Cell - Auxiliary Power Unit) system 최수항; 장홍; 김대욱; 이재형; 배민석; 김동연; 오지우; et al, KIChE, 한국화학공학회, 2016-10 |
212585 | Validation Experiments and code development for passive safety systems of CP-1300 No, Hee Cheon, Proc. of the Int. Conf. on Future Nuclear Systems, GLOBAL '99, 1999 |
212586 | Validation of 1-D Code Developed to Analyze Passive Decay Heat Removal System Using Thermosyphon for Low Temperature and Low Pressure Pool-type LWR Moon, Jangsik; You, Byung-Hyun; Jung, Yong Hun; Jeong, Yong Hoon, 2014 International Congress on Advances in Nuclear Power Plants, American Nuclear Society, 2014-04-09 |
212587 | Validation of a Computer Model to Support Pyroprocessing Technology Development Jung, Young-Eun; Yim, Man-Sung, GLOBAL 2015 21st International Conference & Exhibition, Société Française d'Energie NucléaireFrench Nuclear Energy Society, 2015-09-21 |
212588 | Validation of a Neural Network Clustering Model for Affective Response to Immersive Music Kim, Sungyoung; Ko, Doyuen; Howie, Will, The 155th AES International Convention, Audio Engineering Society, 2023-10-26 |
212589 | Validation of ADM1 by using TPAD operation = TPAD 공정 모사를 통한 ADM1의 적용성 평가link Lee, Myung-Yeol; 이명렬; et al, 한국과학기술원, 2005 |
212590 | Validation of an electrorefining computer model through experiment = 실험을 통한 전해정련 전산모델의 검증link Jung, Young-Eun; 정영은; et al, 한국과학기술원, 2015 |
212591 | Validation of applicability of induction bending process to P91 piping of prototype Gen-IV sodium-cooled fast reactor (PGSFR) Na, Tae-Won; Kim, Nak-Hyun; Park, Chang-Gyu; Kim, Jong-Bum; Oh, Il-Kwon, NUCLEAR ENGINEERING AND TECHNOLOGY, v.55, no.10, pp.3571 - 3580, 2023-10 |
212592 | Validation of Code Carrier Divergence Monitor for GBAS Category II/III Operations Lee, Dong-Kyeong; Lee, Jiyun, The 7th KAIST-Kyushu University Symposium on Aerospace Engineering, KAIST, Kyushu University, 2015-12 |
212593 | Validation of DSIGMA Monitor for GBAS Category II/III Operations Hyeon, Eunjeong; Lee, Jiyun, The 7th KAIST-Kyushu University Symposium on Aerospace Engineering, KAIST, Kyushu University, 2015-12 |
212594 | Validation of dynamic hardening models at high strain rates using Taylor impact tests = 테일러 충격시험을 이용한 고 변형률속도 조건에서의 동적 경화모델 검증link Piao, Ming-Jun; 박명준; et al, 한국과학기술원, 2013 |
212595 | Validation of Dynamic Hardening Models With Taylor Impact Tests at High Strain Rates Piao, Mingjun; Park, Chung Hee; Lee, Ik Jin; Huh, Hoon, AEPA 2014, AEPA, 2014-09-02 |
212596 | Validation of factors motivating organizational CoP activities = 조직 내 CoP (community of practice) 활성화에 대한 영향요인 분석link Jeon, Su-Hwan; 전수환; et al, 한국과학기술원, 2006 |
212597 | Validation of free-vortex embedded CAA method for airfoil vortex interaction Wie, S.Y.; Cho, C. H.; Lee, Duck-Joo, Americal helicopter society, pp.397 - 403, Acoustical Society of Korea, 2005-11 |
212598 | Validation of Free-Vortex Embedded CAA Method for Airfoil Vortex Interaction 위성용; 이덕주, 한국음향학회지, v.25, no.2, pp.85 - 88, 2006 |
212599 | Validation of GAMMA-3D Using Inverse U-tube and HTTR-Simulated Air Ingress Experiments No, Hee Cheon; Lim, Hong Sik, 한국원자력학회 춘계발표회, 한국원자력학회, 2004 |
212600 | Validation of Ionospheric Spatial Decorrelation Observed During Equatorial Plasma Bubble Events Yoon, Moonseok; Kim, Dongwoo; Lee, Jiyun, IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING, v.55, no.1, pp.261 - 271, 2017-01 |