机译:基于规则的医学系统的正式方法:CADIAG-2案例
Department of Formal Languages, Vienna University of Technology, Favoritenstrasse 9-11. 1040 Vienna, Austria;
European Centre for Soft Computing, Edificio Cientifico Tecnologico, Conzalo Gutierrez Quiros s, 33600 Mieres, Spain;
Department of Knowledge-Based Mathematical Systems, Johannes Kepler University, Itenberger Strasse 69, 4040 Linz, Austria;
Department of Discrete Mathematics and Geometry, Vienna Uniersity of Technology, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria;
medical expert systems; t-norm based logics; probability theory; possibilistic logic; CADIAG-2;
机译:基于规则的论证系统的结果的正式表征
机译:通过“个性化药品”实现“个性化药品”:是时候集成先进的非侵入性成像方法和智能药物输送系统了。
机译:设计基于规则的医学分类模糊系统
机译:两个正式的设计方法和验证嵌入式基于规则的系统
机译:黄曲霉毒素和黄曲霉毒素模型系统的仿生方法:四氢呋喃(2,3-b)苯并呋喃的合成和黄曲霉毒素B(2)的形式合成。
机译:线性隔室系统动力学数据分析的一些形式化方法
机译:基于规则的论证系统结果的形式化表征
机译:验证基于规则的专家系统的方法