• Epistemic Logic

  • Referenced in 2 articles [sw42014]
  • textbook ”Reasoning About Knowledge” by Fagin, Halpern, Moses and Vardi (MIT Press 1995). The extensions...
  • EcoImpactMapper

  • Referenced in 1 article [sw36180]
  • additive human impact model suggested by Halpern et al. (”A global map of human impact...
  • YALMIP

  • Referenced in 1063 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • PDCO

  • Referenced in 717 articles [sw05148]
  • PDCO: Primal-Dual interior method for Convex Objectives...
  • UNLocBoX

  • Referenced in 340 articles [sw07521]
  • The UNLocboX is a matlab convex optimization toolbox...
  • SPGL1

  • Referenced in 199 articles [sw08365]
  • SPGL1: A solver for large-scale sparse reconstruction...
  • iPiasco

  • Referenced in 44 articles [sw13492]
  • iPiasco: inertial proximal algorithm for strongly convex optimization...
  • L1TestPack

  • Referenced in 15 articles [sw20470]
  • L1TestPack: A software to generate test instances for...
  • PESTO

  • Referenced in 36 articles [sw20864]
  • Code of the Performance Estimation Toolbox (PESTO) whose...
  • PyTorch

  • Referenced in 440 articles [sw20939]
  • PyTorch python package: Tensors and Dynamic neural networks...
  • Adam

  • Referenced in 948 articles [sw22205]
  • Adam: A Method for Stochastic Optimization. We introduce...
  • ODL

  • Referenced in 18 articles [sw22359]
  • Operator Discretization Library (ODL) is a Python library...
  • GitHub

  • Referenced in 2760 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • U-Net

  • Referenced in 132 articles [sw33176]
  • U-Net: Convolutional networks for biomedical image segmentation...
  • Strelka2

  • Referenced in 1 article [sw38582]
  • Strelka2: fast and accurate calling of germline and...
  • PNKH-B

  • Referenced in 4 articles [sw40451]
  • PNKH-B: a projected Newton-Krylov method for...