• 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 run-time 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 language-inclusion 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...
  • Flow-3D

  • Referenced in 22 articles [sw06205]
  • production processes. FLOW-3D is an all-inclusive package. No special additional modules for meshing...
  • OVID

  • Referenced in 20 articles [sw21962]
  • descriptional data among video-objects, called interval-inclusion 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 general-purpose combinators...