• plfit

  • Referenced in 239 articles [sw23186]
  • with tests on synthetic data and give critical comparisons to previous approaches. We also apply ... methods to twenty-four real-world 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 easy-to-use 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 ... conflict detection in concurrent transformations by critical pair analysis of graph rules. Applications...
  • TCAS

  • Referenced in 5 articles [sw21413]
  • TCAS software verification using constraint programming. Safety-critical software must be thoroughly verified before being ... TCAS component implementation against a set of safety-critical 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 up-to-date atomic data...
  • PoweR

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

  • Referenced in 35 articles [sw02373]
  • process creation, monitoring, and control. Various performance-critical operations, including startup and collective operations ... results, and review application experiences, including record-setting 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 ChIP-Seq data sets is critical for understanding cell type-dependent ... quantitative comparison of ChIP-Seq data sets describing transcription factor binding sites and epigenetic modifications...