Showing 1 - 20 results of 297 for search 'Kim G', query time: 0.07s Refine Results
  1. 1
    The development and standardization of Self-assessment for Hearing Screening of the Elderly

    The development and standardization of Self-assessment for Hearing Screening of the Elderly by Kim G, Na W, Kim G, Han W, Kim J

    Published 2016-06-01
    Get full text
    Article
  2. 2
    Effects of hearing loss on speech recognition under distracting conditions and working memory in the elderly

    Effects of hearing loss on speech recognition under distracting conditions and working memory in the elderly by Na W, Kim G, Kim G, Han W, Kim J

    Published 2017-08-01
    Get full text
    Article
  3. 3
    Forests in the northern Sierra Nevada of California, USA, store large amounts of carbon in different patterns

    Forests in the northern Sierra Nevada of California, USA, store large amounts of carbon in different patterns by Kim G. Mattson, Jianwei Zhang

    Published 2019-06-01
    Get full text
    Article
  4. 4
    Morfodinámica del litoral caribe y amenazas naturales

    Morfodinámica del litoral caribe y amenazas naturales by Antonio Flórez, Kim G. Robertson

    Published 2001-01-01
    Get full text
    Article
  5. 5
    Morfodinámica del litoral caribe y amenazas naturales

    Morfodinámica del litoral caribe y amenazas naturales by Antonio Flórez, Kim G. Robertson

    Published 2001-01-01
    Get full text
    Article
  6. 6
    Construction of an integral manifold for linear differential-difference equations

    Construction of an integral manifold for linear differential-difference equations by Klara R. Janglajew, Kim G. Valeev

    Published 2006-01-01
    Get full text
    Article
  7. 7
    Continuous Markovian Logics - Axiomatization and Quantified Metatheory

    Continuous Markovian Logics - Axiomatization and Quantified Metatheory by Radu Mardare, Luca Cardelli, Kim G. Larsen

    Published 2012-11-01
    Get full text
    Article
  8. 8
    Model Checking One-clock Priced Timed Automata

    Model Checking One-clock Priced Timed Automata by Patricia Bouyer, Kim G. Larsen, Nicolas Markey

    Published 2008-06-01
    Get full text
    Article
  9. 9
    Parameterized Metatheory for Continuous Markovian Logic

    Parameterized Metatheory for Continuous Markovian Logic by Kim G. Larsen, Radu Mardare, Claus Thrane

    Published 2012-12-01
    Get full text
    Article
  10. 10
    Limit Your Consumption! Finding Bounds in Average-energy Games

    Limit Your Consumption! Finding Bounds in Average-energy Games by Kim G. Larsen, Simon Laursen, Martin Zimmermann

    Published 2016-10-01
    Get full text
    Article
  11. 11
    Compositional bisimulation metric reasoning with Probabilistic Process Calculi

    Compositional bisimulation metric reasoning with Probabilistic Process Calculi by Daniel Gebler, Kim G. Larsen, Simone Tini

    Published 2017-04-01
    Get full text
    Article
  12. 12
    Distances for Weighted Transition Systems: Games and Properties

    Distances for Weighted Transition Systems: Games and Properties by Uli Fahrenberg, Claus Thrane, Kim G. Larsen

    Published 2011-07-01
    Get full text
    Article
  13. 13
    Asymmetric total synthesis of (+)-bermudenynol, a C15 Laurencia metabolite with a vinyl chloride containing oxocene skeleton, through intramolecular amide enolate alkylation.

    Asymmetric total synthesis of (+)-bermudenynol, a C15 Laurencia metabolite with a vinyl chloride containing oxocene skeleton, through intramolecular amide enolate alkylation. by Kim, G, Sohn, T, Kim, D, Paton, R

    Published 2014
    Journal article
  14. 14
    Production parameters of the therapeutic Rh-105 Radionuclide using medium energy cyclotron

    Production parameters of the therapeutic Rh-105 Radionuclide using medium energy cyclotron by Khandaker, Mayeen Uddin, Kim, G., Kim, K.

    Published 2012
    Article
  15. 15
    Production cross sections of short-lived silver radionuclides from Pd-nat(p,xn) nuclear processes

    Production cross sections of short-lived silver radionuclides from Pd-nat(p,xn) nuclear processes by Khandaker, Mayeen Uddin, Kim, G., Kim, K.

    Published 2012
    Article
  16. 16
    Time-Darts: A Data Structure for Verification of Closed Timed Automata

    Time-Darts: A Data Structure for Verification of Closed Timed Automata by Jiří Srba, Kim G. Larsen, Kenneth Y. Jørgensen

    Published 2012-11-01
    Get full text
    Article
  17. 17
    Quantitative 99mTc-albumin colloid nasal mucociliary clearance as an outcome in primary ciliary dyskinesia

    Quantitative 99mTc-albumin colloid nasal mucociliary clearance as an outcome in primary ciliary dyskinesia by June K. Marthin, Kim G. Nielsen, Jann Mortensen

    Published 2023-09-01
    Get full text
    Article
  18. 18
    On Zone-Based Analysis of Duration Probabilistic Automata

    On Zone-Based Analysis of Duration Probabilistic Automata by Bruce H. Krogh, Kim G. Larsen, Oded Maler

    Published 2010-10-01
    Get full text
    Article
  19. 19
    Peary caribou distribution within the Bathurst Island Complex relative to the boundary proposed for Qausuittuq National Park, Nunavut

    Peary caribou distribution within the Bathurst Island Complex relative to the boundary proposed for Qausuittuq National Park, Nunavut by Kim G. Poole, Anne Gunn, Jack Wierzchowski, Morgan Anderson

    Published 2015-12-01
    Get full text
    Article
  20. 20
    On-the-Fly Computation of Bisimilarity Distances

    On-the-Fly Computation of Bisimilarity Distances by Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

    Published 2017-06-01
    Get full text
    Article

Search Tools: