Formal System Analysis

Onderzoeksoutput

Onderzoeksoutput per jaar 1983 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2025

• 625 Conferentiebijdrage
• 304 Tijdschriftartikel
• 269 Rapport
• 58 Hoofdstuk
• 172 Meer
  • 48 Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
  • 37 Boekredactie
  • 16 Editorial
  • 15 Preprint
  • 13 Voorwoord/editorial
  • 10 Boek
  • 9 Congresartikel
  • 5 EngD Thesis
  • 3 Poster
  • 3 computerprogramma software
  • 2 Inaugurale/afscheids rede
  • 2 Other
  • 2 Boek bespreking
  • 2 Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)
  • 1 Overige bijdrage
  • 1 Octrooi-publicatie
  • 1 Dissertatie 2 (Onderzoek NIET TU/e / Promotie TU/e)
  • 1 Dissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)
  • 1 Werkdocument

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2024

  Nerva: a Truly Sparse Implementation of Neural Networks

  Wesselink, J. W., Grooten, B. J., Xiao, Q., de Campos, C. P. & Pechenizkiy, M., 2024

  Onderzoeksoutput: Andere bijdrage › Overige bijdrage › Academic

  Open Access

  • Neural Network 100%
  • Keras 50%
  • Intel Math Kernel Library 50%
  • Matrix Operation 50%