156 results on '"Xu, Qiwen"'
Search Results
2. A simple proof of three properties on Simpson's 4-slot Algorithm
3. Modeling and Verifying PSO Memory Model Using CSP
4. A process calculus BigrTiMo of mobile systems and its formal semantics
5. Study on blood pressure rhythm in hypertensive patients with Yin deficiency syndrome and a random forest model for predicting hypertension with Yin deficiency syndrome.
6. Analysis of the Influence of Early Rehabilitation Nursing on the Rehabilitation of Stroke Patients with Hemiplegia
7. Rehabilitation Nursing Combined with Acupuncture on Rehabilitation of Elderly with Stroke Sequelae
8. Effect of controlled-release urea fertilizers for oilseed rape (Brassica napus L.) on soil carbon storage and CO2 emission
9. Effect of potassium deficiency on growth, antioxidants, ionome and metabolism in rapeseed under drought stress
10. Improving the Prediction of Grain Protein Content in Winter Wheat at the County Level with Multisource Data: A Case Study in Jiangsu Province of China.
11. A Formal Model for a Hybrid Programming Language
12. Experiment study on performance of abrasive slurry jet with or without high polymer in stainless steel machining
13. Embedding teacher scaffolding in a mobile technology supported collaborative learning environment in English reading class: students' learning outcomes, engagement, and attitudes
14. Embedding teacher scaffolding in a mobile technology supported collaborative learning environment in English reading class: students' learning outcomes, engagement, and attitudes
15. Convolutional neural network for breast cancer diagnosis using diffuse optical tomography
16. Interactive effects of drought and heat stresses on morpho-physiological attributes, yield, nutrient uptake and oxidative status in maize hybrids
17. Nitrogen Allocation Tradeoffs Within-Leaf between Photosynthesis and High-Temperature Adaptation among Different Varieties of Pecan (Carya illinoinensis [Wangenh.] K. Koch)
18. Recent advances in metaheuristic algorithms: Does the Makara dragon exist?
19. Towards a Modeling Language for Cyber-Physical Systems
20. The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs
21. A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm
22. Rigorous Design of a Fault Diagnosis and Isolation Algorithm
23. Deep learning for image reconstruction in thermoacoustic tomography
24. Towards a formal semantics of verilog using duration calculus
25. Compositional Reasoning Using the Assumption-Commitment Paradigm
26. Laws of Parallel Programming with Shared Variables
27. Layering of real-time distributed processes
28. On Unifying Assumption—Commitment Style Proof Rules for Concurrency
29. A Formal Model for a Hybrid Programming Language
30. A case study in formally developing state-based parallel programs—the Dutch National Torus
31. Formal Modelling and Verification of the RTPS Behavior Module
32. Combined effect of biochar and nitrogen fertilizer reduction on rapeseed productivity and nitrogen use efficiency.
33. Potassium Improves Drought Stress Tolerance in Plants by Affecting Root Morphology, Root Exudates, and Microbial Diversity
34. Combined effect of biochar and nitrogen fertilizer reduction on rapeseed productivity and nitrogen use efficiency
35. Towards a Modeling Language for Cyber-Physical Systems
36. Soil microbial functional diversity and root growth responses to soil amendments contribute to CO2 emission in rainfed cropland
37. The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs
38. Correction to “Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data”
39. Effect of potassium deficiency on growth, antioxidants, ionome and metabolism in rapeseed under drought stress
40. Refinement of fair action systems
41. The rely-guarantee method for verifying shared variable concurrent programs
42. Rigorous Design of a Fault Diagnosis and Isolation Algorithm
43. Mathematical model of rock stress under abrasive slurry jet impact based on contact mechanics
44. Compositional Reasoning Using the Assumption-Commitment Paradigm
45. Laws of Parallel Programming with Shared Variables
46. On Unifying Assumption—Commitment Style Proof Rules for Concurrency
47. Formalization and Verification of RTPS StatefulWriter Module Using CSP
48. Study on ASJ Cutting of TC18, Based upon Multivariate Nonlinear Regression and SA-BP-AGA
49. Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data
50. Research on heat transfer characteristics of fractal-generated turbulence based on large eddy simulation
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.