Browse by Title
Showing results 210001 to 210020 of 275594
| 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 |
| 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 |
| “Vernacular Sound”: System for Soundscaping of Everyday Objects 오주영; Wohn, Kwang-Yun; 이유진; 이주영, International Symposium on Electronic Art, ISEA, 2016-05-20 |
| Verproside inhibits TNF-alpha-induced MUC5AC expression through suppression of the TNF-alpha/NF-kappa B pathway in human airway epithelial cells Lee, Su Ui; Sung, Min Hee; Ryu, Hyung Won; Lee, Jinhyuk; Kim, Hui-Seong; In, Hyun Ju; Ahn, Kyung-Seop; et al, CYTOKINE, v.77, pp.168 - 175, 2016-01 |
Discover
Type
Open Access
Date issued
- 30,907 2020 - 2024
- 100,009 2010 - 2019
- 75,681 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969