×

Found 240 Software Packages (Results 1–100)

PRISM

Software Authors:   Kwiatkowska, Marta; Norman, Gethin; Parker, David
Referenced in: 431 Publications (2001–2022)
Related Software: MRMC; Uppaal; SPIN; Bio-PEPA; Storm; PEPA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MRMC

Software Authors:   Joost-Pieter Katoen; RWTH Aachen
Referenced in: 67 Publications (2006–2022)
Related Software: PRISM; Ymer; Uppaal; CADP; Storm; CEGAR; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PicHunter

Software Authors:   I.J. Cox, M.L. Miller, S.M. Omohundro, P.N. Yianilos,
Referenced in: 28 Publications (2001–2014)
Related Software: VisualSEEk; PicToSeek; NeTra; SIMPLIcity; QBIC; Chabot; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

MLMSRBF

Software Authors:   Regis, Rommel G.; Shoemaker, Christine A.
Referenced in: 48 Publications (2007–2022)
Related Software: EGO; NOMAD; ORBIT; SO-I; MultiMin; DFO; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

BLOG

Software Authors:   Milch, B.; Marthi, B.; Russell, S.; Sontag, D.; Ong, D.L.; Kolobov, A.
Referenced in: 38 Publications (2006–2020)
Related Software: Church; ProbLog; IBAL; PRISM; BUGS; PREGO; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

MonoSLAM

Software Authors:   A. J. Davison, I. D. Reid, N. D. Molton, O. Stasse
Referenced in: 31 Publications (2008–2022)
Related Software: SIFT; FastSLAM; SURF; ORB-SLAM2; SBA; ORB-SLAM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

PRISM

Software Authors:   Sato, T., Kameya, Y.
Referenced in: 41 Publications (2006–2022)
Related Software: ProbLog; CP-logic; PITA; BLOG; Church; IBAL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

PAT

Software Authors:   Jun Sun, Yang Liu , Jin Song Dong , Jun Pang
Referenced in: 33 Publications (2011–2022)
Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ADVI

Software Authors:   Alp Kucukelbir, Rajesh Ranganath, Andrew Gelman, David M. Blei
Referenced in: 34 Publications (2017–2022)
Related Software: Stan; PRMLT; NUTS; R; ADADELTA; RStan; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

Antichains

Software Authors:   De Wulf M, Doyen L, Henzinger TA, Raskin JF
Referenced in: 33 Publications (2006–2021)
Related Software: HIP; MONA; SPIN; LTL2BA; FAST; Slide; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

SMART_

Software Authors:   Ciardo, G.; Jones, R.L.; Miner, A.S.; Siminiceanu, R.
Referenced in: 23 Publications (2000–2018)
Related Software: SPIN; PRISM; NuSMV; Möbius; PEPA; MRMC; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

PILCO

Software Authors:   M. Deisenroth; C. Rasmussen
Referenced in: 29 Publications (2014–2022)
Related Software: GPflow; GPyTorch; TensorFlow; Adam; OpenAI Gym; GitHub; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX)

PMaude

Software Authors:   Gul Agha; José Meseguer; Koushik Sen
Referenced in: 26 Publications (2005–2021)
Related Software: Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Storm

Software Authors:   Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
Referenced in: 30 Publications (2017–2022)
Related Software: PRISM; PROPhESY; MRMC; iscasMc; Jani; POMDP; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

APMC

Software Authors:   Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain
Referenced in: 28 Publications (2004–2021)
Related Software: PRISM; Uppaal; INFAMY; PLASMA-lab; PLASMA; Ymer; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

nimble

Software Authors:   Perry de Valpine, Christopher Paciorek, Daniel Turek, Cliff Anderson- Bergman, Duncan Temple Lang
Referenced in: 22 Publications (2017–2022)
Related Software: R; JAGS; Stan; WinBUGS; CODA; spBayes; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ProbView

Software Authors:   Lakshmanan, V.S., Leone, N., Ross, R. and Subrahmanian, V.S.
Referenced in: 11 Publications (2005–2018)
Related Software: ProTDB; MYSTIQ; PSQL; clusfind; flanagan; LingPipe; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

WaveNet

Software Authors:   Aaron van den Oord, Sander Dieleman, Heiga Zen, Karen Simonyan, Oriol Vinyals, Alex Graves, Nal Kalchbrenner, Andrew Senior, Koray Kavukcuoglu
Referenced in: 26 Publications (2017–2022)
Related Software: Adam; ImageNet; AlexNet; Tensor2Tensor; PyTorch; TensorFlow; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

gbs

Software Authors:   Barros, Michelli; Paula, Gilberto A.; Leiva, Víctor
Referenced in: 25 Publications (2009–2020)
Related Software: R; bs; plfit; optimx; LBFGS-B; bootlib; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

VESTA

Software Authors:   Koushik Sen, Mahesh Viswanathan, Gul Agha
Referenced in: 22 Publications (2007–2021)
Related Software: PRISM; Maude; HOL; Ymer; PVeStA; PMaude; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

PITA

Software Authors:   Riguzzi, Fabrizio; Swift, Terrance
Referenced in: 24 Publications (2010–2022)
Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; Church; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

PRISM-games

Software Authors:   Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
Referenced in: 23 Publications (2013–2022)
Related Software: PRISM; MCMAS; EAGLE; GIST; MCMAS-SLK; GAVS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ArnetMiner

Software Authors:   J. Tang, J. Zhang, L. Yao, J. Li, L. Zhang, Z. Su
Referenced in: 18 Publications (2012–2022)
Related Software: node2vec; DeepWalk; word2vec; GraRep; PTE; HIN2Vec; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

HyperLogLog

Software Authors:   Flajolet, P.; Fusy, E.; Gandouet, O.; Meunier, F.
Referenced in: 21 Publications (2007–2021)
Related Software: ANF; FLANN; GitHub; ADADELTA; creme; River; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

latentnet

Software Authors:   Pavel N. Krivitsky, Mark S. Handcock
Referenced in: 16 Publications (2010–2022)
Related Software: R; statnet; ergm; igraph; network; SAS; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

Hailfinder

Software Authors:   Abramson, B., Brown, J., Edwards, W., Murphy, A., Winkler, R. L.
Referenced in: 20 Publications (2006–2021)
Related Software: TETRAD; bnlearn; BENEDICT; MIM; gRapHD; AgenaRisk; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

INQUERY

Software Authors:   James P. Callan; W. Bruce Croft; Stephen M. Harding
Referenced in: 6 Publications (1997–2006)
Related Software: Okapi; Lemur; HySpirit; DB2; MySQL; MS SQL Server; …
Main Fields: Computer science (68-XX)

ObservabilityTest

Software Authors:   Sedoglavic, Alexandre
Referenced in: 20 Publications (2001–2020)
Related Software: DAISY; Maple; GenSSI; SIAN; COMBOS; BLAD; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

ProTDB

Software Authors:   A. Nierrman, H.V. Jagadish
Referenced in: 12 Publications (2005–2018)
Related Software: ProbView; PSQL; XPath; TAX; XSEarch; XQuery; …
Main Fields: Computer science (68-XX)

HMMER

Software Authors:   Robert D. Finn, Jody Clements, Sean R. Eddy
Referenced in: 12 Publications (2006–2019)
Related Software: ClustalW; UniProt; MUSCLE; MAFFT; R; MrBayes; …
Main Fields: General and overarching topics; collections (00-XX); Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX)

LiQuor

Software Authors:   –
Referenced in: 18 Publications (2007–2018)
Related Software: PRISM; MRMC; Rapture; Ymer; Rabinizer; PARAM; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

PVeStA

Software Authors:   AlTurki, M., Meseguer, J
Referenced in: 13 Publications (2011–2021)
Related Software: Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Edward

Software Authors:   Tran, D., Kucukelbir, A., Dieng, A. B., Rudolph, M., Liang, D., Blei, D. M.
Referenced in: 12 Publications (2017–2022)
Related Software: Stan; TensorFlow; ADVI; Theano; PyMC; Adam; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Numerical analysis (65-XX)

Ymer

Software Authors:   Younes, Håkan L.S.
Referenced in: 16 Publications (2005–2021)
Related Software: PRISM; VESTA; MRMC; COSMOS; Uppaal; Kronos; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

tRNAscan-SE

Software Authors:   Lowe T.M., Eddy S.R
Referenced in: 13 Publications (1998–2016)
Related Software: Mfold; Pfold; DINAMelt; Infernal; ARAGORN; EMBOSS; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

ABC-SubSim

Software Authors:   Chiachio, Manuel; Beck, James L.; Chiachio, Juan; Rus, Guillermo
Referenced in: 14 Publications (2014–2021)
Related Software: Pi4U; abcrf; AABC; epiABC; abc; CMA-ES; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

FAUST2

Software Authors:   S. Esmaeil Zadeh Soudjani, C. Gevaerts, A. Abate
Referenced in: 14 Publications (2017–2021)
Related Software: PRISM; StocHy; SReachTools; AMYTISS; MPT; Sostools; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PROPhESY

Software Authors:   Dehnert, C., Junges, S., Jansen, N., Corzilius, F., Volk, M., Bruintjes, H., Katoen, J.-P., Ábrahám, E.
Referenced in: 14 Publications (2015–2022)
Related Software: PRISM; Storm; PARAM; MRMC; Sylvan; GitHub; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

FACTORIE

Software Authors:   Andrew McCallum, Karl Schultz, Sameer Singh
Referenced in: 11 Publications (2011–2020)
Related Software: Church; IBAL; ProbLog; BLOG; Haskell; Infer.NET; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

SPOOK

Software Authors:   A. Pfeffer, D. Koller, B. Milch, K. Takusagawa
Referenced in: 11 Publications (2000–2020)
Related Software: BLOG; FACTORIE; IBAL; TETRAD; PRISM; MEBN; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Figaro

Software Authors:   Avi Pfeffer
Referenced in: 11 Publications (2015–2022)
Related Software: Church; ProbLog; Venture; BLOG; PRISM; Pyro; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

hglasso

Software Authors:   Tan, Kean Ming; London, Palma; Mohan, Karthik; Lee, Su-In; Fazel, Maryam; Witten, Daniela
Referenced in: 12 Publications (2014–2022)
Related Software: glasso; R; MIM; Julia; glmnet; MatrixLMnet; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Infernal

Software Authors:   Nawrocki EP, Kolbe DL, Eddy SR
Referenced in: 7 Publications (2010–2018)
Related Software: Rfam; R; ClustalW; Bioconductor; Mauve; Mugsy; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

MRtrix

Software Authors:   –
Referenced in: 9 Publications (2015–2022)
Related Software: FreeSurfer; GraphML; Connectome Mapper; Brain-Graph-Tools; PRMLT; ANTs; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Pfold

Software Authors:   Knudsen, B.; Hein, J. J.
Referenced in: 10 Publications (2004–2017)
Related Software: Mfold; UNAFold; tRNAscan-SE; RNAshapes; NNDB; RNAKinetics; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

bamlss

Software Authors:   Nikolaus Umlauf, Nadja Klein, Achim Zeileis, Meike Koehler, Thorsten Simon
Referenced in: 6 Publications (2015–2019)
Related Software: R; GAMLSS; BayesX; SemiPar; CODA; ggplot2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

Mixnet

Software Authors:   Picard, F., Miele, V., Daudin, J.-J., Cottret, L., Robin, S.
Referenced in: 10 Publications (2010–2022)
Related Software: igraph; StOCNET; MAVisto; Kavosh; FANMOD; Cytoscape; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

ig

Software Authors:   Víctor Leiva, Hugo Hernández, Antonio Sanhueza
Referenced in: 9 Publications (2008–2022)
Related Software: R; bs; normalp; goft; CASdatasets; GAMLSS
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

bayesTFR

Software Authors:   Hana Sevcikova; Leontine Alkema; Adrian Raftery
Referenced in: 6 Publications (2014–2021)
Related Software: bayesPop; bayesLife; bayesDem; R; rworldmap; CODA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

iscasMc

Software Authors:   Hahn, E.M., Li, Y., Schewe, S., Turrini, A., Zhang, L.
Referenced in: 8 Publications (2016–2021)
Related Software: PRISM; Storm; MRMC; Uppaal; PROPhESY; PARAM; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Quantum theory (81-XX)

nlr

Software Authors:   Bunch, David S.; Gay, David M.; Welsch, Roy E.
Referenced in: 9 Publications (1993–2009)
Related Software: NL2SOL; RODAS; bootstrap; Algorithm 611; CVODE; TRON; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

Abaqus2Matlab

Software Authors:   George Papazafeiropoulos, Miguel Muñiz-Calvente, Emilio Martínez-Pañeda
Referenced in: 7 Publications (2018–2021)
Related Software: ABAQUS; Matlab; PhaseFieldUEL; PhaseFieldH; UELSGP; GitHub; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

ADAM

Software Authors:   Hinkelmann F, Brandon M, Guang B, McNeill R, Blekherman G, Veliz-Cuba A, Laubenbacher R
Referenced in: 8 Publications (2011–2020)
Related Software: Ginsim; Macaulay2; BoolNet; SNOOPY; Polynome; multistatepdscontrol; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Biology and other natural sciences (92-XX)

CONTRAfold

Software Authors:   Do CB, Woods DA, Batzoglou S
Referenced in: 6 Publications (2008–2015)
Related Software: Mfold; Clustal X; ClustalW; RNAshapes; Rfam; Pfold; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

DRAGON

Software Authors:   Baker, J.
Referenced in: 6 Publications (2001–2022)
Related Software: R; ElemStatLearn; Wasserstein GAN; AdaGrad; NUTS; Label.switching; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MAGICC

Software Authors:   Tom Wigley; Sarah Raper; Malte Meinshausen
Referenced in: 6 Publications (2015–2020)
Related Software: CONOPT; Pymagicc; f90nml; IPython; Jupyter; OSCAR; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Fluid mechanics (76-XX)

MCINTYRE

Software Authors:   Riguzzi, F.
Referenced in: 7 Publications (2015–2019)
Related Software: ProbLog; PITA; CP-logic; PRISM; cplint; SWI-Prolog; …
Main Fields: Computer science (68-XX)

PSQL

Software Authors:   Dey, Debabrata; Sarkar, Sumit
Referenced in: 4 Publications (1998–2005)
Related Software: ProbView; ProTDB
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Computer science (68-XX)

pwcet

Software Authors:   Bernat G, Colin A, Petters S
Referenced in: 3 Publications (2015–2018)
Related Software: SPEC Benchmarks; ALF; aiT; FShell; RapiTime; gem5; …
Main Fields: Computer science (68-XX)

Rose

Software Authors:   J. Stoye, D. Evers, F. Meyer
Referenced in: 5 Publications (2008–2013)
Related Software: ClustalW; Clustal X; CLUSTAL; Pfam; Bali-phy; HMMoC; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Flow-GAN

Software Authors:   Aditya Grover, Manik Dhar, Stefano Ermon
Referenced in: 7 Publications (2020–2022)
Related Software: Glow; Wasserstein GAN; NICE; ANODEs; torchdiffeq; Adam; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Quicksilver

Software Authors:   Yang, X., Kwitt, R., Styner, M., Niethammer, M.
Referenced in: 7 Publications (2018–2021)
Related Software: VoxelMorph; Wasserstein GAN; U-Net; USAC; D2-Net; GMS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

BART-BMA

Software Authors:   Hernández, Belinda; Raftery, Adrian E.; Pennington, Stephen R.; Parnell, Andrew C.
Referenced in: 6 Publications (2018–2022)
Related Software: BartPy; R; bartMachine; randomForest; tsbart; GitHub; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

bayesLife

Software Authors:   Hana Sevcikova, Adrian Raftery; Jennifer Chunn
Referenced in: 5 Publications (2014–2021)
Related Software: bayesTFR; bayesPop; bayesDem; R; Demography; WOA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CMfinder

Software Authors:   Z. Yao, Z. Weinberg, W.L. Ruzzo
Referenced in: 4 Publications (2008–2018)
Related Software: Infernal; Rfam; pLoc-mHum; FoldRate; iDNA4mC; PROSPERous; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

DeepAR

Software Authors:   David Salinas, Valentin Flunkert, Jan Gasthaus
Referenced in: 5 Publications (2021–2022)
Related Software: forecast; Tensor2Tensor; Adam; fpp2; expsmooth; Forecast; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

ergm.graphlets

Software Authors:   Omer Nebil Yaveroglu, Sean M. Fitzhugh, Maciej Kurant, Athina Markopoulou, Carter T. Butts, Natasa Przulj
Referenced in: 3 Publications (2018–2021)
Related Software: ergm; R; statnet; ergm.userterms; network; SIENA; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

LargeVis

Software Authors:   Jian Tang, Jingzhou Liu, Ming Zhang, Qiaozhu Mei
Referenced in: 5 Publications (2018–2022)
Related Software: largeVis; UMAP; t-SNE; Scikit; UCI-ml; openTSNE; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

NMRDPP

Software Authors:   Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F.
Referenced in: 6 Publications (2006–2021)
Related Software: Graphplan; GitHub; MONA; PRISM; FluCaP; FODD-Planner; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OpenDR

Software Authors:   Matthew M. Loper; Michael J. Black
Referenced in: 4 Publications (2018–2021)
Related Software: TensorFlow; ImageNet; 3D-R2N2; ShapeNet; PyTorch; Adam; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PTSC

Software Authors:   –
Referenced in: 5 Publications (2012–2021)
Related Software: PAT; Isabelle; Coq; Maude; Uppaal; Maria; …
Main Fields: Computer science (68-XX)

Biips

Software Authors:   Adrien Todeschini, François Caron, Marc Fuentes, Pierrick Legrand, Pierre Del Moral
Referenced in: 0 Publications
Related Software: vSMC; R; LibBi; pomp; JAGS; BUGS; …
Main Fields:

Evigan

Software Authors:   Liu Q1, Mackey AJ, Roos DS, Pereira FC
Referenced in: 2 Publications (2011–2015)
Related Software: SURF; Theano; LIBLINEAR; LIBSVM; Matlab; ARACHNE; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

GSPPCA

Software Authors:   Bouveyron, Charles; Latouche, Pierre; Mattei, Pierre-Alexandre
Referenced in: 5 Publications (2017–2020)
Related Software: msda; PMA; Bessel; penalizedLDA; PCANet; PRMLT; …
Main Fields: Statistics (62-XX)

INFAMY

Software Authors:   Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
Referenced in: 4 Publications (2009–2015)
Related Software: PRISM; APMC; SBML Test Suite; SABRE; MARCIE; MRMC; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MarCaSPiS

Software Authors:   Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Referenced in: 5 Publications (2009–2015)
Related Software: COWS; MoDeST; GroupKit; KLAIM; SAS; SPSS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

MC2

Software Authors:   Robin Donaldson
Referenced in: 4 Publications (2010–2017)
Related Software: PRISM; Ymer; MRMC; COSMOS; MARCIE; Gecode; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

PreSPI

Software Authors:   D.S. Han, H.S. Kim, W.H. Jang, S.D. Lee, J.K. Suh
Referenced in: 3 Publications (2008–2019)
Related Software: InterPreTS; MCODE; BioGRID; CFinder; UniProt; KEGG; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Prophet

Software Authors:   Long, Fan; Rinard, Martin
Referenced in: 3 Publications (2017–2021)
Related Software: SemFix; Angelix; Codeflaws; Qlose; JFIX; GZoltar; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SLAM

Software Authors:   Alexandersson, M., Cawley, S., Pachter, L.
Referenced in: 3 Publications (2005–2015)
Related Software: BLAST; ECgene; PSI-BLAST; BLAT; ARACHNE; RePS; …
Main Fields: Probability theory and stochastic processes (60-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

StocHy

Software Authors:   Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate
Referenced in: 5 Publications (2019–2022)
Related Software: FAUST2; PRISM; SReachTools; ProbReach; AMYTISS; MoDeST; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

DiPro

Software Authors:   Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov
Referenced in: 2 Publications (2014)
Related Software: COMICS; PRISM; z3; CEGAR; MRMC; SCIP; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ensembleBMA

Software Authors:   Chris Fraley, Adrian E. Raftery, J. McLean Sloughter, Tilmann Gneiting, University of Washington
Referenced in: 2 Publications (2011–2014)
Related Software: R; ensembleMOS; scoringRules; zoo; devtools; ggplot2; …
Main Fields: Statistics (62-XX)

ExonHunter

Software Authors:   Brejová, B.; Brown, D. G.; Li, M.; Vinař, T.
Referenced in: 3 Publications (2007–2008)
Related Software: ESTScan; GlimmerHMM; TigrScan; EasyGene; Pfam; SMART; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

exoplanet

Software Authors:   Dan Foreman-Mackey
Referenced in: 1 Publication (2019)
Related Software: Python; batman; bootstrap; REBOUNDx; NbodyGradient; REBOUND; …
Main Fields: Statistics (62-XX)

GANAK

Software Authors:   Sharma, Shubham; Roy, Subhajit; Soos, Mate; Meel, Kuldeep S.
Referenced in: 4 Publications (2020–2021)
Related Software: sharpSAT; htd; CEGAR; BEACON; MUSer2; AMUSE; …
Main Fields: Computer science (68-XX)

GPU-PRISM

Software Authors:   Bošnački D, Edelkamp S, Sulewski D, Wijs A
Referenced in: 4 Publications (2016–2021)
Related Software: CUDA; mCRL2; PRISM; textX; GitHub; Storm; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

jpHMM

Software Authors:   A.-K. Schultz, I. Bulla, M. Abdou-Chekaraou, E. Gordien, B. Morgenstern, F. Zoulim, P. Dény, M. Stanke
Referenced in: 1 Publication (2011)
Related Software: CONSEL; Scoredist; HyPhy; RDP2; SplitsTree; Seq-Gen
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Markov Models

Software Authors:   Johannes Hölzl; Tobias Nipkow
Referenced in: 4 Publications (2016–2017)
Related Software: Isabelle/HOL; pGCL; MRMC; HOL; CAVA LTL Modelchecker; Density Compiler; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MMG

Software Authors:   Sanguinetti G, Noirel J, Wright PC
Referenced in: 1 Publication (2019)
Related Software: GeneNetWeaver; Path2Models; SOSlib; LASSIE; BioPreDyn-bench; sgnesR; …
Main Fields: Biology and other natural sciences (92-XX)

Mtreemix

Software Authors:   Niko Beerenwinkel; Jörg Rahnenführer; Rolf Kaiser; Daniel Hoffmann; Joachim Selbig; Thomas Lengauer
Referenced in: 4 Publications (2006–2019)
Related Software: R; S-Cluster++; SplitsTree; MrBayes; MCScanX; CYNTENATOR; …
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

multinomineq

Software Authors:   Daniel W. Heck
Referenced in: 4 Publications (2019–2022)
Related Software: R; QTest; BIEMS; GHS; BOCOR; BayesDA; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

OrientedSwaps

Software Authors:   E. Bisi, F. D. Cunden, S. Gibbons, D. Romik
Referenced in: 4 Publications (2020–2022)
Related Software:
Main Fields: Combinatorics (05-XX); Special functions (33-XX); Probability theory and stochastic processes (60-XX)

SNVMix

Software Authors:   Goya, R. et al.
Referenced in: 3 Publications (2012–2018)
Related Software: VarScan; RSEM; STAR; edgeR; Sniper; GlfMultiples; …
Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)

Turing

Software Authors:   Hong Ge, Kai Xu, Zoubin Ghahramani
Referenced in: 2 Publications (2022)
Related Software: Julia; Stan; PyMC; Optim; Distributions.jl; SciPy; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Varun

Software Authors:   A. Apostolico, M. Comin, L. Parida
Referenced in: 4 Publications (2013–2018)
Related Software: MADMX; WordSpy; MotifMiner; WebMOTIFS; fREDUCE; SPACER; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

VisualDOC

Software Authors:   Vanderplaats R&D, Inc.
Referenced in: 4 Publications (2005–2011)
Related Software: DOT; ABAQUS/Standard; GENESIS
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

BayesPy

Software Authors:   Luttinen, Jaakko
Referenced in: 3 Publications (2016–2021)
Related Software: Python; PyMC; PRMLT; Fizzy; Lingvo; Kpax3; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

BCEA

Software Authors:   Gianluca Baio, Andrea Berardi, Anna Heath
Referenced in: 1 Publication (2017)
Related Software: R; heemod; BCEAweb; TreeAge; hesim; Excel; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Dimple

Software Authors:   Shawn Hershey, Jeff Bernstein, Bill Bradley, Andrew Schweitzer, Noah Stein, Theo Weber, Ben Vigoda
Referenced in: 3 Publications (2016–2017)
Related Software: Infer.NET; BUGS; VIBES; BayesPy; Python; PyMC; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)