机译:因果行为特征-高效的计算,应用和评估
Hasso Planner Institute, University of Potsdam Pmf.-Dr.-Helmert-Str. 2-3, 14482 Potsdam, Germany;
Humboldt University Unter den Linden 6, D-l0099 Berlin, Germany;
Hasso Planner Institute, University of Potsdam Prof.-Dr.-Helmert-Str. 2-3, 14482 Potsdam, Germany;
Hasso Planner Institute, University of Potsdam Prof.-Dr.-Helmert-Str. 2-3, 14482 Potsdam, Germany;
causal behavioural profiles; formal methods; behavioural abstraction; structural decomposition; exclusiveness; concurrency; order relations; causality; optionality;
机译:工程安全的两方计算协议:高效安全功能评估的设计,优化和应用
机译:L-氨基尼(三氟乙酸盐)单晶结构,光学和力学行为评价:二次谐波产生应用的高效有机材料
机译:自适应移动应用中间件中的有效配置文件聚合和策略评估
机译:使用结构分解对因果行为分布进行有效计算
机译:用于医疗应用的软质泡沫的连续表征和压力分布的计算评估。
机译:流算法:通过贝叶斯模型平均计算有效的岭回归及其在癌细胞系敏感性药物基因组学预测中的应用
机译:使用结构分解有效计算因果行为分布
机译:高效的服务器辅助安全双方功能评估及其在基因组计算中的应用。