- 2024
- Yun-Sik Dho, Byeong Cheol Lee, HyeongCheol Moon, Kyung Min Kim, Ho Kang, Eun Jung Lee, Min-Sung Kim, Jin Wook Kim, Yong Hwy Kim, Sang Joon Park, Chul-Kee Park:
Validation of real-time inside-out tracking and depth realization technologies for augmented reality-based neuronavigation. Int. J. Comput. Assist. Radiol. Surg. 19(1): 15-25 (2024) - Jong Hyeon Lee, Jae Woo Shim, Min Hyuk Lim, Changhoon Baek, Byoungjun Jeon, Minwoo Cho, Sungwoo Park, Dong Hyun Choi, Byeong Soo Kim, Dan Yoon, Young Gyun Kim, Seung Yeon Cho, Kyung-Min Lee, Myoung-Souk Yeo, Hangman Zo, Sang Do Shin, Sungwan Kim:
Towards optimal design of patient isolation units in emergency rooms to prevent airborne virus transmission: From computational fluid dynamics to data-driven modeling. Comput. Biol. Medicine 173: 108309 (2024) - Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Sci. Comput. Program. 233: 103074 (2024) - Byeongjee Kang, Kyungmin Bae:
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems. Sci. Comput. Program. 235: 103097 (2024) - Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon:
Formal Specification of Trusted Execution Environment APIs. FASE 2024: 101-121 - Mincheol Shin, Sang-Yoon Chang, Jonghyun Kim, Kyungmin Park, Jinoh Kim:
Intelligent Trajectory-based Approach to UAV Location Integrity Checks. ICCCN 2024: 1-9 - Donghu Kim, Hojoon Lee, Kyungmin Lee, Dongyoon Hwang, Jaegul Choo:
Investigating Pre-Training Objectives for Generalization in Vision-Based Reinforcement Learning. ICML 2024 - Kolby Nottingham, Yasaman Razeghi, Kyungmin Kim, JB Lanier, Pierre Baldi, Roy Fox, Sameer Singh:
Selective Perception: Learning Concise State Descriptions for Language Model Actors. NAACL (Short Papers) 2024: 327-341 - Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña:
Verifying Invariants by Deductive Model Checking. WRLA 2024: 3-21 - Geunyeol Yu, Kyungmin Bae:
A Flexible Framework for Integrating Maude and SMT Solvers Using Python. WRLA 2024: 179-192 - Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci:
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. CoRR abs/2401.01884 (2024) - Kang Min Yoo, Jaegeun Han, Sookyo In, Heewon Jeon, Jisu Jeong, Jaewook Kang, Hyunwook Kim, Kyung-Min Kim, Munhyong Kim, Sungju Kim, Donghyun Kwak, Hanock Kwak, Se Jung Kwon, Bado Lee, Dongsoo Lee, Gichang Lee, Jooho Lee, Baeseong Park, Seongjin Shin, Joonsang Yu, Seolki Baek, Sumin Byeon, Eungsup Cho, Dooseok Choe, Jeeseung Han, Youngkyun Jin, Hyein Jun, Jaeseung Jung, Chanwoong Kim, Jinhong Kim, Jinuk Kim, Dokyeong Lee, Dong Wook Park, Jeong Min Sohn, Sujung Han, Jiae Heo, Sungju Hong, Mina Jeon, Hyunhoon Jung, Jungeun Jung, Wangkyo Jung, Chungjoon Kim, Hyeri Kim, Jonghyun Kim, Min Young Kim, Soeun Lee, Joonhee Park, Jieun Shin, Sojin Yang, Jungsoon Yoon, Hwaran Lee, Sanghwan Bae, Jeehwan Cha, Karl Gylleus, Donghoon Ham, Mihak Hong, Youngki Hong, Yunki Hong, Dahyun Jang, Hyojun Jeon, Yujin Jeon, Yeji Jeong, Myunggeun Ji, Yeguk Jin, Chansong Jo, Shinyoung Joo, Seunghwan Jung, Adrian Jungmyung Kim, Byoung Hoon Kim, Hyomin Kim, Jungwhan Kim, Minkyoung Kim, Minseung Kim, Sungdong Kim, Yonghee Kim, Youngjun Kim, Youngkwan Kim, Donghyeon Ko, Dughyun Lee, Hayoung Lee, Jaehong Lee, Jieun Lee, Jonghyun Lee, Jongjin Lee, Min Young Lee, Yehbin Lee, Taehong Min, Yuri Min, Kiyoon Moon, Hyangnam Oh, Jaesun Park, Kyuyon Park, Younghun Park, Hanbae Seo, Seunghyun Seo, Mihyun Sim, Gyubin Son, Matt Yeo, Kyung Hoon Yeom, Wonjoon Yoo:
HyperCLOVA X Technical Report. CoRR abs/2404.01954 (2024) - Donghu Kim, Hojoon Lee, Kyungmin Lee, Dongyoon Hwang, Jaegul Choo:
Investigating Pre-Training Objectives for Generalization in Vision-Based Reinforcement Learning. CoRR abs/2406.06037 (2024) - 2023
- Kyungmin Go, Donghoon Shin:
Resilient Raw Format Live Video Streaming Framework for an Automated Driving System on an Ethernet-Based In-Vehicle Network. IEEE Access 11: 144364-144376 (2023) - Hee-Mun Park, Mi Jang, Yong-Jae Kim, Hyun-Joo Jung, Kyung-Min Seo:
Design and Implementation of Data-Based Validation and Evaluation System for Combat System Engineering. IEEE Access 11: 80137-80150 (2023) - Kijin Kim, Kyungmin Park, Seonghyeon Lee, Seung-Hwan Baek, Tae-Hun Lim, Jongwoo Kim, Balachandran Manavalan, Jin-Won Song, Won-Keun Kim:
VirPipe: an easy-to-use and customizable pipeline for detecting viral genomes from Nanopore sequencing. Bioinform. 39(5) (2023) - Sang-Yoon Chang, Kyungmin Park, Jonghyun Kim, Jinoh Kim:
Securing UAV Flying Base Station for Mobile Networking: A Review. Future Internet 15(5): 176 (2023) - Sang-Ho Hwang, Kyung-Min Kim, Sungho Kim, Jong Wook Kwak:
Lossless Data Compression for Time-Series Sensor Data Based on Dynamic Bit Packing. Sensors 23(20): 8575 (2023) - Hyeongmin Seo, Jiyun Han, Kyungmin Kim, Baek-Jin Lim, EunSeok Shin, Youngdon Choi, Hyungjong Ko, Jung-Hwan Choi, Sang-Hyun Lee, Changsik Yoo, Jaeduk Han:
A 12-Gb/s Baud-Rate Clock and Data Recovery With 75% Phase-Detection Probability by Precoding and Integration-Hold-Reset Frontend. IEEE Trans. Circuits Syst. II Express Briefs 70(2): 411-415 (2023) - Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets 2023: 369-392 - Daeho Yun, Minsu Park, Kahyun Kim, Kyungmin Baek, Eonhui Lee, Woo-Seok Choi, Deog-Kyoon Jeong:
A PAM4 Level Mismatch Adjustment Scheme for 48-Gb/s PAM4 Memory Tester Bridge. A-SSCC 2023: 1-3 - Kyungmin Choi, Gi-Won Yoon, Sanghoon Choi, Hyeon-Hwa Choi, Segyeong Joo:
Prediction Comatose Patient Outcomes Using Deep Learning -Based Analysis of EEG Power Spectral Density. CinC 2023: 1-4 - Hojae Han, Yu Jin Kim, Byoungjip Kim, Youngwon Lee, Kyungjae Lee, Kyungmin Lee, Moontae Lee, Kyunghoon Bae, Seung-won Hwang:
On Sample-Efficient Code Generation. EMNLP (Industry Track) 2023: 783-791 - Cheolhee Park, Kyungmin Park, Jihyeon Song, Jonghyun Kim:
Distributed Learning-Based Intrusion Detection in 5G and Beyond Networks. EuCNC/6G Summit 2023: 490-495 - Kyungmin Bae, Peter Csaba Ölveczky:
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. FACS 2023: 127-152 - Kyungmin Bae:
Bounded STL Model Checking for Hybrid Systems (Invited Talk). FTSCS 2023: 1 - Sang-Yoon Chang, Kyungmin Park, Jonghyun Kim, Jinoh Kim:
Towards Securing UAV Flying Base Station: Misplacement Impact Analyses on Battery and Power. SNTA@HPDC 2023: 3-8 - Daeun Kyung, Kyungmin Jo, Jaegul Choo, Joonseok Lee, Edward Choi:
Perspective Projection-Based 3d CT Reconstruction from Biplanar X-Rays. ICASSP 2023: 1-5 - Kahyun Kim, Daeho Yun, Kyungmin Baek, Woo-Seok Choi, Deog-Kyoon Jeong:
A 48-Gb/s Single-Ended PAM-4 Receiver with Adaptive Nonlinearity Compensation. ISCAS 2023: 1-5 - Gaon An, Junhyeok Lee, Xingdong Zuo, Norio Kosaka, Kyung-Min Kim, Hyun Oh Song:
Direct Preference-based Policy Optimization without Reward Modeling. NeurIPS 2023