Browse by Title
Showing results 174261 to 174280 of 279371
| SAT-Based Unbounded Symbolic Model Checking = 범위를 지정하지 않는 SAT 기반 모델 검증에 관한 연구link Kang, Hyeong-Ju; 강형주; et al, 한국과학기술원, 2005 |
| Satefy Verification of Ada95 Programs Using Software Fault Trees Kwon, Yong Rae, Safecom 99, 1999 |
| Satellite Attitude Acquisition Using Dual Star Sensors with a Bootstrap Filter Cho, S.; Chun, Joohwan, First IEEE International Conference on Sensors - IEEE Sensors 2002, v.1, no.2, pp.1723 - 1727, 2002-06-12 |
| Satellite attitude control by adaptive dynamic programming and stable embedding technique = 적응 동적 계획법과 스테이블 임베딩 기법을 통한 위성 자세 제어link Xing, Xiaowei; Chang, Dong Eui; et al, 한국과학기술원, 2020 |
| Satellite attitude control by an internal moving mass and a momentum wheel = 내부 질량과 모멘텀 휠을 사용한 인공위성 자세제어link Cho, Young-Seok; 조영석; et al, 한국과학기술원, 1984 |
| Satellite attitude stabilization using solar radiation pressure and magnetotorquer Kumar, K. D.; Tahk, Min-Jea; Bang, Hyochoong, CONTROL ENGINEERING PRACTICE, v.17, no.2, pp.267 - 279, 2009-02 |
| Satellite Clustering for Non-Terrestrial Networks: Concept, Architectures, and Applications Jung, Dong-Hyun; Im, Gyeongrae; Ryu, Joon-Gyu; Park, Seungkeun; Yu, Heejung; Choi, Junil, IEEE VEHICULAR TECHNOLOGY MAGAZINE, v.18, no.3, pp.29 - 37, 2023-09 |
| Satellite Clustering for Non-Terrestrial Networks: Orbital Configuration-Dependent Outage Analysis Jung, Dong-Hyun; Ryu, Joon-Gyu; Choi, Junil, IEEE Wireless Communications Letters, v.13, no.2, pp.550 - 554, 2024-02 |
Satellite Constellation Orbit Design Optimization with Combined Genetic Algorithm and Semianalytical Approach Savitri, Tania; Kim, Youngjoo; Jo, Sujang; Bang, Hyochoong, INTERNATIONAL JOURNAL OF AEROSPACE ENGINEERING, 2017 |
| Satellite Edge Computing Architecture and Network Slice Scheduling for IoT Support Kim, Taeyeoun; Kwak, Jeongho; Choi, Jihwan P., IEEE INTERNET OF THINGS JOURNAL, v.9, no.16, pp.14938 - 14951, 2022-08 |
| Satellite formation flying using along-track thrust Kumar, KD; Bang, Hyochoong; Tahk, Min-Jea, ACTA ASTRONAUTICA, v.61, no.7-8, pp.553 - 564, 2007-10 |
| Satellite Formation Flying using Low Thrusters and Solar Sail Lim, Yeerang; Bang, Hyo-Choong, 2014 Asia-Pacific international Symposium on Aerospace Technology(APISAT), CSAA, 2014-09-24 |
| Satellite Image Processing Software for Value-Added Products 이해연; 박원규; 김승범; 김태정; 윤태훈; 신동석; 이흥규, 대한원격탐사학회지, v.15, no.4, pp.339 - 348, 1999 |
| Satellite Laser Ranging(SLR) using a Femtosecond Pulse Laser Jin, Jong-Han; Lee, SH; KIM, Young-Jin; Kim, Seung-Woo, The 3rd PRC(China)-ROK(Korea) SLR Workshop, KAIST, 2007-03 |
| Satellite Laser Ranging(SLR) using a Femtosecond Pulse Laser Jin, Jong-Han; Lee, SH; KIM, Young-Jin; Kim, Seung-Woo, The 3rd PRC(China)-ROK(Korea) SLR Workshop, 2006, The 3rd PRC(China)-ROK(Korea) SLR Workshop, 2006, 2006-05 |
| Satellite Map based Quantitative Analysis for 3D World Modeling of Urban Environments Chung, Myung Jin; Roh, Hyun Cheol; Oh, Tak Jun; Choe, Yun Geun, Asian Control Conference (ASCC2013), Asian Control Council, 2013-06-24 |
| Satellite Network Slice Planning: Architecture, Performance Analysis, and Open Issues Kim, Taeyeoun; Kwak, Jeongho; Choi, Jihwan P., IEEE VEHICULAR TECHNOLOGY MAGAZINE, v.18, no.2, pp.29 - 38, 2023-06 |
| Satellite orbit determination using a magnetometer-based bootstrap filter Kim, S; Chun, Joohwan, 2000 American Control Conference, pp.792 - 793, ACC, 2000-06-28 |
| Satellite orbit determination using GPS measurement Woo, H.W.; Tahk, Min-Jea; Jin, I.M.; Kim, J.C., Asia-Pacific Conference on Multilateral Corporation in Space Technology and Applications, 1996-05 |
| Satellite processor 운영을 위한 UNIX 연구 = A study on UNIX system with satellite processorslink 박찬익; Park, Chan-Ik; et al, 한국과학기술원, 1985 |
Discover
Type
Open Access
Date issued
- 34,203 2020 - 2024
- 100,102 2010 - 2019
- 75,680 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969