×

Found 13 Software Packages (Results 1–13)

Reluplex

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

neuralnet

Cited in 9 Documents (2011–2023)
Software Authors: Frauke Günther; Stefan Fritsch
Related Software: R; keras; pls; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

DehazeNet

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

GELUs

Cited in 3 Documents (2020–2023)
Software Authors: Dan Hendrycks, Kevin Gimpel
Related Software: Adam; PyTorch; L-BFGS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

PINNeik

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

TOuNN

Cited in 5 Documents (2021–2023)
Software Authors: Aaditya Chandrasekhar; Krishnan Suresh
Related Software: Adam; GitHub; L-BFGS-B; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

ALEC

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

RecurJac

Cited in 3 Documents (2019–2021)
Software Authors: Huan Zhang, Pengchuan Zhang, Cho-Jui Hsieh
Related Software: Reluplex; AI2; Riss; …
Main Fields: Computer science (68-XX)

Drop-Activation

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

NES

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

RFASTfMRI

Cited in 1 Document (2020)
Software Authors: Israel A Almodovar-Rivera; Ranjan Maitra
Related Software: mixture; PGMM; densityClust; …
Main Fields: Statistics (62-XX)

zkCNN

Cited in 1 Document (2023)
Software Authors: Liu, T.; Xie, X.; Zhang, Y.
Related Software: Libra
Main Fields: Information and communication theory, circuits (94-XX)

PIRBN

Cited in 0 Documents
Software Authors: Bai, Jinshuai; Liu, Gui-Rong; Gupta, Ashish; Alzubaidi, Laith; Feng, Xi-Qiao; Gu, YuanTong
Related Software:
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field