Refined complexity bounds for rational reconstruction and XGCD through Padé approximants and Cauchy interpolants
本文通过Padé逼近和Cauchy插值的方法，改进了有理重构和XGCD问题的复杂度边界，提出了更快的算法。
0 citationsRead paper
Selected work
Representative Papers
Emergency Vertex Cover
本文提出了紧急顶点覆盖问题(Em-VC)，通过给定足够功率使远端顶点也能覆盖边，旨在解决如城市灾难响应等实际问题，并为此设计了多项式时间算法及近似算法。
0 citationsRead paper
Benchmarking Intra-Patient 3D Deformable Multimodal Image Registration
研究评估了多种3D多模态可变形配准方法，针对不同解剖区域的数据集，采用了几何与基于图像的度量标准，揭示了当前方法在全局结构一致性上的局限性。
0 citationsRead paper
Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems
为解决定时系统中执行时间导致的保密性问题，提出Execution-Time Opacity Logic(ETOL)，通过基于区域的模型检测框架有效验证执行时间保密性。
0 citationsRead paper
Multilevel Fair Allocation under Additive Preferences
研究了具有树状层级关系的多级公平资源分配问题，提出并比较了多种适应性嫉妒公平概念，并评估了MWRR算法在不同条件下的表现。
0 citationsRead paper
Recent publications
Latest Papers
Refined complexity bounds for rational reconstruction and XGCD through Padé approximants and Cauchy interpolants
本文通过Padé逼近和Cauchy插值的方法，改进了有理重构和XGCD问题的复杂度边界，提出了更快的算法。
0 citationsRead paper
Emergency Vertex Cover
本文提出了紧急顶点覆盖问题(Em-VC)，通过给定足够功率使远端顶点也能覆盖边，旨在解决如城市灾难响应等实际问题，并为此设计了多项式时间算法及近似算法。
0 citationsRead paper
Benchmarking Intra-Patient 3D Deformable Multimodal Image Registration
研究评估了多种3D多模态可变形配准方法，针对不同解剖区域的数据集，采用了几何与基于图像的度量标准，揭示了当前方法在全局结构一致性上的局限性。
0 citationsRead paper
Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems
为解决定时系统中执行时间导致的保密性问题，提出Execution-Time Opacity Logic(ETOL)，通过基于区域的模型检测框架有效验证执行时间保密性。
0 citationsRead paper
Multilevel Fair Allocation under Additive Preferences
研究了具有树状层级关系的多级公平资源分配问题，提出并比较了多种适应性嫉妒公平概念，并评估了MWRR算法在不同条件下的表现。
0 citationsRead paper