
Uppaal
 Referenced in 634 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 158 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 53 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 70 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 52 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 46 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...

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

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

PySP
 Referenced in 18 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 31 articles
[sw20098]
 order logic with transitive closure, and nondeterministic logarithmic space (assuming ordering on the domain...

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

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

CORO
 Referenced in 24 articles
[sw02197]
 more reaching application. A deterministic treatment of the problem provides unsatisfactory results...

GPfit
 Referenced in 17 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...