Yi Lv

Orcid: 0000-0002-7104-2414

According to our database1, Yi Lv authored at least 66 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Ultra-Short Wave Communication Squelch Algorithm Based on Deep Neural Network.
Big Data Min. Anal., March, 2023

Hybrid Worker Selection for Task Coverage Maximization in Mobile Crowdsensing.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2023

VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.
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
Post-silicon nano-electronic device and its application in brain-inspired chips.
Frontiers Neurorobotics, September, 2022

On the Design of Beamforming Feedback for Wi-Fi Sensing.
IEEE Wirel. Commun. Lett., 2022

Silicon Modeling of Spiking Neurons With Diverse Dynamic Behaviors.
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

A mixed reality simulation evaluation method for complex system.
Int. J. Model. Simul. Sci. Comput., 2022

Decidability of Liveness for Concurrent Objects on the TSO Memory Model.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

Coarse to Fine Automatic Segmentation of Abdominal Multiple Organs.
Proceedings of the Fast and Low-Resource Semi-supervised Abdominal Organ Segmentation, 2022

Compositional Verification of Interacting Systems Using Event Monads.
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021
An Ultra-Low Quiescent Current Resistor-Less Power on Reset Circuit.
IEEE Trans. Circuits Syst. II Express Briefs, 2021

Service-Oriented Real-Time Smart Job Shop Symmetric CPS Based on Edge Computing.
Symmetry, 2021

Security analysis method for practical quantum key distribution with arbitrary encoding schemes.
CoRR, 2021

Decidability of Liveness on the TSO Memory Model.
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

Signal Processing of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels.
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

Detect and Identify Aneurysms Based on Adjusted 3D Attention UNet.
Proceedings of the Cerebral Aneurysm Detection - First Challenge, 2020

Electromagnetic Field Fingerprint Method for Circularly Polarized OAM.
Proceedings of the 2020 IEEE International Conference on Communications Workshops, 2020

Degrees of Freedom of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels.
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

Att-ConvLSTM: PM2.5 Prediction Model and Application.
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

A Web Based Security Monitoring and Information Management System for Nursing Homes.
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

Running guide: design of a marathon navigation system for visually impaired people.
Proceedings of the Seventh International Symposium of Chinese CHI, 2019

2018
An Automatic Proving Approach to Parameterized Verification.
ACM Trans. Comput. Log., 2018

Decidability of linearizabilities for relaxed data structures.
Sci. China Inf. Sci., 2018

TSO-to-TSO linearizability is undecidable.
Acta Informatica, 2018

2017
Decomposable Relaxation for Concurrent Data Structures.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Power-Aware Lightpath Management for SDN-Based Elastic Optical Networks.
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

Bounded TSO-to-SC Linearizability Is Decidable.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

Temperature modeling and control of 5kW proton exchange membrane fuel cell system.
Proceedings of the IEEE International Conference on Information and Automation, 2016

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

A novel approach to parameterized verification of cache coherence protocols.
Proceedings of the 34th IEEE International Conference on Computer Design, 2016

2015
A LESS robotic arm control system based on visual feedback.
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

Input-Driven Active Testing of Multi-threaded Programs.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Quasi-Linearizability is Undecidable.
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

Efficiently and Completely Verifying Synchronized Consistency Models.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2011
Fast Verification of Memory Consistency for Chip Multi-Processor.
Proceedings of the Seventh International Conference on Computational Intelligence and Security, 2011

Manager as Scrum Master.
Proceedings of the 2011 Agile Conference, 2011

2010
We're All in This Together.
IEEE Softw., 2010

2009
Environment Abstraction with State Clustering and Parameter Truncating.
Proceedings of the TASE 2009, 2009

Juicer: Scalable Extraction for Thread Meta-information of Web Forum.
Proceedings of the Intelligence and Security Informatics, Pacific Asia Workshop, 2009

Fast complete memory consistency verification.
Proceedings of the 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 2009

2007
Computing Invariants for Parameter Abstraction.
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

2006
Model Checking Data Consistency for Cache Coherence Protocols.
J. Comput. Sci. Technol., 2006


  Loading...