Browse by Title
Showing results 171561 to 171580 of 275953
| Safety of Silicon Carbide Cladding for Fail-Safe Simple Economical SMR (FASES) No, Hee-Cheon; Lee, Youho; Kim, Ho Sik, ANS2014, ANS2014, 2014-06-19 |
Safety of transcranial focused ultrasound stimulation: A systematic review of the state of knowledge from both human and animal studies Pasquinelli, Cristina; Hanson, Lars G.; Siebner, Hartwig R.; Lee, Hyunjoo J.; Thielscher, Axel, BRAIN STIMULATION, v.12, no.6, pp.1367 - 1380, 2019-11 |
| Safety Performance of High-Occupancy-Vehicle Facilities Evaluation of HOV Lane Configurations in California Jang, Kitae; Chung, Koohong; Ragland, David R.; Chan, Ching-Yao, TRANSPORTATION RESEARCH RECORD, pp.132 - 140, 2009 |
| Safety Prediction for Basic Components of Safety-Critical Software Based on Static Testing Son, Han Seong; Seong, Poong-Hyun, International Youth Nuclear Congress 2000, 2000-04 |
| Safety Systems Design of VOC Recovery Process Based on HAZOP and LOPA Lee, Sangick; Chang, Daejun, PROCESS SAFETY PROGRESS, v.33, no.4, pp.339 - 344, 2014-12 |
| Safety Verification and Control for Collision Avoidance at Road Intersections Ahn, Heejin; Del Vecchio, Domitilla, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, v.63, no.3, pp.630 - 642, 2018-03 |
| Safety Verification in Murphy using Fault Tree Analysis Cha, Sungdeok, 10th International Conference on Software Engineering, 1988 |
| Safety Verification of Ada Programs using Software Fault Trees Levenson; Cha, Sungdeok; T.J.Shimeall, IEEE SOFTWARE, v.8, no.4, pp.48 - 59, 1991-07 |
| Safety Verification of Ada95 Programs Using Software Fault Trees Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999 |
| Safety, Risk, Culture and Public Acceptance of Nuclear in Korea Kang, Hyun Gook, East-west Youth Cooperation Seminar, 2001 |
| Safety-critical Software Requirements Checking Using PVS. 차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598, 1997 |
| Safety-ensuring systematic design for service robots Pyung-Hun Chang, The 6th International Conference on Smart Homes and Health Telematics(ICOST), pp.208 - 217, 123, 2008-06-29 |
| Safety-Guaranteed Flight Test Environment for Micro Air Vehicles Lee, Dong Kyu; Han, Jae-Hung, AIAA JOURNAL, v.54, no.3, pp.1014 - 1025, 2016-03 |
| Safety-guranteed Flight Test Environment for Micro Air Vehicles Lee, Dong Kyu; Han, Jae Hung, 2015 AIAA Science and Technology Forum and Exposition, American Institute of Aeronautics and Astronautics Inc, AIAA, 2015-01-05 |
| SafetyCube: Framework for potential pedestrian risk analysis using multi-dimensional OLAP Noh, Byeongjoon; Yeo, Hwasoo, ACCIDENT ANALYSIS AND PREVENTION, v.155, 2021-06 |
| SafetyNet: Interference Protection via Transparent PHY Layer Coding Yin, Zhimeng; Jiang, Wenchao; Liu, Roufeng; Kim, SongMin; He, Tian, 40th IEEE International Conference on Distributed Computing Systems, ICDCS 2020, IEEE, 2020-11-29 |
| SAFEWAPI: Web API Misuse Detector for Web Applications Bae, SungGyeong; Cho, Hyunghun; Lim, Inho; Ryu, Sukyoung, The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), ACM Special Interest Group on Software Engineering (SIGSOFT), 2014-11-19 |
| SAF를 위한 자동계획기법 구현 사례 김정윤; 최대회; 이상진; 정성훈, 한국시뮬레이션학회 논문지, v.23, no.4, pp.171 - 180, 2014-12 |
| SAGA DUBm-mediated surveillance regulates prompt export of stress-inducible transcripts for proteostasis Kim, Minhoo; Choi, Yoonjung; Kim, Harim; Lee, Daeyoup, NATURE COMMUNICATIONS, v.10, pp.2458, 2019-06 |
| SAGA regulates mRNA quality control and export for proteostasis Lee, Daeyoup, The 27th international KOGO annual conference, pp.47, Korea Genome Organization, 2018-09-06 |
Discover
Type
Open Access
Date issued
- 31,003 2020 - 2024
- 99,997 2010 - 2019
- 75,669 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969