컴퓨터시스템 01: 비트와 바이트, 그리고 정수
이 포스팅은 서울시립대학교 인공지능학과 백형부 교수님의 ‘컴퓨터시스템’ 강좌의 중간고사 이전 범위 수업 내용에 대한 정리를 담고 있습니다.
최근 포스트
SAT/SMT 튜토리얼
이 포스팅은 Coursera 강의, ‘Automated Reasoning: Satisfiablity‘의 SAT, SMT 튜토리얼입니다.
On Decomposing a Deep Neural Network into Modules
이 포스팅은 ‘On Decomposing a Deep Neural Network into Modules’ 논문에 대한 소개를 담고 있습니다.
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
이 포스팅은 ‘DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers’ 논문에 대한 소개를 담고 있습니다.
도커 사용법을 익혀보자
이 포스팅은 도커를 다루는 방법에 대해 설명합니다. 이 포스팅은 하단 링크 영상의 상당 부분을 참조하여 작성되었습니다.