• RIPPLE

  • Referenced in 57 articles [sw30642]
  • RIPPLE: A Computer Program for Incompressible Flows with Free Surfaces. We present the RIPPLE computer ... cell treatment. The improvements and enhancements of RIPPLE relative to its predecessor, NASA-VOF2D, have ... brief summary of the primary features of RIPPLE, we describe the model equations, the numerical...
  • IsaPlanner

  • Referenced in 30 articles [sw02047]
  • inductive theorem prover based on Rippling. This is applicable within Isabelle”s Higher Order Logic...
  • Sheppack

  • Referenced in 16 articles [sw07352]
  • hybrid robust piecewise linear estimation algorithm RIPPLE (residual initiated polynomial-time piecewise linear estimation) intended ... Shepard algorithm, robust linear Shepard algorithm, and RIPPLE are the only algorithms in the package...
  • Zeno

  • Referenced in 11 articles [sw07735]
  • similar proof steps.par We compare with the rippling based tool IsaPlanner and the industrial strength...
  • phParAdapt

  • Referenced in 7 articles [sw09044]
  • captured the instabilities that generate both the ripple and roll wave like structures...
  • RiPPLE

  • Referenced in 1 article [sw22737]
  • Recommendation in Personalised Peer Learning Environments (RiPPLE). Recommendation in Personalised Peer Learning Environments (RiPPLE ... personalised content and learning support at scale. RiPPLE presents students with a repository of tagged ... students through the use of crowdsourcing. RiPPLE uses students responses to the questions to approximate ... seeking learning support or finding study partners, RiPPLE recommends peer learning sessions based on their...
  • Revolution Studio

  • Referenced in 1 article [sw07895]
  • entire window, allowing effects such as rippling applications on the desktop. New image rendering options...
  • CircuitTSAT

  • Referenced in 1 article [sw18672]
  • representations of disjunctive temporal constraints (akin to ripple-carry adders used in computer arithmetic operations...
  • multgen

  • Referenced in 1 article [sw38012]
  • adders: Ladner-Fisher; Kogge-Stone; Han-Carlson; Ripple-Carry...
  • SPECTOR3D

  • Referenced in 1 article [sw41159]
  • tokamak model with toroidal field ripple and a 17-period Heliotron...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • QSHEP2D

  • Referenced in 17 articles [sw00761]
  • Algorithm 660 QSHEP2D: Quadratic Shepard method for bivariate...
  • QSHEP3D

  • Referenced in 71 articles [sw00762]
  • Algorithm 661 QSHEP3D: Quadratic Shepard method for trivariate...
  • TSHEP2D

  • Referenced in 2 articles [sw00980]
  • Algorithm 791: TSHEP2D: Cosine series Shephard method for...
  • CSHEP2D

  • Referenced in 8 articles [sw01237]
  • Algorithm 790: CSHEP2D: Cubic Shepard method for bivariate...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • PREVAIL

  • Referenced in 7 articles [sw02114]
  • PREVAIL: A proof environment for VHDL descriptions The...