Skip to main content

2020 | OriginalPaper | Buchkapitel

Enhancing Verification with High-Performance Computing and Data Analytics

verfasst von : James M. Brase, Eric G. McKinzie, John J. Zucca

Erschienen in: Nuclear Non-proliferation and Arms Control Verification

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Hidden within our rapidly growing global streams of business, scientific, and communications data, is information that can reduce the global danger of nuclear weapons proliferation and use. Significant advances in machine learning, the explosion of available data and the ability of high performance computing that can be used to process massive amounts of data has the potential to provide a leap-ahead in the ability to detect proliferation and verify treaty commitments.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Hager G, Wellein G (2011) Introduction to high performance computing for scientists and engineers. In: Chapman and Hall (eds) CRC, Computational Science Series, pp 1–32 Hager G, Wellein G (2011) Introduction to high performance computing for scientists and engineers. In: Chapman and Hall (eds) CRC, Computational Science Series, pp 1–32
2.
Zurück zum Zitat Vetter J (2013) Contemporary high performance computing from petascale to exascale. In: Chapman and Hall (eds) CRC, Computational Science Series, pp 1–13 Vetter J (2013) Contemporary high performance computing from petascale to exascale. In: Chapman and Hall (eds) CRC, Computational Science Series, pp 1–13
3.
Zurück zum Zitat He K, Zhang X, Ren, S, Sun J (2015) Delving deep into rectifiers: Surpassing human-level performance on imagenet classification. In: Proceedings of the IEEE International Conference on Computer Vision, pp 1026–1034 He K, Zhang X, Ren, S, Sun J (2015) Delving deep into rectifiers: Surpassing human-level performance on imagenet classification. In: Proceedings of the IEEE International Conference on Computer Vision, pp 1026–1034
4.
Zurück zum Zitat Pearce R, Gokhale M, Amato N (2013) Scaling techniques for massive scale-free graphs in distributed (external) memory. In: Parallel & Distributed Processing (IPDPS), IEEE 27th International Symposium, IEEE, pp 825–836 Pearce R, Gokhale M, Amato N (2013) Scaling techniques for massive scale-free graphs in distributed (external) memory. In: Parallel & Distributed Processing (IPDPS), IEEE 27th International Symposium, IEEE, pp 825–836
5.
Zurück zum Zitat Pearce R, Gokhale M, Amato N (2010) Multithreaded asynchronous graph traversal for in-memory and semi-external memory. In: Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, SC’10, IEEE Computer Society, Washington, DC, pp 1–11 Pearce R, Gokhale M, Amato N (2010) Multithreaded asynchronous graph traversal for in-memory and semi-external memory. In: Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, SC’10, IEEE Computer Society, Washington, DC, pp 1–11
6.
Zurück zum Zitat Alpaydin E (2016) Machine Learning: the new AI. In The MIT Press Essential Knowledge Series, Cambridge, MA Alpaydin E (2016) Machine Learning: the new AI. In The MIT Press Essential Knowledge Series, Cambridge, MA
8.
Zurück zum Zitat Peterson JL, Humbird KD, Field JE, Brandon ST, Langer SH, Nora RC, Spears BK, Springer PT (2017) Zonal flow generation in inertial confinement fusion implosions. Physics of Plasmas 24(3):032702CrossRef Peterson JL, Humbird KD, Field JE, Brandon ST, Langer SH, Nora RC, Spears BK, Springer PT (2017) Zonal flow generation in inertial confinement fusion implosions. Physics of Plasmas 24(3):032702CrossRef
Metadaten
Titel
Enhancing Verification with High-Performance Computing and Data Analytics
verfasst von
James M. Brase
Eric G. McKinzie
John J. Zucca
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-29537-0_20