• Tuffy

  • Referenced in 10 articles [sw28901]
  • extraction, entity resolution, text mining, and natural language processing. Based on principled data management techniques...
  • OptFROG

  • Referenced in 2 articles [sw29893]
  • spectrograms with optimized time and frequency resolution for application in the analysis of numerical simulations ... presented. Gabor’s uncertainty principle prevents both resolutions from being optimal simultaneously for a given...
  • STAR-CCM+

  • Referenced in 27 articles [sw07683]
  • Principles of combustion. 2nd ed. Chichester: Wiley (1999; Zbl 1050.80503)]. They then introduce the Reynolds ... part of the paper presents a numerical resolution of this model based on the finite...
  • CTH

  • Referenced in 22 articles [sw08719]
  • initiated based on pressure or principle stress. A special model is available for moving fragments ... Eulerian codes. It has a high-resolution interface tracker that prevents breakup and distortion...
  • LBPM

  • Referenced in 2 articles [sw34068]
  • based on first principles. Morphological tools are applied to assess image resolution, establish initial conditions...
  • AFLOW-SYM

  • Referenced in 2 articles [sw35803]
  • fundamental crystallographic principles. The self-consistent tolerance characterizes the effective spatial resolution of the reported...
  • OpenOpticalFlow

  • Referenced in 2 articles [sw38423]
  • program in Matlab for extraction of high-resolution velocity fields from various flow visualization images ... flow method in various flow measurements. The principles of the optical flow method are concisely...
  • OpenOpticalFlow_PIV

  • Referenced in 1 article [sw38422]
  • cross-correlation method for extraction of high-resolution velocity fields from particle images with large ... intrinsic issues of the two methods. The principles of the hybrid method are concisely described ... optical flow method for refined high-resolution estimation. This paper gives more detailed descriptions...
  • Nuprl-Light

  • Referenced in 1 article [sw31982]
  • where Isabelle uses higher order unification and resolution, Nuprl-Light retains a tactic--tree ... also relies on the judgments--as-- types principle (an extension of propositions--as--type), where...
  • PWC-Net

  • Referenced in 1 article [sw38830]
  • designed according to simple and well-established principles: pyramidal processing, warping ... running at about 35 fps on Sintel resolution (1024x436) images. Our models are available...
  • AMAZON-SC

  • Referenced in 3 articles [sw06134]
  • hyperbolic system which is solved using high-resolution Riemann-based upwind methods. Second order accuracy ... fluid components as well as, in principle, compliant moving bodies...
  • ANSYS

  • Referenced in 666 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CGAL

  • Referenced in 370 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 637 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 2974 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gerris

  • Referenced in 287 articles [sw00341]
  • Gerris is a Free Software program for the...
  • gmp

  • Referenced in 274 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HSL

  • Referenced in 274 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

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