×

Found 19 Software Packages (Results 1–19)

P-FCM

Software Authors:   Loia, V.; Pedrycz, W.; Senatore, S.
Cited in: 9 Publications (2003–2015)
Related Software: ReliefF; WEKA; Silhouettes; CMU PIE; ElemStatLearn; BoostCluster; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

ProofTool

Software Authors:   C. Dunchev, A. Leitsch, T. Libal, M. Riener, M. Rukhaia, D. Weller, B. Woltzenlogel Paleo
Cited in: 6 Publications (2013–2019)
Related Software: TPTP; GAPT; CERES; Prover9; Mace4; VAMPIRE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HuGS

Software Authors:   Klau, Gunnar W.; Lesh, Neal; Marks, Joe; Mitzenmacher, Michael
Cited in: 5 Publications (2005–2019)
Related Software: top88.m; top.m; Tabu search
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Proof Pad

Software Authors:   Caleb Eggensperger
Cited in: 1 Publication (2018)
Related Software: ACL2; DrACuLa; DrJava; DrScheme
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

ActiVis

Software Authors:   Minsuk Kahng, Pierre Y. Andrews, Aditya Kalro, Duen Horng Chau
Cited in: 0 Publications
Related Software: LSTMVis; DeepEyes; ConvNetJS; Python; CIspace; TensorFlow; …
Main Fields:

Argo Lite

Software Authors:   Siwei Li, Zhiyan Zhou, Anish Upadhayay, Omar Shaikh, Scott Freitas, Haekyu Park, Zijie J. Wang, Susanta Routray, Matthew Hull, Duen Horng Chau
Cited in: 0 Publications
Related Software: Cytoscape; ccNetViz; TrajGraph; NetV.js; Carina; OSMnx; …
Main Fields:

AudExpCreator

Software Authors:   Duc T. Nguyen, Blair Kaneshiro
Cited in: 0 Publications
Related Software: VideoToolbox; Psychophysics Toolbox; Eyelink; Matlab
Main Fields:

Carina

Software Authors:   Dezhi Fang, Matthew Keezer, Jacob Williams, Kshitij Kulkarni, Robert Pienta, Duen Horng Chau
Cited in: 0 Publications
Related Software: Cytoscape; ccNetViz; Argo Lite; TrajGraph; NetV.js; OSMnx; …
Main Fields:

CobWeb

Software Authors:   Swarup Chauhan; Kathleen Sell; Frieder Enzmann; Wolfram Rühaak; Thorsten Wille; Ingo Sass; Michael Kersten
Cited in: 0 Publications
Related Software: OpenPNM; DSI Studio; ParaView; Excel; Matlab
Main Fields:

Dash Sylvereye

Software Authors:   Alberto Garcia-Robledo, Mahboobeh Zangiabady
Cited in: 0 Publications
Related Software: Cytoscape; ccNetViz; Argo Lite; TrajGraph; NetV.js; Carina; …
Main Fields:

FAtiMA

Software Authors:   Samuel Mascarenhas, Manuel Guimarães, Pedro A. Santos, João Dias, Rui Prada, Ana Paiva
Cited in: 0 Publications
Related Software:
Main Fields:

GUIComp

Software Authors:   Chunggi Lee, Sanghoon Kim, Dongyun Han, Hongjun Yang, Young-Woo Park, Bum Chul Kwon, Sungahn Ko
Cited in: 0 Publications
Related Software: Bootstrap.js; Django; Sketchplore; ReDraw; DesignScape; Bricolage; …
Main Fields:

JACIE

Software Authors:   Haji-Ismail, Abdul S.; Chen, Min; Grant, Phil W.; Kiddell, Mark
Cited in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

LEGOEval

Software Authors:   Yu Li, Josh Arnold, Feifan Yan, Weiyan Shi, Zhou Yu
Cited in: 0 Publications
Related Software: PostgreSQL; DialCrowd; ChatEval; TestVox; BLEU; ParlAI; …
Main Fields:

ORCSolver

Software Authors:   Yue Jiang, Wolfgang Stuerzlinger, Matthias Zwicker, Christof Lutteroth
Cited in: 0 Publications
Related Software: SUPPLE; Gild; Ibuild; Rockit; Python; Druid; …
Main Fields:

ROIAL

Software Authors:   Kejun Li, Maegan Tucker, Erdem Bıyık, Ellen Novoseller, Joel W. Burdick, Yanan Sui, Dorsa Sadigh, Yisong Yue, Aaron D. Ames
Cited in: 0 Publications
Related Software: SciPy; NumPy; OpenAI Gym; Python; APReL
Main Fields:

StudySandboxx

Software Authors:   Gabi Wethor, Matthew L. Hale
Cited in: 0 Publications
Related Software: HTTrack; HTMLArk; GrabzIt; JavaScript; Python
Main Fields:

Torrit

Software Authors:   Md Ashfaqur Rahman
Cited in: 0 Publications
Related Software: ETAP Digital Twin; DIgSILENT; EasyPower; Dome; PyCharm; Pandapower; …
Main Fields:

Wyrm

Software Authors:   Bastian Venthur, Benjamin Blankertz
Cited in: 0 Publications
Related Software: Scikit; Matplotlib; SciPy; Pyff; Python; PyData; …
Main Fields: