Search

Your search keyword '"Deng, Yuxin"' showing total 511 results

Search Constraints

Start Over You searched for: Author "Deng, Yuxin" Remove constraint Author: "Deng, Yuxin"
511 results on '"Deng, Yuxin"'

Search Results

1. Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs

4. A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs

5. Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models

6. Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs

7. ResMatch: Residual Attention Learning for Local Feature Matching

10. Too Slow to Be Useful? On Incorporating Humans in the Loop of Smart Speakers

12. A Method Based on the Principle of Polynomial Least Squares Fitting to Achieve High-Precision Temperature Measurement and Its Practical Application

14. A Pattern Matching-Based Framework for Quantum Circuit Rewriting

15. ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning

16. Encodability Criteria for Quantum Based Systems

17. Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains

25. Formal Semantics of a Classical-Quantum Language

26. SDGMNet: Statistic-based Dynamic Gradient Modulation for Local Descriptor Learning

27. Obstacle Avoidance Planning of Manipulator Joints Based on an Improved Artificial Potential Field Method

29. Quantum Circuit Transformation Based on Tabu Search

30. An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains

32. Symbolic Reasoning about Quantum Circuits in Coq

35. Cerebral Superficial Siderosis

36. Autoimmune Glial Fibrillary Acidic Protein Astrocytopathy

37. Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time

41. Neuronal Intra-nuclear Inclusion Disease

45. Analysis of Influencing Factors of Level 3 Automated Vehicle Takeover: A Literature Review.

46. Pulsed X‐Ray Detector Based on Vertical p‐NiO/β‐Ga2O3 Heterojunction Diode.

48. Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping

Catalog

Books, media, physical & digital resources