×

Found 17 Software Packages (Results 1–17)

ProofPower

Software Authors:   Roger Jones; Arthan, R.D.; Dave King; Lemma 1 Ltd
Referenced in: 52 Publications (2001–2020)
Related Software: Circus; Z; HOL; Isabelle/HOL; HOL Light; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Real functions (26-XX)

Isabelle/Circus

Software Authors:   Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Referenced in: 12 Publications (2013–2017)
Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

metapath2vec

Software Authors:   Yuxiao Dong, Nitesh V Chawla, Ananthram Swami
Referenced in: 10 Publications (2018–2021)
Related Software: node2vec; DeepWalk; word2vec; GraRep; PTE; PyTorch; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

CNN-RNN

Software Authors:   Jiang Wang, Yi Yang, Junhua Mao, Zhiheng Huang, Chang Huang, Wei Xu
Referenced in: 10 Publications (2017–2022)
Related Software: Adam; ImageNet; PASCAL VOC; ML-KNN; MULAN; AdaGrad; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX)

PTE

Software Authors:   Jian Tang, Meng Qu, Qiaozhu Mei
Referenced in: 6 Publications (2018–2021)
Related Software: word2vec; node2vec; DeepWalk; HIN2Vec; metapath2vec; ArnetMiner; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

PersonLab

Software Authors:   George Papandreou, Tyler Zhu, Liang-Chieh Chen, Spyros Gidaris, Jonathan Tompson, Kevin Murphy
Referenced in: 1 Publication (2021)
Related Software: DeeperCut; MultiPoseNet; RMPE; ImageNet; MS-COCO; Python; …
Main Fields: Computer science (68-XX)

CoLLIE

Software Authors:   Skantze, Gabriel; Willemsen, Bram
Referenced in: 1 Publication (2022)
Related Software: iCaRL; ImageNet; Scikit
Main Fields: Computer science (68-XX)

dypro

Software Authors:   Ke Wang
Referenced in: 0 Publications
Related Software: DeepFix; sk_p; MOOC; PHOG
Main Fields:

FEE

Software Authors:   Vaibhav Kumar, Tenzin Singhay Bhotia, Vaibhav Kumar
Referenced in: 0 Publications
Related Software: GloVe; PyTorch; NumPy; Matplotlib; WEFE
Main Fields:

GraphDBLP

Software Authors:   Mario Mezzanzanica, Fabio Mercorio, Mirko Cesarini, Vincenzo Moscato, Antonio Picariello
Referenced in: 0 Publications
Related Software: GraphFrames; WebGraph; NetworkX; EmptyHeaded; Ligra; GraphLab; …
Main Fields:

Import2vec

Software Authors:   Bart Theeten, Frederik Vandeputte, Tom Van Cutsem
Referenced in: 0 Publications
Related Software: pix2pix; CycleGAN; PyTorch; GitHub
Main Fields:

MoleView

Software Authors:   Hurter C, Telea A, Ersoy O.
Referenced in: 0 Publications
Related Software: NodeTrix; ThemeRiver; PIWI
Main Fields:

PaDiM

Software Authors:   Thomas Defard, Aleksandr Setkov, Angelique Loesch, Romaric Audigier
Referenced in: 0 Publications
Related Software: CFLOW-AD; GANomaly; TensorFlow; PyTorch Lightning; Scikit; Albumentations; …
Main Fields:

Req2Lib

Software Authors:   Zhensu Sun, Yan Liu, Ziming Cheng, Chen Yang, Pengyu Che
Referenced in: 0 Publications
Related Software: Libraries.io; word2vec; LibRec; LibFinder; StanfordCoreNLP; Adam
Main Fields:

Rightfield

Software Authors:   Wolstencroft, Katy; Owen, Stuart; Horridge, Matthew; Krebs, Olga; Mueller, Wolfgang; Snoep, Jacky L.; Du Preez, Franco; Goble, Carole A.
Referenced in: 0 Publications
Related Software:
Main Fields:

SportsCap

Software Authors:   Xin Chen, Anqi Pang, Wei Yang, Yuexin Ma, Lan Xu, Jingyi Yu
Referenced in: 0 Publications
Related Software: FineGym; NeuralHumanFVV; AMASS; SMPL; MoSh; SSD; …
Main Fields:

TransT

Software Authors:   Ma, S., Ding, J., Jia, W., Wang, K., Guo, M.
Referenced in: 1 Publication (2020)
Related Software: DeepWalk; ProjE; Freebase; node2vec; YAGO
Main Fields: Computer science (68-XX)