• Modelica

  • Referenced in 126 articles [sw04352]
  • systems. It is suited for multi-domain modeling, for example, mechatronic models in robotics, automotive...
  • SMAC

  • Referenced in 80 articles [sw27215]
  • exploit important information about the model domain, such as which input variables are most important...
  • SparseMatrix

  • Referenced in 747 articles [sw04629]
  • matrices cover a wide spectrum of domains, include those arising from problems with underlying ... geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics...
  • ABAQUS/Standard

  • Referenced in 210 articles [sw07161]
  • analyze a model both in the time and frequency domain. For example, one may start ... cover can be extracted, or the frequency domain mechanical and acoustic response ... examined. Abaqus/Standard is supported within the Abaqus/CAE modeling environment for all common pre- and postprocessing...
  • Mace4

  • Referenced in 228 articles [sw06905]
  • searches for finite models of first-order formulas. For a given domain size, all instances ... formulas over the domain are constructed. The result is a set of ground clauses with ... satisfiability is detected, one or more models are printed. Mace4 is a useful complement...
  • Bogor

  • Referenced in 36 articles [sw06858]
  • using the Bogor extensible model checking framework Model checking has proven to be an effective ... hardware and more recently in software domains. We believe that recent trends in both ... which systems are developed suggest that domain-specific model checking engines may be more effective ... modeling language and algorithms to create domain-specific model checking engines, and (c) pedagogical materials...
  • PDDL

  • Referenced in 106 articles [sw07079]
  • control domains. Other temporal and resource-intensive domains including logistics planning, plant control and manufacturing ... helped to focus the community on the modelling and reasoning issues that must be confronted ... modelling language capable of expressing temporal and numeric properties of planning domains. In this paper ... plans. We observe that PDDL2.1 has considerable modelling power -- exceeding the capabilities of current planning...
  • CommonKADS

  • Referenced in 29 articles [sw01531]
  • development. To enhance flexible reuse, these models can be broken down into reusable components, containing ... problem solving methods and ontologies of domain models. A library of these models and components ... modelling components for contructing `second generation’ KBS. The components problem solving methods and domain ontologies...
  • TREX

  • Referenced in 47 articles [sw01388]
  • belonging to different infinite/finite domains and with parameters. These models are, at the present time ... domain variables, and communicating through unbounded lossy FIFO channels and shared variables. This model...
  • Scilab

  • Referenced in 175 articles [sw00834]
  • Statistics: Tools to perform data analysis and modeling Control System Design & Analysis: Standard algorithms ... filter signals in time and frequency domains. Application Development: Increase Scilab native functionalities and manage ... with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems, hydraulic circuits...
  • BioNetGen

  • Referenced in 63 articles [sw09072]
  • molecular domains. BioNetGen allows a user to create a computational model that characterizes the dynamics ... post-translational modifications and interactions of the domains of signaling molecules. The output defines ... during signaling and provides functions that relate model variables to experimental readouts of interest. Models...
  • CONTSID

  • Referenced in 37 articles [sw14945]
  • state-space model identification directly from regularly or irregularly time-domain sampled data, without requiring ... determination of a discrete-time (DT) model. The motivation for developing the CONTSID toolbox ... cause of direct time-domain identification of continuous-time linear models but also to provide ... testing and evaluating these data-based modelling techniques. The CONTSID toolbox was first released...
  • GENSMAC

  • Referenced in 61 articles [sw07093]
  • interfaced with a solid modelling routine defining the flow domain. A user-friendly input data...
  • SuitSparseQR

  • Referenced in 39 articles [sw07592]
  • visco-acoustic wave equation. Frequency-domain finite-difference (FDFD) modelling is widely used for multi ... source experiments modelling and full waveform tomography. In this paper, a frequency-domain finite difference ... codes are examined on simple and complicated models which proved satisfactory in terms of accuracy...
  • SimRank

  • Referenced in 44 articles [sw25278]
  • propose a complementary approach, applicable in any domain with object-to-object relationships, that measures ... simple and intuitive graph-theoretic model. For a given domain, SimRank can be combined with...
  • Control System Toolbox

  • Referenced in 152 articles [sw07643]
  • space, zero-pole-gain or frequency-response model. Apps and functions, such as step response ... visualize system behavior in time domain and frequency domain. You can tune compensator parameters using...
  • CVXPY

  • Referenced in 79 articles [sw13968]
  • Python-Embedded Modeling Language for Convex Optimization. CVXPY is a domain-specific language for convex...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • based on Scott domains, which provides a notion of least Herbrand model for BABEL programs...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming ... explicit representation of the dynamic world being modeled, on the basis of user supplied axioms...
  • XFEM

  • Referenced in 391 articles [sw01026]
  • independent near-tip, and discontinuous quadrature rules); domain integral methods for homogeneous and bi-material ... interfaces and slip-interfaces; nonlinear material models such as J2 plasticity with linear, isotropic...