
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 shortlived intermediates and transition structures...

CafeOBJ
 Referenced in 169 articles
[sw06232]
 firstorder 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. Stateoftheart methods hardly ... exceed transition tilts of 2 (SIFT), 2.5 (HarrisAffine and HessianAffine) 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 controldriven coordination language MANIFOLD Coordination languages ... MANIFOLD, based on a twolevel transition system model: the first level is used...

HDECAY
 Referenced in 41 articles
[sw00401]
 other decay widths are calculated analytically. The transition between offshell and onshell 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 transitionbased generalized Büchi automata. SPOT (SPOT produces ... build a model checker. It relies on transitionbased 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...