
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 higherorder, statebased, concurrent, and other languages...

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

SetTest
 Referenced in 4 articles
[sw21047]
 grouptesting procedures, including the Higher Criticism tests, the onesided KolmogorovSmirnov tests...

sda
 Referenced in 3 articles
[sw06073]
 using false nondiscovery 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...

ASTRODF
 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 higherorder sidechannel resistance. Many papers deal with ... first and most critical step of our work. The Sbox we selected...

HOLOmega
 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 higherorder 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 higherrank 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 angleresolved photoemission spectroscopy (ARPES) a critical tool for the study of quantum materials...

EIACNDP
 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]
 higherlevel 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 higherorder 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 safetycritical 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 rulebased compression policy by having higher compression ratio, better preserving the accuracy...