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
错误记录
- ImportError: ('Failed to import pydot. You must
pip install pydot
and install graphviz (https://graphviz.gitlab.io/download/), ', ‘forpydotprint
to work.’)
from tensorflow import keras