• BIOSIM

  • Referenced in 2 articles [sw01083]
  • orbservation windows for neurons and synapses. Stochastic processes such as noise can be included.par...
  • NETMORPH

  • Referenced in 3 articles [sw15125]
  • branching and turning are described in a stochastic, phenomenological manner. In this way, neurons with ... morphologies, including neurite curvature, can be generated. Synapses are formed as neurons grow...
  • NEVESIM

  • Referenced in 1 article [sw39766]
  • user with new neuron and synapse types. To enable heterogeneous networks and extensibility, NEVESIM ... simulate exactly and efficiently networks of stochastic spiking neurons from the recently developed theoretical framework ... neural network models incorporating different neuron and synapse types that can potentially also use different...
  • Coq

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

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

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NEURON

  • Referenced in 187 articles [sw03059]
  • Parallel network simulations with NEURON. The NEURON simulation...
  • Uppaal

  • Referenced in 653 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • XPPAUT

  • Referenced in 453 articles [sw05543]
  • XPPAUT is software for the analysis and simulation...
  • Theano

  • Referenced in 95 articles [sw05894]
  • Theano is a Python library that allows you...
  • BayesDA

  • Referenced in 1310 articles [sw11008]
  • BayesDA: Functions and Datasets for the book ”Bayesian...
  • ImageJ

  • Referenced in 77 articles [sw12531]
  • ImageJ is a public domain Java image processing...
  • Pynn

  • Referenced in 18 articles [sw14128]
  • Pynn: A common interface for neuronal network simulators...
  • ImageNet

  • Referenced in 667 articles [sw21105]
  • ImageNet is an image dataset organized according to...
  • NeuroMorpho

  • Referenced in 11 articles [sw22030]
  • NeuroMorpho.Org is a centrally curated inventory of digitally...
  • Adam

  • Referenced in 892 articles [sw22205]
  • Adam: A Method for Stochastic Optimization. We introduce...
  • DENFIS

  • Referenced in 57 articles [sw24183]
  • DENFIS: dynamic evolving neural-fuzzy inference system and...
  • NEST

  • Referenced in 32 articles [sw26849]
  • NEST (neural simulation tool): The Neural Simulation Tool...
  • CNN

  • Referenced in 57 articles [sw33973]
  • CNN Technology: Template and software library...
  • AlexNet

  • Referenced in 474 articles [sw38522]
  • AlexNet is a convolutional neural network that is...