资源列表
sf.tar
- 携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的-Examples of proof carrying code, directly after the installation to run coq, entry-level
libsvm-3.17
- SVM工具箱，matlab环境下进行故障特征值分类识别的有效工具-SVM toolbox, effective tool for fault classification were eigenvalues matlab environment
LMD-sofware
- local mean decomposition 软件原理描述-local mean decomposition Software Principles
MOFANG
- 这是一个生成魔方矩阵的演示程序，学习matlab的可参考-This is a rubik s cube matrix generated demonstration program, learning matlab can be reference
r6rs
- 算法语言Scheme修订6报告英文版,尚未翻译
MFEv101_M70
- Modeling and Forecasting Electricity Loads and Prices: A Statistical Approach\" by Rafał Weron, published by John Wiley and Sons, 2006. Rafał Weron的大作:电网系统负荷与价格预测与建模:一种统计方法的源码
nctio
- 二阶椭圆问题基于泡函数的简化的稳定化二阶混合有限元格式-Second-order elliptic problems based on the stability of bubble functions to simplify the second-order mixed finite element of
plaka
- letter recognition program ,recognition of the written
matlab-source-code
- 该文件中包含了详细的matlab实现的源代码，很适合初学者入门。代码的运行环境有要求： 1. 软件环境 需要安装暴风影音才能正常播放.WMV文件； MATLAB R2011b 版本的软件。 2. 硬件环境 处理器：CPU主频不低于1GHz； 内存：不小于256MB； 硬盘：不小于10GB； 显示器：支持1024*768分辨率。-The file contains a detailed matlab realize the sourc
bp
- 本书详细讲述了神经网络的具体内容，有需要的朋友可以
JPEGSourceCode
- 这是JPEG解码、编码的源代码，有详细的文档，是一个相当实用的类库！！极力推荐实使用
fileInandOut
- 利用二叉树的功能实现了对文本文件的更改删除，插入等操作，-Realization of the function using a binary tree of changes to the text file deletion, insertion and other operations,