Search

Your search keyword '"Wang, Shengyi"' showing total 217 results

Search Constraints

Start Over You searched for: Author "Wang, Shengyi" Remove constraint Author: "Wang, Shengyi" Search Limiters Full Text Remove constraint Search Limiters: Full Text
217 results on '"Wang, Shengyi"'

Search Results

3. Proving Logical Atomicity using Lock Invariants

4. GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database

5. A Novel Efficient Signcryption Scheme for Resource-Constrained Smart Terminals in Cyber-Physical Power Systems

11. Immunogenicity and safety of concomitant administration of the sabin-strain-based inactivated poliovirus vaccine, the diphtheria-tetanus-acellular pertussis vaccine, and measles-mumps-rubella vaccine to healthy infants aged 18 months in China

13. Proof Pearl: Magic Wand as Frame

14. Immuno-persistence of the different primary polio vaccine schedules and immunogenicity of the booster dose by sabin inactivated or bivalent oral poliovirus vaccine in children aged 4 years: an open-label, randomised, controlled phase 4 trial in China

16. BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

18. Development of a UHPLC-MS/MS Method for the Determination of Moxidectin in Rat Plasma and Its Application in Pharmacokinetics.

19. Genomic Characterization of Extended‐Spectrum β‐Lactamase (ESBL) Producing E. coli Harboring blaOXA−1‐catB3-arr-3 Genes Isolated From Dairy Farm Environment in China.

20. Network Analysis of Gut Microbial Communities Reveals Key Reason for Quercetin Protects against Colitis.

26. Controllable Construction of Aptamer-Modified Fe 3 O 4 @SiO 2 -Au Core-Shell-Satellite Nanocomposites with Surface-Enhanced Raman Scattering and Photothermal Properties and Their Effective Capture, Detection, and Elimination of Staphylococcus aureus.

32. Novel Drug Delivery Systems: An Important Direction for Drug Innovation Research and Development.

38. Foundational Verification of Stateful P4 Packet Processing

39. Based on the multi-level optimization model of remanufacturing and pricing balance strategy research under TIFR subsidy in China

40. Quercetin Reprograms Immunometabolism of Macrophages via the SIRT1/PGC-1α Signaling Pathway to Ameliorate Lipopolysaccharide-Induced Oxidative Damage

44. Tandem mass tag labeled quantitative proteomic analysis of differential protein expression on total alkaloid of Aconitum flavum Hand.-Mazz. against melophagus ovinus

47. MicroRNA miR-24-3p Mediates the Negative Regulation of Lipopolysaccharide-Induced Endometrial Inflammatory Response by Targeting TNF Receptor-Associated Factor 6 (TRAF6)

48. Numerical Simulation of Electrical Properties for Pore-Scale Hydrate-Bearing Sediments with Different Occurrence Patterns and Distribution Morphologies.

49. Correction of Rotational Eccentricity Based on Model and Microvision in the Wire-Traction Micromanipulation System.

Catalog

Books, media, physical & digital resources