marks

Ubuntu下makefile的简单使用
https://www.cnblogs.com/chenguanfu/p/4415072.html

t-SNE
https://www.oreilly.com/content/an-illustrated-introduction-to-the-t-sne-algorithm/

Speech enhancement
vbelz: https://github.com/vbelz/Speech-enhancement
deepxi: https://github.com/anicolson/DeepXi/commits/master

Keras
Home: https://keras.io/
API: https://keras.io/api/
Guide: https://keras.io/about/

Tensorflow
Tensorflow 2.x API: https://keras.io/about/
Tensorflow 1.x API: https://tensorflow.google.cn/versions/r1.15/api_docs/python/tf

时序逻辑（Temporal Logic）：
http://www.csc.kth.se/~mfd/Courses/Temporal_logic/course_description.php

Introduction to temporal logic: http://www.csc.kth.se/~mfd/Courses/Temporal_logic/temporal%20logic%20intro%20slides.pdf
Syntax and Semanticsof Propositional Linear Temporal Logic: http://www.csc.kth.se/~mfd/Courses/Temporal_logic/lecture1.pdf

Temporal task planning in wirelessly connected environments with unknown channel quality : github: https://github.com/MengGuo/ac_ltl_wsn
pdf: http://people.duke.edu/~mz61/papers/2017CDC_Guo_NetworkControlLTL.pdf

Principles of model checking: http://is.ifmo.ru/books/_principles_of_model_checking.pdf

错误记录

1. ImportError: ('Failed to import pydot. You must pip install pydot and install graphviz (https://graphviz.gitlab.io/download/), ', ‘for pydotprint to work.’)

from tensorflow import keras