• DLMF

  • Referenced in 2809 articles [sw04968]
  • DLMF) to provide useful data about special functions for a wide audience. The initial products ... even though better tools are in active development. For example, LaTeX files are being used...
  • Reluplex

  • Referenced in 20 articles [sw31367]
  • convex Rectified Linear Unit (ReLU) activation function, which is a crucial ingredient in many modern...
  • Geometer's Sketchpad

  • Referenced in 228 articles [sw04858]
  • construct and transform geometric shapes and functions—from linear to trigonometric—promoting deep understanding. Sketchpad ... illustrate and illuminate mathematical ideas. Classroom-tested activities are accompanied by presentation sketches and detailed...
  • neuRosim

  • Referenced in 12 articles [sw22555]
  • package neuRosim: Functions to Generate fMRI Data Including Activated Data, Noise Data and Resting State ... series or 4D data. Some high-level functions are created for fast data generation with ... arguments and a diversity of functions to define activation and noise. For more advanced users ... possible to use the low-level functions and manipulate the arguments...
  • Astropy

  • Referenced in 46 articles [sw15603]
  • point spread function (PSF) photometry tools. The core development team is actively making additions...
  • neuralnet

  • Referenced in 8 articles [sw11052]
  • through custom-choice of error and activation function. Furthermore, the calculation of generalized weights (Intrator...
  • GELUs

  • Referenced in 5 articles [sw36443]
  • GELU), a high-performing neural network activation function. The GELU activation function ... standard Gaussian cumulative distribution function. The GELU nonlinearity weights inputs by their value, rather than ... GELU nonlinearity against the ReLU and ELU activations and find performance improvements across all considered...
  • isotone

  • Referenced in 34 articles [sw20811]
  • Pool-adjacent-violators algorithm (PAVA) and active set methods. In this paper we give ... algorithm (PAVA) to minimize a separable convex function with simple chain constraints. Besides of general ... convex functions we extend existing PAVA implementations in terms of observation weights, approaches ... active set method to solve such problem. This methodology is applied on specific loss functions...
  • Marabou

  • Referenced in 6 articles [sw31368]
  • accommodate networks with different activation functions and topologies, and it performs high-level reasoning...
  • AutoProof

  • Referenced in 5 articles [sw30948]
  • AutoProof: Auto-active Functional Verification of Object-oriented Programs. Auto-active verifiers provide a level ... auto-active verifier for object-oriented sequential programs with complex functional specifications. AutoProof fully supports...
  • NNV

  • Referenced in 3 articles [sw32539]
  • forward neural networks (FFNNs) with various activation functions. For learning-enabled CPS, such as closed ... FFNN controllers with piecewise-linear activation functions, such as ReLUs. For similar neural network control...
  • ALEC

  • Referenced in 3 articles [sw02260]
  • networks wherein the neural network architecture, activation function, weights and learning algorithms are adapted according ... ALEC and artificial neural networks for function approximation problems. To evaluate the comparative performance ... learning algorithms were evaluated when the activation functions and architecture were changed. We further demonstrate...
  • PSwarm

  • Referenced in 68 articles [sw00742]
  • other global optimization methods based only on function values. PSwarm is extended in this paper ... tangent cone of the approximated active constraints, including a provision for the degenerate case...
  • AFNI

  • Referenced in 25 articles [sw09076]
  • functional magnetic resonance imaging (FMRI) results is described. The software can color overlay neural activation ... anatomical landmarks allows transformation of anatomical and functional scans into stereotaxic (Talairach–Tournoux) coordinates...
  • gnuplot

  • Referenced in 69 articles [sw04188]
  • allow scientists and students to visualize mathematical functions and data interactively, but has grown ... Octave. Gnuplot has been supported and under active development since...
  • AK-MCS

  • Referenced in 67 articles [sw18303]
  • method is called AK-MCS for Active learning reliability method combining Kriging and Monte Carlo ... small number of calls to the performance function. Several examples from literature are performed...
  • BioNetGen

  • Referenced in 60 articles [sw09072]
  • accounts comprehensively and precisely for specified enzymatic activities, potential post-translational modifications and interactions ... that can arise during signaling and provides functions that relate model variables to experimental readouts...
  • XMark

  • Referenced in 28 articles [sw18908]
  • functionality of their products to meet the XML processing requirements. Alongside the standardization activities...
  • TMBpro

  • Referenced in 5 articles [sw11341]
  • chloroplasts. These proteins perform critical functions, including active ion-transport and passive nutrient intake. Therefore...
  • QPOPT

  • Referenced in 17 articles [sw07859]
  • linear equalities and inequalities. If the quadratic function is convex (i.e., the Hessian is positive ... dead-point. A two-phase active-set method is used. The first phase minimizes ... infeasibilities. The second phase minimizes the quadratic function within the feasible region, using a reduced ... efficient when many constraints or bounds are active at the solution. QPOPT is not intended...