
s2dverification
 Referenced in 0 articles
[sw18944]
 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 ...

S2LET
 Referenced in 1 article
[sw16032]
 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 ...

S3
 Referenced in 2 articles
[sw19495]
 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 ...

s3dmesh
 Referenced in 0 articles
[sw05593]
 s3dmesh is an automatic mesh generation application that was developed with Qt and OpenGL. It can be used to generate meshes by playing with the ...

S4
 Referenced in 2 articles
[sw10048]
 S4 : a free electromagnetic solver for layered periodic structures. We describe S4 , a free implementation of the Fourier modal method (FMM), which has ...

S4CAD
 Referenced in 1 article
[sw00822]
 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 ...

SAADI
 Referenced in 1 article
[sw02602]
 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 ...

SABmark
 Referenced in 1 article
[sw17111]
 SABmark  a benchmark for sequence alignment that covers the entire known fold space. Summary: The Sequence Alignment Benchmark (SABmark) provides sets of multiple alignment ...

SABRE
 Referenced in 4 articles
[sw12884]
 SABRE: A tool for stochastic analysis of biochemical reaction networks. The importance of stochasticity within biological systems has been shown repeatedly during the last years ...

SABUL
 Referenced in 3 articles
[sw02538]
 SABUL: A transport protocol for grid computing. This paper describes SABUL, an applicationlevel data transfer protocol for dataintensive applications over high bandwidthdelay product networks. SABUL ...

SAC
 Referenced in 1 article
[sw16492]
 SAC: symbolic analysis and control package. SAC (Symbolic Analysis and Control) is a toolbox for people working in control theory. It will help to the ...

Sacado
 Referenced in 3 articles
[sw06602]
 Efficient expression templates for operator overloadingbased automatic differentiation Expression templates are a wellknown set of techniques for improving the efficiency of operator overloadingbased forward mode ...

SAcb
 Referenced in 1 article
[sw17694]
 Tabu search for the cyclic bandwidth problem. Extensive experimentation was carried out, using 113 standard benchmark instances, for assessing its performance with respect to a ...

saccades
 Referenced in 1 article
[sw11942]
 saccades: Detection of Fixations in EyeTracking Data. Functions for detecting eye fixations in raw eyetracking data. The detection is done using a velocitybased algorithm for ...

SACCR
 Referenced in 0 articles
[sw17906]
 R package SACCR. SA Counterparty Credit Risk under Basel III. Computes the ExposureAtDefault based on standardized approach of the Basel III Regulatory framework (SACCR). Currently, ...

SACLIB
 Referenced in 24 articles
[sw00823]
 The SACLIB [4,7] library of computer algebra programs, originally derived from SAC2 [3], contains reference implementations of numerous algorithms and also forms the basis of ...

SAcluster
 Referenced in 2 articles
[sw06867]
 Clustering large attributed information networks: an efficient incremental computing approach In recent years, many information networks have become available for analysis, including social networks, road ...

SACS
 Referenced in 7 articles
[sw03265]
 Statistical software SACS is developed for sensitivity analysis in covariance structure analysis. It consists of two parts, SACS(FA) and SACS(SEM) , which deal with the ...

SACS Toolkit
 Referenced in 2 articles
[sw03708]
 Sociology and complexity science. A new field of inquiry This book is the first to identify and review the new field of study, sociology and ...

SAD
 Referenced in 12 articles
[sw09796]
 System for automated deduction (SAD): A tool for proof verification. In this paper a proof assistant called SAD is presented. SAD deals with mathematical texts ...