1.
Reasoning and Symbolic Model Checking of Extended Temporal Logics
扩展时序逻辑的推理及符号化模型检验技术
2.
Symbolic Model Checking Algorithm for Temporal Epistemic Logic CTL*K
时态认知逻辑CTL*K的符号化模型检查算法
3.
Study and Implementation on Atomicity of e-commerce Protocol Base on Symbolic Model Checking;
基于符号模型检验的电子商务协议原子性的研究与实现
4.
Wilcoxon matched pairs signed rank test
威氏配对符号秩次检验
5.
From "matter-energy Mode" to "Information-symbol Mode"--On the Symbolization Transformation of Human Culture Creature Mode
从“物质能量型”到“信息符号型”——论人类文化创造模式的符号化转换
6.
Adversarial Planning via Symbolic Model Checking;
基于符号模型检测方法的应对规划系统
7.
The Research and Application of Symbolic Model Checking;
基于符号模型检测若干问题的研究及应用
8.
One of the easiest nonparametric tests to use is the sign test.
最简单的非参数检验是符号检验。
9.
Is inspection and test equipment sufficient to verify material conformance (type & quantity)?
检验及测试设备是否足以验证材料是否符合要求（型号，数量）？
10.
Error: While formatting the check out time to a char type.
错误：当把检验时间格式化为一个字符类型时。
11.
The verification of printed quality of bar code symbol
GB/T14258-1993条码符号印制质量的检验
12.
Wilcoxon paired test
威斯康星配对法/配对符号秩和检验
13.
Sign test method for image median filtering fast computation
图像中值滤波快速计算的符号检验法
14.
What is Situation Model: Propositional Symbol or Perceptual Symbol;
情境模型的实质:命题符号与知觉符号之争
15.
The Study of Indexing and Retrieval Algorithm for Symbolic Multi-Dimensional Time-series;
符号化高维时间序列的检索算法研究
16.
A Modified Bi-Mode Fusion Detection Algorithm Based on Sign Detector
基于符号检测器的修正双模融合检测算法
17.
The Verification of Symbolic Bisimulations in Asymmetric X～≠-Calculus;
非对称X～≠-演算符号互模拟验证
18.
hypothesis testing model
假设检验模型 假设检验模型