• PCSIM

  • Referenced in 2 articles [sw12749]
  • circuit simulator with data analysis and visualization tools to manage the full neural modeling life...
  • CSIM

  • Referenced in 1 article [sw12748]
  • neural Circuit SIMulator. CSIM is a tool for simulating heterogeneous networks composed of different model...
  • CrossNets

  • Referenced in 3 articles [sw01762]
  • implementation Hybrid “CMOL” integrated circuits, incorporating advanced CMOS devices for neural cell bodies, nanowires ... mode have been confirmed on a software model of the network...
  • NeuroSim+

  • Referenced in 1 article [sw38117]
  • transistor technology and memory cell models) to the circuit level (synaptic array architectures and neuron ... periphery) and then to the algorithm level (neural network topologies). In this work, we study...
  • BSMART

  • Referenced in 6 articles [sw07381]
  • open-source software package for analyzing brain circuits. BSMART is a project that was born ... influences and directions of driving among multiple neural signals. The backbone of the BSMART project ... different time scales. Based upon a MAR model, a plethora of spectral quantities such...
  • Puma

  • Referenced in 1 article [sw35257]
  • machine learning inference. Memristor crossbars are circuits capable of performing analog matrix-vector multiplications, overcoming ... purpose accelerators for a limited set of neural network applications. We present the Programmable Ultra ... that incorporates the functionality, timing, and power models of PUMA’s components to evaluate performance...
  • Rx-Caffe

  • Referenced in 1 article [sw25898]
  • Deep Neural Networks on Resistive Crossbars. Deep Neural Networks (DNNs) are widely used to perform ... ideal abstraction due to the device and circuit level non-idealities such as driver resistance ... accuracy. Unfortunately, device and circuit-level models are not feasible to use in the context...
  • neural-network-states

  • Referenced in 1 article [sw34798]
  • particular Restricted Boltzmann Machines, in order to model complex quantum states of many-body systems ... States represented in this way, called Neural Network States (NNSs), were shown to display interesting ... range quantum correlations. However, identifying an optimal neural network representation of a given state might ... that the state prepared by any quantum circuit can be expressed as a Neural Network...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

  • Referenced in 1888 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3164 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

  • Referenced in 765 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Isabelle

  • Referenced in 710 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1701 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1921 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3296 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5369 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 442 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 6343 articles [sw00554]
  • Almost any workflow involves computing results, and that...