
Matlab
 Referenced in 13488 articles
[sw00558]
 computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models ... video processing, control systems, test and measurement, computational finance, and computational biology. More than...

SparseMatrix
 Referenced in 724 articles
[sw04629]
 geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics ... computer graphics/vision, robotics/kinematics, and other discretizations) and those that typically do not have such geometry ... optimization, circuit simulation, economic and financial modeling, theoretical and quantum chemistry, chemical process simulation, mathematics...

SageMath
 Referenced in 1974 articles
[sw00825]
 theory, cryptography, numerical computation, and related areas. Both the Sage development model and the technology ... alternative to Maple, Mathematica, Magma, and MATLAB. Computer algebra system...

Boids
 Referenced in 349 articles
[sw38863]
 Boids: In 1986 I made a computer model of coordinated animal motion such as bird ... schools. It was based on three dimensional computational geometry of the sort normally used ... computer aided design. I called the generic simulated flocking creatures boids. The basic flocking model...

R
 Referenced in 9832 articles
[sw00771]
 language and environment for statistical computing and graphics. It is a GNU project which ... wide variety of statistical (linear and nonlinear modelling, classical statistical tests, timeseries analysis, classification...

DACE
 Referenced in 187 articles
[sw04715]
 working with kriging approximations to computer models. Typical use of this software is to construct ... kriging approximation model based on data from a computer experiment, and to use this approximation ... model as a surrogate for the computer model. The software also addresses the design ... inputs at which to evaluate the computer model for constructing the kriging approximation...

ACL2
 Referenced in 283 articles
[sw00060]
 programming language in which you can model computer systems and a tool to help...

spBayes
 Referenced in 365 articles
[sw10160]
 Bayesian hierarchical models. Unfortunately, fitting such models involves computationally intensive Markov chain Monte Carlo (MCMC ... package, spBayes, built upon the R statistical computing platform that implements a generalized template encompassing ... wide variety of Gaussian spatial process models for univariate as well as multivariate pointreferenced...

AMPL
 Referenced in 617 articles
[sw04001]
 concepts to formulate optimization models and examine solutions, while the computer manages communication with ... render it ideal for rapid prototyping and model development, while its speed and control options...

UNITY
 Referenced in 185 articles
[sw13461]
 UNITY. We evaluate UNITY  a computational model, specification language and proof system defined by Chandy...

PERL
 Referenced in 270 articles
[sw01225]
 operating systems, and provides a portable model of computing across diverse architectures. (wikipedia...

GAMS
 Referenced in 866 articles
[sw04978]
 Modeling System (GAMS) is specifically designed for modeling linear, nonlinear and mixed integer optimization problems ... computers, workstations, mainframes and supercomputers. GAMS allows the user to concentrate on the modeling problem...

CGAL
 Referenced in 394 articles
[sw00118]
 computer graphics, scientific visualization, computer aided design and modeling, geographic information systems, molecular biology, medical ... projects using CGAL web page. The Computational Geometry Algorithms Library (CGAL), offers data structures...

ismev
 Referenced in 396 articles
[sw11209]
 Introduction to Statistical Modeling of Extreme Values. Functions to support the computations carried...

FLUENT
 Referenced in 438 articles
[sw04263]
 FLUENT is a Computational Fluid Dynamics (CFD) code for modelling fluid flow, heat transfer, mass...

gss
 Referenced in 293 articles
[sw06099]
 Smoothing spline ANOVA models Nonparametric function estimation with stochastic data, otherwise known as smoothing ... recent availability of ample desktop and laptop computing power, smoothing methods are now finding their ... settings number far less. Smoothing spline ANOVA models are a versatile family of smoothing methods ... discussions are devoted to model construction, smoothing parameter selection, computation, and asymptotic convergence. Most...

Uppaal
 Referenced in 654 articles
[sw04702]
 modeling, simulation and verification of realtime systems, developed jointly by Basic Research in Computer ... appropriate for systems that can be modeled as a collection of nondeterministic processes with...

PARAMESH
 Referenced in 113 articles
[sw00677]
 large and important class of computational models, those using structured, logically Cartesian meshes. The package...

SPSS
 Referenced in 673 articles
[sw04269]
 SPSS is a computer program used for survey authoring and deployment (IBM SPSS Data Collection ... data mining (IBM SPSS Modeler), text analytics, statistical analysis, and collaboration and deployment (batch...

Ptolemy
 Referenced in 80 articles
[sw07459]
 heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed ... called directors. Different directors realise different models of computation. In this paper, we formally define ... directors for the following models of computation: synchronous reactive, discrete event, continuous time, process networks...