随笔档案「2021年11月」 - minor_second

数理逻辑学习笔记[11] 数学基础(1)

摘要：5 数学基础 5.1 数学系统 Q: 一阶系统和模型分别和数学领域有什么关系？ A: 一阶系统不涉及具体语义（数学领域）。适当一阶系统，再选择特定模型作为解释，能够表达某数学领域的许多数学定理、逻辑定理。 Q: 形式主义和逻辑主义有何区别？ A: 形式主义：公理不一定是逻辑的公理（不强调一切系统都由阅读全文

posted @ 2021-11-30 08:58 minor_second 阅读(553) 评论(0) 推荐(0)

数理逻辑学习笔记[10] 一阶逻辑完全性定理

摘要：4 一阶逻辑：证明论 4.5 完全性定理预备 Q: 完全性定理是说“真值为真推出是定理”还是“重言式是定理”？ A: 对于FOL，两者都不对。是“逻辑有效（任何解释真值为真）”推出是定理。 Q: 命题逻辑完全性定理Henkin证法：$\mathscr A$不是定理则其否定$\sim\mathscr 阅读全文

posted @ 2021-11-28 11:32 minor_second 阅读(1188) 评论(0) 推荐(0)

TCS学习笔记[8] 上下文无关语言

摘要：未校对，未加习题 8 上下文无关语言 8.1 上下文无关文法 Q: 描述算术表达式文法中，“项”“因子”“表达式”三者以什么顺序“循环”地出现？为什么？ A: 表达式由项组成，项由因子组成，因子可能是表达式。其实“表达式由因子组成，因子由项组成，项可能是表达式”也有可能。实际中可能是看哪种情况更常阅读全文

posted @ 2021-11-23 22:02 minor_second 阅读(315) 评论(0) 推荐(0)

约束式编程学习笔记[12] Issues in constraint programming

摘要：9 Issues in constraint programming 9.1 Modeling Q: 举例说明不同的modeling A: 举例：是否引入辅助变量。举例：不同的语法表示同样语义（如all_different）举例：增加新标识符（“新语法”）表示相同语义，并引入对应新规则。 Q: 阅读全文

posted @ 2021-11-23 00:21 minor_second 阅读(176) 评论(0) 推荐(0)

数字信号处理学习笔记[7] 有限离散傅氏变换

摘要：7 有限离散傅氏变换 7.1 有限离散傅氏变换、有限离散频谱引起的假信号 Q: 如何理解$1/N\Delta$分母的两项？$1/(N-1)\Delta$为什么不行呢？ A: $\Delta$：$[0,1/\Delta]$就是待考察有意义频谱范围。$1/N$可以理解为时域乘方波频域卷积$sinc$ 阅读全文

posted @ 2021-11-22 19:12 minor_second 阅读(332) 评论(0) 推荐(0)

数理逻辑学习笔记[9] 前束范式和子句范式

摘要：4 一阶逻辑：证明论 4.4 前束范式和子句范式 12$\vdash$之第一组 Q: 记忆第一组。$x_i$不在$\mathscr{ A}$中自由出现，则根据K（）（填编号）可以帮助记忆，写出：（）。 A: 6 \(\vdash (\forall x_i)(\mathscr{ A}\to\maths 阅读全文

posted @ 2021-11-22 13:07 minor_second 阅读(960) 评论(0) 推荐(0)

约束式编程学习笔记[11] Search

摘要：未校对 8 Search 8.1 Search trees Q: 如何理解"leaves all of which are ‘manifestly failed’." A: The reference to ‘manifestly’ means that it is straightforward 阅读全文

posted @ 2021-11-22 10:00 minor_second 阅读(131) 评论(0) 推荐(0)

ExpRe[14] 文献管理[0] 开源文献管理软件Zotero

摘要：时效性本篇撰写时间为2021.11.21，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288 本篇前置阅读全文

posted @ 2021-11-21 14:24 minor_second 阅读(685) 评论(0) 推荐(0)

ExpRe[12] Docker[1] 镜像修改、保存、复用。附：ssh连接物理机

摘要：时效性本篇撰写时间为2021.11.20，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Linux version 5.4.0-84-generic (buildd@lcy01-a 阅读全文

posted @ 2021-11-20 12:43 minor_second 阅读(218) 评论(0) 推荐(0)

ExpRe[11] Docker[0] 基础使用，涉及GPU的使用，深度学习镜像deepo

摘要：时效性本篇撰写时间为2021.11.19，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。本篇前置： ExpRe[6] 云服务器[0] 基础使用，ssh连接 https://www. 阅读全文

posted @ 2021-11-19 22:43 minor_second 阅读(282) 评论(0) 推荐(0)

ExpRe[10] Ubuntu[2] 准备神秘软件、备份恢复软件

摘要：时效性本篇撰写时间为2021.11.19，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Linux version 5.4.0-84-generic (buildd@lcy01-a 阅读全文

posted @ 2021-11-19 19:01 minor_second 阅读(231) 评论(0) 推荐(0)

[paper reading][CVPR 2020] Spatio-Temporal Graph for Video Captioning with Knowledge Distillation

摘要：CVPR 2020 https://openaccess.thecvf.com/content_CVPR_2020/papers/Pan_Spatio-Temporal_Graph_for_Video_Captioning_With_Knowledge_Distillation_CVPR_2020_ 阅读全文

posted @ 2021-11-18 19:53 minor_second 阅读(116) 评论(0) 推荐(0)

[paper reading][CVPR 2020] Temporal Pyramid Network for Action Recognition

摘要：CVPR 2020 https://openaccess.thecvf.com/content_CVPR_2020/papers/Yang_Temporal_Pyramid_Network_for_Action_Recognition_CVPR_2020_paper.pdf visual tempo 阅读全文

posted @ 2021-11-18 19:11 minor_second 阅读(158) 评论(0) 推荐(0)

ExpRe[9] Chrome[0] 插件商店，markdown博客同步相关

摘要：时效性本篇撰写时间为2021.11.18，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288 本篇前置阅读全文

posted @ 2021-11-18 16:40 minor_second 阅读(119) 评论(0) 推荐(0)

ExpRe[8] Ubuntu[1] 安装软件示例：已有源(vim)，新源(Typora)，.deb和apt(Keybase)，.deb和dpkg(Teamviewer)

摘要：时效性本篇撰写时间为2021.11.16，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Linux version 5.4.0-84-generic (buildd@lcy01-a 阅读全文

posted @ 2021-11-17 22:27 minor_second 阅读(308) 评论(0) 推荐(0)

约束式编程学习笔记[10] Constraint propagation algorithms

摘要：未校对 7 Constraint propagation algorithms Q: 举例说明“Sometimes a CSP can already be solved solely by means of a constraint propagation algorithm”. A: 对于具体例阅读全文

posted @ 2021-11-17 16:11 minor_second 阅读(87) 评论(0) 推荐(0)

ExpRe[7] Ubuntu[0] U盘启动盘制作，重装系统

摘要：时效性本篇撰写时间为2021.11.16，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。台式机为Hp的某型号，启动固件是UEFI. 现在新电脑基本都是UEFI其实。本篇前置：准阅读全文

posted @ 2021-11-17 07:48 minor_second 阅读(639) 评论(0) 推荐(0)

数字信号处理学习笔记[6] 希尔伯特变换与实信号的复数表示

摘要：6 希尔伯特变换与实信号的复数表示 6.1 实连续信号的复信号表示和希尔伯特变换 Q: 对于实信号$x(t)$，如何证明$x(t)=Re{\int_0^{+\infty}2X(f)e^{i2\pi ft}df}$？（即：把实信号写成了只含（）的某个复信号的（）部） A: $X(f)$和$X(-f) 阅读全文

posted @ 2021-11-16 19:25 minor_second 阅读(924) 评论(0) 推荐(0)

ExpRe[6] 云服务器[0] 基础使用，ssh连接

摘要：时效性本篇撰写时间为2021.11.14，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288 本篇前置阅读全文

posted @ 2021-11-16 09:39 minor_second 阅读(488) 评论(0) 推荐(0)

ExpRe[5] python[2] raise语句，条件断点

posted @ 2021-11-14 18:33 minor_second 阅读(144) 评论(0) 推荐(0)

ExpRe[4] python[1] 单元测试，算法题对拍

摘要：时效性本篇撰写时间为2021.11.13，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288 本篇前置阅读全文

posted @ 2021-11-13 18:28 minor_second 阅读(98) 评论(0) 推荐(0)

ExpRe[3] python[0] Anaconda配置python环境

posted @ 2021-11-13 16:59 minor_second 阅读(193) 评论(0) 推荐(0)

TCS学习笔记[7] 正则语言

摘要：未校对 7 正则语言 7.1 Chomsky谱系 Q: 递归枚举语言在谱系中对应最（）的计算能力。其实用价值有时较低，因为（）。 A: 强。不能有明确判定结果/计算复杂等 Q: 1型语言做（）特殊处理后，就可以形成0->1->2->3的（）关系。 A: 包含进各个与空串的并集。0型 1型 2型 3型阅读全文

posted @ 2021-11-12 23:00 minor_second 阅读(222) 评论(0) 推荐(0)

[paper reading][AAAI 2021] DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

摘要：AAAI 2021 https://arxiv.org/pdf/1911.10244.pdf a seq of high-level objectives synthesis of compact automata, human-interpretable enrich the state spac 阅读全文

posted @ 2021-11-12 13:34 minor_second 阅读(96) 评论(0) 推荐(0)

数理逻辑学习笔记[8] 导出规则等价和替换

摘要：4 一阶逻辑：证明论 4.2 导出规则 Q: R2是全称量词引入，R3是（），R4是（），而存在量词消去（斯科伦化）没有简单的规则。 A: 全称量词消去（注：R3其实是把公理K4, K5写成规则形式。公理一定能写成规则，反之不然。演绎定理反向一定成立，正向不一定）存在量词引入。 Q: 解释记号$\ 阅读全文

posted @ 2021-11-11 19:36 minor_second 阅读(933) 评论(0) 推荐(0)

数理逻辑学习笔记[7] 一阶逻辑的形式系统

摘要：4 一阶逻辑：证明论 4.1 形式系统 6条公理和2条规则 Q: 某个具体的一阶语言$\mathscr L$和形式系统$K_\mathscr L$有何联系？怎么理解“考虑一个固定但未具体指定的一阶语言”？ A: 给定某个一阶语言$\mathscr L$（不同的一阶语言可能有不同的字符集），就能以某些阅读全文

posted @ 2021-11-11 09:26 minor_second 阅读(587) 评论(0) 推荐(0)

数理逻辑学习笔记[6] 真值斯科伦化

摘要：3 一阶逻辑：模型论 3.5 真值 Q: 真值和满足有何联系与区别？ A: 满足针对赋值，真值针对解释。解释下一切赋值都满足则“真”。一切赋值都不满足则“假”。注：所以说对于一般的情况可以“不确定真假”。但不可能既真又假。 Q: 考察公式真值关于$\to,\sim$的性质（强调：这并不是真值定义阅读全文

posted @ 2021-11-10 19:33 minor_second 阅读(535) 评论(0) 推荐(0)

数理逻辑学习笔记[5] 解释满足

摘要：3 一阶语言：模型论 3.3 解释 Q: 为什么要解释非逻辑符号？ A: 非逻辑符号（函项符、谓词符）依赖于具体的应用背景，可以有不同的意思。在实际应用中，我们需要确定对$n$元谓词符，每个可能的$n$元组合是否满足该谓词；也需要确定对$n$元函项符，每个可能的$n$元组合映射到什么对象。这样才能确阅读全文

posted @ 2021-11-10 16:53 minor_second 阅读(429) 评论(0) 推荐(0)

数理逻辑学习笔记[4] 哥德尔编码替换

摘要：3 一阶逻辑：模型论 3.2 一阶语言哥德尔编码 Q: 如何用一个自然数，编码自然数的有序对？ A: 可以使用$2a 3b$，也可以在二维平面上从原点开始以“蛇形”给每个自然数为坐标的点编号。注：前者会导致许多自然数没有对应的有序对，不是一一对应。但叙述起来较简单。如果既要一一对应又要叙述简单阅读全文

posted @ 2021-11-10 16:17 minor_second 阅读(533) 评论(0) 推荐(0)

数理逻辑学习笔记[3] 谓词与量词一阶语言基础复杂度权重

摘要：3 一阶逻辑：模型论 3.1 谓词和量词 Q: 为什么说命题逻辑$L$的表达能力不够？ A: 比如难以表达“至少有一个A中元素满足某某”。注：命题逻辑较容易表达“所有A中元素都满足某某”。 Q: 含有自由变元的陈述和命题逻辑中的命题形式有何共同点？ A: 由于变元（自由变元或者命题逻辑中命题变元）阅读全文

posted @ 2021-11-10 15:46 minor_second 阅读(613) 评论(0) 推荐(0)

数理逻辑学习笔记[2] 形式系统间的关系完全性定理

摘要：2 命题逻辑：语法 2.1 形式系统形式系统间的关系 Q: (L1)$\mathscr A\to(\mathscr B \to \mathscr A)$ (L2)\((\mathscr A \to(\mathscr B \to\mathscr C))\to((\mathscr A \to\ma 阅读全文

posted @ 2021-11-10 15:18 minor_second 阅读(549) 评论(0) 推荐(0)

数理逻辑学习笔记[1] 命题逻辑的形式系统

摘要：2 命题逻辑：语法 2.1 形式系统形式系统 Q: 如何理解“形式（演绎）系统中有关符号的一切行为和性质不依赖符号特定的意义和具体的性质”？用常微分方程的形式幂级数解举例阐述。 A: 提示：形式上规定针对幂级数可以逐项求微分或积分，而不考虑收敛性，从而给出常微分方程的形式幂级数解。这里的演算都是阅读全文

posted @ 2021-11-10 14:09 minor_second 阅读(1025) 评论(0) 推荐(0)

数理逻辑学习笔记[0] 命题逻辑：语义

摘要：1 命题逻辑：语义 1.1 命题和连接符 Q: 数学语言，如“$x_0$是集合$X$的最大元”是符号语言嘛？如何把它转化为符号语言？ A: 不是。数学语言是自然语言+记号。$x_0\in X,\forall x\in X,x\le x_0$. 注意$x_0\in X$不能遗漏！ Q: 逻辑矛盾和阅读全文

posted @ 2021-11-10 11:16 minor_second 阅读(686) 评论(0) 推荐(0)

ExpRe[2] UML，UML类图，UML绘图语言——PlantUML

摘要：时效性本篇撰写时间为2021.11.9，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288 UML U 阅读全文

posted @ 2021-11-09 21:53 minor_second 阅读(394) 评论(0) 推荐(1)

ExpRe[1] 笔记本分屏显示

摘要：时效性本篇撰写时间为2021.11.9，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288 笔记本电脑阅读全文

posted @ 2021-11-09 18:07 minor_second 阅读(543) 评论(0) 推荐(0)

ExpRe[0] VSCode[0] 安装和基础使用，联动Markdown，联动知乎

摘要：时效性本篇撰写时间为2021.11.9，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288 VSCod 阅读全文

posted @ 2021-11-09 12:22 minor_second 阅读(530) 评论(0) 推荐(1)

ExpRe专栏简介

摘要：名称含义 ExpRe，表示如同强化学习一般对exploration的行为给予自己reward. 而具体的reward就是用博客表达(express)出来。最近深刻地感受到常常陷在舒适区中，不愿意探索新的事物。为了探索更广阔的技术天地，紧跟时代前沿，为自己开设一个专栏，不定期地记录探索中的收获。具阅读全文

posted @ 2021-11-08 22:36 minor_second 阅读(635) 评论(0) 推荐(0)

[paper reading][ECCV 2018] Temporal Relational Reasoning in Videos

摘要：ECCV 2018 https://openaccess.thecvf.com/content_ECCV_2018/papers/Bolei_Zhou_Temporal_Relational_Reasoning_ECCV_2018_paper.pdf link meaningful transfor 阅读全文

posted @ 2021-11-08 09:17 minor_second 阅读(40) 评论(0) 推荐(0)

[paper reading][ESWC 2005] Temporal RDF

摘要：ESWC 2005 https://users.dcc.uchile.cl/~cgutierr/papers/temporalRDF.pdf Resource Description Framework, incoporate temporality 1 Introduction propertie 阅读全文

posted @ 2021-11-08 08:48 minor_second 阅读(51) 评论(0) 推荐(0)

[paper reading][EMNLP 2018] Learning Sequence Encoders for Temporal Knowledge Graph Completion

摘要：EMNLP 2018 https://arxiv.org/pdf/1809.03202.pdf link prediction in knowledge graphs static multi-relational data? hold for a time! LSTM: a sequence fo 阅读全文

posted @ 2021-11-08 07:33 minor_second 阅读(155) 评论(0) 推荐(1)

[paper reading][EMNLP 2017] A Structured Learning Approach to Temporal Relation Extraction

摘要：EMNLP 2017 https://arxiv.org/pdf/1906.04943.pdf learn temporal relations in natural language text 1 Introduction timex extraction: easy temporal relat 阅读全文

posted @ 2021-11-08 00:47 minor_second 阅读(71) 评论(0) 推荐(0)

[paper reading][AI 2021] Making sense of sensory input

摘要：AI 2021 https://www.sciencedirect.com/science/article/pii/S0004370220301855 an ILP system for sequences. predict, retrodict, impute unsupervised progr 阅读全文

posted @ 2021-11-07 21:49 minor_second 阅读(67) 评论(0) 推荐(0)

数理逻辑学习笔记简介

摘要：专栏简介与声明本专栏链接：https://www.cnblogs.com/minor-second/category/2057764.html 使用教学资料本专栏是数理逻辑个人复习博客系列。参考资料是林作铨老师的数理逻辑讲义（2021年秋） https://www.math.pku.edu.c 阅读全文

posted @ 2021-11-07 09:39 minor_second 阅读(276) 评论(0) 推荐(0)

数字信号处理学习笔记[5] 冲激函数——delta函数

摘要：5 冲激函数——$\delta$函数 5.1 冲激函数——$\delta$函数的定义和频谱 Q: 如何理解“$\delta(t)=+\infty, t=0;\delta(t)=0,t\ne 0$和$\int_{-\infty}{+\infty} \delta(t)dt$只反映了$\delta$函数的阅读全文

posted @ 2021-11-07 07:54 minor_second 阅读(2262) 评论(0) 推荐(0)

数字信号处理学习笔记[4] 线性时不变滤波器与系统

摘要：4 线性时不变滤波器与系统 4.1 线性时不变系统及其时间响应函数 Q: 如何理解$h(n)=T\delta (n)$及此$h(n)$的作用？ A: 对于线性时不变系统，可以只考虑$\delta(n)$的输出$T\delta(n)$（时间响应函数$h(n)$），此时任意$x(n)$的输出就可以用 \ 阅读全文

posted @ 2021-11-06 21:41 minor_second 阅读(910) 评论(0) 推荐(0)

数字信号处理学习笔记[3] 滤波与褶积，Z变换

摘要：3 滤波与褶积，Z变换 3.1 连续信号的滤波和褶积 Q: 卷积（褶积）和空间不变（平移对称性）有何联系？ A: 提示（举例）：位置0影响位置1的程度和1影响2的、2影响3的程度是相同的（并以此类推），这就是空间不变或平移对称性。很多物理规律比如万有引力定律等就具有此性质。那么考虑0 1 2三个阅读全文

posted @ 2021-11-06 16:18 minor_second 阅读(706) 评论(0) 推荐(0)

数字信号处理学习笔记[2] 奇异函数练习重抽样恢复连续信号假频

摘要：2 离散信号和抽样定理奇异函数练习 Q: 直接根据狄拉克函数的定义证明筛选性质。 A: 提示：$\int_{-\infty}^{+\infty}\delta(x)f(x)dx=\int_{-\infty}^{+\infty}\delta(x)f(0)dx(因为其它点\delta(x)=0)$ 阅读全文

posted @ 2021-11-06 13:10 minor_second 阅读(487) 评论(0) 推荐(0)

数字信号处理学习笔记[1] 离散信号奇异信号抽样定理

摘要：2 离散信号和抽样定理 2.1 离散信号 Q: 离散和抽样有何关系？抽样有什么样的“损失”亟待恢复？ A: 离散信号可以直接测量得到，但大多数离散信号是由连续信号经过离散化（抽样）得到的。 “损失”：连续到离散，无限长到有限长。我们希望可以由采样后的结果唯一无偏恢复原始连续信号。（但简明起见，我们阅读全文

posted @ 2021-11-06 11:10 minor_second 阅读(1033) 评论(0) 推荐(0)

数字信号处理学习笔记[0] 连续信号的频谱和傅氏变换

摘要：绪论 Q: 举例说明“信号是携带信息的一元或多元函数” A: 如声音、心电图、气象温度记录是一元函数$f(t)$，图像是二元函数$f(x,y)$，电影是三元函数$f(x,y,t)$，地下构造是三元函数$f(x,y,z)$. Q: 如何理解“数字信号处理要灵活得多，应用也要广泛得多”？ A: 信号处理阅读全文

posted @ 2021-11-06 10:28 minor_second 阅读(1088) 评论(0) 推荐(0)

[paper reading][AISTATS 2019] A General Framework for Multi-fidelity Bayesian Optimization with Gaussian Processes

摘要：AISTATS 2019 http://proceedings.mlr.press/v89/song19b/song19b.pdf principled framework for multi-fidelity BO with theoretical and empirical results 3 阅读全文

posted @ 2021-11-05 21:35 minor_second 阅读(58) 评论(0) 推荐(0)

[paper reading][RoboCup 2018] Combining Simulations and Real-robot Experiments for Bayesian Optimization of Bipedal Gait Stabilization

摘要：RoboCup 2018 https://arxiv.org/pdf/1809.05374.pdf used a proposed BO algorithm to trade-off between sim and real engineered cost function for bipedal 阅读全文

posted @ 2021-11-05 21:08 minor_second 阅读(35) 评论(0) 推荐(0)

[paper reading][CoRL 2017] Deep Kernels for Optimizing Locomotion Controllers

摘要：CoRL 2017 http://proceedings.mlr.press/v78/antonova17a/antonova17a.pdf imformed engineered deep kernel (1-dim) cost agnostic traj summaries for flexib 阅读全文

posted @ 2021-11-05 20:45 minor_second 阅读(39) 评论(0) 推荐(0)

[paper reading][ICRA 2018] Bayesian Optimization Using Domain Knowledge on the ATRIAS Biped

摘要：ICRA 2018 https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8461237 incorporating domain knowledge, with a focus on bipedal locomotion a sepera 阅读全文

posted @ 2021-11-05 19:28 minor_second 阅读(38) 评论(0) 推荐(0)

[paper reading][JMLR 2019] Bayesian Optimization for Policy Search via Online-Offline Experimentation

摘要：JMLR 2019 https://www.jmlr.org/papers/volume20/18-225/18-225.pdf combine online and offline multi-task GP, kernel for multi-task 1 Introduction A/B: s 阅读全文

posted @ 2021-11-05 17:31 minor_second 阅读(70) 评论(0) 推荐(0)

[paper reading][JMLR 2019] Using Simulation to Improve Sample-Efficiency of Bayesian Optimization for Bipedal Robots

摘要：JMLR 2019 https://www.jmlr.org/papers/volume20/18-196/18-196.pdf utilizes simulation to learn structured feature transforms that map the original para 阅读全文

posted @ 2021-11-05 16:52 minor_second 阅读(65) 评论(0) 推荐(0)

[paper reading][Proceedings of the IEEE 2016] Taking the Human Out of the Loop: A Review of Bayesian Optimization

摘要：Proceedings of the IEEE 2016 https://ieeexplore.ieee.org/abstract/document/7352306 A review of BO, an optimization algorithm typically for "hyperparam 阅读全文

posted @ 2021-11-05 12:25 minor_second 阅读(57) 评论(0) 推荐(0)

[paper reading][ICRA 2017] Virtual vs. real: Trading off simulations and physical experiments in reinforcement learning with Bayesian optimization

摘要：ICRA 2017 https://ieeexplore.ieee.org/abstract/document/7989186 parameters of policies Entropy Search, BO algorithm combine 2 sources: cheap but inacc 阅读全文

posted @ 2021-11-05 00:08 minor_second 阅读(54) 评论(0) 推荐(0)

[paper reading][New Generation Computing 1986] A Logic-based Calculus of Events

摘要：New Generation Computing 1986 https://www.doc.ic.ac.uk/~rak/papers/event%20calculus.pdf use formal logic to formalize the notion of time (Horn clause 阅读全文

posted @ 2021-11-04 22:37 minor_second 阅读(49) 评论(0) 推荐(0)

约束式编程学习笔记[9] 涉及数的不完全求解器

摘要：6 Some incomplete constraint solvers 6.4 Linear constraints on integer intervals Q: 本节中的linear expression为什么不需要乘法运算？ A: 由于只考察整数和“整数倍”，故用不断复合加法表示乘法。 6. 阅读全文

posted @ 2021-11-04 19:43 minor_second 阅读(118) 评论(0) 推荐(0)

约束式编程学习笔记[8] 简单的不完全求解器

摘要：6 Some incomplete constraint solvers Q: 解释“‘customise’ the general framework to a specific language” A: 提示：比如：用hyper-arc consistency能剪掉一些定义域，但是剪了之后的集合阅读全文

posted @ 2021-11-04 14:25 minor_second 阅读(74) 评论(0) 推荐(0)

约束式编程学习笔记[7] local consistency (3) relational consistency -- the ultimate notion

摘要：5 Local consistency notions 5.9 Relational consistency Q: relationally $(i,m)$-consistent（后省略relationally）表示一切$m$个约束构成子序列诱导的CSP (\(\mathcal P|\mathc 阅读全文

posted @ 2021-11-04 13:12 minor_second 阅读(103) 评论(0) 推荐(0)

TCS学习笔记[6] 不可判定的问题

摘要：6 不可判定的问题 6.1 判定问题 Q: $HALT(x,y)$对应什么单参数判定问题？ A: $\Pi = (N,Y_\Pi)$ $Y_\Pi = \{x|HALT(l(x),r(x))\}$ 注：一元谓词$HALT(l(x),r(x))$不可计算，则$\Pi$不可判定。 Q: 记号阅读全文

posted @ 2021-11-03 19:28 minor_second 阅读(409) 评论(0) 推荐(0)

TCS学习笔记[5] 过程与文法

摘要：5 过程与文法 5.1 半Thue过程 Q: $\Rightarrow$是部分函数吗？ A: 一般来说，合法的结果可能不唯一。如果做一定人为约定（比如替换第一个出现的待考察字符串）则是。 Q: $\Rightarrow$和$\mathop \Rightarrow\limits^$之间有何蕴涵关系？阅读全文

posted @ 2021-11-03 09:40 minor_second 阅读(184) 评论(0) 推荐(0)

TCS学习笔记[4] Turing机

摘要：4 Turing机 4.1 Turing机的基本模型 Q: 基本Turing机的7要素中，哪些从状态转移图容易看出？如何看出它们？ A: 状态集Q显然（每个圈对应一个状态）带字母表C显然（所有在图中出现过的字母）动作函数$\delta$用弧上的$若干字母/L或R或字母$表示输入字母表A并不能直阅读全文

posted @ 2021-11-02 23:40 minor_second 阅读(348) 评论(0) 推荐(0)

TCS学习笔记[3] 通用程序

摘要：3 通用程序 3.1 程序的代码 Q: 为了确定指令的代码，直观的想法是用3个自然数分别表示标号（label）、涉及的变量以及（） A: 对变量执行的操作（空、增、减，或者若不为零跳转至哪个标号） Q: 从编码的角度，考察为什么规定$\mathscr S$程序中可能出现多个相同标号。 A: 为了一一阅读全文

posted @ 2021-11-02 20:42 minor_second 阅读(287) 评论(0) 推荐(0)

[paper reading][Neurocomputing 2018] An overview on Restricted Boltzmann Machines

摘要：Neurocomputing 2018 https://www.sciencedirect.com/science/article/pii/S0925231217315849?casa_token=NvLW1wNtF_MAAAAA:EtHSzBQN_W8Xxs64PlfzKltGWXT-72Uvtc 阅读全文

posted @ 2021-11-02 11:58 minor_second 阅读(107) 评论(0) 推荐(0)

[paper reading][IJCAI 2020] Turning 30: New Ideas in Inductive Logic Programming

摘要：IJCAI 2020 https://www.ijcai.org/proceedings/2020/0673.pdf A short survey on ILP. recursive, generalize, learning BK, ASP, NN, future directions 3 Lea 阅读全文

posted @ 2021-11-02 09:05 minor_second 阅读(52) 评论(0) 推荐(0)

[paper reading][Book 2006] A Tutorial on Energy-Based Learning

摘要：Predicting Structured Data 2006 this paper: written by LeCun http://yann.lecun.com/exdb/publis/orig/lecun-06.pdf A tutorial on energy-based learning, 阅读全文

posted @ 2021-11-02 01:19 minor_second 阅读(93) 评论(0) 推荐(0)

[paper reading][work in progress 2020] Inductive logic programming at 30: a new introduction

摘要：work in progress 2020 https://arxiv.org/abs/2008.07912 A review of inductive logic programming (ILP), which is a form of machine learning dating back 阅读全文

posted @ 2021-11-02 01:05 minor_second 阅读(74) 评论(0) 推荐(0)

数字信号处理学习笔记简介

摘要：专栏简介与声明本专栏链接：https://www.cnblogs.com/minor-second/category/2054480.html 使用教材本专栏是《数字信号处理》（第2版）个人复习博客系列。 ISBN: 9787301175941 专栏使用方法本专栏以一问一答的形式对疑难点做出适阅读全文

posted @ 2021-11-01 13:39 minor_second 阅读(141) 评论(0) 推荐(0)

TCS学习笔记[2] Ackermann函数，字函数，习题

摘要：2 原始递归函数 2.6 Ackermann函数 Q: Ackermann函数的递归相比之前的各种递归有什么本质区别和联系？ A: 观察$A(k+1,x+1)=A(k,A(k+1,x))$，相比之前一般的多变量递归表达式$B(k+1,x+1)=g(k,x,B(k+1,x),B(k,x+1))$，外层阅读全文

posted @ 2021-11-01 13:17 minor_second 阅读(135) 评论(0) 推荐(0)

11 2021 档案