×

Found 39 Software Packages (Results 1–39)

CCalc

Software Authors:   Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
Referenced in: 74 Publications (2003–2021)
Related Software: Smodels; GOLOG; Coala; PDDL; Society Visualiser; NuSMV; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

vars

Software Authors:   Bernhard Pfaff, Matthieu Stigler
Referenced in: 25 Publications (2008–2022)
Related Software: R; forecast; urca; strucchange; rneos; gogarch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CP-logic

Software Authors:   Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
Referenced in: 18 Publications (2009–2022)
Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

VipTool

Software Authors:   Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.
Referenced in: 12 Publications (2008–2022)
Related Software: rbminer; Genet; Petrify; ProM; Workcraft; HybridILPMiner; …
Main Fields: Computer science (68-XX)

GCCA

Software Authors:   Anil K. Seth
Referenced in: 9 Publications (2011–2021)
Related Software: MVGC; Brain Connectivity Toolbox; BSMART; EEGLAB; MuTE; QUIC; …
Main Fields: Statistics (62-XX); Statistical mechanics, structure of matter (82-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MVGC

Software Authors:   Barnett L, Seth AK
Referenced in: 10 Publications (2011–2021)
Related Software: GCCA; MuTE; Brain Connectivity Toolbox; FieldTrip; TRENTOOL; ChaLearn; …
Main Fields: Statistics (62-XX); Statistical mechanics, structure of matter (82-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

BSMART

Software Authors:   Jie Cui, Lei Xu, Steven L. Bressler, Mingzhou Ding, Hualou Liang
Referenced in: 2 Publications (2000–2019)
Related Software: EEGLAB; GCCA; Brain Connectivity Toolbox; BRAPH; BASCO; GTG; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

iJulienne

Software Authors:   Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Referenced in: 5 Publications (2014–2020)
Related Software: Maude; Web-TLR; Anima; DDebugger; ChC 3; ABETS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

IDTxl

Software Authors:   Wollstadt, Patricia, Lizier, Joseph T., Vicente, Raul, Finn, Conor, Martínez-Zarzuela, Mario, Mediano, Pedro, Novelli, Leonardo, Wibral, Michael
Referenced in: 1 Publication (2020)
Related Software: infotheory; Python; TRENTOOL; JIDT; MuTE; pycit; …
Main Fields: Biology and other natural sciences (92-XX)

jPredictor

Software Authors:   Feng Chen, Traian Florin Serbanuta, Grigore Roşu
Referenced in: 5 Publications (2007–2018)
Related Software: AVIO; QuickLex; FastTrack; PENELOPE; CTrigger; ASM; …
Main Fields: Computer science (68-XX)

gma

Software Authors:   Yi Zhao, Xi Luo
Referenced in: 3 Publications (2019–2022)
Related Software: R; pffr; sbw; fda (R)
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

Logoot

Software Authors:   Weiss, S., Urso, P., Molli, P.
Referenced in: 4 Publications (2011–2022)
Related Software: Wooki; woot-haskell; wootjs; Woot; Certification_Monads; Archive Formal Proofs; …
Main Fields: Computer science (68-XX)

Zelus

Software Authors:   Timothy Bourke, Marc Pouzet
Referenced in: 4 Publications (2013–2022)
Related Software: StateFlow; Simulink; Ptolemy; iFEST; Cheddar; Daikon; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

Julienne

Software Authors:   Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel
Referenced in: 2 Publications (2015)
Related Software: Maude; Anima; ChC 3; Web-TLR; DDebugger; iJulienne; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CASPA_

Software Authors:   Backes, Michael; Lorenz, Stefan; Maffei, Matteo; Pecina, Kim
Referenced in: 1 Publication (2015)
Related Software: F*; TAMARIN; Cryptyc; OFMC; ProVerif; AVISPA; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Causal Discovery

Software Authors:   Kalainathan, Diviyan; Goudet, Olivier; Dutta, Ritik
Referenced in: 0 Publications
Related Software: Python; pcalg; bnlearn; causal-learn; CausalDAG; KEGG; …
Main Fields: Computer science (68-XX)

coroICA

Software Authors:   Pfister, Niklas; Weichwald, Sebastian; Bühlmann, Peter; Schölkopf, Bernhard
Referenced in: 2 Publications (2019–2022)
Related Software: Noise2Self; Noise2Void; CAPUSHE; Python; Scikit; EEGLAB; …
Main Fields: Statistics (62-XX)

D2C

Software Authors:   Gianluca Bontempi, Catharina Olsen, Maxime Flauder
Referenced in: 1 Publication (2015)
Related Software: pcalg; bnlearn; TETRAD; randomForest; gRbase; causaleffect; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

dosearch

Software Authors:   Santtu Tikka, Antti Hyttinen, Juha Karvanen
Referenced in: 0 Publications
Related Software: igraph; causaleffect; dagitty; DoWhy; R; R6causal; …
Main Fields:

eConnectome

Software Authors:   He B, Dai Y, Astolfi L, Babiloni F, Yuan H, Yang L.
Referenced in: 0 Publications
Related Software: BrainNet Viewer; GraphVar; Matlab; TMSEEG; Connectome Mapper; CARTOOL; …
Main Fields:

INLOCANDA

Software Authors:   Pio, Gianvito; Ceci, Michelangelo; Prisciandaro, Francesca; Malerba, Donato
Referenced in: 2 Publications (2020–2021)
Related Software: IOTA; DeepWalk; ComiRNet; node2vec; ARACNE; word2vec; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

MTFSP

Software Authors:   Boualem Boashash, Abdeldjalil Aïssa-El-Bey, Mohammad F. Al-Sa’d
Referenced in: 1 Publication (2020)
Related Software: Matlab; TFSAP; DOA-intersecting; GitHub
Main Fields: Information and communication theory, circuits (94-XX)

card

Software Authors:   Anish S. Shah
Referenced in: 0 Publications
Related Software: ggplot2; RColorBrewer; PhysioToolkit; doParallel; shiny; gridExtra; …
Main Fields:

CausalNLP

Software Authors:   Arun S. Maiya
Referenced in: 0 Publications
Related Software: Transformers; ktrain; LightGBM; CausalML; Python
Main Fields:

cfid

Software Authors:   Santtu Tikka
Referenced in: 0 Publications
Related Software: R6causal; Python; igraph; dosearch; causaleffect; dagitty; …
Main Fields:

COVAIN

Software Authors:   Sun X.; Weckwerth W.
Referenced in: 1 Publication (2014)
Related Software: Algorithm 432; KEGGtranslator; KEGG; Sbmltoolbox; SDE Toolbox
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

DynamicBC

Software Authors:   Wei Liao, Guo-Rong Wu, Qiang Xu, Gong-Jun Ji, Zhiqiang Zhang, Yu-Feng Zang, Guangming Lu
Referenced in: 0 Publications
Related Software: Brain Connectivity Toolbox; BRAPH; BASCO; GTG; BrainNet Viewer; eConnectome; …
Main Fields:

estCI

Software Authors:   Sekhon, Jasjeet S.; Shem-Tov, Yotam
Referenced in: 1 Publication (2021)
Related Software: R
Main Fields: Statistics (62-XX)

Extended-GC

Software Authors:   Grantcheng; Hong Cheng, David Cai, Douglas Zhou
Referenced in: 1 Publication (2020)
Related Software: Brain Connectivity Toolbox; GitHub; IOTA
Main Fields: Dynamical systems and ergodic theory (37-XX); Biology and other natural sciences (92-XX)

GRANGER_CAUSE

Software Authors:   Chandler
Referenced in: 0 Publications
Related Software: dtw; RTransferEntropy; rmatio; R; VLTimeCausality
Main Fields:

NodeMerge

Software Authors:   Tang Y., Li D., Li Z., Zhang M., Jee K., Xiao X., Wu Z., Rhee J., Xu F., Li Q.
Referenced in: 0 Publications
Related Software: Elasticsearch; NoDoze; AIQL; SAQL; Plaso; LogLens; …
Main Fields:

PoPPy

Software Authors:   Hongteng Xu
Referenced in: 0 Publications
Related Software: PyTorch; Anaconda
Main Fields:

PREMER

Software Authors:   Villaverde, A.F.; Becker, K.; Banga, J.R.
Referenced in: 1 Publication (2017)
Related Software: GeneNetWeaver; hiPathDB; DREAMTools; Clingo
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

RFCT

Software Authors:   Karimi, Kamran; Hamilton, Howard J.
Referenced in: 1 Publication (2002)
Related Software: C4.5
Main Fields: Computer science (68-XX)

tlrider

Software Authors:   Chambaz, Antoine; Benkeser, David
Referenced in: 1 Publication (2020)
Related Software: ggdag; tidyverse; rmarkdown; knitr; caret; R
Main Fields: Statistics (62-XX); Computer science (68-XX)

VLTimeCausality

Software Authors:   Chainarong Amornbunchornvej
Referenced in: 0 Publications
Related Software: dtw; RTransferEntropy; rmatio; GRANGER_CAUSE; R
Main Fields:

FunChisq

Software Authors:   Yang Zhang, Hua Zhong, Joe Song
Referenced in: 0 Publications
Related Software:
Main Fields:

macc

Software Authors:   Yi Zhao, Xi Luo
Referenced in: 0 Publications
Related Software:
Main Fields:

vgets

Software Authors:   Muhammad Asali
Referenced in: 0 Publications
Related Software:
Main Fields: