E-LIB Suche - Ergebnisse für: Park, Seung Hoon

1

A Formal CHERI-C Semantics for Verification:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Park, Seung Hoon ; Pai, Rekha ; Melham, Tom - p. 549-568 , 2023

Link: https://doi.org/10.1007/..

2

An Assessment of Contract Management Capabilities for Overs..:

Park, Seung Hoon ; Kim, Yea Sang
KSCE Journal of Civil Engineering. 22 (2017) 7 - p. 2147-2158 , 2017

Link: https://doi.org/10.1007/..

3

Cryptogenic pyogenic liver abscess as the herald of colon c..:

Jeong, Soung Won ; Jang, Jae Young ; Lee, Tae Hee...
Journal of Gastroenterology and Hepatology. 27 (2012) 2 - p. 248-255 , 2012

Link: https://doi.org/10.1111/..

4

Sa1662 Clinical Association Between Microsatellite Instabil..:

Cho, Won Young ; Cho, Joo Young ; Park, Seung Hoon...
Gastrointestinal Endoscopy. 73 (2011) 4 - p. AB238 , 2011

Link: https://doi.org/10.1016/..

5

HBV DNA Loss within 24 Weeks Predicts Late Viral Breakthrou..:

Jeon, Seong Ran ; Jang, Jae Young ; Jeong, Soung Won...
The Korean Journal of Gastroenterology. 58 (2011) 1 - p. 25 , 2011

Link: https://doi.org/10.4166/..

6

Sa1664 Clinical Implication of p53, c-erbB-2 and EGFR in Ea..:

Cho, Won Young ; Cho, Joo Young ; Park, Seung Hoon...
Gastrointestinal Endoscopy. 73 (2011) 4 - p. AB239 , 2011

Link: https://doi.org/10.1016/..

7

Sa1665 Changes in Reactive Lymph Nodes Status of Early Gast..:

Cho, Won Young ; Cho, Joo Young ; Park, Seung Hoon...
Gastrointestinal Endoscopy. 73 (2011) 4 - p. AB239 , 2011

Link: https://doi.org/10.1016/..

8

Radiological and Clinical Characteristics of a Military Out..:

Yun, Tae Jin ; Kwon, Gu Jin ; Oh, Mi Kyeong...
Korean Journal of Radiology. 11 (2010) 4 - p. 417 , 2010

Link: https://doi.org/10.3348/..

9

Achieving a mitigation of ground thermal imbalance and size..:

PARK, Seung-Hoon ; KIM, Eui-Jong
Applied Thermal Engineering. 243 (2024) - p. 122593 , 2024

Link: https://doi.org/10.1016/..

10

Component model calibration using typical AHU data for impr..:

Oh, Ju-Hong ; Park, Seung-Hoon ; Kim, Eui-Jong
Journal of Building Engineering. 76 (2023) - p. 107376 , 2023

Link: https://doi.org/10.1016/..

11

Optimization and simulation analysis of the energy-intensit..:

Park, Seung-Hoon ; Kim, Eui-Jong
Sustainable Cities and Society. 97 (2023) - p. 104733 , 2023

Link: https://doi.org/10.1016/..

12

Proposition of Design Capacity of Borehole Heat Exchangers ..:

Lee, Seung-Min ; Park, Seung-Hoon ; Jang, Yong-Sung.
Energies. 14 (2021) 4 - p. 822 , 2021

Link: https://doi.org/10.3390/..

13

Multi-objective optimization for sizing multi-source renewa..:

Park, Seung-Hoon ; Jang, Yong-Sung ; Kim, Eui-Jong
Energy Conversion and Management. 244 (2021) - p. 114446 , 2021

Link: https://doi.org/10.1016/..

14

Data-Driven Models for Estimating Dust Loading Levels of ER..:

Park, Seung-Hoon ; Jo, Jae-Hun ; Kim, Eui-Jong
Sustainability. 13 (2021) 24 - p. 13643 , 2021

Link: https://doi.org/10.3390/..

15

Design and Performance Evaluation of a Heat Pump System Uti..:

Park, Seung-Hoon ; Jang, Yong-Sung ; Kim, Eui-Jong
Energies. 14 (2021) 8 - p. 2273 , 2021

Link: https://doi.org/10.3390/..