• Robust Control Toolbox

  • Referenced in 156 articles [sw07907]
  • robustness. You can create uncertain models by combining nominal dynamics with uncertain elements, such ... control system performance and identify worst-case combinations of uncertain elements. H-infinity...
  • Keras

  • Referenced in 212 articles [sw15491]
  • networks and recurrent networks, as well as combinations of the two. supports arbitrary connectivity schemes...
  • SMOTE

  • Referenced in 152 articles [sw34239]
  • minority class. This paper shows that a combination of our method of over-sampling ... class. This paper also shows that a combination of our method of over-sampling...
  • FEATFLOW

  • Referenced in 209 articles [sw04254]
  • mathematical and algorithmical ideas in combination with high performance computational techniques. FEATFLOW is designed...
  • JML

  • Referenced in 190 articles [sw04597]
  • specify the behavior of Java modules. It combines the design by contract approach of Eiffel...
  • TetGen

  • Referenced in 185 articles [sw04046]
  • enhanced local mesh operations (combination of flips and edge removal), and filtered exact geometric predicates...
  • NTRU

  • Referenced in 183 articles [sw11761]
  • mixing system suggested by polynomial algebra combined with a clustering principle based on elementary probability...
  • SURF

  • Referenced in 182 articles [sw29761]
  • essential. This leads to a combination of novel detection, description, and matching steps. The paper...
  • DGM

  • Referenced in 182 articles [sw39282]
  • neural network instead of a linear combination of basis functions. In addition, we prove...
  • ILUT

  • Referenced in 174 articles [sw08734]
  • factorization technique based on a strategy which combines two heuristics. This ILUT factorization extends...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • offer a modular framework for studying their combination. Its purpose is to support the design ... offer a modular framework for studying their combination. ELAN takes from functional programming the concept ... which deduction systems can be expressed and combined, and the evaluation mechanism of the language...
  • AProVE

  • Referenced in 161 articles [sw07831]
  • therefore permits a completely flexible combination of different termination proof techniques. Due to this framework...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • work forwards, backwards, or in a combination of these modes, and provides facilities for rearranging...
  • SERBA

  • Referenced in 156 articles [sw01160]
  • linear continuous elements, and any kind of combination of boundary conditions in stresses and displacements...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • when all three parts are used in combination. They are designed to interact very smoothly...
  • PASCAL VOC

  • Referenced in 140 articles [sw36507]
  • order to measure their complementarity and combined performance. We also analyse the community’s progress...
  • Mathcad

  • Referenced in 139 articles [sw04210]
  • Standard Software for Engineering Calculations. PTC Mathcad combines the ease and familiarity of an engineering...
  • SnapPy

  • Referenced in 139 articles [sw06874]
  • Linux, and Windows, and combines a link editor and 3D-graphics for Dirichlet domains...
  • GraphBase

  • Referenced in 137 articles [sw01555]
  • quaternions. Graphs can be modified and combined by union, intersection, complementation, product, and forming line...
  • CVC4

  • Referenced in 124 articles [sw09485]
  • built-in logical theories and their combination. CVC4 is the fourth in the Cooperating Validity...