Escuela Tecnica y Superior de Ingenieria Informatica de Sevilla, Spain;
model-based diagnosis; constraint databases; minimal hitting sets;
机译:基于受试者特定心血管系统模型的败血性休克的识别和诊断(含微创数据集):动物实验和概念验证
机译:基于交叉口搜索策略的命中集计算
机译:多功能分析仪使用参数约束来提高基于模型的基因组分析的效率
机译:利用约束数据库改进基于模型的诊断中的最小击中点集的确定
机译:几何击球集及其变体。
机译:最佳药物组合和最小命中率
机译:使用约束数据库技术和聚类确定可能的最小冲突集