Yi Lv
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
IEEE Trans. Wirel. Commun., May, 2024
J. Supercomput., May, 2024
Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024
Chinese Paper-cutting Inspired Topological Flexible Piezoresistive Pressure Sensor for Wearable Health Monitoring.
Proceedings of the 2024 IEEE SENSORS, Kobe, Japan, October 20-23, 2024, 2024
2023
Big Data Min. Anal., March, 2023
Proceedings of the IEEE Wireless Communications and Networking Conference, 2023
Proceedings of the Theoretical Aspects of Software Engineering, 2023
A Deep-Learning-Based Framework for Automatic Segmentation and Labelling of Intracranial Artery.
Proceedings of the 20th IEEE International Symposium on Biomedical Imaging, 2023
MFR-Net: Multi-Scale Feature Representation Module for 3D Cerebrovascular Segmentation.
Proceedings of the 20th IEEE International Symposium on Biomedical Imaging, 2023
MCRLe: Multi-Modal Contrastive Representation Learning For Stroke Onset Time Diagnosis.
Proceedings of the 20th IEEE International Symposium on Biomedical Imaging, 2023
Online Resource Scheduling Mechanism for Quality of Service Assurance in Intelligent Medical.
Proceedings of the IEEE International Conference on E-health Networking, 2023
Personalized-Enhanced Federated Learning on Heterogeneous Internet of Medical Things.
Proceedings of the IEEE International Conference on E-health Networking, 2023
2022
Frontiers Neurorobotics, September, 2022
IEEE Wirel. Commun. Lett., 2022
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Self-Powered and Autonomous Vibrational Wake-Up System Based on Triboelectric Nanogenerators and MEMS Switch.
Sensors, 2022
A human hybrid tracking and localization method for mixed reality simulation of complex system.
Int. J. Model. Simul. Sci. Comput., 2022
Int. J. Model. Simul. Sci. Comput., 2022
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022
Proceedings of the Fast and Low-Resource Semi-supervised Abdominal Organ Segmentation, 2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
2021
IEEE Trans. Circuits Syst. II Express Briefs, 2021
Symmetry, 2021
Security analysis method for practical quantum key distribution with arbitrary encoding schemes.
CoRR, 2021
A New Measure of Pulse Rate Variability and Detection of Atrial Fibrillation Based on Improved Time Synchronous Averaging.
Comput. Math. Methods Medicine, 2021
Fully automated segmentation in temporal bone CT with neural network: a preliminary assessment study.
BMC Medical Imaging, 2021
Transmission Performance Guaranteed Task Distribution Strategy in Mobile Crowdsensing.
Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021
Three Uses of One Neural Network: Automatic Segmentation of Kidney Tumor and Cysts Based on 3D U-Net.
Proceedings of the Kidney and Kidney Tumor Segmentation - MICCAI 2021 Challenge, 2021
Fuzzy Evaluation System for Innovation Ability of Science and Technology Enterprises.
Proceedings of the Knowledge Management in Organizations - 15th International Conference, 2021
Proceedings of the IEEE International Conference on Communications Workshops, 2021
2020
BIST-Based Fault Diagnosis for PCM With Enhanced Test Scheme and Fault-Free Region Finding Algorithm.
IEEE Trans. Very Large Scale Integr. Syst., 2020
Fast Searching Density Peak Clustering Algorithm Based on Shared Nearest Neighbor and Adaptive Clustering Center.
Symmetry, 2020
Forward Calculation for Improving the Sensitivity of Multiple Perturbations in Magnetic Induction Tomography Based on Brain Tissue Structure.
Proceedings of the Security and Privacy in Social Networks and Big Data, 2020
3D Attention U-Net with Pretraining: A Solution to CADA-Aneurysm Segmentation Challenge.
Proceedings of the Cerebral Aneurysm Detection - First Challenge, 2020
Proceedings of the Cerebral Aneurysm Detection - First Challenge, 2020
Proceedings of the 2020 IEEE International Conference on Communications Workshops, 2020
Proceedings of the IEEE Global Communications Conference, 2020
2019
Near-threshold SIDO DC-DC converter with a high-precision ZCD for phase change memory chip.
IEICE Electron. Express, 2019
Deep residual-network-based quality assessment for SD-OCT retinal images: preliminary study.
Proceedings of the Medical Imaging 2019: Image Perception, 2019
Deep convolutional network based on rank learning for OCT retinal images quality assessment.
Proceedings of the Medical Imaging 2019: Biomedical Applications in Molecular, 2019
Proceedings of the Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery - Proceedings of the 15th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2019), Kunming, China, July 20-22, 2019, 2019
Proceedings of the Intelligent Robotics and Applications - 12th International Conference, 2019
Pancreas Segmentation in Abdominal CT Scans using Inter-/Intra-Slice Contextual Information with a Cascade Neural Network.
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019
Proceedings of the Seventh International Symposium of Chinese CHI, 2019
2018
ACM Trans. Comput. Log., 2018
Sci. China Inf. Sci., 2018
2017
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017
2016
An Alternative Approach for Registration of High-Resolution Satellite Optical Imagery and ICESat Laser Altimetry Data.
Sensors, 2016
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016
Proceedings of the IEEE International Conference on Information and Automation, 2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
Proceedings of the 34th IEEE International Conference on Computer Design, 2016
2015
Proceedings of the IEEE International Conference on Information and Automation, 2015
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols.
Proceedings of the Automated Technology for Verification and Analysis, 2015
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015
2014
A new excitation field for magnetic induction tomography based on the focusing magnetic field.
Proceedings of the IEEE 11th International Symposium on Biomedical Imaging, 2014
Assessment of Heavy Metal Pollution in Surface Soils of Hankou Region in Wuhan, China.
Proceedings of the Geo-Informatics in Resource Management and Sustainable Ecosystem, 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2011
Proceedings of the Seventh International Conference on Computational Intelligence and Security, 2011
2010
2009
Proceedings of the TASE 2009, 2009
Proceedings of the Intelligence and Security Informatics, Pacific Asia Workshop, 2009
Proceedings of the 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 2009
2007
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
2006
J. Comput. Sci. Technol., 2006