• Matlab

  • Referenced in 12074 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 617 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 1620 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...
  • R

  • Referenced in 8359 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, time-series analysis, classification...
  • ACL2

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

  • Referenced in 156 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...
  • spBayes

  • Referenced in 325 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 point-referenced...
  • AMPL

  • Referenced in 583 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 184 articles [sw13461]
  • UNITY. We evaluate UNITY -- a computational model, specification language and proof system defined by Chandy...
  • PERL

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

  • Referenced in 838 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 355 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 364 articles [sw11209]
  • Introduction to Statistical Modeling of Extreme Values. Functions to support the computations carried...
  • FLUENT

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

  • Referenced in 273 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 625 articles [sw04702]
  • modeling, simulation and verification of real-time systems, developed jointly by Basic Research in Computer ... appropriate for systems that can be modeled as a collection of non-deterministic processes with...
  • Ptolemy

  • Referenced in 78 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...
  • SPSS

  • Referenced in 624 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...
  • PARAMESH

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

  • Referenced in 116 articles [sw27811]
  • Ronald Gallant’s, ”Nonlinear Statistical Models”. The program computes least squares estimates for a univariate ... squares estimates for a multivariate nonlinear regression model. Use the SUR option for both. Other ... nonlinear systems, possibly in implicit form, it computes three-stage least-squares estimates, TSLS option...