Yi Lv

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 53

Top Topics

Automatic Segmentation

Quality Assessment

Atrial Fibrillation

Top Venues

Publications

Yihang Jiang, Yi Gong, Yuan Zeng, Yi Lv, Tony Xiao Han, Rentian Ding, Rui Du
On the Design and Performance of QRD-Based Beamforming Feedback for Wi-Fi Sensing. IEEE Trans. Wirel. Commun. 23 (5) (2024)
Yuanmeng Zheng, Qingbin Luo, Qiang Li, Yi Lv
Quantum circuit implementations of lightweight authenticated encryption ASCON. J. Supercomput. 80 (8) (2024)
Yuanxin Xiang, Yi Lv, Wenqiang Lei, Jiancheng Lv
Ultra-Short Wave Communication Squelch Algorithm Based on Deep Neural Network. Big Data Min. Anal. 6 (1) (2023)
Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. TASE (2023)
Yi Lv, Lichen Yan, Puning Zhang, Di Hu, Shuman Shao
Personalized-Enhanced Federated Learning on Heterogeneous Internet of Medical Things. HealthCom (2023)
Yi Lv, Xin Chen, Peng He, Yaping Cui, Ruyan Wang, Dapeng Wu
Hybrid Worker Selection for Task Coverage Maximization in Mobile Crowdsensing. WCNC (2023)
Hong Zhang, Yuxin Liao, Lingtong Ma, Yi Lv, Jun Luo
Online Resource Scheduling Mechanism for Quality of Service Assurance in Intelligent Medical. HealthCom (2023)
Yi Lv, Weibin Liao, Wenjin Liu, Zhensen Chen, Xuesong Li
A Deep-Learning-Based Framework for Automatic Segmentation and Labelling of Intracranial Artery. ISBI (2023)
Weibin Liao, Peirong Jiang, Yi Lv, Yunjing Xue, Zhensen Chen, Xuesong Li
MCRLe: Multi-Modal Contrastive Representation Learning For Stroke Onset Time Diagnosis. ISBI (2023)
Yi Lv, Weibin Liao, Zhensen Chen, Xuesong Li
MFR-Net: Multi-Scale Feature Representation Module for 3D Cerebrovascular Segmentation. ISBI (2023)
Yihang Jiang, Xiang Zhu, Rui Du, Yi Lv, Tony Xiao Han, David Xun Yang, Yun Zhang, Yang Li, Yi Gong
On the Design of Beamforming Feedback for Wi-Fi Sensing. IEEE Wirel. Commun. Lett. 11 (10) (2022)
Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu
Decidability of Liveness for Concurrent Objects on the TSO Memory Model. SETTA (2022)
Yuan Lin, Youchao Qi, Jiaqi Wang, Guoxu Liu, Zhaozheng Wang, Junqing Zhao, Yi Lv, Zhi Zhang, Ning Tian, Mengbi Wang, Yuanfen Chen, Chi Zhang
Self-Powered and Autonomous Vibrational Wake-Up System Based on Triboelectric Nanogenerators and MEMS Switch. Sensors 22 (10) (2022)
Lijun Wang, Yang Xue, Yi Lv, Yufen Wu, Dawei Wang, Shuhong Xu
A mixed reality simulation evaluation method for complex system. Int. J. Model. Simul. Sci. Comput. 13 (2) (2022)
Yi Lv, Houpeng Chen, Qian Wang, Xi Li, Chenchen Xie, Zhitang Song
Post-silicon nano-electronic device and its application in brain-inspired chips. Frontiers Neurorobotics 16 (2022)
Yufen Wu, Yi Lv, Dawei Wang, Yang Xue, Shuhong Xu
A human hybrid tracking and localization method for mixed reality simulation of complex system. Int. J. Model. Simul. Sci. Comput. 13 (2) (2022)
Yi Lv, Yu Ning, Junchen Wang
Coarse to Fine Automatic Segmentation of Abdominal Multiple Organs. FLARE@MICCAI (2022)
Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia
Compositional Verification of Interacting Systems Using Event Monads. ITP (2022)
Shenglan Ni, Houpeng Chen, Xi Li, Yu Lei, Qian Wang, Yi Lv, Guangming Zhang, Sannian Song, Zhitang Song
Silicon Modeling of Spiking Neurons With Diverse Dynamic Behaviors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (7) (2022)
Yi Lv, Junchen Wang
Three Uses of One Neural Network: Automatic Segmentation of Kidney Tumor and Cysts Based on 3D U-Net. KiTS@MICCAI (2021)
Jiashu Guo, Houpeng Chen, Yu Lei, Xi Li, Qian Wang, Chenchen Xie, Jie Miao, Yi Lv, Weili Liu, Zhitang Song
An Ultra-Low Quiescent Current Resistor-Less Power on Reset Circuit. IEEE Trans. Circuits Syst. II Express Briefs 68 (1) (2021)
Yi Lv, Yan Wang, Yaping Cui, Peng He, Dapeng Wu, Ruyan Wang
Transmission Performance Guaranteed Task Distribution Strategy in Mobile Crowdsensing. VTC Spring (2021)
Zehong Chang, Fumin Wang, Xiaoli Wang, Xiaofei Liu, Rongqian Wu, Yi Lv, Pei Zhang
Security analysis method for practical quantum key distribution with arbitrary encoding schemes. CoRR (2021)
Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu
Decidability of Liveness on the TSO Memory Model. CoRR (2021)
Wenpei Shao, Xiangyang Feng, Ming Zhu, Ran Tao, Yi Lv, Youqun Shi
Fuzzy Evaluation System for Innovation Ability of Science and Technology Enterprises. KMO (2021)
Jiang Wang, Yi Lv, Junchen Wang, Furong Ma, Yali Du, Xin Fan, Menglin Wang, Jia Ke
Fully automated segmentation in temporal bone CT with neural network: a preliminary assessment study. BMC Medical Imaging 21 (1) (2021)
Chuang Wang, Yi Lv, Qiang Wang, Dongyu Yang, Guanghui Zhou
Service-Oriented Real-Time Smart Job Shop Symmetric CPS Based on Edge Computing. Symmetry 13 (10) (2021)
Xiaodong Ding, Yiqin Wang, Yiming Hao, Yi Lv, Rui Chen, Haixia Yan
A New Measure of Pulse Rate Variability and Detection of Atrial Fibrillation Based on Improved Time Synchronous Averaging. Comput. Math. Methods Medicine 2021 (2021)
Yi Lv, Rui Ni, Qian Zhu, Mérouane Debbah
Signal Processing of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels. ICC Workshops (2021)
Yizhuan Jia, Weibin Liao, Yi Lv, Ziyu Su, Jiaqi Dou, Zhongwei Sun, Xuesong Li
Detect and Identify Aneurysms Based on Adjusted 3D Attention UNet. CADA@MICCAI (2020)
Yi Lv, Mandan Liu, Yue Xiang
Fast Searching Density Peak Clustering Algorithm Based on Shared Nearest Neighbor and Adaptive Clustering Center. Symmetry 12 (12) (2020)
Ziyu Su, Yizhuan Jia, Weibin Liao, Yi Lv, Jiaqi Dou, Zhongwei Sun, Xuesong Li
3D Attention U-Net with Pretraining: A Solution to CADA-Aneurysm Segmentation Challenge. CADA@MICCAI (2020)
Yi Lv
Forward Calculation for Improving the Sensitivity of Multiple Perturbations in Magnetic Induction Tomography Based on Brain Tissue Structure. SocialSec (2020)
Rui Ni, Yi Lv, Qian Zhu, Guangjian Wang, Gaoning He, Mérouane Debbah
Degrees of Freedom of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels. GLOBECOM (2020)
Chenchen Xie, Xi Li, Yu Lei, Houpeng Chen, Qian Wang, Jiashu Guo, Jie Miao, Yi Lv, Zhitang Song
BIST-Based Fault Diagnosis for PCM With Enhanced Test Scheme and Fault-Free Region Finding Algorithm. IEEE Trans. Very Large Scale Integr. Syst. 28 (7) (2020)
Rui Ni, Yi Lv, Qian Zhu, Mérouane Debbah
Electromagnetic Field Fingerprint Method for Circularly Polarized OAM. ICC Workshops (2020)
Yancong Zhu, Cong Wang, Wei Liu, Yi Lv
Running guide: design of a marathon navigation system for visually impaired people. CCHI (2019)
Zhengzheng Yang, Lei Zhang, Min Zhang, Jun Feng, Zheng Wu, Fenggang Ren, Yi Lv
Pancreas Segmentation in Abdominal CT Scans using Inter-/Intra-Slice Contextual Information with a Cascade Neural Network. EMBC (2019)
Jie Miao, Houpeng Chen, Yu Lei, Yi Lv, Weili Liu, Zhitang Song
Near-threshold SIDO DC-DC converter with a high-precision ZCD for phase change memory chip. IEICE Electron. Express 16 (11) (2019)
Ying Li, Ying Xu, Yi Lv, Junchen Wang
A Web Based Security Monitoring and Information Management System for Nursing Homes. ICIRA (3) (2019)
Jia Yang Wang, Lei Zhang, Min Zhang, Jun Feng, Yi Lv
Deep convolutional network based on rank learning for OCT retinal images quality assessment. Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging (2019)
Min Zhang, Jia Yang Wang, Lei Zhang, Jun Feng, Yi Lv
Deep residual-network-based quality assessment for SD-OCT retinal images: preliminary study. Medical Imaging: Image Perception, Observer Performance, and Technology Assessment (2019)
Zhe Xu, Yi Lv
Att-ConvLSTM: PM2.5 Prediction Model and Application. ICNC-FSKD (2019)
Chao Wang, Yi Lv, Peng Wu
TSO-to-TSO linearizability is undecidable. Acta Informatica 55 (8) (2018)
Chao Wang, Yi Lv, Peng Wu
Decidability of linearizabilities for relaxed data structures. Sci. China Inf. Sci. 61 (1) (2018)
Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
An Automatic Proving Approach to Parameterized Verification. ACM Trans. Comput. Log. 19 (4) (2018)
Yu Xiong, Jin Shi, Yi Lv, George N. Rouskas
Power-Aware Lightpath Management for SDN-Based Elastic Optical Networks. ICCCN (2017)
Chao Wang, Yi Lv, Peng Wu
Decomposable Relaxation for Concurrent Data Structures. SOFSEM (2017)
Wei Ji, Farn Wang, Peng Wu, Yi Lv
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. ICECCS (2016)
Chao Wang, Yi Lv, Peng Wu
Bounded TSO-to-SC Linearizability Is Decidable. SOFSEM (2016)
Shijie Liu, Yi Lv, Xiaohua Tong, Huan Xie, Jun Liu, Lei Chen
An Alternative Approach for Registration of High-Resolution Satellite Optical Imagery and ICESat Laser Altimetry Data. Sensors 16 (12) (2016)
Pengliang Tang, Zhidong Qi, Qian Ma, Yi Lv
Temperature modeling and control of 5kW proton exchange membrane fuel cell system. ICIA (2016)
Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai
A novel approach to parameterized verification of cache coherence protocols. ICCD (2016)
Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. ATVA (2015)
Chao Wang, Yi Lv, Peng Wu
TSO-to-TSO Linearizability Is Undecidable. ATVA (2015)
Han Yue, Peng Wu, Tsong Yueh Chen, Yi Lv
Input-Driven Active Testing of Multi-threaded Programs. APSEC (2015)
Tengfei Ma, Cong Fu, Haibo Feng, Yi Lv
A LESS robotic arm control system based on visual feedback. ICIA (2015)
Chao Wang, Yi Lv, Gaoang Liu, Peng Wu
Quasi-Linearizability is Undecidable. APLAS (2015)
Min Zhou, Yi Lv, Ruili Shen, Zhehao Zhou, Jing Zhou, Shaoxiang Hu, Xiaojuan Zhou
Assessment of Heavy Metal Pollution in Surface Soils of Hankou Region in Wuhan, China. GRMSE (2014)
Yi Lv, Xu Wang, Jingjing Jin, Jianhui Liu, Changjun Han, Suchun Gao
A new excitation field for magnetic induction tomography based on the focusing magnetic field. ISBI (2014)
Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu
Efficiently and Completely Verifying Synchronized Consistency Models. ATVA (2014)
Zheng Lv, Hao Chen, Feng Chen, Yi Lv
Fast Verification of Memory Consistency for Chip Multi-Processor. CIS (2011)
Yi Lv
Manager as Scrum Master. AGILE (2011)
Steve Berczuk, Yi Lv
We're All in This Together. IEEE Softw. 27 (6) (2010)
Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen, Haihua Shen, Pengyu Wang, Hong Pan
Fast complete memory consistency verification. HPCA (2009)
Yan Guo, Yu Wang, Guodong Ding, Donglin Cao, Gang Zhang, Yi Lv
Juicer: Scalable Extraction for Thread Meta-information of Web Forum. PAISI (2009)
Hong Pan, Yi Lv, Huimin Lin
Environment Abstraction with State Clustering and Parameter Truncating. TASE (2009)
Yi Lv, Huimin Lin, Hong Pan
Computing Invariants for Parameter Abstraction. MEMOCODE (2007)
Hong Pan, Huimin Lin, Yi Lv
Model Checking Data Consistency for Cache Coherence Protocols. J. Comput. Sci. Technol. 21 (5) (2006)