Verification of Neural Networks_阅读报告
1. 背景 深度神经网络（DNNs）在各领域中成功的应用案例，使其成为了迄今为止最受欢迎的机器学习模型之一。但人们担心其易受敌对干扰，因此其在安全相关的环境中的应用受到了限制。 2. 问题描述 网络的复杂性和庞大规模对自动化形式验证技术（automated formal verification technique）构成了挑战。 3. 相关技术 修剪技术：神经元修剪（Neuron Pruning,NP）、权重修剪（Weight Pruning,WP） 验证技术：Marabou、ERAN、MIP
gensim使用-初识gensim安装与TF-IDF使用
前言 作为自然语言爱好者，那就必不可少的需要认识一下大名鼎鼎的Gensim。 Gensim是一款开源的第三方Python工具包，用于从原始的非结构化的文本中，无监督地学习到文本隐藏层的主题向量表达。 它支持包括TF-IDF，LSA，LDA和word2vec在内的多种主题模型算法。 支持流式训练，并提供了诸如相似性计算，信息检索等一些常用任务的API接口。 一，基本概念 1.语料（Corpus）：一组原始文本的集合，用于无监督地悬链文本主题的隐层结构。语料中不需要人工标注的附加信息，在Gensi
小说-冒险：《人性禁岛》
ylbtech-小说-冒险：《人性禁岛》 《人性禁岛》是2009年云南出版集团公司出版的冒险小说，作者是破禁果。 该小说讲述了主人公追马出海去克罗泽群岛的途中，因救助日本女人，而杀死几名恶徒。 带着亲属和几个陌生朋友荒岛求生的故事。 1.返回顶部 1、 书 名：人性禁岛 作 者：破禁果 ISBN：978-7-222-06102-6 类 别：文学、畅销小说、军事 定 价：28元 出版社：云南出版集团公司 出版时间：2009年9月 装 帧：平装 开 本：32开 目录 1 内容简介 2 作品目录 3
Python包安装权限问题
You should consider upgrading via the 'pip install --upgrade pip' command 在 cmd 里面用pip安装包报错： You should consider upgrading via the 'pip install --upgrade pip' command. 按照要求执行pip install --upgrade pip依旧失败，后来发现是没有管理员权限的原因，右键以管理员身份运行就可以了。
Docker基本认知和安装
什么是Docker，两张图对比出优势： 1.传统安装服务，下载到linux去进行各种配置、启动，对于Linux新手来说，不是特别友善。 2.Docker像是一个大的承包商，把服务们都进行了统一管理，用哪个pull那个，两行代从下载到启动，监测各服务状态，删除停止增加，使一切安然有序。 一、安装Docker,此处用的Centos 7 1.检查内核版本， 必须是3.10及以上 #检查自己内核版本 uname -r
#如果没有到达 或者下方docker启动报错，则更新yum包
sudo yum
Vue的class绑定总结
class绑定对象 class绑定对象的操作方式； <!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<title>Document</title>
<style type="text/css">
.active {
border: 1px solid red;
width: 100px;
height: 100px;
}
.error {
周排行