
GXNORNet
 Referenced in 2 articles
[sw32923]
 second issue, we propose a discrete state transition (DST) methodology to constrain the weights ... intelligence. We achieve advanced performance compared with stateoftheart algorithms. Furthermore, the computational...

GAMESS
 Referenced in 40 articles
[sw03002]
 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...

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

HyDI
 Referenced in 3 articles
[sw11912]
 automatically compiled into equivalent discretetime infinitestate transition systems...

Supremica
 Referenced in 18 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 ... uses two main approaches to handle large statespaces. The first approach exploits modularity...

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

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...

QUCON
 Referenced in 5 articles
[sw09676]
 modified Crank–Nicolson scheme is used. The discretizebeforeoptimize criteria allows the formulation ... accurate controls for highenergy state transitions...

VeriSIMPL
 Referenced in 4 articles
[sw14598]
 PlusLinear (MPL) systems, a class of discreteevent systems employed to characterize the dynamics ... systems are derived as finitestate transition systems. A transition system is obtained first...

HyComp
 Referenced in 4 articles
[sw20163]
 network into an infinitestate transition system, which can be analyzed using SMTbased verification ... encodings of the automata network and can discretize various kinds of dynamics. HyComp can verify...

SimHPN
 Referenced in 2 articles
[sw06443]
 firing of both, discrete and continuous, types of transitions. Besides providing different simulation options, SimHPN ... offers the possibility of computing steady state throughput bounds for continuous nets. For such...

GDSCalc
 Referenced in 1 article
[sw28036]
 each discrete time step and are assigned functions that describe how their states change based ... neighborhood relations. Full characterization of state transitions of one system can give insights into fundamental ... systems. In this paper, we describe a discrete graph dynamical systems (GDSs) application called GDSCalc...

DVR3D
 Referenced in 3 articles
[sw07820]
 energy levels, wavefunctions, and where appropriate dipole transition moments, for rotating and vibrating triatomic molecules ... states are treated using an efficient twostep algorithm. The programs uses a Discrete Variable ... possible coordinate orderings. The rotational and transition dipole programs exploit the major savings offered...

multiPDEVS
 Referenced in 1 article
[sw30698]
 multiPDEVS, a parallel and nonmodular formalism for discrete event system specification. This formalism provides combined ... influence each other using exclusively their state transitions. We next show the soundness...

pntool
 Referenced in 2 articles
[sw21085]
 developed to handle the basic problems of discrete event dynamical systems that are modeled ... Toolbox five types of Petri nets (untimed, transitiontimed, placetimed, stochastic and generalized stochastic ... invariants), timedependent performance indices, maxplus statespace representations. A design procedure is also...

TWINLAW
 Referenced in 5 articles
[sw35042]
 were represented throughout deformation using a weighted discrete probability density function of caxis orientations ... untwinning, for a range of strain states and transitions among such states...

Sigali
 Referenced in 1 article
[sw12303]
 toolbased which manipulates ILTS: Implicit Labeled Transition Systems (which can be seen ... discrete event systems. It offers functionalities for verification of reactive systems and discrete controller synthesis ... ones that compute the set of reachable states, the set of states that can reach...

CellPyLib
 Referenced in 1 article
[sw40482]
 consist of discrete or continuous states. Neighbourhood radii are adjustable, and in the 2dimensional ... exploration of complex systems, phase transitions and emergent computation. Utility functions for plotting and viewing...

ANSYS
 Referenced in 703 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

CLIFFORD
 Referenced in 84 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...