[数值算法/人工智能] xcthulhu-Int_Logic-838502a.tar

说明：Intuitionistic Logic developed in Isabelle/HOL, using a shallow embedding of the lambda-calculus by way of the Curry-Howard isomorphism
<Matt> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[matlab例程] numberial-analysis

说明：数值分析-Numerical Analysis
<杨晓晨> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[matlab例程] greedyAlg

说明：贪婪算法源程序。不只有Matlab程序，还有一些其他软件的。-Greedy algorithm source code. Not only the Matlab program, there are a number of other software.
<李凤娟> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[matlab例程] Braking-distance

说明：借助MATLAB软件的绘图功能，对函数的特性进行探讨，广泛联想，大胆猜想，发现进而证实其中的规律。-Braking distance
<李楠> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[数值算法/人工智能] nn

说明：一个很有用的人工智能算法程序，它清晰的描述了神经网络的实现过程，以及三层结构，有想了解的可以下载下来-Artificial intelligence algorithms a very useful program
<baoyujun> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[matlab例程] K-Means

说明：K-Means聚类算法 Matlab代码，内有程序注释。-K-Means Matlab
<lin> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[matlab例程] matlab-codes

说明：matlab programs counting coins finding an object in an image gui in matlab codes in image processing in matlab , math calculator with gui in matlab
<nashwa> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[人工智能/神经网络/遗传算法] GAprog

说明：这是一个非常简单的遗传算法源代码，是由Denis Cormier (North Carolina State University)开发的，Sita S.Raghavan (University of North Carolina at Charlotte)修正。代码保证尽可能少，实际上也不必查错。对一特定的应用修正此代码，用户只需改变常数的定义并且定义“评价函数”即可。注意代码 的设计是求最大值，其中的目标函数只能取正值；且函数值和个
<qinjian> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[matlab例程] Adaptive-algorithm

说明：自适应回波消除算法matlab代码，其中包含有：LMS，NLMS，RLS，VSLMS，VSNLMS-the matlab code of Adaptive algorithm，including：LMS，NLMS，RLS，VSLMS，VSNLMS
<陈飞> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[压缩解压] Huffman

说明：Huffman算法，能够对文件进行huffman编码，根据编码对源文件二进制编码、译码-Huffman algorithms, can file huffman coding, according to the binary encoding of the source file encoding, decoding
<yedq> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[人工智能/神经网络/遗传算法] TSP00022304

说明：基于广度优先搜索解决TSP问题，可以删除，添加边和节点-TSP based on breadth-first search to solve the problem, you can delete, add edges and nodes
<liuxin> 在 2024-11-20 上传 | 大小：5kb | 下载：0

[matlab例程] ML

说明：换句话说,信号可能仍然是 探测到,但以较低的质量。这是通常所说 对软失败。幸运的是,新的传输的多样性 方案提供了相同软失败。对-one of the receive chains fail, and the other receive chain is operational, then the performance loss is on the order of the diversity gain. In ot
<丁蓉> 在 2024-11-20 上传 | 大小：5kb | 下载：0