
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 higherorder, statebased, 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 nondiscovery rates or higher criticism scores...

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

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

ASTRODF
 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 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...

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...

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 higherrank 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 performancecritical 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 higherorder 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 Gquadruplex 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 higherorder controlflow analysis (specifically, 0CFA) with ... operations turned out to be the critical accelerants. Because controlflow graphs are sparse...