33 results on '"Hu, Qimin"'
Search Results
2. Modularity characterization on general 2-uninorms and overlap or grouping functions
3. Distributivity characterization of idempotent uni-nullnorms and overlap or grouping functions
4. Formal Development and Verification of Reusable Component in PAR Platform
5. Association of Plaque Features with Infarct Patterns in Patients with Acutely Symptomatic Middle Cerebral Artery Atherosclerotic Disease
6. Formal Specification and Verification for Real-Time Scheduling Based on PAR
7. Impact of New Media Development on City Image
8. PAR: A Practicable Formal Method and Its Supporting Platform
9. Formal Development and Verification of Reusable Component in PAR Platform
10. Formal Development of Linear Structure Reusable Components in PAR Platform
11. An approach to ZnTe:O intermediate-band photovoltaic materials
12. Impact of the COVID‐19 pandemic on acute stroke care: An analysis of the 24‐month data from a comprehensive stroke center in Shanghai, China
13. Research on Formal Development of Non-recursive Algorithms of Graph Search
14. Formal Specification and Verification for Real-Time Scheduling Based on PAR
15. Formal Semantics of Orc Based on TLA
16. PAR: A Practicable Formal Method and Its Supporting Platform
17. Association of Plaque Morphology With Stroke Mechanism in Patients With Symptomatic Posterior Circulation ICAD
18. Formal Development of Linear Structure Reusable Components in PAR Platform
19. Intracranial Posterior Circulation Large Artery Thrombi Visualized Using Susceptibility‐Weighted MRI
20. Ethnoveterinary Survey Conducted in Baiku Yao Communities in Southwest China
21. Research on Formal Development of Non-recursive Algorithms of Graph Search
22. Improved growth quality of epitaxial ZnTe thin films on Si (111) wafer with ZnSe buffer layer
23. Formal Semantics of Orc Based on TLA $$^+$$
24. Growth control of ZnTe epitaxial thin films on Si (111)
25. Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task
26. Effect of fluoxetine on HIF-1α- Netrin/VEGF cascade, angiogenesis and neuroprotection in a rat model of transient middle cerebral artery occlusion
27. Methodology and Platform of IS Code Generation
28. Apla Generic Constraint Matching Detection and Verification
29. Direct growth of ZnTe on Si(100) and Si(111) substrate by molecular beam epitaxy
30. Susceptibility Vessel Sign in Isolated Brainstem Infarction with Large Artery Occlusion
31. Formalization of Distributed and Dynamic Resources Allocation Using Category Theory
32. Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach
33. Direct growth of ZnTe on Si(100) and Si(111) substrate by molecular beam epitaxy.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.