Tianyi Ding

14 papers C 2Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD.
CoRR
Tianyi Ding, Haokun Li, Xinpeng Ni, Bican Xia, Tianqi Zhao
2025 J jnl
Adaptive Gate-Aware Mamba Networks for Magnetic Resonance Fingerprinting.
CoRR
Tianyi Ding, Hongli Chen, Yang Gao, Zhuang Xiong, Feng Liu, Martijn A. Cloos, Hongfu Sun
2025 J jnl
Adaptive-Resolution Cooperative Field Mapping With Event-Triggered Distributed Map Fusion.
IEEE Robotics Autom. Lett.
Tianyi Ding, Ronghao Zheng, Senlin Zhang, Meiqin Liu
2025 C conf
Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA.
ICFEM
Xinpeng Ni, Tianyi Ding, Bican Xia
2025 J jnl
Balanced Collaborative Exploration via Distributed Topological Graph Voronoi Partition.
CoRR
Tianyi Ding, Ronghao Zheng, Senlin Zhang, Meiqin Liu
2025 J jnl
Entanglement distillation in terms of Schmidt rank and matrix rank.
Quantum Inf. Process.
Tianyi Ding, Lin Chen, Liang Sun, Mengfan Liang
2025 C conf
Formal Modeling of Reinforcement Learning Systems with SMT.
ICFEM
Tianyi Ding, Yuxin Lin, Meng Sun
2025 J jnl
MRF-Mixer: A Simulation-Based Deep Learning Framework for Accelerated and Accurate Magnetic Resonance Fingerprinting Reconstruction.
Inf.
Tianyi Ding, Yang Gao, Zhuang Xiong, Feng Liu, Martijn A. Cloos, Hongfu Sun
2024 J jnl
Inter3D: Capture of TAD Reorganization Endows Variant Patterns of Gene Transcription.
Genom. Proteom. Bioinform.
Tianyi Ding, Shaliu Fu, Xiaoyu Zhang, Fan Yang, Jixing Zhang, Haowen Xu, Jiaqi Yang, Chaoqun Chen, Yibing Shi, Yiran Bai, Wannian Li, Xindi Chang, Shanjin Wang, Chao Zhang, Qi Liu, He Zhang
2024 J jnl
Resource-Efficient Cooperative Online Scalar Field Mapping via Distributed Sparse Gaussian Process Regression.
IEEE Robotics Autom. Lett.
Tianyi Ding, Ronghao Zheng, Senlin Zhang, Meiqin Liu
2023 J jnl
Resource-Efficient Cooperative Online Scalar Field Mapping via Distributed Sparse Gaussian Process Regression.
CoRR
Tianyi Ding, Ronghao Zheng, Senlin Zhang, Meiqin Liu
2023 J jnl
Resource-aware cooperative level surface tracking control in 3D time-varying scalar field.
Syst. Control. Lett.
Tianyi Ding, Ronghao Zheng, Senlin Zhang, Meiqin Liu
2022 J jnl
Intermolecular Interactions in G Protein-Coupled Receptor Allosteric Sites at the Membrane Interface from Molecular Dynamics Simulations and Quantum Chemical Calculations.
J. Chem. Inf. Model.
Tianyi Ding, Dmitry Karlov, Almudena Pino-Ángeles, Irina G. Tikhonova
2017 — conf
A Network Intrusion Detection Algorithm Based on Outlier Mining.
CSPS
Tianyi Ding, Min Zhang, Dongjie He