
Uppaal
 Referenced in 634 articles
[sw04702]
 integrated tool environment for modeling, simulation and verification of realtime systems, developed jointly ... appropriate for systems that can be modeled as a collection of nondeterministic processes with...

Simulink
 Referenced in 755 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and ModelBased Design for dynamic and embedded ... block libraries that let you design, simulate, implement, and test a variety of timevarying ... 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, modelfitting, simulation, tests , A package for analysing spatial data ... plotting spatial data, exploratory data analysis, modelfitting, 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 QQ 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]
 opensource 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]
 multiagent 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 realtime systems, developed jointly ... appropriate for systems that can be modeled as a collection of nondeterministic processes with ... allowing graphical descriptions of systems. A graphical simulator which provides graphical visualization and recording ... traces generated by the modelchecker. 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. Modelbased investigations are common approaches ... strong need for sound statistical analysis of simulation and optimization algorithms. spot includes methods ... analysis of variance techniques; treebased models such as CART and random forest; Gaussian process...

Code_Saturne
 Referenced in 38 articles
[sw06674]
 ReynoldsAveraged models to LargeEddy Simulation models. In addition, a number of specific physical...