IRISA/INRIA, France;
机译:使用定时扩展到达性图和MDP的有界部分控制TPN的控制设计
机译:关于单机调度问题的最大-最小运输下限和时间索引下限的等价关系
机译:单机调度问题的最大-最小运输下限和时间索引下限的等价关系
机译:定时状态机和安全TPN的等效性
机译:利用非结构化施工损伤报告以预测使用自然语言处理,机器学习和概率理论来预测安全结果和模型安全风险
机译:前瞻性多中心双盲等效性研究比较了可乐定和咪达唑仑作为危重症儿童静脉内镇静剂的情况:SLEEPS(小儿重症监护镇静剂的安全性有效性和等效性)研究。
机译:确定性定时有限状态机:等效检查和表达能力
机译:OsHa安全研究(职业安全与健康管理局)电动压力机自动跳闸的实验方差:第2阶段 - 机器驱动装置:手触点,脚触点和非接触装置的人机工程学安全的人机界面