tteICE: An R Package for Estimating Treatment Effects on Time-to-Event Outcomes with Intercurrent Events in Two-Arm Trials
该文介绍R包tteICE，通过实施五种策略解决临床试验中因并发事件导致的时间到事件结果的治疗效果评估问题。
0 citationsRead paper
Selected work
Representative Papers
ULOHA: An Underwater Bimanual Robot System for Robot Learning
本文介绍了一个名为ULOHA的水下双臂机器人学习平台，通过结合定制硬件与软件扩展解决水下双臂协调操作问题，并评估了多种学习方法。
0 citationsRead paper
Mechanizing Gödel's incompleteness Theorems and Provability Logic
该研究使用Lean 4定理证明器机械化证明了哥德尔的不完备性定理、Solovay关于GL系统的算术完备性定理及相关结果。
0 citationsRead paper
Bi-MoDe: Bilateral Control-based Imitation Learning via Modifier-Conditioned Decoding for Modulation of Execution Speed and Contact Intensity
为解决执行速度和接触强度调控问题，提出Bi-MoDe方法，通过修改条件解码框架直接控制动作生成。
0 citationsRead paper
MR-GLi: Mixed Reality-Based Gripper-Linked Overlays for Underwater Robot Arm Teleoperation via Bilateral Control
研究通过MR-GLi系统，采用混合现实技术为水下机械臂遥操作提供直观的视觉反馈，解决了传统显示器呈现方式中注意力转换负担的问题。
0 citationsRead paper
Recent publications
Latest Papers
tteICE: An R Package for Estimating Treatment Effects on Time-to-Event Outcomes with Intercurrent Events in Two-Arm Trials
该文介绍R包tteICE，通过实施五种策略解决临床试验中因并发事件导致的时间到事件结果的治疗效果评估问题。
0 citationsRead paper
ULOHA: An Underwater Bimanual Robot System for Robot Learning
本文介绍了一个名为ULOHA的水下双臂机器人学习平台，通过结合定制硬件与软件扩展解决水下双臂协调操作问题，并评估了多种学习方法。
0 citationsRead paper
Mechanizing Gödel's incompleteness Theorems and Provability Logic
该研究使用Lean 4定理证明器机械化证明了哥德尔的不完备性定理、Solovay关于GL系统的算术完备性定理及相关结果。
0 citationsRead paper
Bi-MoDe: Bilateral Control-based Imitation Learning via Modifier-Conditioned Decoding for Modulation of Execution Speed and Contact Intensity
为解决执行速度和接触强度调控问题，提出Bi-MoDe方法，通过修改条件解码框架直接控制动作生成。
0 citationsRead paper
MR-GLi: Mixed Reality-Based Gripper-Linked Overlays for Underwater Robot Arm Teleoperation via Bilateral Control
研究通过MR-GLi系统，采用混合现实技术为水下机械臂遥操作提供直观的视觉反馈，解决了传统显示器呈现方式中注意力转换负担的问题。
0 citationsRead paper