Search

Your search keyword '"Le Hoang, M."' showing total 176 results

Search Constraints

Start Over You searched for: Author "Le Hoang, M." Remove constraint Author: "Le Hoang, M."
176 results on '"Le Hoang, M."'

Search Results

1. OPSurv: Orthogonal Polynomials Quadrature Algorithm for Survival Analysis

2. GamutMLP: A Lightweight MLP for Color Loss Recovery

Catalog

Books, media, physical & digital resources

3. Policy Optimization with Linear Temporal Logic Constraints

4. Online Robust Control of Nonlinear Systems with Large Uncertainty

5. Empirical Study of Off-Policy Policy Evaluation for Reinforcement Learning

6. Imitation-Projected Programmatic Reinforcement Learning

7. Batch Policy Learning under Constraints

8. A Control Lyapunov Perspective on Episodic Learning via Projection to State Stability

9. Episodic Learning with Control Lyapunov Functions for Uncertain Robotic Systems

10. Hierarchical Imitation and Reinforcement Learning

11. Coordinated Multi-Agent Imitation Learning

12. Extensible and Configurable RISC-V Based Virtual Prototype

13. LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)

14. Smooth Imitation Learning for Online Sequence Prediction

15. Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach

16. KLUZZER: Whitebox Fuzzing on Top of LLVM

17. Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring

19. A Tool Using Ultrasonic Sensor for Measuring Breathing Rate

21. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study

24. ParCoSS: Efficient Parallelized Compiled Symbolic Simulation

25. International incidence of childhood cancer, 2001–10: a population-based registry study

26. The In Vivo Anti-Inflammatory Effects of Qt-2 (A Traditional Medicine Remedy) Water Extract.

27. Evaluation of Analgesic Effects of Herbal Formula Qt-2 on Experimental Mice Model.

30. Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules

33. The In Vivo Anti-Inflammatory Effects of Qt-2 (A Traditional Medicine Remedy) Water Extract.

34. Completeness-Driven Development

38. Evaluation of Analgesic Effects of Herbal Formula Qt-2 on Experimental Mice Model.

40. Evaluation of Pain-Relieving Effect of The Herbal Remedy "Hoang Ky Que Chi Ngu Vat Thang" in Animal Model.