Browse "College of Engineering(공과대학)" by Type Conference

Showing results 60701 to 60720 of 90986

60701
Sacrificial Template-Assisted Synthesis of Inorganic Nanosheets with HighLoading Single-Atom Catalysts: A General Approach

신하민; 김일두, 2022년 한국센서학회 추계학술대회, 한국센서학회, 2022-08-25

60702
SACS2: A dynamic and formal approach to safety analysis for complex safety critical system

Koh, Kwang Yong; Seong, Poong-Hyun, 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009, v.1, pp.298 - 311, 2009-04-05

60703
SACS2: Dynamic and Formal Safety Analysis Method for Complex Safety Critical System

고광용; 성풍현, 한국원자력학회 2009 춘계학술발표회, 한국원자력학회, 2009-05-21

60704
Sad or just jealous? Using Experience Sampling to Understand and Detect Negative Affective Experiences on Instagram

Ruensuk, Mintra; Kim, Taewan; Hong, Hwajung; Oakley, Ian, 2022 CHI Conference on Human Factors in Computing Systems, ACM, 2022-04-27

60705
SAD 함수 모델링을 이용한 고속 반화소 추정 알고리즘

나종범; 이윤구; 최부림, 대한전자공학회 하계종합학술대회, v.26, no.1, pp.1924 - 1927, 대한전자공학회, 2003-07

60706
Saddle-FET의 GIDL특성 분석 및 모델링

최양규; 이유준; 이현진; 정성웅, The 15th Korean Conference on Semiconductors (KCS), pp.635 - 636, 2008-02

60707
Saddlepoint Approximations for Conditional Expectations with Applications to Risk Management

Kim, Kyoung Kuk; Kim, So Jung, Third Asian Quantitative Finance Conference, Chinese University of Hong Kong, 2015-07-07

60708
Saddlepoint Methods for Risk Sensitivities and Markovian Projection

Kim, Sojung; Kim, Kyoung Kuk, SIAM Conference on Financial Mathematics & Engineering, Society for Industrial and Applied Mathematics, 2016-11-17

60709
Safe memory read-path using silent CRC calculation of binary bit-inversion for low-power fast ROM integrity verifcation

Park, Daejin; Kim, Tag-Gon, The 3rd IEEE International Conference on Consumer Electronics, IEEE, 2013-09-10

60710
Safe Navigation of Pedestrians in Social Groups in a Virtual Urban Environment

Rojas, Francisco Arturo; Yang, Hyun-Seung, CyberWorlds International Conference, CyberWorlds, 2014-10-06

60711
SAFE REINFORCEMENT LEARNING BASED MULTI-ROTOR COLLISION AVOIDANCE WITH UNEXPECTED OBSTACLES

Ahn, Hyungjoo; Lim, Chulsoo; Lee, Jayden Dongwoo; Bang, Hyochoong, 33rd Congress of the International Council of the Aeronautical Sciences, ICAS 2022, pp.5663 - 5673, International Council of the Aeronautical Sciences, 2022-09

60712
Safe Robot with Artificial Pneumatic Music

Choi, Tae-Yong; Seok, Joon-Hong; Lee, Ju-Jang, IEEE International Symposium on Industrial Electronics, IEEE ISIE 2009, pp.1434 - 1439, IEEE, 2009-07-05

60713
SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript

Lee, Hongki; Won, Sooncheol; Jin, Joonho; Cho, Junhee; Ryu, Sukyoung, 19th International Workshop on Foundations of Object-Oriented Languages, ACM, 2012-10-22

60714
SAFENet: Self-Supervised Monocular Depth Estimation with Semantic-Aware Feature Extraction

Choi, JaeHoon; Jung, Dongki; Lee, DongHwan; Kim, Changick, Thirty-fourth Conference on Neural Information Processing Systems, NIPS 2020, NeurIPS, 2020-12-11

60715
SAFERPHP: Finding Semantic Vulnerabilities in PHP Applications

Son, Sooel; Shmatikov, Vitaly, Programming Languages and Analysis for Security, PLAS, The ACM Special Interest Group on Programming Languages (SIGPLAN), 2011-06-05

60716
Safety analyses of Kaist Micro modular reactor with modified Gamma+ code

Oh, Bong-seong; Lee, Jeong-Ik; Kim, Seong Gu; Yu, Hwanyeal; Moon, Jangsik; Kim, Yonghee; Jeong, Yong Hoon, 17th International Topical Meeting on Nuclear Reactor Thermal Hydraulics, NURETH 2017, Association for Computing Machinery, Inc, 2017-09

60717
Safety Analysis of Compacted Spent Fuel with Natural Convection Flow

Lee, Kun Jai, ENS/ANS Transactions (ENC 86), pp.741 - 746, 1986

60718
Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models

Song, H.; Kim, Tag-Gon, AsiaSim 2012, Part I, Communications in Computer and Information Science, pp.480 - 489, AsiaSim, 2012-10

60719
Safety analysis of safety-critical software for nuclear digital protection system

Park G.-Y.; Lee J.-S.; Cheon S.-W.; Kwon K.-C.; Jee, Eunk Young; Koh K.Y., 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007, v.4680, pp.148 - 161, 2007-09-18

60720
Safety Analysis of VHTRs with MED Desalination Plants

No Hee Cheon; Kim, Ho Sik; Jin, Hyung Gon, American Nuclear Society, 2010-06

rss_1.0 rss_2.0 atom_1.0