R package s2dverification. s2dverification: Set of Common Tools for Forecast Verification. Set of tools to verify forecasts through the computation of typical prediction scores against ...
S2 Geometry Library: This is a package for manipulating geometric shapes. Unlike many geometry libraries, S2 is primarily designed to work with spherical geometry, i.e., ...
S2LET: A code to perform fast wavelet analysis on the sphere. The S2LET code provides high performance routines for fast wavelet analysis of signals on ...
S2SNet: A Tool for Transforming Characters and Numeric Sequences into Star Network Topological Indices in Chemoinformatics, Bioinformatics, Biomedical, and Social-Legal Sciences.
S3: a symbolic string solver for vulnerability detection in web applications. Motivated by the vulnerability analysis of web programs which work on string inputs, we ...
S4 : a free electromagnetic solver for layered periodic structures. We describe S4 , a free implementation of the Fourier modal method (FMM), which has ...
In the article under review, the S4CAD software tool is presented which makes it possible to synthesize and analyze a set of admissible systolic arrays ...
R package s4vd: Biclustering via Sparse Singular Value Decomposition Incorporating Stability Selection. The main function s4vd() performs a biclustering via sparse singular value decomposition with ...
s4vdpca: This R package implements methods for sparse principal component analysis as described in the Bioinformatics article: Applying Stability Selection to Consistently Estimate Sparse Principal ...
Integrative genetic risk prediction using non-parametric empirical Bayes classification. Genetic risk prediction is an important component of individualized medicine, but prediction accuracies remain low for ...
SAADI: software for fuzzy clustering and related fields. The article describes a software product whose main task is mainly to perform automatical classification of different ...
SAAM II: Simulation, analysis, and modeling software for tracer and pharmacokinetic studies. Kinetic analysis and integrated systems modeling have contributed substantially to our understanding of ...
Simulation of Stylized Facts in Agent-Based Computational Economic Market Models. We study the qualitative and quantitative appearance of stylized facts in several agent-based computational economic ...
Saber: module-LWR based key exchange, CPA-secure encryption and CCA-secure KEM. In this paper, we introduce Saber, a package of cryptographic primitives whose security relies on ...