Showing 81 - 100 results of 232 for search 'Progress Energy Inc', query time: 0.67s Refine Results
  1. 81
  2. 82
  3. 83
  4. 84
  5. 85
  6. 86
  7. 87
  8. 88

    Compositional probabilistic verification through multi-objective model checking by Kwiatkowska, M, Norman, G, Parker, D, Qu, H

    Published 2013
    “…We target systems that exhibit both nondeterministic and stochastic behaviour, modelled as probabilistic automata, and augment these models with costs or rewards to reason about, for example, energy usage or performance metrics. Despite significant theoretical advances in compositional reasoning for probabilistic automata, there has been a distinct lack of practical progress regarding automated verification. …”
    Journal article
  9. 89
  10. 90
  11. 91
  12. 92
  13. 93
  14. 94
  15. 95
  16. 96

    Enhanced plasma performance in C-2W advanced beam-driven field-reversed configuration experiments by H. Gota, A. Smirnov, M.W. Binderbauer, T. Tajima, S. Putvinski, J.B. Titus, M. Nations, T. Roche, E. Trask, T. DeHaas, S.A. Dettrick, E.M. Granstedt, D.K. Gupta, S. Gupta, A.A. Ivanov, S. Korepanov, R.M. Magee, T. Matsumoto, J.A. Romero, P. Yushmanov, K. Zhai, L. Schmitz, Z. Lin, S. Krasheninnikov, E.A. Baltz, J.C. Platt, E.V. Belova, T. Asai, A.I. Smolyakov, S. Abdollahi, S. Abramov, A. Alexander, I. Allfrey, R. Andow, D.C. Barnes, B. Barnett, J. Barrett, M. Beall, N.G. Bolte, E. Bomgardner, A. Bondarenko, F. Brighenti, J. Buttery, S. Caton, F. Ceccherini, Y. Choi, R. Clary, A. Cooper, C. Deng, A. de Vera, J. Drobny, A. Dunaevsky, C. Exton, A. Fareed, P. Feng, C. Finucane, D. Fluegge, A. Fontanilla, Y. Fujiwara, L. Galeotti, S. Galkin, R. Groenewald, T. Hsyu, K. Hubbard, R. Jaber, L. Jian, N. Kafle, S. Kamio, S. Karbashewski, J.S. Kinley, A. Korepanov, G. Koumarianou, S. Krause, P. Kudrin, C.K. Lau, H. Leinweber, J. Leuenberger, D. Lieurance, M. Litton, R. Luna, R. Luong, J. MacFarlane, D. Madura, J. Margo, D. Marshall, V. Matvienko, M. Meekins, W. Melian, R. Mendoza, R. Michel, M. Morehouse, Y. Musthafa, S. Nazarenko, A. Necas, B.S. Nicks, N. Nwoke, S. Ohshima, M. Onofri, R. Page, J. Park, E. Parke, S. Patel, L. Pennings, K. Phung, G. Player, L. Rios, I. Sato, J.H. Schroeder, Y. Shimabukuro, M. Showers, A. Sibley, M. Signorelli, M. Slepchenkov, R.J. Smith, G. Snitchler, V. Sokolov, D. Solyakov, Y. Song, B. Sporer, L.C. Steinhauer, C. Stonier, A. Stratta, J. Sweeney, M. Tobin, M. Tuszewski, J. Ufnal, T. Valentine, S. Vargas, A.D. Van Drie, V. Vekselman, A. Veksler, C. Weixel, C. White, M. Wollenberg, J. Wood, Y. Zhou, S. Ziaei, the TAE Team

    Published 2024-01-01
    Get full text
    Article
  17. 97
  18. 98
  19. 99
  20. 100