
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: PrimalDual 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 largescale 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...

ADMMSoftmax
 Referenced in 4 articles
[sw32744]
 ADMMsoftmax: an ADMM approach for multinomial logistic...

UNet
 Referenced in 132 articles
[sw33176]
 UNet: Convolutional networks for biomedical image segmentation...

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

PNKHB
 Referenced in 4 articles
[sw40451]
 PNKHB: a projected NewtonKrylov method for...

EntropySGD
 Referenced in 21 articles
[sw41231]
 EntropySGD: Biasing Gradient Descent Into Wide Valleys...

LoDoPaBCT
 Referenced in 4 articles
[sw42063]
 The LoDoPaBCT Dataset: A Benchmark Dataset for...