Scholarworks@UNIST

UNIST Library

Browsing by Keyword : VERIFICATION

All A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

가 나 다 라 마 바 사 아 자 차 카 타 파 하

Sort by: In order: Results/Page Etal:

Showing results 7 to 21 of 21

Efficient and formal generalized symbolic execution File

Deng, Xianghua , Lee, Jooyong , Robby

Article Issue Date2012-09 View23

Efficient simulation time reduction in uncertainty quantification via the polynomial chaos expansion method File

Jang, Jaerim , Lee, Deokjung

Article Issue Date2024-10 View16

Enclathration of CO2 as a co-guest of structure H hydrates and its implications for CO2 capture and sequestration File

Lee, Yohan , Lee, Dongyoung , Lee, Jong-Won , Seo, Yongwon

Article Issue Date2016-02 View25

Enhanced CH4–CO2 Replacement in Structure H Hydrates: Kinetics, Mechanisms, and Implications for CO2 Storage and CH4 Production File

Mok, Junghoon , Lee, Jonghyuk , Choi, Wonjung , Lee, Yohan , Seo, Yongwon

Article Issue Date2024-05 View26

Exhaustive Test Case Generation for Nuclear Safety Software Based on the Software Logic Model File

Lee, Sang Hun , Lee, Seung Jun , Shin, Sung Min , Lee, Eun-Chan , Kang, Hyun Gook

Article Issue Date2024-05 View29

Influences of large molecular alcohols on gas hydrates and their potential role in gas storage and CO2 sequestration File

Kim, Eunae , Lee, Seungmin , Lee, Ju Dong , Seo, Yongwon

Article Issue Date2015-05 View24

Isostructural and cage-specific replacement occurring in sII hydrate with external CO2/N2 gas and its implications for natural gas production and CO2 storage File

Seo, Young-ju , Park, Seongmin , Kang, Hyery , Ahn, Yun-Ho , Lim, Dongwook , Kim, Se-Joon , Lee, Jaehyoung , Lee, Joo Yong , Ahn, Taewoong , Seo, Yongwon , et al

Article Issue Date2016-09 View30

Mechanism and kinetics of guest exchange in sII hydrate - Flue gas replacement as revealed by experimental and computational approaches for hydrocarbon recovery and CO2 sequestration File

Choi, Wonjung , Go, Woojin , Lee, Yohan , Mok, Junghoon , Seo, Yongwon

Article Issue Date2021-08 View12

Neutronic simulation of China Experimental Fast Reactor start-up tests. Part I: SARAX code deterministic calculation File

Du, Xianan , Choe, Jiwon , Tran, Tuan Quoc , Lee, Deokjung

Article Issue Date2020-02 View20

Propagation of radiation source uncertainties in spent fuel cask shielding calculations File File

Ebiwonjumi, Bamidele , Mai, Nhan Nguyen Trong , Lee, Hyun Chul , Lee, Deokjung

Article Issue Date2022-08 View24

Structure identification and dissociation enthalpy measurements of the CO2+N2 hydrates for their application to CO2 capture and storage File

Lee, Yohan , Lee, Seungmin , Lee, Jaehyoung , Seo, Yongwon

Article Issue Date2014-06 View26

Thermodynamic stability and guest distribution of CH4/N2/CO2 mixed hydrates for methane hydrate production using N2/CO2 injection File

Lim, Dongwook , Ro, Hyeyoon , Seo, Yongwon , Seo, Young-ju , Lee, Joo Yong , Kim, Se-Joon , Lee, Jaehyoung , Lee, Huen

Article Issue Date2017-03 View27

Uncertainty quanti fi cation of PWR spent fuel due to nuclear data and modeling parameters File File

Ebiwonjumi, Bamidele , Kong, Chidong , Zhang, Peng , Cherezov, Alexey , Lee, Deokjung

Article Issue Date2021-03 View24

Uncertainty quantification in decay heat calculation of spent nuclear fuel by STREAM/RAST-K File File

Jang, Jaerim , Kong, Chidong , Ebiwonjumi, Bamidele , Cherezov, Alexey , Jo, Yunki , Lee, Deokjung

Article Issue Date2021-09 View25

Validation of spent nuclear fuel decay heat calculation by a two-step method File

Jang, Jaerim , Ebiwonjumi, Bamidele , Kim, Wonkyeong , Park, Jinsu , Choe, Jiwon , Lee, Deokjung

Article Issue Date2021-01 View20

RSS 1.0 RSS 2.0

UNIST | Library

Tel : 052-217-1404 / Email : scholarworks@unist.ac.kr

ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.