P-FCM Cited in 10 Documents (2003–2021) Software Authors: Loia, V.; Pedrycz, W.; Senatore, S. Related Software: UCI-ml; WEKA; NSGA-II; … Main Fields: Statistics (62-XX); Computer science (68-XX)
ProofTool Cited in 8 Documents (2013–2023) Software Authors: Dunchev, C.; Leitsch, A.; Libal, T.; Riener, M.; Rukhaia, M.; Weller, D.; Paleo, B. Woltzenlogel Related Software: TPTP; GAPT; CERES; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
HuGS Cited in 5 Documents (2005–2019) Software Authors: Klau, Gunnar W.; Lesh, Neal; Marks, Joe; Mitzenmacher, Michael Related Software: top88.m; top.m; Tabu search Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Proof Pad Cited in 1 Document (2018) Software Authors: Eggensperger, Caleb Related Software: ACL2; DrACuLa; DrJava; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
ActiVis Cited in 0 Documents Software Authors: Kahng, Minsuk; Andrews, Pierre Y.; Kalro, Aditya; Chau, Duen Horng Related Software: LSTMVis; DeepEyes; ConvNetJS; … Main Fields: –
Argo Lite Cited in 0 Documents Software Authors: Li, Siwei; Zhou, Zhiyan; Upadhayay, Anish; Shaikh, Omar; Freitas, Scott; Park, Haekyu; Wang, Zijie J.; Routray, Susanta; Hull, Matthew; Chau, Duen Horng Related Software: ccNetViz; Cytoscape; TrajGraph; … Main Fields: –
AudExpCreator Cited in 0 Documents Software Authors: Nguyen, Duc T.; Kaneshiro, Blair Related Software: VideoToolbox; Psychophysics Toolbox; Eyelink; … Main Fields: –
Carina Cited in 0 Documents Software Authors: Fang, Dezhi; Keezer, Matthew; Williams, Jacob; Kulkarni, Kshitij; Pienta, Robert; Chau, Duen Horng Related Software: ccNetViz; Cytoscape; Argo Lite; … Main Fields: –
CobWeb Cited in 0 Documents Software Authors: Chauhan, Swarup; Sell, Kathleen; Enzmann, Frieder; Rühaak, Wolfram; Wille, Thorsten; Sass, Ingo; Kersten, Michael Related Software: OpenPNM; DSI Studio; ParaView; … Main Fields: –
Dash Sylvereye Cited in 0 Documents Software Authors: Garcia-Robledo, Alberto; Zangiabady, Mahboobeh Related Software: ccNetViz; Cytoscape; Argo Lite; … Main Fields: –
DFSeer Cited in 0 Documents Software Authors: Sun, Dong; Feng, Zezheng; Chen, Yuanzhe; Wang, Yong; Zeng, Jia; Yuan, Mingxuan; Pong, Ting-Chuen; Qu, Huamin Related Software: UMAP; Scikit; imodels; … Main Fields: Computer science (68-XX)
FAtiMA Cited in 0 Documents Software Authors: Mascarenhas, Samuel; Guimarães, Manuel; Santos, Pedro A.; Dias, João; Prada, Rui; Paiva, Ana Related Software: – Main Fields: –
GUIComp Cited in 0 Documents Software Authors: Lee, Chunggi; Kim, Sanghoon; Han, Dongyun; Yang, Hongjun; Park, Young-Woo; Kwon, Bum Chul; Ko, Sungahn Related Software: Bootstrap.js; Django; Sketchplore; … Main Fields: –
JACIE Cited in 1 Document (2001) Software Authors: Haji-Ismail, Abdul S.; Chen, Min; Grant, Phil W.; Kiddell, Mark Related Software: – Main Fields: Computer science (68-XX)
LEGOEval Cited in 0 Documents Software Authors: Li, Yu; Arnold, Josh; Yan, Feifan; Shi, Weiyan; Yu, Zhou Related Software: ChatEval; PostgreSQL; DialCrowd; … Main Fields: –
ORCSolver Cited in 0 Documents Software Authors: Jiang, Yue; Stuerzlinger, Wolfgang; Zwicker, Matthias; Lutteroth, Christof Related Software: Python; SUPPLE; Gild; … Main Fields: –
ROIAL Cited in 0 Documents Software Authors: Li, Kejun; Tucker, Maegan; Bıyık, Erdem; Novoseller, Ellen; Burdick, Joel W.; Sui, Yanan; Sadigh, Dorsa; Yue, Yisong; Ames, Aaron D. Related Software: SciPy; NumPy; OpenAI Gym; … Main Fields: –
StudySandboxx Cited in 0 Documents Software Authors: Wethor, Gabi; Hale, Matthew L. Related Software: HTTrack; HTMLArk; GrabzIt; … Main Fields: –
Torrit Cited in 0 Documents Software Authors: Rahman, Md Ashfaqur Related Software: Python; ETAP Digital Twin; DIgSILENT; … Main Fields: –
Wyrm Cited in 0 Documents Software Authors: Venthur, Bastian; Blankertz, Benjamin Related Software: Scikit; Matplotlib; SciPy; … Main Fields: –