Browse by Title
Showing results 209961 to 209980 of 275509
| 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 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 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 |
| 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 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 |
| 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 real computation = 검증된 실수 연산link Park, Se Won; Ziegler, Martin; et al, 한국과학기술원, 2017 |
| 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 |
| 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 |
Discover
Type
Open Access
Date issued
- 30,880 2020 - 2024
- 99,973 2010 - 2019
- 75,674 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969