전달 루틴의 병렬화를 통한 SAT 알고리즘의 GPGPU 가속화

강형주

한국정보통신학회논문지

2016 .10

SAT#1 (Preliminary Integration) Test Results of KASS System

정환호 ,  장현진 ,  김군택 외 2명

Journal of Positioning, Navigation, and Timing

2021 .01

Bounded Model Checking을 위한 다양한 SAT Solver 성능 분석

이도경 ,  남원홍

한국정보과학회 학술발표논문집

2016 .12

휠로더 SAT 개발을 위한 작업 패턴 분석에 대한 연구 : 건설 장비의 인공지능 작업모드 개발

허연행 ,  김형호 ,  김인동

한국자동차공학회 춘계학술대회

2016 .05

SATS: Structure-Aware Touch-Based Scrolling

Dohyung Kim ,  Gahgene Gweon ,  Geehyuk Lee

[ETRI] ETRI Journal

2016 .12

Analysis Method for Determining Optimal Synthetic Aperture Time Using Estimated Range and Doppler Cone Angle at the Center of Synthetic Aperture Length

Min-Ji Kim ,  Sangho Lim ,  Dong-Cho Shin

Journal of Electromagnetic Engineering And Science

2023 .05

딥 러닝을 이용한 CSAT와 SAT의 비교 및 개선점 제안

이민영

한국정보과학회 학술발표논문집

2022 .12

양자 검색 알고리즘을 이용한 N-Queen 문제 접근법

하진영 ,  허준

한국통신학회 학술대회논문집

2020 .02

SDR 송수신기를 이용한 큐브위성 K²SAT 통신계 검증

곽필원 ,  김기덕 ,  김태영 외 3명

한국항공우주학회 학술발표회 초록집

2018 .04

Ku/Ka 밴드 위성에서의 Sat-IoT 전송 서비스를 위한 다중 접속 프레임 구조 연구

정수엽 ,  오덕길

한국통신학회 학술대회논문집

2017 .06

국내외 페로니켈 슬래그의 열역학 모델링을 통한 SAT 공정 설계 및 제조된 PS Ball의 재료 특성 분석

심성일 ,  이정환 ,  이원영

한국콘크리트학회 학술대회 논문집

2023 .11

전자 패키징 내부 검출용 주사음향현미경(SAT) 사용법에 대한 고찰

이강후 ,  송인협 ,  신소원 외 1명

한국정밀공학회 학술발표대회 논문집

2024 .11

SAT(Systematic Approach to Training)에 따른 방사선 장해방어 감독자 과정의 개편 방안 연구

고한석 ,  김웅기

대한산업공학회 춘계공동학술대회 논문집

2016 .04

Comparison of Number’s Puzzle using NuSMV and SAT Solver

Anit Thapaliya ,  Gihwon Kwon

한국정보과학회 학술발표논문집

2016 .06

큐브위성 K ²SAT 비행모델에 대한 구조해석

김태호 ,  김기덕 ,  김태영 외 3명

한국항공우주학회 학술발표회 초록집

2017 .11

SAT 운용을 위한 세라믹의 미세 크랙 판별 소프트웨어 개발

권문수 ,  이종환

대한산업공학회 춘계공동학술대회 논문집

2015 .04

리튬이온전지를 이용한 전기저장장치의 SAT용 성능평가 알고리즘에 관한 연구

박재범 ,  김병기 ,  김미성 외 1명

한국산학기술학회 논문지

2019 .06

양자기계학습 알고리즘 기반 양자 키공유 모델 설계

양수빈 ,  김해림 ,  김병훈 외 1명

한국정보과학회 학술발표논문집

2022 .06

양자 검색 알고리즘의 오라클 위상 차이를 활용한 확률적 차등 생성 기법

서영진 ,  허준

한국통신학회 학술대회논문집

2022 .02

Digital-to-quantum interface and efficient quantum process management for practical quantum computation

Daniel K. Pa ,  k ,  F 외 3명

한국통신학회 학술대회논문집

2019 .01