Browse by Type Conference
Showing results 89301 to 89320 of 109491
| Verification of reliability of the look-up table method using the forward model of Thomson scattering system in KSTAR Kim, Geonhee; Oh, Tae Seok; Lee, Jongha; Lee, Seung Hyun; Field, AR; Bawa'aneh, MS; Ghim, Young chul, The 17th Laser-Aided Plasma Diagnostics Symposium, Hokkaido University and National Institute for Fusion Science, 2015-09-27 |
| Verification of Seismic CPT in Centrifuge Model Test LEE, Moon Gyo; Kim, Dong Soo; Park, Heon Joon, Asiafuge 2016 - The 2nd Asian Conference on Physical Modelling in Geotechnics, Tongji University & ISSMGE, 2016-12-02 |
| Verification of Severe Accident Management Guideline (SAMG) Entry Condition for OPR1000 No, Young Gu; Seong, Poong-Hyun, NPIC-HMIT 2017, American Nuclear Society, 2017-06-13 |
| Verification of the Analytic Function Expansion Nodal (AFEN) Method in Cylindrical (r,θ,z) Geometry for Pebble Bed Reactors Cho, Nam-Zin; Lee, J.H; Lee, J.J; Kim, DS, Proceedings of the Korean Nuclear Society Autumn Meeting, 2005-10 |
| Verification of the DEVS Model Implementation using Aspect Embedded DEVS Byun, Jong Hyuk; Choi, Chang Beom; Kim, Tag-Gon, 2009 Sping Simulation MultiConference, 2009 Sping Simulation MultiConf, 2009-03 |
| Verification of the testing method to determine K0 value using shear wave velocity measurements Cho, Hyung Ik; Park, Heonjoon; Kim, Dong-Soo, The 25st KKCNN symposium on Civil Engineering, KAIST, 2012-10 |
| Verification of Transaction Level models with Simulation Accelerator Kyung, Chong-Min; Ahn, Ki-Yong; Woo, Yun-Sik; Lee, Jae-Gon, IFIP VLSI-SoC Conference, 2005 |
| Verification of Visual Characteristics of Complex Functions f_{\alpha, c} = z^\alpha + c Kim, YB; Kim, Hyoung Seok; Kim, HK; Kim, Hwang Soo; Kim, HO; Shin, Sung-Yong, Proc. Computer Graphics Int. '93, pp.345 - 357, 1993 |
| Verification of Water Equivalence of Microfluidic Calorimeter using Monte Carlo Simulation Kim, Jonghyun; Lee, Wonhee, Internal Symposium On Radiation Safety and Detection Technology, Division of Radiation Science and Engineering, Atomic Energy Society of Japan, 2017-07-12 |
| 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-based Post-processing for Improvement of Keyword Recognizer Kim, K; Kim, HoiRin, Proc. of ICSP2001, pp.519 - 522, 2001-08 |
| Verifications of visual characteristic of complex functions $f_{\alpha, c}(z)= z^{\alpha+c}$ Kim, Hong Oh, Proc. CGI'93, pp.345 - 357, 1993-07-01 |
| Verified Order-Based Transaction Scheduling Scheme for Multilevel Secure Database Management Systems Sohn, Yonglak; Moon, Songchun, International Conference on Database and Expert Systems Applications, pp.254 - 263, 2000 |
| Verified strong PL of GaP through ZnS/GaP reverse type I quantum dot Shin, Hongjoo, 2023 MRS Spring Meeting & Exhibit, Mateiral Research Society, 2023-04-12 |
| 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 |
| 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 |
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