concurrency control; formal specification; information systems; knowledge acquisition; rough set theory; concurrent system description; data table; dynamic information system; maximal consistent extension computing; rough set theory;
机译:致力于信息系统的高效计算一致性和部分一致性扩展
机译:跳舞人形机器人:系统地使用OSID来计算运动捕捉模式后的动态一致运动
机译:关于高维Burgers-Huxley方程的精确和动态一致格式的一些评论
机译:关于计算动态信息系统一致扩展的一些备注
机译:一致的叠层壳单元的非线性和动态扩展及其在FRP烟囱中的应用。
机译:在大规模平行系统上与粗粒云强力场的实施分子动力学及其延伸;朝向毫秒模拟蛋白质结构动力学和热力学模拟
机译:跳舞人形机器人:系统地使用OSID来计算运动捕捉模式后的动态一致运动