Seokhyun Lee

FUSION: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification

Joonghoon Lee, Nicolas Klose, Seokhyun Lee, Peter Müller et autres

This is an archived version of FUSION, a fold and unfold annotation synthesis tool for Viper-based verification.This artifact accompanies our submission to the ISSTA 2026 Tool Demonstrations track. How to use: Extract the ZIP file. Follow the setup and usage instructions in …

ch (code pays fourni par la source)

FUSION: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification

Joonghoon Lee, Nicolas Klose, Seokhyun Lee, Peter Müller et autres

This is an archived version of FUSION, a fold and unfold annotation synthesis tool for Viper-based verification.This artifact accompanies our submission to the ISSTA 2026 Tool Demonstrations track. How to use: Extract the ZIP file. Follow the setup and usage instructions in …

ch (code pays fourni par la source)

FUSION: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification

Joonghoon Lee, Nicolas Klose, Seokhyun Lee, Peter Müller et autres

This is an archived version of FUSION, a fold and unfold annotation synthesis tool for Viper-based verification.This artifact accompanies our submission to the ISSTA 2026 Tool Demonstrations track. How to use: Extract the ZIP file. Follow the setup and usage instructions in …

ch (code pays fourni par la source)

Degradation‐Informed Temperature Analysis for Cycle Life Prediction of LiFePO 4 Batteries

Joonyoung Kee, Seokhyun Lee, Juncheol Hwang, Sangho Yoon et autres

ABSTRACT Understanding and predicting battery cycle life is crucial for the reliable operation of lithium‐ion cells, particularly under fast‐charging conditions. Conventional prognostic methods predominantly rely on electrochemical measurements such as capacity fade and internal resistance, which often require specialized testing protocols and …

kr (code pays fourni par la source)

High-entropy Na layered oxide facilitating reversible oxygen capacity

Jongbeom Kim, Taesoo Kim, Juncheol Hwang, Sangho Yoon et autres

(HE-NLMO) is identified as the most thermodynamically stable composition. With understanding of thermodynamic phase stabilities, DFT calculations reveal that HE-NLMO enables spontaneous and structurally continuous Li-ion migration into tetrahedral sites within the Na layer during desodiation. Electronic structure investigations further show that …

kr (code pays fourni par la source)

Hijacked Brain in Modern Obesity: Cue, Habit, Addiction, Emotion, and Restraint as Targets for Personalized Digital Therapy and Electroceuticals

Taesung Lee, Se‐Eun Park, Seokhyun Lee, Areum Hwangbo et autres

The global obesity epidemic can no longer be explained by personal choice or caloric excess alone. Mounting evidence points to underlying neurobehavioral dysfunction, exacerbated by environments engineered to promote overconsumption. Modern obesity is driven by five interrelated neurobehavioral factors: cue-evoked eating, habitual-context …

kr (code pays fourni par la source)

Increased Global and Regional Connectivity in Propofol-induced Unconsciousness: Human Intracranial Electroencephalography Study

Mi Kyung Choe, Yunhee Choi, Jii Kwon, Hee‐Pyoung Park et autres

BACKGROUND: The conscious state is maintained through intact communication between brain regions. However, studies on global and regional connectivity changes in unconscious state have been inconsistent. These inconsistencies could arise from unclear definition of unconsciousness, spatial and temporal limitations of neuroimaging modalities, …

kr (code pays fourni par la source)

Clinical Significance of Different Histology and High-Risk HPV Types in Neuroendocrine Carcinomas of the Cervix

Seung Jun Lee, Seokhyun Lee, Ilias P. Nikas, Misong Kim et autres

This study aimed to investigate the impact of different histologic and high-risk (HR) human papillomavirus (HPV) types on the clinicopathologic characteristics and survival of patients with neuroendocrine carcinoma of the cervix (NEC). We retrospectively reviewed the medical records of patients with NEC …

kr, cn, cy (code pays fourni par la source)

An Innovative Approach for Advanced Packaging in 3D System Integration using Reconstructed Wafer-to-Wafer Bonding

Sang Hoon Lee, Kyoung-Lim Suk, Woojin Jang, Gwang‐Jae Jeon et autres

Advanced package architecture and integration are among the most important technologies in high-performance HPC and AI systems of 3D system interconnection. This paper introduces an innovative approach for heterogeneous integration in a new 3D system called reconstructed wafer-to-wafer (W2W) for high-performance computing …

kr (code pays fourni par la source)

Centrality of phosphate binding modes on metal vanadate in exploiting low-temperature NOX reduction and pyrosulfate dissociation pathways

So Hyeon Park, Seokhyun Lee, Jong‐Sik Kim

kr (code pays fourni par la source)

Author response for "Locating Manganese Vanadate Phase with PO43--Modified Mn2+-O-V5+ Motifs Optimized for Catalytic NOX and Poison Abatement under Oxidative Wet Conditions"

Seokhyun Lee, So Hyeon Park, Jong‐Sik Kim

Unveiling the Catalytic Merits of LaV3O9 over Conventional LaVO4 Polymorphs to Boost Desired Kinetics of Humid NOX Reduction and Poison Disintegration

Seokhyun Lee, Jeongeun Choi, Heon Phil Ha, Jung‐Hyun Lee et autres

SO Z 2– ( Z = 3–4)-functionalized metal vanadates vary with the type of metal cations (M n + ) for the M n + -O 2– -V 5+ channels that fragment to impart Brönsted acidic bonds (BA – -H +; SO …

kr (code pays fourni par la source)