Showing results 173081 to 173100 of 278091
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 |
Sageflow: Robust Federated Learning against Both Stragglers and Adversaries PARK, JUNGWUK; Moon, Jaekyun; HAN, DONGJUN; Choi, Minseok, Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS), Neural Information Processing Systems Foundation, 2021-12-08 |
Sagnac interferometer based sensor array with stable pi/2 phase bias Kim, Byoung Yoon, OFS 2000, pp.3 - 18, OFS, 2000-10-01 |
Sagnac interferometer based sensor array with stable π/2 phase bias Han, KH; Lee, WJ; Kim, Byoung Yoon, 14th International Conference on Optical Fiber Sensors, v.4185, pp.752 - 755, 2000-10-11 |
Sagnac interferometric sensor array for acoustic sensing and method of detecting acoustic signals Kim, Byoung Yoon; Lee, Wang Joo; Han, Ki Ho |
Sagnac 루프 반사경을 이용한 광섬유 레이저 자이로스코우프에서 모드록킹된 펄스의 편광 가역성 연구 = Polarization reciprocity of mode locked fiber laser gyroscope with sagnac loop mirrorlink 정호진; Jeong, Ho-Jin; et al, 한국과학기술원, 1996 |
Sagnac-interferometry-based digital optical phase conjugation (DOPC) system for turbidity suppression Hillman, T.R.; Park, YongKeun; Yaqoob, Z.; Choi, W.; Fu, D.; Yamauchi, T.; Dasari, R.R.; et al, Three-Dimensional and Multidimensional Microscopy: Image Acquisition and Processing XVIII, v.7904, 2011-01-24 |
SAGO STARCH SACCHARIFICATION AND SIMULTANEOUS ETHANOL FERMENTATION BY AMYLOGLUCOSIDASE AND ZYMOMONAS-MOBILIS Lee, Gyun-Min; KIM, CH; YUSOF, ZAM; HAN, MH; RHEE, SK, JOURNAL OF CHEMICAL TECHNOLOGY AND BIOTECHNOLOGY, v.38, no.4, pp.235 - 242, 1987-12 |
SAL-PIM: a subarray-level processing-in-memory architecture for accelerating end-to-end generative transformer with LUT-based linear interpolation = 생성 트랜스포머의 종단간 가속을 위한 룩-업 테이블 기반 선형 보간을 이용하는 서브어레이-레벨 프로세싱-인-메모리 구조link Han, Wontak; Kim, Joo-Young; et al, 한국과학기술원, 2023 |
Discover