
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 differentialalgebraic 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 socalled ... 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]
 ThreeValuedLogic Analyzer). TVLA is a “YACC”like framework for automatically constructing staticanalysis...

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 integervalued 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 spatiotemporal ... 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 realvalued 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 problemdependent 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 Grassmannvalued 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...