• SLMC

  • Referenced in 74 articles [sw04604]
  • model checking concurrent systems against dynamical spatial logic specifications. The Spatial Logic Model Checker ... crucial to reason about spatial properties and structural dynamics. The SLMC is the only currently ... supports the combined analysis of behavioral and spatial properties of systems. The implementation, written...
  • Ecosim

  • Referenced in 16 articles [sw10699]
  • policy exploration; and Ecospace – a spatial and temporal dynamic module primarily designed for exploring impact...
  • Ecopath with Ecosim

  • Referenced in 15 articles [sw27445]
  • policy exploration; and Ecospace – a spatial and temporal dynamic module primarily designed for exploring impact...
  • SPACAR

  • Referenced in 16 articles [sw12299]
  • SPACAR — Computer Program for Dynamic Analysis of Flexible Spatial Mechanisms and Manipulators. In this contribution...
  • BPA

  • Referenced in 2 articles [sw23806]
  • pathfinding problems with static and dynamic spatial constraints: implementation and validation in comsol multiphysics. Pathfinding ... based on methods used in computational fluid dynamics, that intends to solve such problems ... terrain, One-way routes and dynamic spatial configuration. Then, we propose and validate a numerical...
  • Nike2D

  • Referenced in 63 articles [sw12115]
  • element code for analyzing the static and dynamic response of two-dimensional solids. A user ... Variable node elements are used for the spatial discretization, and profile (bandwidth) minimization is optional...
  • DynaMark

  • Referenced in 2 articles [sw01732]
  • DynaMark: A benchmark for dynamic spatial indexing...
  • Dirac++

  • Referenced in 17 articles [sw37208]
  • electron dynamics for various problems in (2+1) dimensions at high spatial and temporal resolutions...
  • spTDyn

  • Referenced in 3 articles [sw32493]
  • Spatially Varying and Spatio-Temporal Dynamic Linear Models. Fits, spatially predicts, and temporally forecasts space ... spatially varying coefficient process models and (2) spatio-temporal dynamic linear models. Bakar...
  • Universal Mechanism

  • Referenced in 5 articles [sw11545]
  • simulation of kinematics and dynamics of planar and spatial mechanical systems. The program is oriented ... people who are involved in problems of dynamics of machines and mechanisms. Mechanical systems...
  • Hondo

  • Referenced in 22 articles [sw08706]
  • large deformation elastic and inelastic transient dynamic response of two dimensional solids. To accommodate ... applications, finite strain calculations are incorporated. Spatially, the program employs a four node isoparametric quadrilateral...
  • Aglet

  • Referenced in 4 articles [sw13305]
  • proof-carrying authorization, ephemeral and dynamic policies, authentication, spatial distribution, and information flow. The implementation...
  • HODMD

  • Referenced in 12 articles [sw34484]
  • treat general periodic and quasi-periodic dynamics, and transients decaying to periodic and quasi-periodic ... accessible to standard DMD) that show limited spatial complexity but a very large number ... frequencies. The extension, labeled as higher order dynamic mode decomposition, uses time-lagged snapshots...
  • Cell++

  • Referenced in 2 articles [sw35406]
  • capable of interpreting these data within spatial and dynamic contexts. Here, we introduce Cell ... wide variety of biochemical processes within a spatial context. Results: Focusing on three case studies...
  • OCTBEC

  • Referenced in 7 articles [sw14253]
  • geometries, where the dynamics takes place in one or two spatial dimensions, and the confinement...
  • Geoxp

  • Referenced in 7 articles [sw08289]
  • spatial statistics, spatial econometrics, geography, ecology etc allowing to link dynamically statistical plots with elementary ... GeoXp includes tools from different areas of spatial statistics including geostatistics as well as spatial...
  • Racoon

  • Referenced in 16 articles [sw08867]
  • time-dependent Euler equations in compressible gas dynamics or Magneto-Hydrodynamics (MHD) and similar models ... recursive bisection of grid blocks along each spatial dimension, implemented numerical schemes include standard finite ... POSIX-multi-threading and MPI distribution with dynamic load balancing. One-, two- and three-dimensional...
  • DARTS

  • Referenced in 1 article [sw26285]
  • high-fidelity spacecraft Screenshot dynamics models without sacrificing simulation speed enabling more reliable flight software ... computational algorithms from the Spatial ... Operator Algebra mathematical framework for multibody dynamics. The Spatial Operator Algebra is a mathematical approach...
  • SORTIE

  • Referenced in 4 articles [sw16636]
  • structured population dynamics model with one and two species and with spatial structure...
  • MUI

  • Referenced in 12 articles [sw18209]
  • Smoothed Particle Hydrodynamics (SPH) simulations of different spatial resolutions. In the second example, we coupled ... method with the stochastic Dissipative Particle Dynamics (DPD) method to study the effect of surface...