Showing 1 - 20 results of 89 for search 'Qu, H', query time: 0.05s
Refine Results
-
1
Efficient Probabilistic Parameter Synthesis for Adaptive Systems by Chen, T, Han, T, Kwiatkowska, M, Qu, H
Published 2013Report -
2
Prunella vulgaris L. Attenuates Experimental Autoimmune Thyroiditis by Inhibiting HMGB1/TLR9 Signaling by Guo Q, Qu H, Zhang H, Zhong X
Published 2021-11-01
Article -
3
Compositional probabilistic verification through multi-objective model checking by Kwiatkowska, M, Norman, G, Parker, D, Qu, H
Published 2013Journal article -
4
Local abstraction refinement for probabilistic timed programs by Dräger, K, Kwiatkowska, M, Parker, D, Qu, H
Published 2013Journal article -
5
Ginsenoside Rd Promotes Cardiac Repair After Myocardial Infarction by Modulating Monocytes/Macrophages Subsets Conversion by Zhao T, Wang X, Liu Q, Yang T, Qu H, Zhou H
Published 2022-08-01
Article -
6
-
7
INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS by Forejt, V, Kwiatkowska, M, Parker, D, Qu, H, Ujma, M
Published 2012Report -
8
Quantitative Multi-objective Verification for Probabilistic Systems. by Forejt, V, Kwiatkowska, M, Norman, G, Parker, D, Qu, H
Published 2011Journal article -
9
HypoML: visual analysis for hypothesis-based evaluation of machine learning models by Wang, Q, Alexander, W, Pegg, J, Qu, H, Chen, M
Published 2020Journal article -
10
-
11
-
12
An Update on the Potential Roles of E2F Family Members in Colorectal Cancer by Xu Z, Qu H, Ren Y, Gong Z, Ri HJ, Chen X
Published 2021-07-01
Article -
13
Hospital Characteristics Associated with Certified EHR Adoption among US Psychiatric Hospitals by Hu X, Qu H, Houser SH, Chen H, Zhou J, Yu M
Published 2020-04-01
Article -
14
Pathogenesis and Therapy of Coagulation Disorders in Severe Acute Pancreatitis by Gui M, Zhao B, Huang J, Chen E, Qu H, Mao E
Published 2023-01-01
Article -
15
-
16
-
17
-
18
-
19
-
20