
plfit
 Referenced in 239 articles
[sw23186]
 with tests on synthetic data and give critical comparisons to previous approaches. We also apply ... methods to twentyfour realworld data sets from a range of different disciplines, each...

Benchmarks for Optimization Software
 Referenced in 149 articles
[sw04617]
 testruns comparing different solution methods on standardized sets of testproblems, running on the same ... invested in making results comparable, in a critical situation you should try the candidates...

Creol
 Referenced in 25 articles
[sw09421]
 calls. These models may be criticized in the distributed setting for their tight coupling...

Expokit
 Referenced in 198 articles
[sw00258]
 Expokit provides a set of routines aimed at computing matrix exponentials. More precisely, it computes ... matrix exponentials is a numerical issue of critical importance in the area of Markov chains...

Hyperband
 Referenced in 17 articles
[sw41120]
 machine learning algorithms depends critically on identifying a good set of hyperparameters. While recent approaches...

EMD
 Referenced in 231 articles
[sw14902]
 represented by signatures. The signatures are sets of weighted features that capture the distributions ... find, or any questions, comments, suggestions, and criticisms you have. If you find this code...

PLT Redex
 Referenced in 23 articles
[sw09921]
 first reliable and easytouse tool set for such forms of semantics. Software engineers ... long known that automatic tool support is critical for rapid prototyping and modeling, and this...

AGG
 Referenced in 50 articles
[sw04449]
 several visual editors, an interpreter, and a set of validation tools. The interpreter allows ... conﬂict detection in concurrent transformations by critical pair analysis of graph rules. Applications...

TCAS
 Referenced in 5 articles
[sw21413]
 TCAS software verification using constraint programming. Safetycritical software must be thoroughly verified before being ... TCAS component implementation against a set of safetycritical properties showed that this approach...

LARCH
 Referenced in 104 articles
[sw02126]
 information needed to use an interface. A critical part of each interface is how components ... Specifiers are not limited to a fixed set of notations...

XTOR
 Referenced in 21 articles
[sw03221]
 XTOR code which solves a set of the extended magnetohydrodynamic (MHD) equations in toroidal geometry ... method is discussed with particular emphasis on critical issues leading to numerical stability and robustness ... automatically defined by a set of nonlinear stability criteria. The robustness of the method...

Edward
 Referenced in 16 articles
[sw21517]
 Python library for probabilistic modeling, inference, and criticism. It is a testbed for fast experimentation ... from classical hierarchical models on small data sets to complex deep probabilistic models on large...

Bex
 Referenced in 1 article
[sw37816]
 routines are often used in security critical settings, process large amounts of data, and must...

CHIANTI
 Referenced in 2 articles
[sw20556]
 Astrophysical Plasmas. CHIANTI consists of a critically evaluated set of uptodate atomic data...

PoweR
 Referenced in 2 articles
[sw24090]
 pivotal test statistics for which the set of critical values does not depend...

MPICHG2
 Referenced in 35 articles
[sw02373]
 process creation, monitoring, and control. Various performancecritical operations, including startup and collective operations ... results, and review application experiences, including recordsetting distributed simulations...

IPSSIS
 Referenced in 14 articles
[sw07158]
 set of portfolios, among which the investor must choose, given his preference system. One criticism...

FRSDE
 Referenced in 15 articles
[sw08762]
 estimator using minimal enclosing ball approximation. Reduced Set Density Estimator (RSDE) is an important technique ... several existing methods, it still faces the critical challenge for practical applications because ... model weighting coefficients on large data sets. In order to overcome this shortcoming, a Fast...

PETS 2017
 Referenced in 2 articles
[sw36678]
 systems for protection of mobile critical assets as set in PETS 2016. The datasets include...

MAnorm
 Referenced in 1 article
[sw38449]
 Although comparison of ChIPSeq data sets is critical for understanding cell typedependent ... quantitative comparison of ChIPSeq data sets describing transcription factor binding sites and epigenetic modifications...