Logical; Differential; Constraints;
机译:利用应用于线性微分方程的约束间隔分析的间隔特征值问题
机译:一个模型驱动的框架来增强逻辑完整性约束的一致性:引入完整性回归测试
机译:MIL-61和EU3 + @ MIL-61作为信号传感器,构建基于可视化发光金属 - 有机框架的智能布尔逻辑库
机译:基于间隔布尔测试的逻辑差分约束
机译:知识 - 集成结构的间隔和约束的几何形状与参数约束=基于基于建筑物的基于几何的建模,间隔和约束参数
机译:使用受限布尔网络和时间序列数据基于约束的基因相互作用分析
机译:从基于0,1的逻辑到区间逻辑(从所有可能的基于0,1的逻辑运算的已知描述到所有可能的基于区间的逻辑运算的描述)