1.
Heuristic Symbolic Verification of Safety Properties for Parameterized Systems
参数化系统安全性的启发式符号验证
2.
The Verification of Symbolic Bisimulations in Asymmetric X～≠-Calculus;
非对称X～≠-演算符号互模拟验证
3.
Is inspection and test equipment sufficient to verify material conformance (type & quantity)?
检验及测试设备是否足以验证材料是否符合要求（型号，数量）？
4.
Wilcoxon matched pairs signed rank test
威氏配对符号秩次检验
5.
Two examples about symbolic regression given in this paper show that this me thod is feasible.
通过对两个函数进行符号回归验证，说明此方法是合理可行的。
6.
A Program Verification and Testing Tool Based on Symbolic Execution and Constraint Solving;
基于符号执行和约束求解的程序验证与测试工具
7.
Automatic verification of possible software doubtful defects
基于有限回溯符号执行的软件疑似缺陷的自动验证
8.
Equivalence Verification of High-Level Datapaths Based on Polynomial Symbolic Algebra
基于多项式符号代数方法的高层次数据通路的等价验证
9.
One of the easiest nonparametric tests to use is the sign test.
最简单的非参数检验是符号检验。
10.
Symbol characters (--) with symbols (?a)
符号字符（--）替换为符号（—）
11.
additional character
附加符号[字符], 特殊符号
12.
authorization of code symbol stamp
规范符号标志的认可证书
13.
On the Dialectic Relationship Between the Arbitrariness and Iconicity of Linguistic Signs;
语言符号任意性和象似性的辨证关系
14.
The shipping mark is inconsistent with the documents; The batch number or quantity of the imported drugs is inconsistent with that in the documents;
装运唛头与单证不符的；进口药品批号或者数量与单证不符的；
15.
The verification of printed quality of bar code symbol
GB/T14258-1993条码符号印制质量的检验
16.
Wilcoxon paired test
威斯康星配对法/配对符号秩和检验
17.
Sign test method for image median filtering fast computation
图像中值滤波快速计算的符号检验法
18.
A badge of office, rank, membership, or nationality; an emblem.
证章，识别符号职位、等级、会员或国籍的证章；象征