• fdrtool

  • Referenced in 34 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 175 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...
  • SetTest

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

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

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

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

  • Referenced in 18 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...
  • MATLODE

  • Referenced in 6 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...
  • 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...
  • 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...
  • PyARPES

  • Referenced in 2 articles [sw38147]
  • angle- resolved photoemission spectroscopies. The advent of higher resolution and throughput photoemission spectroscopy experiments ... made angle-resolved photoemission spectroscopy (ARPES) a critical tool for the study of quantum materials...
  • EIA-CNDP

  • Referenced in 2 articles [sw38601]
  • largest connected component, and pairwise connectivity. Critical node detection problem (CNDP ... solve the problem on networks with a higher number of nodes...
  • Fermi.jl

  • Referenced in 1 article [sw41388]
  • higher-level language, such as Python, substitutes the traditional ones wherever performance is not critical...
  • POWER

  • Referenced in 2 articles [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...
  • DLFuzz

  • Referenced in 3 articles [sw41845]
  • systems are increasingly applied to safety-critical domains such as autonomous driving cars ... with 89.82% smaller perturbations, averagely obtain 2.86% higher neuron coverage, and save 20.11% time consumption...
  • 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...
  • AMC

  • Referenced in 5 articles [sw36241]
  • Mobile Devices. Model compression is a critical technique to efficiently deploy neural network models ... conventional rule-based compression policy by having higher compression ratio, better preserving the accuracy...