Table of Contents

• Fuzzy Logic System Based Obstacle Avoidance for a Mobile RobotSheng Jin, Byung-Jae Choi. 1-6 [doi]
• Solving the Generalized Steiner Problem in Edge-Survivable NetworksPablo Sartor, Franco Robledo. 7-16 [doi]
• A Note on Practically Output Tracking Control of Nonlinear Systems That May Not Be Linearizable at the OriginKeylan Alimhan, Naohisa Otsuka. 17-25 [doi]
• Analysis of Non-linear Adaptive Friction and Pitch Angle Control of Small-Scaled Wind Turbine SystemFaramarz Asharif, Shiro Tamaki, Tsutomu Nagado, Tomokazu Nagtata, Mohammad Reza Alsharif. 26-35 [doi]
• A High Accuracy Method for Rapid Measurement of Resulted Code Pattern Radial Runout of Rotary Optical Encoder DiscAli Asfia, Jafar Rezaei 0002. 36-49 [doi]
• Design of Genetic Algorithm-Based Parking System for an Autonomous VehicleXing Xiong, Byung-Jae Choi. 50-57 [doi]
• A Model of Hierarchically Consistent Control of Nonlinear Dynamical SystemsArmen Bagdasaryan, Tai-Hoon Kim. 58-64 [doi]
• Characteristics Analysis of the Motor Block Lattice Resistor of a High Speed Train by Structure ImprovementDae-Dong Lee, Jae-Myung Shim, Dong-Seok Hyun. 65-74 [doi]
• Structure Vibration Analysis and Active Noise Control of a Power Transformer by Mobility MeasurementYoung-Dal Kim, Jae-Myung Shim, Keun-Seok Park, Yun-Mi Jeong, Dae-Dong Lee. 75-85 [doi]
• Estimation of Deterioration Degree in Overhead Transmission Lines by Tension Load AnalysisDae-Dong Lee, Jae-Myung Shim, Young-Dal Kim, Dong-Seok Hyun. 86-95 [doi]
• Structural and Electrical Properties of High Temperature Polycrystalline Silicon Films on Molybdenum SubstrateHyun-il Kang, Won-Suk Choi, Yeon-ho Jung, Hyun-Suk Hwang, Do Young Kim. 96-101 [doi]
• An Improved Method for High-Precision Measurement Using Recursive WLSJihyun Ha, Wooram Lee, Kwanho You. 102-111 [doi]
• Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTechHan Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Won-Tae Kim. 112-121 [doi]
• DVML: DEVS-Based Visual Modeling Language for Hybrid SystemsHae Young Lee, Ingeol Chun, Won-Tae Kim. 122-127 [doi]
• Fast Discovery Scheme Using DHT-Like Overlay Network for a Large-Scale DDSSung Yoon Chae, Sinae Ahn, Kyungran Kang, Jaehyuk Kim, Soohyung Lee, Won-Tae Kim. 128-137 [doi]
• Approach to Generating Monitoring Code toward Advanced Self-healingJungmin Park, Sung Hwa Hong, Ingeol Chun. 138-148 [doi]
• Layer-3 Emulator Design for Efficient Protocol Debugging and ValidationJinkyeong Kim, Sunggeun Jin, Jae-Min Ahn. 149-153 [doi]
• A Schema Digest Based Metadata Encapsulation Architecture with Shared String TablesBongJin Oh, Sunggeun Jin, EuiHyun Baek, KwanJong Yoo. 154-159 [doi]
• Trusted CPS Server Discovery Mechanism in the Insecure Cloud NetworksJongyoul Park, Seungyun Lee. 160-168 [doi]
• Hybrid Middleware Architecture Supporting an Active Service ProvisioningYu-Seok Bae, Bong-Jin Oh, Tai-Yeon Ku, Eui Hyun Paik. 169-175 [doi]
• Performance Evaluation of Reliable Real-Time Data Distribution for UAV-aided Tactical NetworksJongryool Kim, KeyongTae Kim, Soo-Hyung Lee, JongWon Kim 0001. 176-182 [doi]
• Multi-level Access Control for GeoContentsSun Rae Park, Jong-Suk Ruth Lee, Kum Won Cho, Kyu-Chul Lee. 183-190 [doi]
• Self-Managed System Development Method for Cyber-Physical SystemsIngeol Chun, Jinmyung Kim, Won-Tae Kim, Eunseok Lee. 191-194 [doi]
• DSUENHANCER: A Dynamic Update System for Resource-Constrained SoftwareDong Kwan Kim, Won-Tae Kim, Seung-Min Park. 195-201 [doi]
• Evaluation of Real-Time Characteristics for Mission Critical Systems Using Hierarchically Profiled Petri NetHyunsang Youn, Ingeol Chun, Eunseok Lee. 202-212 [doi]
• Communication Entities Discovery in Complex CPS SystemSoohyung Lee, Jaehyuk Kim, Wontae Kim, Jaecheol Ryou. 213-219 [doi]
• Key Distribution Method for Enhancing Secure Performances in Dynamic Filtering-Based Wireless Sensor NetworkByung-Hee Kim, Tae Ho Cho. 220-226 [doi]
• The Application of the 0-1 Knapsack Problem to the Load-Shedding Problem in Microgrid OperationSoojeong Choi, Sunju Park, Hak-Man Kim. 227-234 [doi]
• A Load-Shedding Scheme Using Optimization for Proportional Fairness in the Islanded MicrogridYujin Lim, Hak-Man Kim, Jaesung Park, Tetsuo Kinoshita. 235-241 [doi]
• Modeling and Analysis of Jeju Power System with HVDC Using PSCAD/EMTDCHyun-Jae Yoo, Myong-chul Shin, Hak-Man Kim. 242-251 [doi]
• Controller-Hardware-In-The Loop Simulation Based Analysis of Photovoltaic Power Generation System under Variable Conditions of UtilityChulsang Hwang, Jin-Hong Jeon, Heung-Kwan Choi, Jong-Bo Ahn, Minwon Park, In-Keun Yu. 252-260 [doi]
• Dynamic Battery Modeling for Microgrid OperationGyeong-Hun Kim, Jin-Hong Jeon, Jong-Yul Kim, Jong-Bo Ahn, Minwon Park, In-Keun Yu. 261-266 [doi]
• Simulation Analysis of Microgrid Using Real Time Digital SimulatorSerim Heo, Gyeong-Hun Kim, Minwon Park, In-Keun Yu. 267-275 [doi]
• PMSG Type Wind Power Generation System Connected with EDLC in DC-LinkGyeong-Hun Kim, Minwon Park, In-Keun Yu, Jin-Hong Jeon, Jong-Bo Ahn. 276-281 [doi]
• Development of Operation Strategy in Jeju Smart Grid Test-Bed Electricity MarketMan-Guen Park, Seong-Bin Cho, Kwang Ho Kim, Hae-Seong Jung, Koo-Hyung Chung. 282-288 [doi]
• The Design of CC2420-Based Laboratory Apparatus Monitoring SystemShinHyeong Choi. 289-295 [doi]
• A Case Study: Online Game Testing Using Massive Virtual PlayerYeonjun Choi, Hangkee Kim, Changjoon Park, Seongil Jin. 296-301 [doi]
• Characteristics Analysis of the Motor Block Lattice Resistor of a High Speed Train by Structure ImprovementDae-Dong Lee, Jae-Myung Shim, Dong-Seok Hyun. 302-311 [doi]
• Estimation of Deterioration Degree in Overhead Transmission Lines by Tension Load AnalysisDae-Dong Lee, Jae-Myung Shim, Young-Dal Kim, Dong-Seok Hyun. 312-321 [doi]
• Structure Vibration Analysis and Active Noise Control of a Power Transformer by Mobility MeasurementYoung-Dal Kim, Jae-Myung Shim, Keun-Seok Park, Yun-Mi Jeong, Dae-Dong Lee. 322-332 [doi]
• Complexity Adaptive Branch Predictor for Thermal-Aware 3D Multi-core ProcessorsJin Woo Ahn, Dong Oh Son, Hyung Gyu Jeon, Jong Myon Kim, Cheol Hong Kim. 333-343 [doi]
• Convenient Way for Detecting Check Bits in Hamming CodeRahat Ullah, Jahangir Khan, Shahid Latif, Inayat Ullah. 344-356 [doi]
• Motion Vector Refinement Algorithm for the High Definition Video CodingLe Thanh Ha, Seung-Won Jung, The Duy Bui, Dinh Trieu Duong, Sung Jea Ko. 357-363 [doi]
• Novel Low-Voltage Small-Area I/O Buffer for Mixed-Voltage ApplicationYoung-Wook Kim, Joung-Yeal Kim, Young-Hyun Jun, Bai-Sun Kong. 364-370 [doi]
• Study for the Improvement of the Energy Storage System Efficiency Using Auto Level-Tuning AlgorithmWon-Seok Choi, Kyoung-Bok Lee, Seounng-Gil Baek, Gil-Dong Kim, Han-Min Lee, Kyu-Joong Kim. 371-380 [doi]
• Development of Strain Sensor Using Aligned Carbon NanotubesYongho Choi, Seok-Mo Hong, Byungjoo Park. 381-386 [doi]
• Design of a High Voltage Acceleration Power Supply for a Neutral Beam Injection SystemJeong-Tae Jin, Seung-Ho Jeong, Kwang-Won Lee, Dae-Sik Chang, Doo-Hee Chang, Byung-Hoon Oh. 387-390 [doi]