310 results on '"Song Fu"'
Search Results
2. When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference
3. Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples
4. Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks
5. PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation
6. CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
7. Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
8. EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis
9. Mutual Incoherence and Relative Total Variation Regularizations for Blind Hyperspectral Unmixing
10. Mg(II)‐Catalyzed [4+2] Annulation for the Synthesis of 2‐Arylquinoline Motifs: Applications and DFT Studies
11. ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas
12. BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks
13. Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
14. CO2-mineralization and carbonation reactor rig: Design and validation for in situ neutron scattering experiments—Engineering and lessons learned
15. Efficacy analysis of axillary approach in the treatment of Ideberg type I and II scapular glenoid fractures: Case series
16. SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison
17. Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks
18. SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
19. Chrysomycin A Regulates Proliferation and Apoptosis of Neuroglioma Cells via the Akt/GSK-3β Signaling Pathway In Vivo and In Vitro
20. Development of an ultrasonic linear encoder
21. Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach
22. Efficacy analysis of axillary approach in the treatment of Ideberg type I and II scapular glenoid fractures
23. Android Stack Machine
24. SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks
25. Stable versus fragile community structures in the correlation dynamics of Chinese industry indices
26. Graph learning and denoising-based weighted sparse unmixing for hyperspectral images
27. Label-free quantitative proteomics of arbuscular mycorrhizal Elaeagnus angustifolia seedlings provides insights into salt-stress tolerance mechanisms
28. Albumin and other metabolic parameters as potential indicators of purulent vaginal discharge in dairy cows during the transition period
29. First-Order Graph Trend Filtering for Sparse Hyperspectral Unmixing
30. Mg(II)-Catalyzed [4 2] Annulation for the Synthesis of 2-Aryl-Quinoline Motifs: Applications and DFT Studies
31. A lanthanide luminescent sensor for the detection of 4-nitrophenol in aqueous media
32. CO2-mineralization and carbonation reactor rig: design and validation for in situ neutron scattering experiments - Engineering and Lessons Learned
33. DeJITLeak: eliminating JIT-induced timing side-channel leaks
34. QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
35. Chrysomycin A Inhibits the Proliferation, Migration and Invasion of U251 and U87-MG Glioblastoma Cells to Exert Its Anti-Cancer Effects
36. Hybrid representation based on dictionaries for hyperspectral image classification
37. Promoted methane hydrate formation in -SO3--rich hydrogel clathrate
38. Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain
39. Formal Reasoning on Infinite Data Values: An Ongoing Quest
40. Reasoning About Periodicity on Infinite Words
41. Model Checking Pushdown Epistemic Game Structures
42. Nonlinear Numerical Analysis of Vortex-Induced Vibration of A Three-Dimensional Deepwater Steep Wave Riser with Large Deformation Features
43. VenomAttack: automated and adaptive activity hijacking in Android
44. Chemical synthesis, biological activities, and molecular simulations of novel sulfonylurea compounds bearing ortho ‐alkoxy substitutions
45. ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation
46. CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning
47. A Database of Solution Additives Promoting Mg2+ Dehydration and the Onset of MgCO3 Nucleation
48. Alleviation of Diabetic Tendon Injury via Activation of Tendon Fibroblasts Autophagy under Berberine Treatment
49. High glucose represses the proliferation of tendon fibroblasts by inhibiting autophagy activation in tendon injury
50. Preparation of a Hydrogel-Based Promoter for Methane Hydrate Formation: Effects of −SO3– Density on Promotion Efficiency
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.