×

Found 55 Software Packages (Results 1–55)

LARCH

Software Authors:   Guttag, John V.; Horning, James J.
Referenced in: 94 Publications (1989–2021)
Related Software: JML; Eiffel; PVS; CASL; Maude; CafeOBJ; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

DIRECT

Software Authors:   Finkel, D.E; He, Jian; Verstak, Alex; Watson, Layne T.; Sosonkina, Masha
Referenced in: 62 Publications (2006–2022)
Related Software: LGO; MCS; SymDIRECT; EGO; PSwarm; Algorithm 829; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

CRIO

Software Authors:   Romy Shioda
Referenced in: 30 Publications (2007–2022)
Related Software: UCI-ml; C4.5; rpart; LIBSVM; ElemStatLearn; randomForest; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

CloudSim

Software Authors:   Rodrigo N. Calheiros, Rajiv Ranjan, Cesar A. F. De Rose, Rajkumar Buyya
Referenced in: 16 Publications (2012–2021)
Related Software: GridSim; pMapper; Amazon EC2; Eucalyptus; OpenNebula; Satin; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Hyperband

Software Authors:   L. Li, K. Jamieson, G. DeSalvo, A. Rostamizadeh, A. Talwalkar
Referenced in: 22 Publications (2018–2022)
Related Software: Spearmint; SMAC; Hyperopt; Adam; GitHub; Scikit; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Volcano

Software Authors:   Graefe, G.
Referenced in: 6 Publications (2000–2018)
Related Software: DB2; POTENTIAL; IQ-Meter; LUBM; E Theorem Prover; SPARQL; …
Main Fields: Computer science (68-XX)

Checkfence

Software Authors:   Burckhardt, S., Alur, R., Martin, M.K.
Referenced in: 18 Publications (2007–2018)
Related Software: veriSoft; SPIN; UMM; CBMC; Java Grande; Antichains; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

lda

Software Authors:   Jonathan Chang
Referenced in: 9 Publications (2012–2022)
Related Software: R; topicmodels; stm; igraph; quanteda; LDAvis; …
Main Fields: History and biography (01-XX); Statistics (62-XX); Computer science (68-XX)

Medlda

Software Authors:   Zhu, Jun; Ahmed, Amr; Xing, Eric P.
Referenced in: 13 Publications (2012–2021)
Related Software: PRMLT; LIBLINEAR; UCI-ml; GibbsLDA++; L-BFGS; horserule; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

EquiLoad

Software Authors:   Ciardo, G.; Riska, A.; Smirni, E.
Referenced in: 10 Publications (2001–2020)
Related Software: Jphase; OMNet++; MCQueue; Geist
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OctNet

Software Authors:   Gernot Riegler, Ali Osman Ulusoy, Andreas Geiger
Referenced in: 9 Publications (2018–2021)
Related Software: PointNet; VoxNet; ImageNet; KITTI; DeepLab; ShapeNet; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

JGibbLDA

Software Authors:   Xuan-Hieu Phan; Cam-Tu Nguyen
Referenced in: 7 Publications (2011–2022)
Related Software: TwitterRank; Maven; la4j; JAMA; Lucene; Lemur; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LDAvis

Software Authors:   Carson Sievert, Kenny Shirley
Referenced in: 4 Publications (2017–2020)
Related Software: topicmodels; lda; R; stminsights; stm; quanteda; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

NHPP

Software Authors:   –
Referenced in: 6 Publications (2000–2016)
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

EXPRESS

Software Authors:   Shu, N. C.; Housel, B. C.; Taylor, R. W.; Ghosh, S. P.; Lum, V. Y.
Referenced in: 4 Publications (1983–2016)
Related Software:
Main Fields: Computer science (68-XX)

ff

Software Authors:   Daniel Adler, Christian Gläser, Oleg Nenadic, Jens Oehlschlägel, Walter Zucchini
Referenced in: 1 Publication (2019)
Related Software: R; snow; lattice; Rlecuyer; mvtnorm; multicore; …
Main Fields: Statistics (62-XX)

Soda

Software Authors:   Joel Wolf; Nikhil Bansal; Kirsten Hildrum; Sujay Parekh; Deepak Rajan; Rohit Wagle; Kun-Lung Wu; Lisa Fleischer
Referenced in: 1 Publication (2014)
Related Software: TelegraphCQ; WebSphere; DataCutter; StreamIt; MS SQL Server; OMNet++; …
Main Fields: Computer science (68-XX)

SPECjvm98

Software Authors:   Sylvia Dieckmann, Urs Hölzle
Referenced in: 4 Publications (2000–2010)
Related Software: DaCapo; GC; Wattch; SimpleScalar; SPECjvm2008; SciMark
Main Fields: Computer science (68-XX)

SAFECode

Software Authors:   Dhurjati, D., Kowshik, S., Adve, V.
Referenced in: 4 Publications (2008–2013)
Related Software: CCured; Coq; LLVM
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

TreeClone

Software Authors:   Zhou, Tianjian; Sengupta, Subhajit; Müller, Peter; Ji, Yuan
Referenced in: 3 Publications (2019–2021)
Related Software: PyClone; PhyloWGS; PairClone; BWA; SciClone; THetA; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

TTLocVis

Software Authors:   Kant, G., Weisser, C., Säfken, B.
Referenced in: 1 Publication (2021)
Related Software: R; udpipe; httr; tidytext; stm; jsonlite; …
Main Fields: Statistics (62-XX)

Dyn-MPI

Software Authors:   Weatherly, D.Brent; Lowenthal, David K.; Nakazawa, Mario; Lowenthal, Franklin
Referenced in: 1 Publication (2006)
Related Software: CHARM++
Main Fields: Computer science (68-XX)

Emmerald

Software Authors:   Aberdeen, D.; Baxter, J.
Referenced in: 2 Publications (2001–2016)
Related Software: SPIKE; PHiPAC; ATLAS
Main Fields: Numerical analysis (65-XX)

GeMDA

Software Authors:   Lo, Yu-Lung; Hua, Kien A.; Young, Honesty C.
Referenced in: 2 Publications (2001–2003)
Related Software:
Main Fields: Computer science (68-XX)

Massdal

Software Authors:   G. Cormode
Referenced in: 2 Publications (2007–2008)
Related Software: Fracdim; qcc; TISEAN; VRA
Main Fields: Dynamical systems and ergodic theory (37-XX); Systems theory; control (93-XX)

MM90

Software Authors:   Michalakes, J.
Referenced in: 2 Publications (1997–2000)
Related Software: RSL; PETSc; MM5
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

PurBayes

Software Authors:   Larson, N. B.; Fridley, B. L.
Referenced in: 2 Publications (2015–2021)
Related Software: BWA; PyClone; PurityEst; TreeClone; SciClone; PhyloWGS; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

RARtool

Software Authors:   Yevgen Ryeznik, Oleksandr Sverdlov, Weng Kee Wong
Referenced in: 0 Publications
Related Software: Matlab; R; ggplot2; Stata; experiment; RITA; …
Main Fields:

smartcities

Software Authors:   Ushijima-Mwesigwa, Hayato; Khan, MD Zadid; Chowdhury, Mashrur A.; Safro, Ilya
Referenced in: 2 Publications (2021–2022)
Related Software: GitHub; OpenStreetMap; Pyomo; CPLEX
Main Fields: Operations research, mathematical programming (90-XX)

stplanr

Software Authors:   Robin Lovelace; Richard Ellison
Referenced in: 0 Publications
Related Software: R; opentripplanner; osrmr; hereR; mapboxapi; graphhopper; …
Main Fields:

BayClone2

Software Authors:   Ji, Yuan; Sengupta, Subhajit; Lee, Juhee; Müller, Peter; Gulukota, Kamalakar
Referenced in: 1 Publication (2015)
Related Software: SciClone; PyClone; THetA; GATK; R
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

blocksdesign

Software Authors:   R. N. Edmondson
Referenced in: 0 Publications
Related Software: golem; agricolae; R; FielDHub
Main Fields:

Clinstat

Software Authors:   Bland M
Referenced in: 0 Publications
Related Software: R; ggplot2; Stata; RARtool; experiment; RITA; …
Main Fields:

CRTsampleSearch

Software Authors:   Zhai, Ruoshui; Gutman, Roee
Referenced in: 1 Publication (2021)
Related Software: CRTSize; Stata; R
Main Fields: Statistics (62-XX)

CuPP

Software Authors:   Jens Breitbart
Referenced in: 0 Publications
Related Software: NAS Parallel Benchmarks; Copperhead; SkePU; OpenACC; OpenCL; ViennaCL; …
Main Fields:

dfa

Software Authors:   Ni, Yang; Müller, Peter; Ji, Yuan
Referenced in: 1 Publication (2020)
Related Software: BNPdensity; BDgraph; shiny; R
Main Fields: Statistics (62-XX)

DOLIB

Software Authors:   D'Azevedo, E.F.; Romine, C.H.
Referenced in: 1 Publication (1995)
Related Software:
Main Fields: Computer science (68-XX)

FEADS

Software Authors:   Pai, Rajani; Govindarajan, R.
Referenced in: 1 Publication (2007)
Related Software:
Main Fields: Computer science (68-XX)

gcamland

Software Authors:   Calvin, K., Link, R. and Wise, M.
Referenced in: 0 Publications
Related Software: doParallel; devtools; rethinking; R
Main Fields:

GLFM

Software Authors:   Valera, Isabel; Pradier, Melanie F.; Lomeli, Maria; Ghahramani, Zoubin
Referenced in: 1 Publication (2020)
Related Software:
Main Fields: Computer science (68-XX)

Ithemal

Software Authors:   Charith Mendis; Saman Amarasinghe; Michael Carbin
Referenced in: 0 Publications
Related Software:
Main Fields:

JAligner

Software Authors:   Moustafa A.
Referenced in: 0 Publications
Related Software: JLAPACK; Globus Toolkit; PyACTS
Main Fields:

MPWide

Software Authors:   Groen, D., Rieder, S., Portegies Zwart, S.
Referenced in: 0 Publications
Related Software: GreeM; TreePM; Padicotm; ZeroMQ
Main Fields:

PottsMix

Software Authors:   Song, Yin; Nathoo, Farouk; Babul, Arif
Referenced in: 1 Publication (2019)
Related Software: GitHub; R
Main Fields: Statistics (62-XX)

RALLOC

Software Authors:   Ryan P
Referenced in: 0 Publications
Related Software: R; ggplot2; Stata; RARtool; experiment; RITA; …
Main Fields:

S4CAD

Software Authors:   Sedukhin, S.G.; Sedukhin, I.S.
Referenced in: 1 Publication (1993)
Related Software:
Main Fields: Computer science (68-XX)

StateMod

Software Authors:   cdss.colorado.gov
Referenced in: 0 Publications
Related Software: mosartwmpy; GLOFRIM; E3SM; CLM; MODFLOW; Python
Main Fields:

stratifyR

Software Authors:   Karuna G. Reddy, M. G. M. Khan
Referenced in: 0 Publications
Related Software: PracTools; sampling; survival; DiagrammeR; surveyplanning; R; …
Main Fields:

StreamTMC

Software Authors:   Wei, Haitao; Qin, Mingkang; Zhang, Weiwei; Yu, Junqing; Fan, Dongrui; Gao, Guang R.
Referenced in: 0 Publications
Related Software:
Main Fields:

TuPAQ

Software Authors:   Evan R. Sparks, Ameet Talwalkar, Michael J. Franklin, Michael I. Jordan, Tim Kraska
Referenced in: 1 Publication (2020)
Related Software: ADADELTA; HSL-VF05; EMNIST; HOGWILD; Adam; AdaGrad; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

TweetViz

Software Authors:   Stojanovski, D., Dimitrovski, I., Madjarov, G.
Referenced in: 0 Publications
Related Software: TopicFlow; Evently; Python; TTLocVis
Main Fields:

CLDA

Software Authors:   Qiu, Lirong; Yu, Jia
Referenced in: 0 Publications
Related Software:
Main Fields:

EFEU

Software Authors:   Erich Frühstück
Referenced in: 0 Publications
Related Software:
Main Fields:

StreamFlex

Software Authors:   Spring JH, Privat J, Guerraoui R, Vitek J.
Referenced in: 0 Publications
Related Software:
Main Fields:

Tenscalc

Software Authors:   Hespanha, João P.
Referenced in: 0 Publications
Related Software:
Main Fields: