• fdrtool

  • Referenced in 29 articles [sw08196]
  • Local) False Discovery Rates and Higher Criticism. This package allows to estimate both tail area ... correlation distributions, and for computing empirical higher criticism (HC) scores and the corresponding decision threshold...
  • CASL

  • Referenced in 172 articles [sw02235]
  • follows: Casl is based on a critical selection of known constructs. It is an expressive ... various sublanguages. It has extensions to higher-order, state-based, concurrent, and other languages...
  • BioMark

  • Referenced in 5 articles [sw14240]
  • under perturbation, and the other on higher criticism...
  • sda

  • Referenced in 3 articles [sw06073]
  • using false non-discovery rates or higher criticism scores...
  • SetTest

  • Referenced in 2 articles [sw21047]
  • group-testing procedures, including the Higher Criticism tests, the one-sided Kolmogorov-Smirnov tests...
  • CholQR

  • Referenced in 9 articles [sw13049]
  • that by using the higher precision for this small but critical segment of the Krylov...
  • ASTRO-DF

  • Referenced in 7 articles [sw26833]
  • higher whenever an iterate is inferred to be close to a critical point and lower...
  • PICARO

  • Referenced in 15 articles [sw21867]
  • PICARO – a block cipher allowing efficient higher-order side-channel resistance. Many papers deal with ... first and most critical step of our work. The S-box we selected...
  • HOL-Omega

  • Referenced in 9 articles [sw06581]
  • prover, as an extension of the existing higher order logic of the HOL4 system ... soundness of the entire system depends critically and solely on the soundness of this core...
  • clam3

  • Referenced in 0 articles [sw19621]
  • implementation of proof planner with critics, and some higher-order unification, in the v3 branch...
  • SAGE Interacts

  • Referenced in 2 articles [sw19392]
  • higher order equations and estimate limits, and determines derivatives, integrals, and summations. Providing critical resources...
  • MATLODE

  • Referenced in 5 articles [sw26186]
  • offers new families of algorithms and significantly higher order methods (within these families) than there ... implementation of sensitivity analysis. This is of critical importance in a modeler’s workflow because...
  • KMS states

  • Referenced in 6 articles [sw31679]
  • states on the Toeplitz algebra of a higher-rank graph. The Toeplitz algebra ... algebra. For inverse temperatures larger than a critical value, the KMS states for this dynamics...
  • MapSplice

  • Referenced in 6 articles [sw31868]
  • reads that span splice junctions is a critical component of all analytic techniques that work ... increase accuracy. We demonstrate that MapSplice achieves higher sensitivity and specificity than TopHat and SpliceMap...
  • JudoSTM

  • Referenced in 4 articles [sw25471]
  • faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged ... current commodity hardware. However, in addition to higher overheads, many existing STM systems are limited...
  • POWER

  • Referenced in 1 article [sw23637]
  • large numerical relativity catalog and extract higher-order waveform modes from numerical relativity simulations ... star mergers. This new software fills a critical void in the arsenal of tools provided...
  • MethylSig

  • Referenced in 4 articles [sw23506]
  • methylation analysis pipeline. MOTIVATION: DNA methylation plays critical roles in gene regulation and cellular specification ... group. Our simulations show that methylSig has higher sensitivity compared with several alternative methods...
  • CoCLAM

  • Referenced in 2 articles [sw28719]
  • proof planning. Proof planning constructs the higher level steps in a proof, using knowledge ... plan by the use of a proof critic exploits the information gained from the failed...
  • G4Hunter

  • Referenced in 1 article [sw27624]
  • evaluation of G-quadruplex propensity with G4Hunter. Critical evidence for the biological relevance ... vitro) in the human genome is significantly higher, by a factor of 2–10, than...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • benchmark EigenCFA, an algorithm for accelerating higher-order control-flow analysis (specifically, 0CFA) with ... operations turned out to be the critical accelerants. Because control-flow graphs are sparse...