Browse "College of Engineering(공과대학)" by Type Conference
Showing results 72981 to 73000 of 90910
| Verification of New Seismic Site Characterization System in Korean Historical Areas Kim, Dong-Soo; Park, Heon-Joon; Lee, Sei-Hyun, 3rd International Conference on New Developments in Soil Mechanics and Geotechnical Engineering, 2012-06 |
| Verification of numerical liquefaction model using dynamic centrifuge test Lee, Jinsun; Kim, Seongnam; Ha, Jeonggon; Lee, Moongyo; Kim, Dong-Soo, 7th International Conference on Computational Methods in Structural Dynamics and Earthquake Engineering, COMPDYN 2019, pp.4226 - 4232, National Technical University of Athens, 2019-06 |
| Verification of Picosecond Sampling for Electromagnetic Transient Scattering Experiment in Terahertz Spectrum Region Kim, Joungho; Lee, H.; Ryu, J.; Kim, W., 7th IEEE International Conference on Terahertz Electronics, pp.272 - 275, 1999 |
| 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 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 |
| 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 |
| 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 |
Discover
Open Access
Date issued
- 22,777 2020 - 2024
- 75,403 2010 - 2019
- 57,262 2000 - 2009
- 30,842 1990 - 1999
- 9,025 1980 - 1989