Nuclear quadrupole resonance spectroscopy/ Por 264799 Das, T. P., Hahn, E. L.

On Using the Transfer Matrix Formulation for Transient Analysis of Nonlinear Rotor Bearing Systems Por Liew A., Feng N., Hahn E.

Obter o texto integral

Computing Cumulative Rewards using Fast Adaptive Uniformisation Por Dannenberg, F, Hahn, E, Kwiatkowska, M

INFAMY: An Infinite−State Markov Model Checker Por Hahn, E, Hermanns, H, Wachter, B, Zhang, L

PARAM: A Model Checker for Parametric Markov Models Por Hahn, E, Hermanns, H, Wachter, B, Zhang, L

PASS: Abstraction Refinement for Infinite Probabilistic Models Por Hahn, E, Hermanns, H, Wachter, B, Zhang, L

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains Por Hahn, E, Hermanns, H, Wachter, B, Zhang, L

Multi-objective robust strategy synthesis for Interval Markov decision processes Por Hahn, E, Hashemi, V, Hermanns, H, Lahijanian, M, Turrini, A

Short-course versus long-course oral antibiotic treatment for infections treated in outpatient settings: a review of systematic reviews. Por Dawson-Hahn, E, Mickan, S, Onakpoya, I, Roberts, N, Kronman, M, Butler, C, Thompson, M

VEGF-A and FLT-1 tumour gene expressions are of prognostic value in small cell lung cancer (SCLC) patients treated with first-line ACE chemotherapy Por Brueckl, WM, Wirtz, R, Dimmler, A, Brunner, T, Klein, P, Hahn, E, Ficker, J, Wiest, G