Browse by Type Article
Showing results 87041 to 87060 of 100460
Verification and Validation of the Performance of WSN Yoo, Seong-eun; Chong, Poh Kit; Kim, Seong Hoon; Pham, Minh-Long, INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2015 |
| Verification of Ge-on-insulator structure for a mid-infrared photonics platform Kim, SangHyeon; Han, Jae-Hoon; Shim, Jae-Phil; Kim, Hyung-Jun; Choi, Won Jun, OPTICAL MATERIALS EXPRESS, v.8, no.2, pp.440 - 451, 2018-02 |
| Verification of Interface State Properties of a-InGaZnO Thin-Film Transistors With Sin(x) and SiO2 Gate Dielectrics by Low-Frequency Noise Measurements Choi, Hyun-Sik; Jeon, Sanghun; Kim, Hojung; Shin, Jaikwang; Kim, Changjung; Chung, U-In, IEEE ELECTRON DEVICE LETTERS, v.32, no.8, pp.1083 - 1085, 2011-08 |
| Verification of Logic Gate Interconnection J.C.Jung; Kyung, Chong-Min, 전기학회논문지, v.24, no.2, pp.338 - 346, 1987-03 |
| Verification of Navigation System of Guided Munition by Flight Experiment 김영주; 임승한; 방효충; 김재호; 박장호, 한국항공우주학회지, v.44, no.11, pp.965 - 972, 2016-11 |
| VERIFICATION OF NC TOOL PATH AND MANUAL AND AUTOMATIC EDITING OF NC CODE KIM, CB; PARK, S; Yang, Min-Yang, INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, v.33, no.3, pp.659 - 673, 1995-03 |
| VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS Yoo, Junbeom; Cha, Sungdeok; Jee, Eunk Young, NUCLEAR ENGINEERING AND TECHNOLOGY, v.41, no.1, pp.79 - 90, 2009-02 |
| Verification of Radiative Transfer Schemes for the EHT Gold, Roman; Broderick, Avery E.; Younsi, Ziri; Fromm, Christian M.; Gammie, Charles F.; Moscibrodzka, Monika; Pu, Hung-Yi; et al, ASTROPHYSICAL JOURNAL, v.897, no.2, 2020-07 |
| Verification of Roll Angle Estimation Performance of Slowly Rolling Guided Munition by Flight Experiment Park, Junwoo; Jung, Wooyoung; Bang, Hyochoong; Kim, Jin-Won; Heo, Junhoe; Pak, Chang-Ho; Seo, Songwon, JOURNAL OF THE KOREAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES, v.48, no.9, pp.681 - 689, 2020-09 |
| Verification of SAMG entry condition for APR1400 Yun, Junghyun; Kim, Taewan; Kim, Jonghyun, ANNALS OF NUCLEAR ENERGY, v.75, pp.404 - 412, 2015-01 |
| Verification of the Peak Time Approach for Detection of Step Initiation using the UTRCEXO Cha, Dowan; Seo, Hyungtae; Oh, Sung Nam; Cho, Jungsan; Kim, Kab Il; Kim, Kyung-Soo; Kim, Soohyun, INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, v.12, no.5, pp.1070 - 1076, 2014-10 |
| Verification of the prediction of deformation-induced anisotropy for simple deformation modes: uniaxial state and pure shear state of stress Lee, CH; Yang, Dong-Yol; Lee, YS, MATERIALS SCIENCE AND ENGINEERING A-STRUCTURAL MATERIALS PROPERTIES MICROSTRUCTURE AND PROCESSING, v.339, no.1-2, pp.302 - 311, 2003-01 |
| 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 that Snuppy is a clone Lee, JB; Park, Chankyu; Seoul Natl Univ Invest Comm, NATURE, v.440, no.7081, pp.E2 - E3, 2006-03 |
| 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 |
| Verified order-based secure concurrency controller in multilevel secure database management systems Sohn, Yonglak; Moon, Songchun, IEICE transactions on information and systems , Vol. 83, No. 5, 2000, pp. 1128-1141(14), 2000 |
| Verified order-based secure concurrency controller in multilevel secure database management systems Sohn, Yonglak; Moon, Songchun, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E83D, no.5, pp.1128 - 1141, 2000-05 |
| 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, 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 |
Discover
Type
Open Access
Date issued
- 31,524 2020 - 2024
- 99,997 2010 - 2019
- 75,670 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969