Browse by Title 

Showing results 106241 to 106260 of 279418

106241
Hybrid statistical model checking technique for reliable safety critical systems = 신뢰성이 높은 안전필수시스템을 위한 하이브리드 통계적 모델 체킹 방법link

Kim, Young-Joo; 김영주; et al, 한국과학기술원, 2013

106242
Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems

Kim, Youngjoo; Kim, Moonzoo, International Symposium on Software Reliability Engineering (ISSRE), IEEE, 2012-11-28

106243
Hybrid structures of colloidal quantum dots and nitrogen-fixing bacteria for synthesis of ammonia = 양자점-질소고정 박테리아 하이브리드 구조체를 이용한 암모니아 생산link

Kim, Jayeong; 김자영; et al, 한국과학기술원, 2024

106244
Hybrid structures of organic dye and graphene for ultrahigh gain photodetectors

Lee, Youngbin; Yu, Seong Hun; Jeon, Jiwon; Kim, Hyunmin; Lee, Jun Young; Kim, Hyung-Jun; Ahn, Jong-Hyun; et al, CARBON, v.88, pp.165 - 172, 2015-07

106245
Hybrid superparamagnetic iron oxide nanoparticle-branched polyethylenimine magnetoplexes for gene transfection of vascular endothelial cells

Namgung, Ran; Singha, Kaushik; Yu, Mi Kyung; Jon, Sangyong; Kim, Yong Sook; Ahn, Youngkeun; Park, In-Kyu; et al, BIOMATERIALS, v.31, no.14, pp.4204 - 4213, 2010-05

106246
Hybrid Surface Acoustic Wave-Electrohydrodynamic Atomization (SAW-EHDA) For the Development of Functional Thin Films

Choi, Kyung Hyun; Kim, Hyun Bum; Ali, Kamran; Sajid, Memoon; Siddiqui, Ghayas Uddin; Chang, Dong Eui; Kim, Hyung Chan; et al, SCIENTIFIC REPORTS, v.5, 2015-10

106247
Hybrid Surface-Phonon-Plasmon Polariton Modes in Graphene/Monolayer h-BN Heterostructures

Brar, Victor W.; Jang, Min Seok; Sherrott, Michelle; Kim, Seyoon; Lopez, Josue J.; Kim, Laura B.; Choi, Mansoo; et al, NANO LETTERS, v.14, no.7, pp.3876 - 3880, 2014-07

106248
Hybrid Switched-Capacitor Multi-Level Inverter for Renewable Energy Systems

Kim, Ki-Mok; Lee, Young-Dal; Jang, Yu-Jin; Han, Jung-Kyu; Moon, Gun- Woo, 10th International Conference on Power Electronics - ECCE Asia, ICPE 2019 - ECCE Asia, pp.420 - 425, Institute of Electrical and Electronics Engineers Inc., 2019-05-27

106249
Hybrid switching amplifier using a novel two-quadrant wideband buffer for dynamic power supply applications

Kwak, T.-W.; Lee, M.-C.; Yuk, Y.-S.; Lee, K.-H.; Park, H.-H.; Kim, C.; Cho, Gyu-Hyeong, PESC '08 - 39th IEEE Annual Power Electronics Specialists Conference, pp.546 - 551, IEEE, 2008-06-15

106250
Hybrid System Controlled by a µ-Synthesis Method

Jung, Hyung-Jo; Lee, In Won; Inoue, N.; Park, K.S., ISEE Kobe 2005, 2005-01

106251
Hybrid System Controlled by μ-Synthesis Method: Part 1-Control performance

Park, Kyu-Sik; Jung, Hyung-Jo; Yoon, Woo-Hyun; Lee, In Won, JOURNAL OF STRUCTURAL ENGINEERING-ASCE, 2008

106252
Hybrid System Controlled by μ-Synthesis Method: Part 2-Controller robustness

Hyung-Jo Jung; Kyu-Sik Park; Ju-Won Oh; Lee, In Won, JOURNAL OF STRUCTURAL ENGINEERING-ASCE, 2008

106253
Hybrid system of case-based reasoning and neural network for symbolic features

Im, KH; Kim, TH; Park, Sang Chan, DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS Book Series: LECTURE NOTES IN COMPUTER SCIENCE, v.3589, pp.265 - 274, 2005

106254
A Hybrid System of Joint Time-Frequency Filtering Methods and Neural Network Techniques for Foreign Exchange Rate Forecasting

Shin, Taeksoo; Han, Ingoo, Journal of Intelligent Information Systems, Vol. 5, No. 1, 1999.6, pp. 103-123(21), 1999

106255
HYBRID SYSTEM OF SUPERCRITICAL CARBON DIOXIDE BRAYTON CYCLE AND CARBON DIOXIDE RANKINE CYCLE COMBINED FUEL CELL

Bae, Seong Jun; Ahn, Yoon Han; Lee, Je Kyoung; Lee, Jeong Ik, ASME Turbo Expo 2014, ASME, 2014-06

106256
Hybrid tactile feedback-based haptic interaction on a flat touch surface = 복합 촉각 피드백 기반의 표면 햅틱 상호작용link

Ryu, Semin; Kwon, Dong-Soo; et al, 한국과학기술원, 2018

106257
Hybrid Temperature Sensor Network for Area-Efficient On-Chip Thermal Map Sensing

Paek, Seungwook; Shin, Wongyu; Lee, Jaeyoung; Kim, Hyo-Eun; Park, Jun-Seok; Kim, Lee-Sup, IEEE JOURNAL OF SOLID-STATE CIRCUITS, v.50, no.2, pp.610 - 618, 2015-02

106258
Hybrid time-stamped transition density for the estimation of delay-dependent switching activities

Choi Hoon; Hwang Seung Ho, Proceedings of the 1997 40th Midwest Symposium on Circuits and Systems. Part 1 (of 2), pp.1030 - 1033, Midwest Symposium on Circuits and Systems, 1997-08-03

106259
Hybrid TLB coalescing: Improving TLB translation coverage under diverse fragmented memory allocations

Park, Chang Hyun; Heo, Taekyung; Jeong, Jungi; Huh, Jaehyuk, 44th Annual International Symposium on Computer Architecture - ISCA 2017, pp.444 - 456, ACM SIGGRAPH and IEEE TCCA, 2017-06

106260
Hybrid Top-down and Bottom-up Interprocedural Analysis

Zhang, Xin; Mangal, Ravi; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.49, no.6, pp.249 - 258, 2014-06

rss_1.0 rss_2.0 atom_1.0