Dept. Comp. Sc The Ohio State University Columbus OH 43210;
NSF Grant CCR-93-08640 and OSU Grant 221506;
stabilization; timing-based protocols; fault-tolerance; adaptivity; high speed networks; formal methods; verification;
机译:纳米Ce 1-x sub> bi x sub> o 2-δ sub>用于催化应用的固体溶液
机译:Zn 2 + sup>负载的壳聚糖稳定的纤维素珠,并通过冷冻干燥制备以去除血浆中的人睾丸激素
机译:基于语义约束的从关系模式到XML模式的交换
机译:基于时序的架构,用于稳定信息交换
机译:与核心稳定生物反馈和运动控制练习相比,身体模式敏锐度训练和FeldenkraisRTM运动:在门诊临床环境中对慢性非特异性下背痛的比较效果:一项随机对照比较功效研究。
机译:早期稳定的肺泡通气可防止ARDS-避免肺损伤的新型时序的通风干预
机译:一种基于时间的信息交换稳定模式
机译:TransXmL:交通运输数据交换的XmL模式