Showing results 45541 to 45600 of 63043
Semantics of Separation-logic Typing and Higher-order Frame Rules for Algol-like Languages Birkedal, Lars; Torp-Smith, Noah; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.2, no.5, 2006-11 |
SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION Park, Sewon; Brausse, Franz; Collins, Pieter; Kim, Sunyoung; Konecny, Michal; Lee, Gyesik; Mueller, Norbert; et al, LOGICAL METHODS IN COMPUTER SCIENCE, v.20, no.2, 2024-06 |
Semantics-based time-alignment operations in temporal query processing and optimization Hyun, SoonJoo, INFORMATION SCIENCES, v.103, pp.37 - 70, 1997 |
sEMG-Triggered Fast Assistance Strategy for a Pneumatic Back Support Exoskeleton Heo, Ung; Feng, Jirou; Kim, Sangjoon J.; Kim, Jung, IEEE TRANSACTIONS ON NEURAL SYSTEMS AND REHABILITATION ENGINEERING, v.30, pp.2175 - 2185, 2022 |
Semi-active Control Strategies for Seismic Responses of Cable-Stayed Bridges Hyung Jo Jung; BilJie F. Spencer Jr; Jong Heon Lee; In Won Lee, KSCE JOURNAL OF CIVIL ENGINEERING, v.7, no.6, pp.735 - 745, 2003-11 |
Semi-active damping control of suspension systems for specified operational response mode Kim, JH; Lee, Chong-Won, JOURNAL OF SOUND AND VIBRATION, v.260, no.2, pp.307 - 328, 2003-02 |
Semi-active fuzzy control for seismic response reduction using magnetorheological dampers Choi, KM; Cho, SW; Jung, Hyung-Jo; Lee, In Won, EARTHQUAKE ENGINEERING & STRUCTURAL DYNAMICS, v.33, no.6, pp.723 - 736, 2004-05 |
Semi-active neurocontrol of a base-isolated benchmark structure Lee, HJ; Yang GC; Jung, Hyung-Jo; Spencer BF; Lee IW, STRUCTURAL CONTROL AND HEALTH MONITORING, v.13, no.2-3, pp.682 - 692, 2006-03 |
Semi-active vibration control of space truss structures by friction damper for maximization of modal damping ratio Park, Young-min; Kim, Kwang-joon, JOURNAL OF SOUND AND VIBRATION, v.332, no.20, pp.4817 - 4828, 2013-09 |
Semi-analytic approach for sandwich plate U-bending considering shear deformation of the core Seong, D. Y.; Yang, Dong-Yol, INTERNATIONAL JOURNAL OF MECHANICAL SCIENCES, v.64, no.1, pp.258 - 272, 2012-11 |
Semi-analytical Karhunen-Loeve representation of irregular waves based on the prolate spheroidal wave functions Lee, Gibbeum; Cho, Yeunwoo, JOURNAL OF COMPUTATIONAL PHYSICS, v.352, pp.172 - 189, 2018-01 |
Semi-bent functions Chee, Sungtaek; Lee, Sangjin; Kim, Kwangjo, ADVANCES IN CRYPTOLOGY - ASIACRYPT 94 BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.917, pp.107 - 118, 1995-01 |
Semi-bent 함수의 일반화와 구성 방법 박상우; 지성택; 김광조, 한국정보보호학회 논문지, v.6, no.3, pp.0 - 0, 1996-09 |
Semi-calibrated Photometric Stereo Cho, Donghyeon; Matsushita, Yasuyuki; Tai, Yu-Wing; Kweon, In-So, IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, v.42, no.1, pp.232 - 245, 2020-01 |
Semi-cylindrical Radar Absorbing Structures using Fiber-reinforced Composites and Conducting Polymers in the X-band Jang, Hong-Kyu; Shin, Jae-Hwan; Kim, Chun-Gon; Shin, Sang-Hun; Kim, Jin-Bong, ADVANCED COMPOSITE MATERIALS, v.20, no.3, pp.215 - 229, 2011 |
Semi-dynamic Cell-Clustering Algorithm Based on Reinforcement Learning in Cooperative Transmission System Chung, Byung Chang; Cho, Dong-Ho, IEEE SYSTEMS JOURNAL, v.12, no.4, pp.3853 - 3856, 2018-12 |
Semi-empirical model for abrasive particle velocity prediction in abrasive waterjet based on momentum transfer efficiency Hwang, Hyun-Joong; Cha, Yohan; Kang, Seok-Jun; Cho, Gye-Chun, Computational Particle Mechanics, 2024-04 |
Semi-Local Structure Patterns for Robust Face Detection Jeong, Kyungjoong; Choi, Jaesik; Jang, Gil-Jin, IEEE SIGNAL PROCESSING LETTERS, v.22, no.9, pp.1400 - 1403, 2015-09 |
SEMI-MARKOV RELIABILITY-ANALYSIS OF 3 TEST REPAIR POLICIES FOR STANDBY SAFETY SYSTEMS IN A NUCLEAR-POWER-PLANT JUNG, WS; Cho, Nam-Zin, RELIABILITY ENGINEERING SYSTEM SAFETY, v.31, no.1, pp.1 - 30, 1991 |
SEMI-MARKOV RELIABILITY-ANALYSIS OF ALTERNATING SYSTEMS IN A NUCLEAR-POWER-PLANT LEE, KN; Cho, Nam-Zin, NUCLEAR TECHNOLOGY, v.98, no.2, pp.230 - 241, 1992-05 |
Semi-metric space: A new approach to treat orthogonality and parallelism Kim, JS; Kweon, In-So, COMPUTER VISION - ACCV 2006, PT I BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3851, pp.529 - 538, 2006 |
Semi-metric Space: A New Approach to Treat Orthogonality and Parallelism Kim, Jun-Sik; Kweon, In So, ACCV, 2006 |
Semi-Supervised Autoencoder for Chemical Gas Classification with FTIR Spectrum Jang, Heedeok; Kwon, Seokjoon; Nam Hyunwoo; Chang, Dong Eui, SENSORS, v.24, no.11, 2024-06 |
Semi-Supervised Gait Generation With Two Microfluidic Soft Sensors Kim, Dooyoung; Kim, Min; Kwon, Junghan; Park, Yong-Lae; Jo, Sungho, IEEE Robotics and Automation Letters, v.4, no.3, pp.2501 - 2507, 2019-07 |
Semi-Supervised Learning for Simultaneous Location Detection and Classification of Mixed-Type Defect Patterns in Wafer Bin Maps Lee, Hyuck; Lee, Jaehyun; Kim, Heeyoung, IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, v.36, no.2, pp.220 - 230, 2023-05 |
Semi-Supervised Multi-Label Learning for Classification of Wafer Bin Maps With Mixed-Type Defect Patterns Lee, Hyuck; Kim, Heeyoung, IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, v.33, no.4, pp.653 - 662, 2020-11 |
Semi-supervised student-teacher learning for single image super-resolution Lin, Wang; Yoon, Kuk-Jin, PATTERN RECOGNITION, v.121, pp.108206, 2022-01 |
Semiactive neurocontrol for seismic response reduction using smart damping strategy Jung, Hyung-Jo; Lee, HJ; Oon, WH; Oh, JW; Lee, In Won, JOURNAL OF COMPUTING IN CIVIL ENGINEERING, v.18, no.3, pp.277 - 280, 2004-07 |
SEMIACTIVE SUSPENSION WITH PREVIEW USING A FREQUENCY-SHAPED PERFORMANCE INDEX KIM, H; Yoon, Yong-San, VEHICLE SYSTEM DYNAMICS, v.24, no.10, pp.759 - 780, 1995-12 |
SEMIAUTOMATED NUCLEAR SHAPE-ANALYSIS OF PROSTATIC-CARCINOMA AND BENIGN PROSTATIC HYPERPLASIA Kim, Desok; CHARLTON, JD; COGGINS, JM; MOHLER, JL, ANALYTICAL AND QUANTITATIVE CYTOLOGY AND HISTOLOGY, v.16, no.6, pp.400 - 414, 1994-12 |
SEMIBLIND CHANNEL ESTIMATION FOR SPACE-TIME CODED WCDMA Sung, Y.; Tong, L.; Swami, Ananthram, Signals, Systems and Computers, 2002. Conference Record of the Thirty-Sixth Asilomar Conference on, v.2, pp.1637-1641, 2002-11 |
Semiconducting carbon nanotubes as crystal growth templates and grain bridges in perovskite solar cells Seo, Seungju; Jeon, Il; Xiang, Rong; Lee, Changsoo; Zhang, Hao; Tanaka, Takeshi; Lee, Jin-Wook; et al, JOURNAL OF MATERIALS CHEMISTRY A, v.7, no.21, pp.12987 - 12992, 2019-06 |
Semiconducting Copolymers Based on meso-Substituted BODIPY for Inverted Organic Solar Cells and Field-Effect Transistors Ozdemir, Mehmet; Kim, Sang Woo; Kim, Hyungsug; Kim, Myung-Gil; Kim, Bumjoon J.; Kim, Choongik; Ust, Hakan, ADVANCED ELECTRONIC MATERIALS, v.4, no.10, 2018-10 |
Semiconducting Polymers with Nanocrystallites Interconnected via Boron-Doped Carbon Nanotubes Yu, Kilho; Lee, Ju-Min; Kim, Junghwan; Kim, Geunjin; Kang, Hongkyu; Park, Byoungwook; Kahng, Yung Ho; et al, NANO LETTERS, v.14, no.12, pp.7100 - 7106, 2014-12 |
Semiconductor FAB layout design analysis with 300-mm FAB data: "Is minimum distance-based layout design best for semiconductor FAB design?" Kim, Junghoon; Yu, Gwangjae; Jang, Young Jae, COMPUTERS INDUSTRIAL ENGINEERING, v.99, pp.330 - 346, 2016-09 |
Semiconductor manufacturing intelligence and automation Foreward Chien, Chen-Fu; Hsu, Chia-Yu; Morrison, James R; Dou, Runliang, COMPUTERS & INDUSTRIAL ENGINEERING, v.99, pp.315 - 317, 2016-09 |
Semiconductor Multilayer Nanometrology with Machine Learning Kwak, Hyunsoo; Kim, Jungwon, Nanomanufacturing and Metrology, v.6, no.1, 2023-12 |
Semicustom design methodology of power gated circuits for low leakage applications Kim, HO; Shin, Youngsoo, IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, v.54, no.6, pp.512 - 516, 2007-06 |
Semicustom Design of Zigzag Power-Gated Circuits in Standard Cell Elements Shin, Young-Soo; Paik, Seung-Whun; Kim, Hyung-Ock, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.28, no.3, pp.327 - 339, 2009-03 |
Semiempirical Thrust Model of Dielectric Barrier Plasma Actuator for Flow Control Yoon, Jaesan; Han, Jae-Hung, JOURNAL OF AEROSPACE ENGINEERING, v.28, no.1, 2015-01 |
Semiglobal Nonmemoryless Attitude Controls on the Special Orthogonal Group Lee, Taeyoung; Chang, Dong Eui; Eun, Yongsoon, JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, v.141, no.2, 2019-02 |
Semijoin-Based Spatial Join Processing in Multiple Sensor Networks Kim, Min Soo; Kim, Ju Wan; Kim, Myoung Ho, ETRI JOURNAL, v.30, no.6, pp.853 - 855, 2008 |
Semimetallicity and Negative Differential Resistance from Hybrid Halide Perovskite Nanowires Khan, Muhammad Ejaz; Lee, Juho; Byeon, Seongjae; Kim, Yong-Hoon, ADVANCED FUNCTIONAL MATERIALS, v.29, no.13, pp.1807620, 2019-03 |
Semipermeable Microcapsules with a Block-Polymer-Templated Nanoporous Membrane Oh, Jaehoon; Kim, Bomi; Lee, Sangmin; Kim, Shin-Hyun; Seo, Myungeun, CHEMISTRY OF MATERIALS, v.30, no.1, pp.273 - 279, 2018-01 |
Semisupervised Training of Deep Generative Models for High-Dimensional Anomaly Detection Xie, Qin; Zhang, Peng; Yu, Boseon; Choi, Jaesik, IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, v.33, no.6, pp.2444 - 2453, 2022-06 |
Semitransparent Organic Photovoltaic Cells with Laminated Top Electrode Lee, Jung-Yong; Connor, ST; Cui, Y; Peumans, P, NANO LETTERS, v.10, no.4, pp.1276 - 1279, 2010-04 |
SEM을 이용한 미세 접합 시스템 개발 황일한; 나석주, 대한용접·접합학회지, v.21, no.4, pp.63 - 68, 2003-08 |
Sensing Accident-Prone Features in Urban Scenes for Proactive Driving and Accident Prevention Mishra, Sumit; Rajendran, Praveen Kumar; Vecchietti, Luiz Felipe; Har, Dongsoo, IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, v.24, no.9, pp.9401 - 9414, 2023-09 |
Sensing and modeling techniques for microscale transport Kim, SungJin; Kim, DK, INTERNATIONAL JOURNAL OF THERMAL SCIENCES, v.46, no.11, pp.1142 - 1152, 2007-11 |
Sensing behavior and mechanism of mixed potential NO, sensors using NiO, NiO( plus YSZ) and CuO oxide electrodes Park, Jinsu; Yoon, BY; Park, Chong-Ook; Lee, Won-Jun; Lee, CB, SENSORS AND ACTUATORS B-CHEMICAL, v.135, no.2, pp.516 - 523, 2009-01 |
Sensing capability of molecularly imprinted self-assembled monolayer Shin, Min Jae; Hong, Won-Hi, BIOCHEMICAL ENGINEERING JOURNAL, v.54, no.1, pp.57 - 61, 2011-03 |
Sensing Coverage-Based Cooperative Spectrum Detection in Cognitive Radio Networks Kim, Junhee; Choi, Jihwan P., IEEE SENSORS JOURNAL, v.19, no.13, pp.5325 - 5332, 2019-07 |
Sensing current and forces with SPM Park, JeongYoung; Maier, S; Hendriksen, B; Salmeron, M, MATERIALS TODAY, v.13, no.10, pp.37 - 44, 2010-10 |
Sensing dipole fields at atomic steps with combined scanning tunneling and force microscopy Park, JeongYoung; Sacha, GM; Enachescu, M; Ogletree, DF; Ribeiro, RA; Canfield, PC; Jenks, CJ; et al, PHYSICAL REVIEW LETTERS, v.95, no.13, 2005-09 |
Sensing mechanism of mixed potential NOx sensor for automotive exhaust via NO and NO2 simultaneous response Yoon, Byoung Young; Park, Jinsu; Hwang, Jeong-Suk; Park, Chong-Ook, ELECTRONIC MATERIALS LETTERS, v.3, no.1, pp.39 - 45, 2007-03 |
Sensitive and Reproducible Gold SERS Sensor Based on Interference Lithography and Electrophoretic Deposition Hwang, June Sik; Yang, Minyang, SENSORS, v.18, no.11, 2018-11 |
Sensitive and selective electrochemical detection of dopamine using an electrode modified with carboxylated carbonaceous spheres Guo, Zheng; Seol, Myeong-Lok; Kim, Moon-Seok; Ahn, Jae-Hyuk; Choi, Yang-Kyu; Liu, Jin-Huai; Huang, Xing-Jiu, ANALYST, v.138, no.9, pp.2683 - 2690, 2013-02 |
Sensitive and specific detection of proteins based on target-responsive DNA polymerase activity Jung, Yujin; Lee, Chang Yeol; Park, Ki Soo; Park, Hyun Gyu, ANALYTICA CHIMICA ACTA, v.1059, pp.80 - 85, 2019-06 |
Sensitive and Stretchable Strain Sensors Based on Silver Nanowires Network Song, W. G.; Yun, S.; Kyung, Ki-Uk; Kim, M.; Lee, J.; Baek, J.; Kim, S.; et al, JOURNAL OF NANOSCIENCE AND NANOTECHNOLOGY, v.16, no.8, pp.8614 - 8617, 2016-08 |
Sensitive detection of DNA from Chlamydia trachomatis by using flap endonuclease-assisted amplification and graphene oxide-based fluorescence signaling Lee, Chang Yeol; Jang, Hyowon; Kim, Hansol; Jung, Yujin; Park, Ki Soo; Park, Hyun Gyu, MICROCHIMICA ACTA, v.186, no.6, 2019-06 |
Discover