• Matlab

  • Referenced in 13544 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 725 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 1994 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 9969 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...
  • 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 389 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 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 407 articles [sw11209]
  • Introduction to Statistical Modeling of Extreme Values. Functions to support the computations carried...
  • FLUENT

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

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

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