• stprbh

  • Referenced in 3 articles [sw31781]
  • constrained tree problems as integer linear programs and apply it to the STPRBH. Our approach ... model is to provide a good compromise between quality of root relaxation bounds...
  • Mir

  • Referenced in 1 article [sw35823]
  • often exploited at runtime via dynamic compromise, even when these libraries are not actively malicious ... importing libraries. To enforce these permissions during program execution, Mir transforms libraries and their context...
  • LPMD

  • Referenced in 1 article [sw12495]
  • LPMD is written in C++ as a compromise between efficiency and clarity of design ... added bonus, the plug-in API (Application Programming Interface) makes it possible...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Matlab

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

  • Referenced in 32 articles [sw00681]
  • In Quebec’s municipal taxation system, the tax...
  • Virginity

  • Referenced in 5 articles [sw01267]
  • Virginity: A contribution to the specification of object...
  • PROCOL

  • Referenced in 8 articles [sw02535]
  • PROCOL. A concurrent object-oriented language with protocols...
  • ELECTRE

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

  • Referenced in 87 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...
  • UCI-ml

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

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

  • Referenced in 63 articles [sw04339]
  • NIMBUS, an interactive method for nondifferentiable multiobjective optimization...
  • LINDO

  • Referenced in 552 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • Genocop

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • LINGO

  • Referenced in 319 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • GAMS

  • Referenced in 865 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • BIOGEME

  • Referenced in 17 articles [sw05049]
  • Biogeme is a open source Python package designed...
  • NBI

  • Referenced in 208 articles [sw05075]
  • Normal-boundary intersection: A new method for generating...