Browse by Title 

Showing results 213301 to 213320 of 279406

213301
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

213302
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

213303
Verisim: Formal Analysis of Network Simulations

Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18

213304
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

213305
“Vernacular Sound”: System for Soundscaping of Everyday Objects

오주영; Wohn, Kwang-Yun; 이유진; 이주영, International Symposium on Electronic Art, ISEA, 2016-05-20

213306
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

213307
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

213308
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

213309
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

213310
Versatile asymmetric synthesis of polyoxygenated bioactive natural products and their analogs = 다중산소 치환기를 가지는 생리활성 천연물들과 그 유도체의 다양한 비대칭합성에 관한 연구link

Sampath, vasu; 삼파스, 바수; et al, 한국과학기술원, 2009

213311
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

213312
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

213313
Versatile fabrication of functional nanostructures using patterning processes and their apprications = 다양한 패터닝 공정을 이용한 기능성 나노구조 제작과 그 응용에 관한 연구link

Jo, Gyeong Cheon; 조경천; et al, 한국과학기술원, 2016

213314
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

213315
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

213316
Versatile immunoassays based on isomagnetophoresis

Hahn, Young-Ki; Park, Je-Kyun, LAB ON A CHIP, v.11, no.12, pp.2045 - 2048, 2011-06

213317
Versatile immunosensor platform using isomagnetophoresis

Hahn, Young Ki; Park, Je-Kyun, Biosensors 2010 Congress, 2010-05

213318
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

213319
Versatile Light Trapping Strategy to Minimize Optical Loss in Thin-film Photovoltaic Cells

조창순; 정선주; 이정용, 한국전기화학회 2015, 한국전기화학회 2015, 2015-04-02

213320
Versatile low-temperature atomic force microscope with in situ piezomotor controls, charge-coupled device vision, and tip-gated transport measurement capability

Lee, Jhinhwan; Chae, J; Kim, CK; Kim, CK; Oh, S, REVIEW OF SCIENTIFIC INSTRUMENTS, v.76, pp.616 - 623, 2005-09

rss_1.0 rss_2.0 atom_1.0