机译:在施工现场进行自动安全检查的代理商网络
Second University of Naples, Italy;
Second University of Naples, Italy;
Second University of Naples, Italy;
Second University of Naples, Italy;
constructing sites; distributed agents; human safety; pervasive computing; rfid; ubiquitous applications;
机译:建筑信息模型(BIM)和安全性:施工模型和进度表的自动安全检查
机译:几何构造问题的语料库的自动可构造性检查
机译:自动车辆检查代理(VCA)
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:在社交网站上构建在线身份:墨西哥特权用户在社会,经济和文化上的区别。
机译:自动构建了锌蛋白分子动力学模拟的神经网络电位
机译:全局优化数据质量检查GPR交叉井断层数据的2-D和3-D网络,用于自动校正未知井偏差