Clamps; Force; Grippers; Probes; Piezoelectric transducers; Fingers; Vibrations;
机译:用于微操纵和微创手术的微机器人系统的设计和控制
机译:PRISM游戏:具有多个目标的随机多玩家游戏的验证和策略综合
机译:用于生物微操纵的多功能电热微夹钳
机译:多重微调策略的设计与验证
机译:用于系统级电源优化(低功耗设计)的动态电源管理策略及其形式验证和实现的集成。
机译:PRISM游戏:具有多个目标的随机多玩家游戏的验证和策略综合
机译:基于网络的多媒体服务的连续媒体检索和缓存策略的设计,分析和实验验证