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)