모나딕 타입으로 Coq에서 배중률 사용을 안전하게 감싸기

박지희 ,  류석영

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

2022 .12

Formal Model Design for Network and Operating System Behaviors in Real-time Distributed System Verification with Coq

김윤승 ,  허충길

Journal of KIISE

2020 .11

LE COQ WINE & BISTRO, XIAN : ROOMOO DESIGN STUDIO

정혜영

월간 데코 DECO

2023 .01

The Sound and Complete Gentzen Deduction System for the Modalized Łukasiewicz Three-Valued Logic

Cungen Cao ,  Yuefei Sui

INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS

2016 .09

우주산업 재무건전성에 관한 연구

박현준 ,  안형준

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

2023 .11

Fixpointed Mianorm-Based Logics

Eunsuk Yang

한국지능시스템학회 논문지

2020 .10

콘크리트전주의 건전도 및 안전성 향상을 위한 연구

양성근

대한전기학회 학술대회 논문집

2016 .07

도시 물순환 건전성 진단 지표 제안

이상진 ,  류경식 ,  장수형 외 2명

대한토목학회 학술대회

2020 .10

협력적 멀티에이전트 환경에서 메타논리를 이용한 지식의 표현과 추론

김군오

한국컴퓨터정보학회논문지

2022 .07

이더리움 지분증명으로의 전환

안광남 ,  이용환

Proceedings of KIIT Conference

2022 .12

빅데이터에 대한 Completeness를 이용한 빈발 패턴 마이닝

박인규

한국게임학회 논문지

2018 .04

소형에너지 저장용기 구조건전성 검토에 관한 연구

고두리 ,  조민호 ,  이해수 외 4명

한국생산제조학회 학술발표대회 논문집

2022 .12

루미큐브 보드게임의 NP-completeness 증명

김시운 ,  이영윤 ,  최시우

한국정보통신학회 종합학술대회 논문집

2024 .10

산화그래핀을 사용한 시멘트 복합체의 건전도 평가에 관한 기초연구

김지윤 ,  송병준 ,  전재현 외 3명

한국지반신소재학회 학술발표회

2023 .03

연관분석을 이용한 마코프 논리네트워크의1차 논리 공식 생성과 가중치 학습방법

안길승 ,  허선

산업경영시스템학회지

2015 .01

초음파법을 이용한 고온을 받은 콘크리트의 건전도 평가

황의철 ,  김규용 ,  최경철 외 3명

대한건축학회 학술발표대회 논문집

2016 .04

Fuzzy logic을 이용한 전력용 변압기의 건전도 평가 개선방안

윤광훈 ,  이형진 ,  신중우 외 3명

대한전기학회 학술대회 논문집

2019 .07

수동적 적외선 열화상 기법을 적용한 120W급 LED조명등 건전성 평가

정윤수 ,  고가진 ,  김재열

한국기계가공학회지

2017 .08

블록체인 기반의 IOT 펌웨어에 적용가능한 지분, 신뢰, 작업 증명 방식에 대한 소고

강장묵 ,  김도형 ,  윤철희

Proceedings of KIIT Conference

2022 .06

유체-구조 연성해석 기법을 이용한 소형 터보차저 건전성 향상 연구

곽우경 ,  김윤제

자동차안전학회지

2016 .06