-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分：1
-
fenleisuanfa
说明： 分别采用感知机算法、最小平方误差算法、线性SVM算法设计分类器，分别画出决策面，并比较性能。(Perceptron algorithm were used, the least square error algorithm, linear SVM classifier algorithm, respectively, making face paint, and compare performance.)
- 2011-04-14 17:21:59下载
- 积分：1
-
MATLAB-and-C--interface-
研究如何实现matlab和c混合编程时的接口，可以看看思路。此文为中文学习资料。(The study how to achieve matlab and c mixed programming interface, you can look at the ideas. Article for Chinese learning materials.)
- 2013-04-22 00:02:46下载
- 积分：1
-
tensor_toolbox_2.6
张量工具包，张量的基本函数，包括cp分解，tucker分解，以及关于工具包的使用手册pdf(tensor toolbox)
- 2021-03-15 10:09:22下载
- 积分：1
-
BrakeForcevsSlip
ABS related graphics, brake forces versus slip ratio.
- 2014-05-27 19:51:45下载
- 积分：1
-
DSP
用MATLAB实现的DSP函数，包括FFT、ChripZ、DCT、DELTA、Hilbert变换(用MATLAB实现的DSP ??数 ???? ?FFT ??ChripZ ??DCT ??DELTA ??Hilbert ??换)
- 2008-07-31 14:17:40下载
- 积分：1
-
MatlabStudy
这里面是100个简单的matlab学习程序,特别适合于matlab的初学者,期待和大家共同进步。(Matlab study)
- 2010-03-14 17:07:18下载
- 积分：1
-
C-and-Matlab
C++与matlab混合编程实例，用于实现在VS2010中调用matlab程序(C++ and matlab mixed programming, call matlab program VS2010)
- 2013-07-11 09:53:43下载
- 积分：1
-
the-Finite-Element-Method
用matlab编写的有限元程序，可用于解偏微分方程的数值解(Using matlab finite element program can be used to solve the numerical solution of partial differential equations)
- 2011-12-27 14:41:53下载
- 积分：1
-
getGLCM
灰度变16进制包含了多种功能是各种代码中必要的一步(Grayscale variable hexadecimal system contains many functions, which is a necessary step in various codes.)
- 2020-06-24 03:00:02下载
- 积分：1
