• Uppaal

  • Referenced in 654 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 815 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 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, 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 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 well-known fractional order chaotic ... Petras, Fractional-Order 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]
  • open-source and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing...
  • NetLogo

  • Referenced in 116 articles [sw09150]
  • multi-agent 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]
  • Reynolds-Averaged models to Large-Eddy Simulation models. In addition, a number of specific physical...
  • 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...