Showing results 213181 to 213200 of 279282
Verifying Safety of File-like Resources by Resource Allocation Matrix Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01 |
Verifying well-definedness of variational objectives for probabilistic programs = 확률적 프로그램의 잘 정의된 변분 목적 함수 검증link Yu, Hangyeol; Yang, Hongseok; et al, 한국과학기술원, 2020 |
Verikube: Automatic and Efficient Verification for Container Network Policies Kang, Haney; Shin, Seungwon, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E105D, no.12, pp.2131 - 2134, 2022-12 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonzoo; Lee, Insup; Obradovic, Davor, International Symposium on Software Testing and Analysis, pp.2 - 13, ACM, 2000-08-01 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18 |
Verisim: Formal analysis of network simulations Bhargavan, K; Gunter, CA; Kim, Moonzoo; Lee, I; Obradovic, D; Sokolsky, O; Viswanathan, M, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.28, no.2, pp.129 - 145, 2002-02 |
“Vernacular Sound”: System for Soundscaping of Everyday Objects 오주영; Wohn, Kwang-Yun; 이유진; 이주영, International Symposium on Electronic Art, ISEA, 2016-05-20 |
Verproside inhibits TNF-alpha-induced MUC5AC expression through suppression of the TNF-alpha/NF-kappa B pathway in human airway epithelial cells Lee, Su Ui; Sung, Min Hee; Ryu, Hyung Won; Lee, Jinhyuk; Kim, Hui-Seong; In, Hyun Ju; Ahn, Kyung-Seop; et al, CYTOKINE, v.77, pp.168 - 175, 2016-01 |
Versatile Applications of a Geotechnical Information System for Estimating Site Effects at Gyeongju in Korea SUN, Chang-Guk; CHUNG, Choong-Ki; Kim, Dong-Soo; LEE, Sun-Jae, International Conference on Earthquake Geotechnical Engineering, 2007-06 |
Versatile Approach for Modulating Electron-withdrawing/donating Properties of Atomically Dispersed Fe-N-C Catalyst via Sulfur Doping for Oxygen Reduction Reaction 장예주; 이진우, 한국전기화학회 2022년도 추계총회 및 학술발표회, 한국전기화학회, 2022-11-04 |
Versatile Approaches of Holographically Featured Layer-Controllable FCC Nanostructure for Highly Sensitive SERS Applications Jeon, Hwan Chul; Heo, Chul-Joon; Lee, Su Yeon; Park, Sung-Gyu; Yang, Seung-Man, 한국화학공학회 추계학술발표회, 한국화학공학회, 2013-10-25 |
Versatile asymmetric synthesis of polyoxygenated bioactive natural products and their analogs = 다중산소 치환기를 가지는 생리활성 천연물들과 그 유도체의 다양한 비대칭합성에 관한 연구link Sampath, vasu; 삼파스, 바수; et al, 한국과학기술원, 2009 |
Versatile Carbon Hybrid Films Composed of Vertical Carbon Nanotubes Grown on Mechanically Compliant Graphene Films Lee, Duck Hyun; Kim, Ji Eun; Han, Tae Hee; Hwang, Jae Won; Jeon, Seokwoo; Choi, Sung-Yool; Hong, Soon Hyung; et al, ADVANCED MATERIALS, v.22, no.11, pp.1247 - 1252, 2010-03 |
Versatile Cp*Co(III)(LX) Catalyst System for Selective Intramolecular C-H Amidation Reactions Lee, Jia; Lee, Jeonghyo; Jung, Hoimin; Kim, Dongwook; Park, Juhyeon; Chang, Sukbok, JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, v.142, no.28, pp.12324 - 12332, 2020-07 |
Versatile fabrication of functional nanostructures using patterning processes and their apprications = 다양한 패터닝 공정을 이용한 기능성 나노구조 제작과 그 응용에 관한 연구link Jo, Gyeong Cheon; 조경천; et al, 한국과학기술원, 2016 |
Versatile formation of [2]catenane and [2]pseudorotaxane structures; Threading and noncovalent stoppering by a self-assembled macrocycle Lim C.W.; Sakamoto S.; Yamaguchi K.; Hong J.-I., ORGANIC LETTERS, v.6, no.7, pp.1079 - 1082, 2004 |
Versatile High-Fidelity Photovoltaic Module Emulation System Woojoo Lee; Younghyun Kim; Yanzhi Wang; Massoud Pedram; Soohee Han; Chang, Naehyuck, Low Power Electronics and Design (ISLPED) 2011 International Symposium, IEEE, 2011-08-01 |
Versatile immunoassays based on isomagnetophoresis Hahn, Young-Ki; Park, Je-Kyun, LAB ON A CHIP, v.11, no.12, pp.2045 - 2048, 2011-06 |
Versatile immunosensor platform using isomagnetophoresis Hahn, Young Ki; Park, Je-Kyun, Biosensors 2010 Congress, 2010-05 |
Versatile LED Drivers for Various Electronic Ballasts by Variable Switched Capacitor Lee, Eun S.; Choi, Bo H.; Duy Tan Nguyen; Jang, Gi C.; Rim, Chun Taek, IEEE TRANSACTIONS ON POWER ELECTRONICS, v.31, no.2, pp.1489 - 1502, 2015-02 |
Discover