-
LDPC
- Referenced in 82 articles
[sw03321]
- transmit data at rates approaching channel capacity with very low error probability. This and past...
-
XPi
- Referenced in 7 articles
[sw09430]
- will be consistent with the declared channel capacities. An inference system is introduced, which...
-
ResEntSG
- Referenced in 2 articles
[sw39447]
- determine the smallest channel capacity above which an observer can be designed that observes...
-
LAIMA
- Referenced in 1 article
[sw32207]
- reasoning capacities, with communication between the agents regulated by uni-directional channels transporting information based...
-
Cell++
- Referenced in 2 articles
[sw35406]
- novel stochastic simulation environment with the capacity to study a wide variety of biochemical processes ... features consistent with the phenomenon of metabolic channeling. Availability: Cell++ is licensed under...
-
MTSS
- Referenced in 0 articles
[sw20790]
- partial or complete closure of navigation channels. For lack of adequate analytical tools, modeling ... domain experts. MTSS was used in a capacity study of marine traffic...
-
ANSYS
- Referenced in 704 articles
[sw00044]
- ANSYS offers a comprehensive software suite that spans...
-
Expokit
- Referenced in 200 articles
[sw00258]
- Expokit provides a set of routines aimed at...
-
KNITRO
- Referenced in 197 articles
[sw00490]
- KNITRO is a solver for nonlinear optimization. It...
-
LAPACK
- Referenced in 1702 articles
[sw00503]
- LAPACK is written in Fortran 90 and provides...
-
Maple
- Referenced in 5373 articles
[sw00545]
- The result of over 30 years of cutting...
-
MATCONT
- Referenced in 443 articles
[sw00551]
- MATCONT: Matlab software for bifurcation study of dynamical...
-
Mathematica
- Referenced in 6355 articles
[sw00554]
- Almost any workflow involves computing results, and that...
-
Matlab
- Referenced in 13544 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
MiniSat
- Referenced in 566 articles
[sw00577]
- An extensible SAT-solver. MiniSat is a minimalistic...
-
NAG
- Referenced in 423 articles
[sw00610]
- Produced by experts for use in a variety...
-
nauty
- Referenced in 609 articles
[sw00611]
- graph-theoretic program NAUTY: nauty is a program...
-
R
- Referenced in 9969 articles
[sw00771]
- R is a language and environment for statistical...
-
SageMath
- Referenced in 1994 articles
[sw00825]
- Sage (SageMath) is free, open-source math software...