
Uppaal
 Referenced in 647 articles
[sw04702]
 modeled as a collection of nondeterministic processes with finite control structure and realvalued...

ELAN
 Referenced in 108 articles
[sw02179]
 rewriting. But rewriting is inherently nondeterministic since several rules can be applied at different ... language offers primitives for sequential composition, iteration, deterministic and nondeterministic choices of elementary strategies...

TISEAN
 Referenced in 165 articles
[sw00967]
 which are based on the paradigm of deterministic chaos. A variety of algorithms for data...

MSLiP
 Referenced in 109 articles
[sw01410]
 Many of the computational tricks developed for deterministic staircase problems are adapted to the stochastic...

OrthoMADS
 Referenced in 57 articles
[sw07713]
 Orthomads: A deterministic MADS instance with orthogonal directions. The purpose of this paper ... that the polling directions are chosen deterministically, ensuring that the results of a given ... already published for Mads, and they hold deterministically, rather than with probability...

SpaceEx
 Referenced in 74 articles
[sw10939]
 hybrid systems with piecewise affine, nondeterministic dynamics. It combines polyhedra and support function representations...

TOY
 Referenced in 55 articles
[sw09812]
 constructor based rewriting logic with lazy nondeterministic functions as the core notion. Other aspects...

WENO
 Referenced in 54 articles
[sw12694]
 methods. In this paper we develop a deterministic high order accurate finitedifference WENO solver...

Church
 Referenced in 50 articles
[sw08946]
 calculus, containing a pure Lisp as its deterministic subset. The semantics of Church is defined...

Duali
 Referenced in 26 articles
[sw01245]
 Duali/Dualpc software system is designed to solve deterministic and stochastic optimal control models of economic ... which is useful for teaching about dynamic deterministic and stochastic economic models. It is also ... useful research tool for work with deterministic and passive learning stochastic models. In contrast, Dualpc ... primarily a research tool for deterministic as well as both passive and active learning stochastic...

Timbuk
 Referenced in 47 articles
[sw06351]
 manipulating Tree Automata (bottomup nondeterministic finite tree automata) Timbuk and reachability analysis...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 modeled as a collection of nondeterministic processes with finite control structure and realvalued...

RAxML
 Referenced in 42 articles
[sw07716]
 this paper we present a nondeterministic parallel implementation of our algorithm which in some...

Algorithm 823
 Referenced in 36 articles
[sw04470]
 Implementing scrambled digital sequences. Random scrambling of deterministic (t, m, s)nets...

PySP
 Referenced in 20 articles
[sw04921]
 stochastic programming problems as extensions of their deterministic counterparts, which are typically formulated first ... PySP, the user specifies both the deterministic base model (supporting linear, nonlinear, and mixed ... passing an extensive form to a standard deterministic solver. For more complex stochastic programs ... Python) and the embedding of the base deterministic model in that language (Pyomo...

GraphLog
 Referenced in 32 articles
[sw20098]
 order logic with transitive closure, and nondeterministic logarithmic space (assuming ordering on the domain...

LASS
 Referenced in 30 articles
[sw00505]
 others exhibit nonstationarity, which is either deterministic or stochastic in nature. The tool exploits...

PMaude
 Referenced in 30 articles
[sw08422]
 purely probabilistic – and not just nondeterministic. The absence of such (unquantified) nondeterminism...

SpiNNaker
 Referenced in 29 articles
[sw40456]
 followed by traditional supercomputers that rely on deterministic, repeatable communications and reliable computation. SpiNNaker nodes...

GPfit
 Referenced in 20 articles
[sw14044]
 Gaussian Process (GP) model to a deterministic simulator. Gaussian process (GP) models are commonly used ... stable approach for fitting GP models to deterministic computer simulators. They used a genetic algorithm...