Browse by Title 

Showing results 210001 to 210020 of 275604

210001
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

210002
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

210003
Verification of the spatial design adequacy for the prospective occupants’ amenity and efficiency needs = 잠재적 거주자의 쾌적성 및 편리성 니즈 충족을 위한 공간디자인 적합성 검증link

Lee, Sang Won; 이상원; et al, 한국과학기술원, 2016

210004
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

210005
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

210006
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

210007
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

210008
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

210009
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

210010
Verification with Instruction Based Synthesizable Testbench

Park, Sin Chong, ITC-CSCC 2005, pp.1391 - 1392, 2005-07-01

210011
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

210012
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

210013
Verification-based Post-processing for Improvement of Keyword Recognizer

Kim, K; Kim, HoiRin, Proc. of ICSP2001, pp.519 - 522, 2001-08

210014
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

210015
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

210016
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

210017
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

210018
Verified real computation = 검증된 실수 연산link

Park, Se Won; Ziegler, Martin; et al, 한국과학기술원, 2017

210019
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

210020
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

rss_1.0 rss_2.0 atom_1.0