Results 1 to 20 of 1107
Sort by:

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