I agree that this site is using cookies. You can find further informations here.
X
Chun, Inwhan
16  results:
Search for persons X
?
1

SMT-Based Translation Validation for Machine Learning Compi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Bang, Seongwon ; Nam, Seunghyeon ; Chun, Inwhan.. - p. 386-407 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Supplementary Material: SMT-based Translation Validation fo..:

Seongwon Bang ; Seunghyeon Nam ; Inwhan Chun..
doi:10.5281/zenodo.6615675.  , 2022
Link: https://zenodo.org/recor..
 
?
3

SMT-based Translation Validation for Machine Learning Compi..:

Seongwon Bang ; Seunghyeon Nam ; Inwhan Chun..
doi:10.5281/zenodo.6524501.  , 2022
Link: https://zenodo.org/recor..
 
?
4

SMT-based Translation Validation for Machine Learning Compi..:

Seongwon Bang ; Seunghyeon Nam ; Inwhan Chun..
doi:10.5281/zenodo.6524501.  , 2022
Link: https://zenodo.org/recor..
 
?
5

Visualizing Orbital Content of Electronic Bands in Anisotro..:

Choi, Byoung Ki ; Ulstrup, Søren ; Gunasekera, Surani M....
ACS Nano.  14 (2020)  7 - p. 7880-7891 , 2020
Link: https://doi.org/10.1021/..
 
?
6

Left atrial enlargement and its association with left atria..:

Park, Jae-Hyeong ; Kim, Kye Hun ; Rink, Lawrence...
European Heart Journal - Cardiovascular Imaging.  21 (2020)  8 - p. 865-872 , 2020
Link: https://doi.org/10.1093/..
 
?
7

The Prognostic Implication of Metabolic Syndrome in Patient..:

Yoon, Hyun Ju ; Ahn, Youngkeun ; Kim, Kye Hun...
Korean Circulation Journal.  43 (2013)  2 - p. 87 , 2013
Link: https://doi.org/10.4070/..
 
?
8

Comparison of Triple Antiplatelet Therapy and Dual Antiplat..:

Lee, Seung-Whan ; Chun, Kook-Jin ; Park, Seong-Wook...
The American Journal of Cardiology.  105 (2010)  2 - p. 168-173 , 2010
Link: https://doi.org/10.1016/..
 
?
9

Incidence and predictors of drug-eluting stent fractures in..:

Kim, Hyun-Sook ; Kim, Young-Hak ; Lee, Seung-Whan...
International Journal of Cardiology.  133 (2009)  3 - p. 354-358 , 2009
Link: https://doi.org/10.1016/..
 
?
10

AS-42: A Randomized Comparison of Triple Antiplatelet Thera..:

Lee, Seung-Whan ; Park, Seong-Wook ; Kim, Young-Hak...
The American Journal of Cardiology.  103 (2009)  9 - p. 20B , 2009
Link: https://doi.org/10.1016/..
 
?
11

Comparison of Triple Versus Dual Antiplatelet Therapy After..:

Lee, Seung-Whan ; Park, Seong-Wook ; Kim, Young-Hak...
The American Journal of Cardiology.  100 (2007)  7 - p. 1103-1108 , 2007
Link: https://doi.org/10.1016/..
 
?
12

First-Principles Study of the Step Oxidation at Vicinal Si(..:

Yu, Byung Deok ; Park, Kyoungwan ; Kim, Hanchul...
Japanese Journal of Applied Physics.  45 (2006)  3S - p. 2144 , 2006
Link: https://doi.org/10.1143/..
 
?
13

Trapping-Mediated Chemisorption of Ethylene onSi(001)−c(4×2:

Chung, Chun-Hyung ; Jung, Woo-Jin ; Lyo, In-Whan
Physical Review Letters.  97 (2006)  11 - p. , 2006
Link: https://doi.org/10.1103/..
 
?
14

Visualizing Orbital Content of Electronic Bands in Anisotro..:

Choi, Byoung Ki ; Ulstrup, Søren ; Gunasekera, Surani M...
qt29t0t9mw.  , 2020
Link: https://escholarship.org..
 
?
15

Visualizing Orbital Content of Electronic Bands in Anisotro..:

Choi, Byoung Ki ; Ulstrup, Søren ; Gunasekera, Surani M...
Choi , B K , Ulstrup , S , Gunasekera , S M , Kim , J , Lim , S Y , Moreschini , L , Oh , J S , Chun , S , Jozwiak , C , Bostwick , A , Rotenberg , E , Cheong , H , Lyo , I , Mucha-Kruczynski , M & Chang , Y J 2020 , ' Visualizing Orbital Content of Electronic Bands in Anisotropic 2D Semiconducting ReSe2 ' , ACS Nano , vol. 14 , no. 7 , pp. 7880-7891 . https://doi.org/10.1021/acsnano.0c01054.  , 2020
Link: https://researchportal.b..
 
1-15