jellyzone的专栏

The Little Prover - Daniel P. Friedman 。

Haskell函数式编程入门

哩哩表情管理器是一款QQ表情包图片提取工具，可以让你很方便的从腾讯2009、2010版QQ的表情eip/eif包里提取或添加你想要的GIF图片。而不用再像以前一样，需要将表情包导入到QQ里，再导出才可以查看那样繁琐 哦哩哩QQ表情管理器具体功能： 功能1： 可以直接在软件里预览和导入导出包内所有的EIP，EIF格式的表情包图片，而以前必须导入到QQ里才可以查看。 功能2： 可以使用crtl+a或shift+鼠标常用快捷键,编辑EIP，EIF格式表情包的图片，并可以任意编辑或选择你喜欢的图片。 功能3：表情名称批量重命名 QQ表情组批量管理编辑：可同时导入多个表情eip/eif包，可相应分组，然后对导入的表情组和表情图片名称批量重命名。

文件包括 halcon-11.0.1-windows.exe halcon-11.0.1-images-windows.exe license_support_halcon10_2013_05.dat license_support_halcon11_2013_05.dat

数学建模这门课程在数学及其在各个领域的应用之间架起一座桥梁。本书介绍了速个建模过程的原理，通过本书的学习，学生将有机会在以下建模活动中亲身实践，增强解决问题的能力；设计创意模型和经验模型、模型分析以及模型研究。 本书特点： ·论证了离散动态系统、离散优化和仿真等技术如何促进现代应用数学的发展； ·强调通过模型设计提高学生的创造性，展现模型构建的艺术特性，包括经验建模和仿真建模的思想； ·将数学建模方法与多样化建模和置信度建立等更具创造性的方面结合起来； ·在设计创意模型和经验模型、模型分析以及模型研究中融入个人项目和小组项目，并且包含大量的例子和习题； ·随书光盘包含软件、附加的建模场景和项目以及过去数学建模竞赛的题目。 本书旨在指导学生初步掌握数学建模的思想和方法，共分两大部分：离散建模和连续建模，本书对于用到的数学知识力求深入浅出，涉及的应用领域相当广泛，适合作为高等院校相关专业的数学建模教材和参考书，也可作为参加国内外数学建模竞赛的指导用书。

贝叶斯网的理论是将概率的距离、统计应用于复杂系统的不确定性推理和数据解析的一种有效工具，它起源于20世纪80时年代中期对人工智能中的不确定性问题的研究，近年来在国际上的影响不断增强。贝叶斯网引论包括概率论及贝叶斯网的基本概念、贝叶斯网推理、贝叶斯网学习，以及贝叶斯网在中医中的贯彻应用。而贝叶斯网论丛书系统介绍论述了贝叶斯网的基本理念、算法及其应用的中文专著。

贝叶斯方法是基于贝叶斯定理而发展起来用于系统地阐述和解决统计问题的方渚上用贝叶斯定理的方式依赖于一个统计学家如何看待“概率”的基本概念。这些统计学家“推崇”概率为不确定性的度量，对于任何实际客体它将会被认定；因此没有任何理由贝叶斯定理不在任何场合应用。本书的主要内容包括贝叶斯立场、先验分布，后验分布及贝叶斯推断、常用分布、可靠性问题、经验贝叶方法、贝叶斯统计地应用、参考文献。　

MPEG-4H.264视频编解码工程实践 源码及配套光盘