• Flow*

  • Referenced in 27 articles [sw20162]
  • approaches for handling mode invariants and discrete transitions. Flow* supports a wide variety of optimizations...
  • GAMESS

  • Referenced in 40 articles [sw03002]
  • gradients are available, for automatic geometry optimization, transition state searches, or reaction path following. Computation ... Solvent effects may be modeled by the discrete Effective Fragment potentials, or continuum models such...
  • Supremica

  • Referenced in 19 articles [sw18546]
  • Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model ... Supremica is finite automata where the transitions have an associated event together with a guard...
  • GXNOR-Net

  • Referenced in 2 articles [sw32923]
  • second issue, we propose a discrete state transition (DST) methodology to constrain the weights...
  • DyverseRBT

  • Referenced in 1 article [sw41812]
  • tool to automatically generate a dynamical transition system for the formal specification of mechanical systems ... dynamical discrete locations, discrete transitions and guards between these locations, and resets on transitions. They...
  • APMC

  • Referenced in 29 articles [sw11483]
  • probabilistic systems. However, the representation of the transition matrix may be expensive for very large ... approximation method to verify quantitative properties on discrete Markov chains. We give a randomized algorithm...
  • HyDI

  • Referenced in 3 articles [sw11912]
  • automatically compiled into equivalent discrete-time infinite-state transition systems...
  • hesim

  • Referenced in 2 articles [sw35582]
  • models. The package supports cohort discrete time state transition models (Briggs...
  • TDA

  • Referenced in 8 articles [sw24859]
  • reader to the computer program TDA (Transition Data Analysis). This program (written by G. Rohwer ... frequently used with longitudinal data, in particular, discrete-time and continuous-time event history data...
  • FHT

  • Referenced in 7 articles [sw32500]
  • work Fast Discrete Polynomial Transforms with Applications to Data Analysis for distance transitive graphs...
  • elsA

  • Referenced in 39 articles [sw07602]
  • Hierarchical Mesh Refinement and Chimera techniques. The discrete equations are integrated either by multistage Runge ... Large Eddy Simulation (LES). Various transition models are also available for complex geometry configurations. elsA...
  • SMACS

  • Referenced in 2 articles [sw06144]
  • Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. We propose ... observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models...
  • SimHPN

  • Referenced in 2 articles [sw06443]
  • firing of both, discrete and continuous, types of transitions. Besides providing different simulation options, SimHPN...
  • Whittle Surrogate

  • Referenced in 1 article [sw22532]
  • describe processes as sets of discrete states with probabilistic transitions. If a transition...
  • DiscreteZOO

  • Referenced in 5 articles [sw25784]
  • discrete mathematical objects. At the moment, it hosts collections of vertex-transitive graphs and maniplexes...
  • Y-Geo

  • Referenced in 12 articles [sw30877]
  • advantages of continuum-based modeling approaches and discrete element methods to overcome the inability ... offers the ability to explicitly model the transition from continuum to discontinuous behavior by fracture...
  • PROC LTA

  • Referenced in 6 articles [sw36352]
  • research questions to be posed. Latent transition analysis, a longitudinal extension of latent class analysis ... used to model development in discrete latent variables, for example, stage processes, over ... dating and sexual risk behavior and transitions over time...
  • Nutils

  • Referenced in 6 articles [sw28029]
  • Nutils is at the forefront of numerical discretization science. Efficient under-the-hood vectorization ... built-in parallellisation provide for an effortless transition from academic research projects to full scale...
  • SABRE

  • Referenced in 7 articles [sw12884]
  • these reactions can be modeled as transitions of a Markov chain. SABRE accepts as input ... interprets either as continuous-time or as discrete-time Markov chains. Besides operating...
  • parDG

  • Referenced in 21 articles [sw18743]
  • phase flows undergoing dynamical phase transitions. Such flows are of highly industrial interest since collapsing ... software package (written in C++) for the discretization of general time dependent partial differential equations...