• RReportGenerator

  • Referenced in 2 articles [sw24626]
  • predefined analysis scenarios via a graphical user interface (GUI). A report in pdf format combining ... suitable analysis tasks we provide direct web access to a collection of analysis scenarios...
  • pyam

  • Referenced in 1 article [sw32806]
  • integrated-assessment scenarios, energy systems analysis, and sectoral studies. Key features: Simple analysis of timeseries ... data in the IAMC format (more about it here) ; with an interface similar in feel ... gallery); Features for scripted validation & processing of scenario data and results; The source code...
  • Theia

  • Referenced in 0 articles [sw22813]
  • classical digital cameras. This scenario makes the forensic analysis of images taken with mobile cameras ... necessary. Among the various branches of forensic analysis, this paper focuses on the reliable acquisition ... technique based on exchangeable image file format (Exif) metadata analysis, allowing us in certain cases...
  • EtherTrust

  • Referenced in 0 articles [sw37689]
  • blockchain and covering a variety of application scenarios, such as auctions, trading platforms ... Parity attacks). An automated security analysis of these contracts is thus of utmost interest ... challenging due to the EVM bytecode format in which contracts are uploaded on the blockchain...
  • BPMPD

  • Referenced in 41 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • Catfish

  • Referenced in 11 articles [sw00109]
  • CATFISH (Collider grAviTational FIeld Simulator for black Holes...
  • Cuba

  • Referenced in 79 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • KNITRO

  • Referenced in 200 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

  • Referenced in 425 articles [sw00610]
  • Produced by experts for use in a variety...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • AUTO

  • Referenced in 958 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • DYNAMO

  • Referenced in 264 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • EnKF

  • Referenced in 441 articles [sw02066]
  • EnKF-The Ensemble Kalman Filter The EnKF is...
  • LOQO

  • Referenced in 212 articles [sw02212]
  • LOQO: An interior point code for quadratic programming...
  • AMPL

  • Referenced in 622 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • SeDuMi

  • Referenced in 1284 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...