• UNITY

  • Referenced in 185 articles [sw13461]
  • form of a set of coupled state transition systems. Mechanical methods for mapping the transition ... formal assertions, permitting formal verification of the transition systems, and second into an executable program ... independently verify the correctness of the transition systems: one can specify properties formally that...
  • GAUSSIAN

  • Referenced in 186 articles [sw06118]
  • experimentally such as short-lived intermediates and transition structures...
  • CafeOBJ

  • Referenced in 169 articles [sw06232]
  • first-order description of underlying state transition systems. By capturing a set of states...
  • VisualUTA

  • Referenced in 109 articles [sw16231]
  • preorder and a strongly complete and negatively transitive relation. The UTA^GMS method is intended...
  • PYTHIA8

  • Referenced in 108 articles [sw09347]
  • first main one after this transition, and does not yet in every respect replace...
  • StateFlow

  • Referenced in 41 articles [sw04350]
  • combine graphical and tabular representations, including state transition diagrams, flow charts, state transition tables...
  • ASIFT

  • Referenced in 33 articles [sw02778]
  • distortions measured by a new parameter, the transition tilt. State-of-the-art methods hardly ... exceed transition tilts of 2 (SIFT), 2.5 (Harris-Affine and Hessian-Affine) and 10 (MSER ... ASIFT can handle transition tilts up 36 and higher...
  • msm

  • Referenced in 49 articles [sw08096]
  • observed processes, and censored states. Both Markov transition rates and the hidden Markov output process...
  • REVEAL

  • Referenced in 28 articles [sw36999]
  • models of genetic networks. Trajectories, or state transition tables of Boolean nets, resemble time series ... unequivocal and exact for complete state transition tables. We implemented this REVerse Engineering ALgorithm (REVEAL ... element), the analysis of incomplete state transition tables (100 state transition pairs...
  • Petrify

  • Referenced in 26 articles [sw09784]
  • initial Petri net and produces a transition system (TS). In the initial TS, all transitions ... event. The TS is then transformed and transitions relabeled to fulfill the conditions required ... petrify can also be interpreted as Signal Transition Graphs describing the behavior of asynchronous controllers ... application called draw_astg to draw Signal Transition Graphs in several graphic formats...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • transition system semantics for the control-driven coordination language MANIFOLD Coordination languages ... MANIFOLD, based on a two-level transition system model: the first level is used...
  • HDECAY

  • Referenced in 41 articles [sw00401]
  • other decay widths are calculated analytically. The transition between off-shell and on-shell decays...
  • GAMESS

  • Referenced in 38 articles [sw03002]
  • gradients are available, for automatic geometry optimization, transition state searches, or reaction path following. Computation...
  • MCF

  • Referenced in 27 articles [sw05167]
  • network simplex implementation: Vehicle scheduling in public transit and Lagrangean pricing This paper investigates ... vehicle scheduling problems arising in public mass transit. We develop a column generation technique that...
  • FAST

  • Referenced in 37 articles [sw21268]
  • FAST: Fast Acceleration of Symbolic Transition Systems. fast is a tool for the analysis...
  • Mesquite

  • Referenced in 36 articles [sw10590]
  • mesh quality on and near boundaries, Improve transitions across internal boundaries, Align meshes with vector...
  • SPOT

  • Referenced in 25 articles [sw09473]
  • SPOT: an extensible model checking library using transition-based generalized Büchi automata. SPOT (SPOT produces ... build a model checker. It relies on transition-based generalized Büchi automata (TGBA) and does...
  • elsA

  • Referenced in 35 articles [sw07602]
  • Large Eddy Simulation (LES). Various transition models are also available for complex geometry configurations. elsA...
  • MARCA

  • Referenced in 31 articles [sw00547]
  • large Markov chains and to compute transitent probability distributions of the chain at different times...
  • TENSOR

  • Referenced in 31 articles [sw18284]
  • involving compressible flow, large displacements, and free transitions of material between the elastic, cracked, plastic...