• Mfree2D

  • Referenced in 324 articles [sw15725]
  • static and/or dynamic loadings with heat transfer process. The software consists of three major processors...
  • NAS Parallel Benchmarks

  • Referenced in 128 articles [sw08853]
  • derived from computational fluid dynamics (CFD) applications and consist of five kernels and three pseudo...
  • MCTDH

  • Referenced in 36 articles [sw14837]
  • time-dependent Schrödinger equation for multidimensional dynamical systems consisting of distinguishable particles. MCTDH can thus...
  • Isar

  • Referenced in 144 articles [sw04599]
  • commands (for diagnostics, exploration etc.). Proof texts consisting of proper document constructors only admit ... reading, thus being intelligible later without requiring dynamic replay that is so typical for traditional...
  • VAMPIRE

  • Referenced in 258 articles [sw02918]
  • prover for first-order classical logic. It consists of a shell and a kernel ... introduction of new predicate definitions and dynamic folding of such definitions. A number of standard...
  • CheckVML

  • Referenced in 12 articles [sw09472]
  • present a tool for model checking dynamic consistency properties in arbitrary well-formed instance models...
  • qLearn

  • Referenced in 20 articles [sw11117]
  • bootstrap scheme. A dynamic treatment regime consists of a set of decision rules that dictate ... common method for estimating an optimal dynamic treatment regime from data is Q-learning which...
  • LLVM

  • Referenced in 89 articles [sw04892]
  • strategy capable of supporting both static and dynamic compilation of arbitrary programming languages. Since then ... grown to be an umbrella project consisting of a number of different subprojects, many...
  • Packmol

  • Referenced in 15 articles [sw13408]
  • simulations. Adequate initial configurations for molecular dynamics simulations consist of arrangements of molecules distributed ... time for state-of-the-art molecular dynamics systems varies from a few seconds...
  • SQG

  • Referenced in 19 articles [sw00907]
  • application area of such methods consists of multiperiod dynamic stochastic models with parametrized decision rules...
  • DBA

  • Referenced in 9 articles [sw39649]
  • averaging method that is consistent with Dynamic Time Warping. I give below an example...
  • Lugares

  • Referenced in 19 articles [sw09861]
  • written in Prolog that offers a standard dynamic geometry environment and uses the symbolic capabilities ... main novelty in Lugares consists of the link between the dynamic geometry paradigm...
  • DynTex

  • Referenced in 9 articles [sw11969]
  • DynTex database of high-quality dynamic texture videos. It consists of over 650 sequences...
  • CBMC

  • Referenced in 86 articles [sw09719]
  • check ANSI-C and C++ for consistency with other languages, such as Verilog. The verification ... aimed for embedded software, it also supports dynamic memory allocation using malloc...
  • jsonlite

  • Referenced in 13 articles [sw15573]
  • cases are encoded and decoded consistently for use with dynamic data in systems and applications...
  • SNAP

  • Referenced in 171 articles [sw04184]
  • analysis and manipulation of large networks. Graphs consists of nodes and directed/undirected/multiple edges between ... graph or a network can be changed dynamically during the computation. SNAP was originally developed...
  • Eraser

  • Referenced in 45 articles [sw08922]
  • describes a new tool, called Eraser, for dynamically detecting data races in lock-based multithreaded ... every shared-monory reference and verify that consistent locking behavior is observed. We present several...
  • Dynare

  • Referenced in 77 articles [sw12305]
  • wide class of economic models, in particular dynamic stochastic general equilibrium (DSGE) and overlapping generations ... expectations about the future in a way consistent with the model. But Dynare is also...
  • BaRC

  • Referenced in 3 articles [sw40037]
  • initial state distribution backwards in a dynamically-consistent manner once the policy optimization algorithm demonstrates ... evaluate our approach on two representative dynamic robotic learning problems and find substantial performance improvement...
  • AMRCLAW

  • Referenced in 72 articles [sw15478]
  • developed for the Euler equations of gas dynamics to employ high-resolution wave-propagation algorithms ... framework requires a modified approach to maintaining consistency and conservation at grid interfaces, which...