• CLASS

  • Referenced in 105 articles [sw42408]
  • Overview. The Cosmic Linear Anisotropy Solving System (CLASS) is a new accurate Boltzmann code, designed ... friendliness and flexibility aspects, while accuracy, physical approximations and performances are discussed in a series...
  • BoomerAMG

  • Referenced in 200 articles [sw00086]
  • Driven by the need to solve linear systems arising from problems posed on extremely large ... grids. The sheer size of many modern physics and simulation problems...
  • CTH

  • Referenced in 24 articles [sw08719]
  • three-dimensional shock wave physics code. CTH is a software system under development at Sandia ... multi-material, large deformation, strong shock wave physics. One-dimensional recti-linear, cylindrical, and spherical...
  • RealCertify

  • Referenced in 7 articles [sw28191]
  • engineering sciences, program verification and cyber-physical systems. It is based on hybrid symbolic-numeric...
  • libMesh

  • Referenced in 154 articles [sw06657]
  • research scientist to focus on the physics they are modeling. libMesh currently supports ... used for the solution of linear systems on both serial and parallel platforms, and LASPack...
  • Simscape

  • Referenced in 4 articles [sw10165]
  • environment for modeling and simulating physical systems spanning mechanical, electrical, hydraulic, and other physical domains ... components use physical connections, your models match the structure of the system you are developing ... used to develop control systems and test system-level performance. You can extend the libraries ... design control systems for your physical system in Simulink®. To deploy your models to other...
  • ModelPlex

  • Referenced in 4 articles [sw23944]
  • verified runtime validation of verified cyber-physical system models. Formal verification and validation play ... crucial role in making cyber-physical systems (CPS) safe. Formal methods make strong guarantees about ... system can be obtained, including models of the controller and of the physical dynamics ... from the real world. If the real system fits to the model, its behavior...
  • CHIMPS

  • Referenced in 6 articles [sw18057]
  • attempt to simulate ever more complex physical systems the need to couple independently-developed numerical ... results from the requirement to use different physical or numerical models for various portions...
  • PECANS

  • Referenced in 6 articles [sw02161]
  • approach for the modeling of complex physical systems and a parallel programming environment that implements ... based on a reduction process of a physical phenomenon in components; each component is represented...
  • MBDyn

  • Referenced in 6 articles [sw04318]
  • multidisciplinary analysis of multi-body, multi-physics systems, including nonlinear mechanics of rigid and flexible...
  • MOSES

  • Referenced in 4 articles [sw02590]
  • MOSES: Modular modelling of physical systems in an object-oriented database. The article describes MOSES ... object-oriented modelling of physical systems. The most original aspect of MOSES is the adoption...
  • cosmoabc

  • Referenced in 6 articles [sw20219]
  • enables parameter inference for complex physical systems in cases where the true likelihood function...
  • gs2

  • Referenced in 24 articles [sw20550]
  • physics application, developed to study low-frequency turbulence in magnetized plasma. It is typically used ... nature, such as in astrophysical and magnetospheric systems...
  • MinRes

  • Referenced in 39 articles [sw09350]
  • apply a multiharmonic approach to the optimality system and discretize in space by means ... element method, taking care of the different physical behavior in conducting and non-conducting subdomains ... preconditioned MinRes solver for the system of frequency domain equations. We show that this solver...
  • EXPFIT4

  • Referenced in 43 articles [sw00257]
  • initial-value problem associated with nonstiff systems of the form ... second-order initial-value problems arising from physics...
  • GrACE

  • Referenced in 5 articles [sw23295]
  • adaptive methods for the solution of systems of partial differential equations for varied complex scientific ... solution of realistic models of important physical systems. This assumes greater importance as scientific simulations...
  • GRUMMP

  • Referenced in 11 articles [sw09672]
  • with isotropic physics, element aspect ratio must be small to minimize linear system condition number ... level of complication is that for some physical problems and applications, quadrilateral (2D) or hexahedral ... intervention. We envision a system in which common types of physical problems have predefined mesh...
  • PAW

  • Referenced in 8 articles [sw32834]
  • handful of CERN High Energy Physics Library systems that may also used individually in software...
  • Hailfinder

  • Referenced in 21 articles [sw35867]
  • forecasting severe weather. Hailfinder is a Bayesian system that combines meteorological data and model with ... experience and physical understanding, to forecast severe weather in Northeastern Colorado. The system is based...