防爆带 项目的续集。 我们在临床笔记（荷兰语）中针对功能水平（基于 ）开发了分类器。 目前正在进行中。

GAPT：证明理论的通用架构 GAPT是主要在维也纳科技大学开发的证明理论框架。 GAPT包含证明理论和自动推论中常见的数据结构，算法，解析器和其他组件。 与自动交互定理证明者（其重点是证明的构造）相反，GAPT专注于证明的转换和进一步处理。 网站： ： 联系人： 例 GAPT支持的众多功能之一是的实现。 您可以通过以下方式在GAPT中自动生成Herbrand析取： Escargot .getExpansionProof( fof " P(c) ∨ P(d) → ∃x P(x) " ).map(_.deep) 它返回以下Herbrand析取关系（右侧的量词已扩展）： Some(

这本教科书是针对大学数学课程的第一门课程设计的，向学生介绍了构建和编写证明的过程。

Sunny King, Scott Nada讲述POS的一篇论文。PPC是从中本聪所创造的BTC衍生出来的一种P2P的电子密码货币，以权益证明（Proof of Stake，以下简称POS）取代工作量证明（Proof of Work，以下简称POW）来维护网络安全。

手持式摄像机在使用时常常会受到使用者有意无意抖动的影响,从而影响成像效果，造成录制视频的不稳定及跳动问题，尤其是在使用者在一场景中特写或者跟踪某一具体目标时，使用者通常不能准确定位到或者估计出运动目标的位置，从而造成目标在视频中位置的不稳定，造成视频的主观效果变得不理想。 为了解决这一问题，我们需要设计一种算法来识别这种无意义的运动并设法通过补偿的方式来使得场景中的目标物体保持位置稳定的状态。 手持式摄像机捕获的视频通常都会受到抖动的影响，这严重的影响视频的主观效果。 这里提出的算法可以可靠的用于数字视频的去抖动。这个算法通过识别这些意外的抖动并且利用运动补偿的方法来获得一个较好的视频输出。 这个系统可以分为三个模块：（1）运动估计模块；（2）抖动识别模块；（3）运动补偿模块。 注：代码在matlab 7.7.0(R2008b)运行通过 [1] F Vella, A Castorina, M Mancuso. Digital image stabilization by adaptive block motion vectors filtering, IEEE Transactions on Consumer Electronics, 2002