
Uppaal
 Referenced in 654 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 815 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 724 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 185 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 173 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 140 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 261 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and accompanying graphical notation developed within the system...

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

Boids
 Referenced in 349 articles
[sw38863]
 Boids: In 1986 I made a computer model of coordinated animal motion such as bird ... called the generic simulated flocking creatures boids. The basic flocking model consists of three simple...

Fractional Order Chaotic Systems
 Referenced in 154 articles
[sw40347]
 functions which can be used to simulate some of the wellknown fractional order chaotic ... Petras, FractionalOrder Nonlinear Systems: Modeling, Analysis and Simulation, Springer, Series: Nonlinear Physical Science...

Dymola
 Referenced in 54 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 279 articles
[sw08730]
 pairs. In the simulation, the ANFIS architecture is employed to model nonlinear functions, identify nonlinear...

Ptolemy
 Referenced in 80 articles
[sw07459]
 opensource and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing...

NetLogo
 Referenced in 116 articles
[sw09150]
 multiagent programming language and modeling environment for simulating complex phenomena. It is designed...

JAGS
 Referenced in 247 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...

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

Jupyter
 Referenced in 94 articles
[sw21266]
 include: data cleaning and transformation, numerical simulation, statistical modeling, machine learning and much more...

Mcmcpack
 Referenced in 62 articles
[sw07974]
 simulation for a number of statistical models. Most simulation is done in compiled C++ written ... Scythe Statistical Library Version 1.0.3. All models return coda mcmc objects that can then...

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

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...