
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]
 opensource 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 matrixvector 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...

RxCaffe
 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 nonidealities such as driver resistance ... accuracy. Unfortunately, device and circuitlevel models are not feasible to use in the context...

neuralnetworkstates
 Referenced in 1 article
[sw34798]
 particular Restricted Boltzmann Machines, in order to model complex quantum states of manybody 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...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: 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...