• # wwcode

• Referenced in 21 articles [sw26044]
• Rank-Based Analysis of Linear Models Using R. It is well-known that Wilcoxon procedures ... estimation and associated inference is now universally accessible...
• # HOL-Omega

• Referenced in 9 articles [sw06581]
• types include type operator variables and universal types as in System $F$. Impredicativity is avoided ... stratification of types by ranks according to the depth of universal types. The new system...
• # QAPgrid

• Referenced in 2 articles [sw23152]
• produce a layout of 470 world universities with an observed high degree of correlation with ... score used by the Academic Ranking of World Universities compiled ... Shanghai Jiao Tong University Academic Ranking of World Universities without the need...
• # RAPTOR

• Referenced in 20 articles [sw09002]
• test by the protein structure prediction community, ranks RAPTOR as top 1, among individual prediction ... targets. RAPTOR was implemented at the University of Waterloo...
• # Marlin

• Referenced in 13 articles [sw41698]
• where the structured reference string (SRS) is universal and updatable. This exploits a novel ... efficient algebraic holographic proof (AHP) for rank-1 constraint satisfiability (R1CS) that achieves linear proof...
• # EFTofPNG

• Referenced in 7 articles [sw20815]
• generic generation of Feynman contractions, which is universal to all perturbation theories in physics ... treating n-point functions as tensors of rank n. The package currently contains four independent...
• # ordinalForest

• Referenced in 3 articles [sw26301]
• also possible to rank the covariates with respect to their importances in the prediction ... Forests. Tech. Rep. 212, Department of Statistics, University of Munich...
• # SW1PerS

• Referenced in 10 articles [sw17206]
• Yeast metabolic cycle which are highly-ranked only by SW1PerS, contains evidently non-cosine patterns ... found in other experiments such as the universal growth rate response of Slavov. These genes...
• # Bruns

• Referenced in 1 article [sw27123]
• Mathematical Society Lecture Note Series, 106. Cambridge University Press, Cambridge, 1985) asserts that ... free module, then M has rank at least k. The theory of basic elements shows...