• RAPTOR

  • Referenced in 20 articles [sw09002]
  • time, the relaxed linear programs generate integral solutions directly. Our algorithm has been implemented ... Operation Research technique. Large scale benchmark test for fold recognition shows that RAPTOR ignificantly outperforms ... CAFASP3 evaluation, a blind and public test by the protein structure prediction community, ranks RAPTOR ... alignment accuracy for Fold Recognition (FR) family targets. RAPTOR also performs very well in recognizing...
  • P2BAT

  • Referenced in 2 articles [sw25497]
  • bypass the multiple testing problem in family-based association studies, P2BAT integrates all PBAT-analysis ... analysis. P2BAT also features the ability to test for gene and environment/drug interaction. AVAILABILITY...
  • iProt-Sub

  • Referenced in 14 articles [sw27604]
  • major protease families and 38 different proteases). iProt-Sub integrates heterogeneous sequence and structural features ... Benchmarking experiments using cross-validation and independent tests showed that iProt-Sub is able...
  • FATODE

  • Referenced in 8 articles [sw11044]
  • Fatode is a Fortran library for the integration of ordinary differential equations with direct ... usage of this package. Fatode implements four families of methods: explicit Runge-Kutta for nonstiff ... Kutta, and Rosenbrock for stiff problems. Each family contains several methods with different orders ... simply providing their coefficients. For each family the forward, adjoint, and tangent linear models...
  • CMfinder

  • Referenced in 6 articles [sw17265]
  • covariance models for motif description, featuring novel integration of multiple techniques for effective search ... predict structure in a principled way. Extensive tests show that our method works well ... fast and scalable. In testing on 19 known ncRNA families, including some difficult cases with...
  • Simscape Driveline

  • Referenced in 2 articles [sw15526]
  • automotive powertrains, and other applications. You can integrate electrical, hydraulic, pneumatic, and other physical systems ... Simscape™ family of products. Simscape Driveline helps you develop control systems and test system-level...
  • PQM4

  • Referenced in 4 articles [sw34496]
  • family of microcontrollers. The design goals of the library are to offer: automated functional testing ... widely available development board; automated generation of test vectors and comparison against output ... symmetric primitives (SHA-2, SHA-3, AES); integration of clean implementations from PQClean; and easy...
  • DAFI

  • Referenced in 3 articles [sw34061]
  • solves it with ensemble Kalman filters, a family of ensemble-based, derivative-free, Bayesian methods ... fields, as well as I/O utilities for integration with the open-source finite volume tool ... code capabilities are showcased through several test cases including state and parameter estimation...
  • Simscape Multibody

  • Referenced in 1 article [sw39657]
  • Multibody helps you develop control systems and test system-level performance. You can parameterize your ... your multibody system in Simulink®. You can integrate hydraulic, electrical, pneumatic, and other physical systems ... your model using components from the Simscape family of products. To deploy your models...
  • FLUSEPA

  • Referenced in 1 article [sw20791]
  • solution, is developed for flux integration along curved cell faces. Then, a re-centering process ... possible numerical diffusion. The proposed family of schemes is compact in the algorithmic sense, since ... grid intersection technique is used. Compressible numerical test cases are investigated to demonstrate the accuracy...
  • HELARS

  • Referenced in 1 article [sw36942]
  • using properties of the manifold of exponential families as dually flat manifolds. However this extension ... normalizing constant may contain a complicated integral. We circumvent this issue if the normalizing constant ... using the statistical software R, and was tested with real and simulated datasets...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

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

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

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

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • GQRAT

  • Referenced in 35 articles [sw00373]
  • The concern here is with Gauss-type quadrature...