×

Found 10 Software Packages (Results 1–10)

Reluplex

Software Authors:   Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer
Cited in: 29 Publications (2017–2022)
Related Software: AI2; Marabou; Adam; NNV; MNIST; DeepFool; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

neuralnet

Software Authors:   Frauke Günther; Stefan Fritsch
Cited in: 8 Publications (2011–2021)
Related Software: R; pls; caret; ggplot2; RSNNS; ada; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DehazeNet

Software Authors:   Cai, Bolun; Xu, Xiangmin; Jia, Kui; Qing, Chunmei; Tao, Dacheng
Cited in: 8 Publications (2016–2022)
Related Software: AOD-Net; LBFGS-B; GitHub; FFDNet; DnCNN; Flickr30K; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

GELUs

Software Authors:   Dan Hendrycks, Kevin Gimpel
Cited in: 4 Publications (2020–2023)
Related Software: Adam; PyTorch; ABAQUS; COMSOL; SGDR; Zoneout; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

PINNeik

Software Authors:   Umair bin Waheed, Ehsan Haghighat, Tariq Alkhalifah, Chao Song, Qi Hao
Cited in: 5 Publications (2022–2023)
Related Software: EikoNet; DeepXDE; Adam; TensorFlow; DiffSharp; DGM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

ALEC

Software Authors:   Abraham, Ajith; Nath, Baikunth
Cited in: 3 Publications (2001–2020)
Related Software: Global Optimization Toolbox For Maple
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

RecurJac

Software Authors:   Huan Zhang, Pengchuan Zhang, Cho-Jui Hsieh
Cited in: 2 Publications (2020–2021)
Related Software: AI2; Reluplex; SCIP; Grad-CAM; DeepGauge; DeepMutation; …
Main Fields: Computer science (68-XX)

Drop-Activation

Software Authors:   Liang, Senwei; Khoo, Yuehaw; Yang, Haizhao
Cited in: 1 Publication (2021)
Related Software: AutoAugment; CIFAR; GitHub; AlexNet; Zoneout; mixup; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

NES

Software Authors:   Grubas, Serafim; Duchkov, Anton; Loginov, Georgy
Cited in: 1 Publication (2023)
Related Software: TensorFlow; PINNtomo; DiffSharp; HypoSVI; DeepXDE; Adam; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

RFASTfMRI

Software Authors:   Israel A Almodovar-Rivera; Ranjan Maitra
Cited in: 1 Publication (2020)
Related Software: mixture; PGMM; densityClust; RmixmodCombi; MixSAL; GitHub; …
Main Fields: Computer science (68-XX)