Search

Your search keyword '"Lin, Yu-Yang"' showing total 117 results

Search Constraints

Start Over You searched for: Author "Lin, Yu-Yang" Remove constraint Author: "Lin, Yu-Yang"
117 results on '"Lin, Yu-Yang"'

Search Results

1. Altered post-fracture systemic bone loss in a mouse model of osteocyte dysfunction

2. Surgical restabilization following ACL rupture in mice slows the progression of post-traumatic osteoarthritis

3. An Operational Semantics for Yul

4. An Operational Semantics for Yul

5. Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence

6. Fully Abstract Normal Form Bisimulation for Call-by-Value PCF

7. Validation of a Low-Cost Portable Device for Inducing Noninvasive Anterior Cruciate Ligament Injury in Mice.

8. Non-Invasive Compression-Induced Anterior Cruciate Ligament (ACL) Injury and In Vivo Imaging of Protease Activity in Mice.

9. Larval Feeding Habits of Five Firefly Species Across Aquatic, Semi-Aquatic, and Terrestrial Lineages

12. Altered canalicular remodeling associated with femur fracture in mice

13. From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques

14. Symbolic Execution Game Semantics

15. Antibacterial activity and action target of phenyllactic acid against Staphylococcus aureus and its application in skim milk and cheese

16. Gut flora alterations among aquatic firefly Aquatica leii inhabiting various dissolved oxygen in fresh water

17. From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques

18. Higher-Order Bounded Model Checking

19. A novel bacteriocin against Staphylococcus aureus from Lactobacillus paracasei isolated from Yunnan traditional fermented yogurt: Purification, antibacterial characterization, and antibiofilm activity

23. A Bounded Model Checking Technique for Higher-Order Programs

24. Subcellular-Level Mitochondrial Energy Metabolism Response in the Fat Body of the German Cockroach Fed Abamectin

25. Genetic testing confirmed osteopetrosis with initial presentation of nystagmus.

26. Underwater Image Enhancement Based on Light Field-Guided Rendering Network.

33. Application of Typicality in Predicting Product Appearance †.

34. Akkermansia muciniphila is Negatively Correlated with Hemoglobin A1c in Refractory Diabetes

35. Antibacterial effect of bacteriocin XJS01 and its application as antibiofilm agents to treat multidrug-resistant Staphylococcus aureus infection

38. Rapid quantitative analysis of calcium in infant formula powder assisted by long short-term memory with variable importance using laser-induced breakdown spectroscopy

43. Ultraviolet photodetector based on NaTaO3/ZnO composite with enhanced photoelectric performance

45. Horner Syndrome subsequent to ultrasound‐guided cervical lymph node fine‐needle aspiration – A case report and literature review.

48. Stochastic Averaging for Time-Varying Systems and Its Applications to Distributed Stochastic Source Seeking

Catalog

Books, media, physical & digital resources