• AgsyHOL

  • Referenced in 4 articles [sw13302]
  • based on a generic lazy narrowing search algorithm applied to a proof checker...
  • QFASA

  • Referenced in 4 articles [sw15220]
  • their patterns in organisms, coupled with the narrow limitations on their biosynthesis, properties of digestion...
  • CafeInMaude

  • Referenced in 4 articles [sw19598]
  • reduction commands and Maude model checking, narrowing, or theorem proving capabilities with the same tool...
  • TBAG

  • Referenced in 4 articles [sw21484]
  • planes, colors, transforms, geometry, and sound. The narrow role of modifiable state in this paradigm...
  • Graft

  • Referenced in 4 articles [sw27742]
  • captured vertices change from superstep to superstep,narrowing in suspicious vertices and supersteps. (3) Users...
  • ODTLES

  • Referenced in 4 articles [sw36578]
  • Corrsin, Simple Eulerian correlation of full-and narrow band velocity signals in grid-generated ’isotropic...
  • fastFM

  • Referenced in 3 articles [sw17843]
  • currently only used in a narrow range of applications and are not yet part...
  • MetaFork

  • Referenced in 3 articles [sw26523]
  • through a series of experiments, such as narrowing performance bottlenecks in multithreaded programs. Our experiments...
  • PASS

  • Referenced in 3 articles [sw35276]
  • performs an exact dynamic alignment of a narrow region around the match. The performance...
  • OligoArray

  • Referenced in 3 articles [sw36133]
  • according to user input, to fit a narrow Tm range compatible with hybridization requirements. Combined...
  • NPTC-net

  • Referenced in 1 article [sw41514]
  • NPTC-net: narrow-band parallel transport convolutional neural networks on point clouds. Convolution plays ... surface-based method [46], we propose the Narrow-Band Parallel Transport Convolution (NPTC) using ... specifically defined connection on a voxel-based narrow-band approximation of point cloud data. With...
  • ParTCS-3D

  • Referenced in 1 article [sw41753]
  • Numerical simulation of cellular flame propagation in narrow gaps. A computational model for combustion ... premixed gases in narrow gaps between parallel plates is presented. The model is based ... characterized by the presence of relatively narrow zones of the reaction (flame fronts), is shown...
  • Codecharts

  • Referenced in 2 articles [sw09151]
  • designed to overcome these challenges by narrowing its scope to visual specifications that articulate automatically...
  • InvA

  • Referenced in 2 articles [sw10124]
  • combination of various techniques such as unification, narrowing, equationally-defined equality predicates, and SMT solving...
  • MaxTract

  • Referenced in 2 articles [sw10183]
  • levels. This includes both accessibility in the narrow sense of providing access to content...
  • ModFem

  • Referenced in 2 articles [sw16970]
  • based on reusable modules which use narrow and well-defined interfaces to cooperate...
  • ANNIE

  • Referenced in 2 articles [sw17016]
  • Each of these tools focuses on a narrow aspect and researchers are having difficulty obtaining...
  • TPLS

  • Referenced in 2 articles [sw17598]
  • performance. However, in the present context we narrow the focus of the study to basic...
  • FASP

  • Referenced in 2 articles [sw19089]
  • techniques and the corresponding software that will narrow this gap, specifically by developing mathematically optimal...