• Uppaal

  • Referenced in 634 articles [sw04702]
  • integrated tool environment for modeling, simulation and verification of real-time systems, developed jointly ... appropriate for systems that can be modeled as a collection of non-deterministic processes with...
  • Simulink

  • Referenced in 755 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and Model-Based Design for dynamic and embedded ... block libraries that let you design, simulate, implement, and test a variety of time-varying ... analyze and visualize simulations, create batch processing scripts, customize the modeling environment, and define signal...
  • SparseMatrix

  • Referenced in 638 articles [sw04629]
  • geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics ... have such geometry (optimization, circuit simulation, economic and financial modeling, theoretical and quantum chemistry, chemical...
  • UNITY

  • Referenced in 184 articles [sw13461]
  • Simulation model development and analysis in UNITY. We evaluate UNITY -- a computational model, specification language ... distributed programs -- as a platform for simulation model specification and analysis. We describe a UNITY ... construction, analysis and execution of simulation models. The methodology starts with a simulation model specification ... specify properties formally that the model should obey and prove them as theorems using...
  • Scilab

  • Referenced in 167 articles [sw00834]
  • functionalities is included in Scilab: Maths & Simulation: For usual engineering and science applications including mathematical ... Statistics: Tools to perform data analysis and modeling Control System Design & Analysis: Standard algorithms ... Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems, hydraulic circuits, control systems...
  • spatstat

  • Referenced in 131 articles [sw04429]
  • spatstat: Spatial Point Pattern analysis, model-fitting, simulation, tests , A package for analysing spatial data ... plotting spatial data, exploratory data analysis, model-fitting, simulation, spatial sampling, model diagnostics, and formal ... dependence on marks. Fitted models can be simulated automatically. Also provides facilities for formal inference ... squared tests) and model diagnostics (including simulation envelopes, residuals, residual plots and Q-Q plots...
  • DYNAMO

  • Referenced in 251 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and accompanying graphical notation developed within the system...
  • COMSOL

  • Referenced in 382 articles [sw04091]
  • COMSOL Multiphysics engineering simulation software environment facilitates all steps in the modeling process − defining your...
  • Dymola

  • Referenced in 51 articles [sw06285]
  • Laboratory, is a complete tool for modeling and simulation of integrated and complex systems ... Dymola environment uses the open Modelica® modeling language which means that users are free ... libraries to better match users unique modeling and simulation needs. The flexibility of Dymola makes ... versatile tool which is perfect for modeling and simulation of new alternative designs and technologies...
  • ANFIS

  • Referenced in 268 articles [sw08730]
  • pairs. In the simulation, the ANFIS architecture is employed to model nonlinear functions, identify nonlinear...
  • Ptolemy

  • Referenced in 78 articles [sw07459]
  • open-source and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing...
  • TETRAD

  • Referenced in 395 articles [sw12177]
  • simulates data from, estimates, tests, predicts with, and searches for causal and statistical models...
  • NetLogo

  • Referenced in 101 articles [sw09150]
  • multi-agent programming language and modeling environment for simulating complex phenomena. It is designed...
  • JAGS

  • Referenced in 209 articles [sw08040]
  • Bayesian hierarchical models using Markov Chain Monte Carlo (MCMC) simulation not wholly unlike BUGS. JAGS ... plaftorm for experimentation with ideas in Bayesian modelling. JAGS is licensed under the GNU General...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • integrated tool environment for modeling, simulation and verification of real-time systems, developed jointly ... appropriate for systems that can be modeled as a collection of non-deterministic processes with ... allowing graphical descriptions of systems. A graphical simulator which provides graphical visualization and recording ... traces generated by the model-checker. Since version 3.4 the simulator can visualize a trace...
  • Mplus

  • Referenced in 339 articles [sw06511]
  • Mplus offers researchers a wide choice of models, estimators, and algorithms in a program that ... simulation studies, where data can be generated and analyzed according to any of the models...
  • VPLAN

  • Referenced in 43 articles [sw04239]
  • VPLAN is a software for modeling, simulation, parameter estimation and optimum experimental design for processes...
  • ABAQUS/Standard

  • Referenced in 186 articles [sw07161]
  • Within a single simulation, it is possible to analyze a model both in the time...
  • SPOT

  • Referenced in 79 articles [sw06347]
  • toolbox for tuning and understanding simulation and optimization algorithms. Model-based investigations are common approaches ... strong need for sound statistical analysis of simulation and optimization algorithms. spot includes methods ... analysis of variance techniques; tree-based models such as CART and random forest; Gaussian process...
  • Code_Saturne

  • Referenced in 38 articles [sw06674]
  • Reynolds-Averaged models to Large-Eddy Simulation models. In addition, a number of specific physical...