Results 1 to 20 of 22
Sort by:

  • 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...