184 results on '"wenhui zhang"'
Search Results
2. MT-GEO: A Multi-Scale Feature Extraction Network for Cross-View Geo-Localization Between Street-View and Remote Sensing Imagery.
3. Optimal Design of Heliostat Field Layout Based on Improved Sparrow Search Algorithm.
4. Fault Diagnosis Method for Temperature Rise of Tulip Contact in High Voltage Switchgear Based on Digital Twin Technology.
5. Exploring Performance and Cost Optimization with ASIC-Based CXL Memory.
6. A Low-Power and High-Accuracy Approximate Adder for Logarithmic Number System.
7. A High-Throughput Lossless Image Compression Engine Optimized for Compression Ratio.
8. Slicing Assisted Program Verification: An Empirical Study.
9. SecuDB: An In-enclave Privacy-preserving and Tamper-resistant Relational Database.
10. Road Extraction From High-Resolution Remote Sensing Images of Open-Pit Mine Using D-SegNeXt.
11. RedAgent: Red Teaming Large Language Models with Context-aware Autonomous Language Agent.
12. Introducing v0.5 of the AI Safety Benchmark from MLCommons.
13. Evaluation of General Large Language Models in Contextually Assessing Semantic Concepts Extracted from Adult Critical Care Electronic Health Record Notes.
14. Research on Shape Adjustment Algorithm for FAST Reflective Panels.
15. A Study of Chinese-English Translation Teaching Based on Data Mining.
16. Free Fine-tuning: A Plug-and-Play Watermarking Scheme for Deep Neural Networks.
17. Formal Analysis of IBC Protocol.
18. A Smart Contract Development Framework for Maritime Transportation Systems.
19. Deep Probability Contour Framework for Tumour Segmentation and Dose Painting in PET Images.
20. Global Prescribed-Time Stabilization for a Class of Uncertain Feedforward Nonlinear Systems.
21. Adaptive Multi-Hypergraph Convolutional Networks for 3D Object Classification.
22. Optimality of the rescaled pure greedy learning algorithms.
23. Graph learning for latent-variable Gaussian graphical models under laplacian constraints.
24. SvTPM: SGX-Based Virtual Trusted Platform Modules for Cloud Computing.
25. A novel multi-objective evolutionary algorithm with a two-fold constraint-handling mechanism for multiple UAV path planning.
26. An AdaBoost-based algorithm to detect hospital-acquired pressure injury in the presence of conflicting annotations.
27. GeoViewMatch: A Multi-Scale Feature-Matching Network for Cross-View Geo-Localization Using Swin-Transformer and Contrastive Learning.
28. A phase velocity preserving fourth-order finite difference scheme for the Helmholtz equation with variable wavenumber.
29. Positioning and Posture Adjustment for a Rotational Cutting Biopsy Capsule.
30. Application of Formative Assessment Model in College English Course Assisted by Digital Platforms - Taking HFUT as an Example.
31. A Multi-Objective Topology Optimization Method Used in Simultaneous Constraints of Natural Frequency and Static Stiffness.
32. A Bounded Semantics for Improving the Efficiency of Bounded Model Checking.
33. Circular Interpolation Trajectory Control of Manipulator Based on LabVIEW.
34. On Verification of Smart Contracts via Model Checking.
35. A Multimodal Fusion Network Based on Hypergraph for 3D Shape Retrieval.
36. Unified error estimate for weak biorthogonal Greedy algorithms.
37. Worst-Case Design for RIS-Aided Over-the-Air Computation With Imperfect CSI.
38. S-Blocks: Lightweight and Trusted Virtual Security Function With SGX.
39. Semi-Blind Channel Estimation for RIS-Assisted MISO Systems Using Expectation Maximization.
40. Cross-Frame Transformer-Based Spatio-Temporal Video Super-Resolution.
41. Self-guided Few-shot Semantic Segmentation for Remote Sensing Imagery Based on Large Vision Models.
42. ChameleonDB: a key-value store for optane persistent memory.
43. VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques.
44. Multi-Agent Automata and Its Application to LDLK Satisfiability Checking.
45. Charitable Donation System Based on Blockchain Technology.
46. Analyzing the Overhead of File Protection by Linux Security Modules.
47. Preface.
48. Examining the Concordance in the Documented Pressure Injury Site, Stage, and Count in Medical Information Mart for Intensive Care-III.
49. Continuous-domain ant colony optimization algorithm based on reinforcement learning.
50. Hypergraph wavelet neural networks for 3D object classification.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.