26 results on '"Lv, Yi"'
Search Results
2. VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects
3. Design of Intelligent Filling and Labeling Integrated Device
4. Coarse to Fine Automatic Segmentation of Abdominal Multiple Organs
5. Decidability of Liveness for Concurrent Objects on the TSO Memory Model
6. Three Uses of One Neural Network: Automatic Segmentation of Kidney Tumor and Cysts Based on 3D U-Net
7. Fuzzy Evaluation System for Innovation Ability of Science and Technology Enterprises
8. Fast Learning from Imperfect Labels to Segment Brain Based on Active Contour Model and 3D U-Net
9. Detect and Identify Aneurysms Based on Adjusted 3D Attention UNet
10. 3D Attention U-Net with Pretraining: A Solution to CADA-Aneurysm Segmentation Challenge
11. Forward Calculation for Improving the Sensitivity of Multiple Perturbations in Magnetic Induction Tomography Based on Brain Tissue Structure
12. Att-ConvLSTM: PM2.5 Prediction Model and Application
13. A Web Based Security Monitoring and Information Management System for Nursing Homes
14. Design of Digital Filters for the Contactless Conductivity Detection of Micro-fluidic Electrophoresis Chip Based on CIC and FIR
15. Decomposable Relaxation for Concurrent Data Structures
16. Bounded TSO-to-SC Linearizability Is Decidable
17. Assessment of Heavy Metal Pollution in Surface Soils of Hankou Region in Wuhan, China
18. Quasi-Linearizability is Undecidable
19. TSO-to-TSO Linearizability Is Undecidable
20. ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols
21. Efficiently and Completely Verifying Synchronized Consistency Models
22. Literate Review on Firm Network Capability: A Process Perspective
23. Heterogeneous Clustering Computing Based on Parallel Task Distribution
24. The Design and Implementation of the Ultramicro Mass Measure Device
25. Design of Firmware Update Strategy in Tower Mounted Amplifier
26. Juicer: Scalable Extraction for Thread Meta-information of Web Forum
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.