• RanGen

  • Referenced in 56 articles [sw14333]
  • objective is to construct random networks which satisfy preset values of the parameters used...
  • MEBDF

  • Referenced in 88 articles [sw00567]
  • value ordinary differential equations and differential-algebraic equations is described. The algorithm is constructed...
  • ALDOR

  • Referenced in 27 articles [sw01220]
  • functions are first class values that can be constructed and manipulated within programs. Pervasive support...
  • PiDuce

  • Referenced in 21 articles [sw01418]
  • matching mechanism for deconstructing XML values, and control constructs that are based on Milner...
  • Scatter Search

  • Referenced in 297 articles [sw05291]
  • array of hard optimization problems. Scatter search constructs new trial solutions by combining so-called ... proves effective when searching for optimal weight values in a multilayer neural network. Through experimentation...
  • Agda

  • Referenced in 207 articles [sw09689]
  • GADTs, but they can be indexed by values and not just types. It also ... intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician...
  • TVLA

  • Referenced in 34 articles [sw09878]
  • Three-Valued-Logic Analyzer). TVLA is a “YACC”-like framework for automatically constructing static-analysis...
  • Equator

  • Referenced in 34 articles [sw13158]
  • variable ranging” facility, one can get the values of a function for a given range ... constructed in a general form as x=wt p +k, with the default values...
  • PolyLogTools

  • Referenced in 10 articles [sw28293]
  • well as the construction of single valued multiple polylogarithms and discuss an algorithm for finding...
  • CAP3

  • Referenced in 17 articles [sw08935]
  • uses base quality values in computation of overlaps between reads, construction of multiple sequence alignments...
  • Freshml

  • Referenced in 50 articles [sw08992]
  • FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving ... binders are concrete, in the sense that values of these types can be deconstructed...
  • foreach

  • Referenced in 52 articles [sw08043]
  • Support for the foreach looping construct. Foreach is an idiom that allows for iterating over ... intended to be used for its return value, rather than for its side effects...
  • aicm

  • Referenced in 11 articles [sw11487]
  • matrices of Atkinson the author constructs an increasing integer-valued function M(λ) whose only...
  • future

  • Referenced in 11 articles [sw15765]
  • resolved, the value is available. Futures are useful constructs in for instance concurrent evaluation ... using futures in R. Functions ’future()’ and ’value()’ exist for creating futures and requesting their...
  • FPINNs

  • Referenced in 49 articles [sw40570]
  • inverse problems with forcing terms whose values are only known at randomly scattered spatio-temporal ... hybrid approach that we introduce for constructing the residual in the loss function using both...
  • AMT

  • Referenced in 13 articles [sw38045]
  • Mitl, extended with constructs that allow describing behaviors of real-valued variables. The tool automatically...
  • BNDSCO

  • Referenced in 51 articles [sw07779]
  • used for the numerical solution of boundary value problems with switching conditions - a class ... parameters, controlling the output and for the construction of problem-dependent subroutines. Finally, the performance...
  • BiM

  • Referenced in 22 articles [sw08342]
  • numerical solution of stiff initial value problems for ODEs. We describe in detail most ... implementation strategies used in the construction of the code, and report numerical tests comparing...
  • GLie

  • Referenced in 6 articles [sw00356]
  • supersymmetries of Grassmann-valued differential equations. Nature of problem: The construction of the Lie symmetry...
  • ASTRX/OBLX

  • Referenced in 5 articles [sw19450]
  • module that maps the component and voltage values in the circuit to the performance metrics ... function that is carefully constructed so that its minimum value occurs at a circuit design...