• Uppaal

  • Referenced in 634 articles [sw04702]
  • modeled as a collection of non-deterministic processes with finite control structure and real-valued...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • rewriting. But rewriting is inherently non-deterministic since several rules can be applied at different ... language offers primitives for sequential composition, iteration, deterministic and non-deterministic 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, non-deterministic dynamics. It combines polyhedra and support function representations...
  • TOY

  • Referenced in 55 articles [sw09812]
  • constructor based rewriting logic with lazy non-deterministic functions as the core notion. Other aspects...
  • WENO

  • Referenced in 52 articles [sw12694]
  • methods. In this paper we develop a deterministic high order accurate finite-difference 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 (bottom-up non-deterministic finite tree automata) Timbuk and reachability analysis...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • modeled as a collection of non-deterministic processes with finite control structure and real-valued...
  • 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 non-deterministic 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, non-linear, 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 non-deterministic logarithmic space (assuming ordering on the domain...
  • PMaude

  • Referenced in 30 articles [sw08422]
  • purely probabilistic – and not just non-deterministic. The absence of such (un-quantified) non-determinism...
  • LASS

  • Referenced in 29 articles [sw00505]
  • others exhibit non-stationarity, 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...