• QEPCAD

  • Referenced in 283 articles [sw00752]
  • command-line program written in C/C++, and based on the SACLIB library. Presented here ... substantial departure from the original QEPCAD and distinguishing it from any development of the original...
  • Voro++

  • Referenced in 46 articles [sw18065]
  • distinguishing feature of the Voro++ library is that it carries out cell-based calculations, computing...
  • NeTra

  • Referenced in 63 articles [sw14887]
  • retrieve similar regions from the database. A distinguishing aspect of this system is its incorporation ... segmentation algorithm that allows object- or region-based search. Image segmentation significantly improves the quality...
  • JumpStart

  • Referenced in 10 articles [sw01797]
  • scheme. It is a reservation based architecture whose distinguishing characteristics are its relative simplicity...
  • RankGene

  • Referenced in 14 articles [sw12319]
  • computing diagnostic genes based on their predictive power in distinguishing between different types of samples...
  • deep_speck

  • Referenced in 2 articles [sw34578]
  • nine rounds of Speck, we present distinguishers based on deep residual neural networks that achieve ... five times lower than an analogous classical distinguisher using the full difference distribution table. Thirdly ... policy based on a variant of Bayesian optimization which, together with our neural distinguishers ... purely differential distinguishers even given unlimited data. While our attack is based on a known...
  • BLOOMP

  • Referenced in 28 articles [sw06454]
  • spacing is below the Rayleigh threshold. Algorithms based on techniques of band exclusion ... grid spacing. One of the most distinguishing attributes of BLOOMP is its capability of dealing ... with large dynamic ranges. par The BLO-based algorithms are systematically tested with respect...
  • Neurofitter

  • Referenced in 14 articles [sw09289]
  • this review we distinguish three types of error functions: feature-based ones, point-by-point...
  • ARMC

  • Referenced in 28 articles [sw04949]
  • approach to verify industrial software systems. Its distinguishing characteristics lie in the way it applies ... constraint-based programming language may lead to an elegant and concise implementation of a practical...
  • EES

  • Referenced in 2 articles [sw34858]
  • approach to solving this problem based on distinguishing a support set, i.e., a part ... similar texture features. As the support set, based on experiments we have chosen a sector...
  • LLBMC

  • Referenced in 16 articles [sw09478]
  • programs. It is based on bounded model checking using an SMT solver and thus achieves ... accurate precision. A distinguishing feature of LLBMC in contrast to other bounded model checking tools...
  • ASPIC

  • Referenced in 3 articles [sw17147]
  • Alternative Splicing PredICtion). It is distinguished from other methods based on BLAST-like tools...
  • HyLoRes

  • Referenced in 7 articles [sw17660]
  • HyLoRes: A Resolution Based Theorem Prover for Hybrid Logics. HyLoRes is a direct resolution prover ... most interesting distinguishing feature of HyLoRes is that it is not based on tableau algorithms...
  • PSC

  • Referenced in 5 articles [sw18205]
  • modern particle-in-cell code with patch-based load-balancing. This work describes the Plasma ... analyze in detail a distinguishing feature of PSC: patch-based load balancing using space-filling...
  • CRNreals

  • Referenced in 5 articles [sw13616]
  • distinguishability and identifiability analysis of CRN models using recently published optimization-based procedures...
  • claspfolio 2

  • Referenced in 11 articles [sw11706]
  • solver portfolios, as well as solver-schedule-based pre-solving techniques. The default configuration ... open design of claspfolio 2 is a distinguishing factor even beyond ASP. As such ... framework for comparing and combining existing portfolio-based algorithm selection approaches and techniques...
  • MAESTRO

  • Referenced in 1 article [sw16883]
  • proteins called MAESTRO. MAESTRO is structure based and distinguishes itself from similar approaches...
  • Mixmod

  • Referenced in 37 articles [sw06991]
  • Model-based cluster and discriminant analysis with the MIXMOD software. The Mixture Modeling (MIXMOD) program ... fourteen different Gaussian models can be distinguished according to different assumptions regarding the component variance...
  • ZRC

  • Referenced in 14 articles [sw21827]
  • that, we present ZRC, a refinement calculus based on Morgan’s work that incorporates ... upon existing refinement techniques for Z, but distinguishes itself mainly in that ZRC is completely...
  • gNCA

  • Referenced in 4 articles [sw08821]
  • knockouts. The theoretical bases including criteria for uniqueness of solution and distinguishability between networks...