Browse by Title
Showing results 171341 to 171360 of 275585
| SAFE: 확장 가능한 JavaScript 분석 프레임워크 이홍기; 진준호; 원순철; 조준희; 류석영; 고윤석, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.5, pp.283 - 289, 2013-05 |
| Safeguarding the RuO2 phase against lattice oxygen oxidation during acidic water electrooxidation Jin, Haneul; Choi, Songa; Bang, Gi Joo; Kwon, Taehyun; Kim, Hee Soo; Lee, Su Ji; Hong, Yongju; et al, ENERGY & ENVIRONMENTAL SCIENCE, v.15, no.3, pp.1119 - 1130, 2022-03 |
| 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 |
| SAFENet: self-supervised monocular depth estimation with semantic-aware feature extraction = 의미 인식 특징 추출을 통한 자가 감독 단안 깊이 추정link Jung, Dongki; Kim, Changick; et al, 한국과학기술원, 2021 |
| 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 |
| Safety activities on safety-critical software for reactor protection system Park, G.-Y.; Kwon, K.C.; Jee, E.; Koh, K.Y.; Seong, Poong-Hyun, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.96, no.0, pp.237 - 238, 2007 |
| 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 |
| Safety analysis and development of control logic of KAIST Micro Modular Reactor with GAMMA+ code = GAMMA+ 코드를 이용한 초소형 모듈원전의 안전해석 및 제어논리 개발link Oh, Bong Seong; Lee, Jeong Ik; et al, 한국과학기술원, 2017 |
| Safety analysis of 250-kW philippine research reactor-1 thermal-hydraulics under steady-state operations using MARS-KS code Jecong, J.F.M.; Astronomo, A.A.; Hila, F.C.; Guillermo, N.R.D.; Woo, S.W., Philippine Journal of Science, v.150, no.2, pp.407 - 415, 2021 |
| Safety Analysis of Compacted Spent Fuel with Natural Convection Flow Lee, Kun Jai, ENS/ANS Transactions (ENC 86), pp.741 - 746, 1986 |
| Safety analysis of compacted spent fuel with natural convection flow = 자연 대류시 밀집된 사용후 핵연료 저장조에서의 안전성 분석link Lee, Chang-Ju; 이창주; et al, 한국과학기술원, 1986 |
| 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 |
| Safety analysis of function block diagrams using fault trees = Fault tree 기법을 이용한 function block diagram 의 안전성 분석link Oh, You-Ju; 오윤주; et al, 한국과학기술원, 2004 |
| Safety analysis of hybrid real-time system requirements using qualitative models = 정성 모델을 이용한 복합 실시간 계통 요구사항의 안전성 분석link Lee, Jang-Soo; 이장수; et al, 한국과학기술원, 2002 |
| Safety analysis of LOCA, transients and tritium permeation in hydrogen production HTGR : 수소 생산 고온 가스로의 LOCA, 천이 및 삼중수소 투과에 대한 안전해석연구 = 수소 생산 고온 가스로의 LOCA, 천이 및 삼중수소 투과에 대한 안전해석연구link , 한국과학기술원, 2012 |
| 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 |
| Safety Analysis of VHTRs with MED Desalination Plants No Hee Cheon; Kim, Ho Sik; Jin, Hyung Gon, American Nuclear Society, 2010-06 |
| Safety Analysis of VHTRs with MED Desalination Plants No, Hee Cheon; Kim, Ho Sik; Jin, Hyung Gon, American Nuclear Society, v.104, 2011-06 |
| Safety Analysis Using Coloured Petri Nets 차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995 |
| Safety Analysis Using Coloured Petri Nets Cho, Seung Mo; Hong, Hyoung Seok; Cha, Sungdeok, Asia-Pacific Software Engineering Conference, pp.176 - 183, IEEE, 1996-12-04 |
Discover
Type
Open Access
Date issued
- 30,903 2020 - 2024
- 100,005 2010 - 2019
- 75,681 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969