Johannes Kepler University Linz A-4040 Austria;
Safety; Testing; Gaussian processes; Approximation algorithms; Data models; Estimation; Automation;
机译:传统边界之外的转换目录和元数据实践。 2014年6月在拉斯维加斯举行的美国图书馆协会年度会议编目兴趣小组计划的ALCTS CAMMS负责人报告
机译:通过有限模型查找进行安全参数化验证的有限原因
机译:儿童在浏览和关键词在线目录上的搜索行为:科学图书馆目录项目
机译:参数化目录的自由边界搜索ADA的安全验证
机译:对搜索在线公共目录系统中的用户错误的定性分析
机译:ALAMEDA蚕豆作物的结构功能模型:形态参数化和验证
机译:参数化系统安全性的启发式符号验证