
INTLAB
 Referenced in 416 articles
[sw04004]
 methods for dense linear systems (also inner inclusions and structured matrices) sparse s.p.d. linear systems ... eigenvalue problems (simple and clusters, also inner inclusions and structured matrices) generalized eigenvalue problems (simple ... functions (fast, rigorous, but not necessarily sharp inclusions) rigorous input/output (outer and inner inclusions) accurate...

SPEA2
 Referenced in 436 articles
[sw06686]
 then compete with the old ones for inclusion in the population...

redbKIT
 Referenced in 154 articles
[sw12977]
 both linear and nonlinear PDEs. Moreover, the inclusion of many pseudocodes allows the reader...

BayesTree
 Referenced in 57 articles
[sw07995]
 potential predictors. By keeping track of predictor inclusion frequencies, BART can also be used...

PAUP*
 Referenced in 51 articles
[sw07834]
 experts in the field. With the inclusion of maximum likelihood and distance methods in PAUP...

IMPS
 Referenced in 49 articles
[sw09143]
 related to one another via inclusion and theory interpretation. IMPS provides relatively large primitive inference...

FRIL
 Referenced in 44 articles
[sw18490]
 method of inference to permit the inclusion of uncertainties such as probabilistic knowledge and fuzzy...

CiaoPP
 Referenced in 41 articles
[sw12089]
 program parallelization (taking granularity control into account), inclusion of runtime tests for assertions which...

d/dt
 Referenced in 36 articles
[sw10314]
 continuous and hybrid systems with linear differential inclusions. The d/dt tool for verification of hybrid...

Wordstar
 Referenced in 31 articles
[sw30581]
 platforms with equal ease. Already popular, its inclusion with the Osborne 1 computer made...

metafor
 Referenced in 29 articles
[sw12291]
 and/or true effects (e.g., due to the inclusion of multiple treatment studies, multiple endpoints...

Antichains
 Referenced in 27 articles
[sw20208]
 used for solving the languageinclusion problem for nondeterministic finite automata, and the emptiness problem...

MATISSE
 Referenced in 25 articles
[sw06311]
 system equivalence and refinement based on language inclusion or exact bisimulation relations, approximate bisimulation relations...

RFSA
 Referenced in 15 articles
[sw03315]
 identical residual languages. Here, we study inclusion relations between residual languages. We lead experiments which ... using non deterministic representations, the number of inclusion relations is very important. We introduced ... algorithm, DeLeTe2, based on the search of inclusion relations between residual languages, which produces...

FlamMap
 Referenced in 23 articles
[sw31763]
 conditions (weather and fuel moisture). With the inclusion of FARSITE it can now compute wildfire...

Flow3D
 Referenced in 22 articles
[sw06205]
 production processes. FLOW3D is an allinclusive package. No special additional modules for meshing...

OVID
 Referenced in 20 articles
[sw21962]
 descriptional data among videoobjects, called intervalinclusion based inheritance, and operations to composite video...

Superiso
 Referenced in 19 articles
[sw00929]
 parameter space. The program also calculates the inclusive branching ratio associated to b→sγ transition...

cc(FD)
 Referenced in 17 articles
[sw21237]
 main novelty of cc(FD) is the inclusion of a number of generalpurpose combinators...