• global_report

  • Referenced in 4 articles [sw26673]
  • computer package for power transformer fault detection and diagnosis. A package in Maple that helps ... users in power transformers fault detection and diagnosis has been developed. Transformers are required throughout ... from aging process, stress conditions or electrical faults. Besides, they require special measurement devices...
  • Matlab

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

  • Referenced in 531 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

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

  • Referenced in 514 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • LFOIL

  • Referenced in 7 articles [sw02759]
  • LFOIL: linguistic rule induction in the label semantics...
  • ELECTRE

  • Referenced in 124 articles [sw02971]
  • Electre Methods. Over the last three decades a...
  • CUDA

  • Referenced in 1185 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SPIN

  • Referenced in 709 articles [sw03455]
  • Spin is a popular open-source software tool...
  • SeDuMi

  • Referenced in 1175 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • UCI-ml

  • Referenced in 3041 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

  • Referenced in 2551 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 501 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • PHAVer

  • Referenced in 109 articles [sw04123]
  • In 1995, HyTech broke new ground as a...
  • HyTech

  • Referenced in 324 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • NuSMV

  • Referenced in 295 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • REDLOG

  • Referenced in 160 articles [sw04250]
  • REDLOG is a package that extends the computer...
  • Simulink

  • Referenced in 721 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • Qhull

  • Referenced in 297 articles [sw04419]
  • The convex hull of a point set P...