×

Found 71 Software Packages (Results 1–71)

Daikon

Software Authors:   Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
Cited in: 34 Publications (2005–2022)
Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

COOLCAT

Software Authors:   Barbará, D., Li, Y., Couto, J.
Cited in: 21 Publications (2006–2021)
Related Software: UCI-ml; ROCK; clusfind; AS 136; AutoClass; SpectralCAT; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

cpm

Software Authors:   Gordon J. Ross
Cited in: 16 Publications (2016–2022)
Related Software: R; changepoint; strucchange; bcp; ecp; cumSeg; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Geophysics (86-XX)

HPStream

Software Authors:   Aggarwal C, Han J, Wang J, Yu P
Cited in: 7 Publications (2007–2017)
Related Software: UCI-ml; clusfind; LCM; GraphScope; ROCK; TelegraphCQ; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

AWK

Software Authors:   Alfred V. Aho , Brian W. Kernighan , Peter J. Weinberger
Cited in: 17 Publications (1988–2019)
Related Software: Mathematica; PERL; PCM; HordeSat; OpenMPI; MCSTL; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Apache Flink

Software Authors:   The Apache Software Foundation; Carbone, P.; Katsifodimos, A.; Ewen, S.; Markl, V.; Haridi, S.; Tzoumas, K.
Cited in: 12 Publications (2016–2021)
Related Software: Apache Spark; GitHub; Spark; Naiad; TensorFlow; Hadoop; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

PerformanceAnalytics

Software Authors:   Brian G. Peterson; Peter Carl; et al
Cited in: 13 Publications (2014–2022)
Related Software: R; xts; TTR; QRM; quantmod; RMetrics; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Sigma*

Software Authors:   Matko Botinčan, Domagoj Babić
Cited in: 12 Publications (2013–2022)
Related Software: libalf; z3; RALib; LearnLib; Daikon; DART; …
Main Fields: Computer science (68-XX)

XMLTK

Software Authors:   Avila-Campillo I, Green TJ, Gupta A, Onizuka M, Raven D, Suciu D
Cited in: 7 Publications (2003–2011)
Related Software: XPath; NoDoSE; LIME; KLAIM; LEAP; XQuery; …
Main Fields: Computer science (68-XX)

momentuHMM

Software Authors:   Brett T. McClintock, Theo Michelot
Cited in: 7 Publications (2017–2021)
Related Software: moveHMM; R; crawl; ctmm; kftrack; ukfsst; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

StreamKrimp

Software Authors:   van Leeuwen M, Siebes A
Cited in: 7 Publications (2011–2020)
Related Software: Krimp; UCI-ml; SLIQ; R; changepoint; PrefixSpan; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

C-SPARQL

Software Authors:   Barbieri, Davide Francesco; Braga, Daniele; Ceri, Stefano; Della Valle, Emanuele; Grossniklaus, Michael
Cited in: 7 Publications (2010–2022)
Related Software: SPARQL; Clingo; oClingo; Apache Flink; Graal; Jena; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Coinductive

Software Authors:   Lochbihler, A.
Cited in: 7 Publications (2014–2021)
Related Software: Isabelle/HOL; Archive Formal Proofs; Coq; Isabelle; HOL; Isar; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GigaTensor

Software Authors:   U. Kang, E. Papalexakis, A. Harpale, C. Faloutsos
Cited in: 7 Publications (2016–2022)
Related Software: TensorToolbox; DFacTo; SPLATT; N-way Toolbox; Adam; Turbo-SMT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

hctsa

Software Authors:   B.D. Fulcher, N.S. Jones
Cited in: 3 Publications (2021)
Related Software: tsfresh; catch22; NumPy; Python; TSFEL; rocket; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

LabelRankT

Software Authors:   Jierui Xie, Mingming Chen, Boleslaw K. Szymanski
Cited in: 5 Publications (2016–2021)
Related Software: GitHub; SELP; NetworkX; GenLouvain; FacetNet; SNAP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

QUAL2Kw

Software Authors:   GJ Pelletier, SC Chapra, H Tao
Cited in: 5 Publications (2008–2019)
Related Software: CAPTAIN; Meso CASiMiR; AQUATOX; QUAL2K; HEC-RAS; PEAS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

VFML

Software Authors:   Hulten, G., Domingos, P.
Cited in: 3 Publications (2011–2017)
Related Software: UCI-ml; MOA; C4.5; KEEL
Main Fields: Statistics (62-XX); Computer science (68-XX)

AMON

Software Authors:   Michael Kallitsis, Stilian Stoev, Shrijita Bhattacharya, George Michailidis
Cited in: 4 Publications (2019–2022)
Related Software: astsa; RTDE
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

CORe50

Software Authors:   Vincenzo Lomonaco, Davide Maltoni
Cited in: 3 Publications (2019–2022)
Related Software: iCaRL; PyTorch; CIFAR; ImageNet; MNIST; OpenLORIS; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

Caravela

Software Authors:   Yamagiwa, Shinichi; Sousa, Leonel
Cited in: 1 Publication (2009)
Related Software: LDPC
Main Fields: Computer science (68-XX)

DelosDLMS

Software Authors:   Agosti, Maristella; Berretti, Stefano; Brettlecker, Gert; Del Bimbo, Alberto; Ferro, Nicola; Fuhr, Norbert; Keim, Daniel A.; Klas, Claus-Peter; Lidy, Thomas; Milano, Diego; Norrie, Moira C.; Ranaldi, Paola; Rauber, Andreas; Schek, Hans-Jörg; Schreck, Tobias; Schuldt, Heiko; Signer, Beat; Springmann, Michael
Cited in: 0 Publications
Related Software: MedioVis
Main Fields:

DS2V

Software Authors:   G.A. Bird
Cited in: 3 Publications (2011–2018)
Related Software: dsmcFoam; SMILE; foamDSMC; Scotch; MPI; METIS; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

MAX-FISM

Software Authors:   Farzanyar, Zahra; Kangavari, Mohammadreza; Cercone, Nick
Cited in: 3 Publications (2012–2018)
Related Software: CLOSET
Main Fields: Computer science (68-XX)

scanstatistics

Software Authors:   Benjamin Allévius
Cited in: 1 Publication (2019)
Related Software: R; Surveillance; rsatscan; tigris; KDE+; crimedata; …
Main Fields: Statistics (62-XX)

stream

Software Authors:   Michael Hahsler, Matthew Bolaños, John Forrest
Cited in: 2 Publications (2017–2021)
Related Software: UCI-ml; streamMOA; Rcpp; R; animation; RMOA; …
Main Fields: Computer science (68-XX)

CARTO

Software Authors:   Carto
Cited in: 0 Publications
Related Software: RColorBrewer; ggplot2; R; farver; StagLab; roloc; …
Main Fields:

CumulantsUpdates.jl

Software Authors:   Domino, K.; Gawron, P
Cited in: 2 Publications (2019–2020)
Related Software: Julia; GitHub; Cummulants.jl; Cumulants.jl; SymmetricTensors.jl; CuBICA
Main Fields: Statistics (62-XX); Statistical mechanics, structure of matter (82-XX)

FASAN

Software Authors:   Ebner, Ralf; Pfaffinger, Alexander
Cited in: 2 Publications (1998–1999)
Related Software: Haskell
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

LVMSR

Software Authors:   Wen, Wushao; Mukherjee, Biswanath; Chan, S.-H. Gary; Ghosal, Dipak
Cited in: 2 Publications (2003–2004)
Related Software:
Main Fields: Computer science (68-XX)

NMRPipe

Software Authors:   F Delaglio, S Grzesiek, G.W Vuister, G Zhu, J Pfeifer, A Bax
Cited in: 1 Publication (2020)
Related Software: XPLO2D; VMD-XPLOR; VMD; CNS; CHARMM; Xplor-NIH; …
Main Fields: Biology and other natural sciences (92-XX)

OCT

Software Authors:   Grossman, Robert; Gu, Yunhong; Sabala, Michal; Bennet, Colin; Seidman, Jonathan; Mambratti, Joe
Cited in: 1 Publication (2010)
Related Software: Eucalyptus; HBase; Hadoop; MapReduce
Main Fields: Computer science (68-XX)

OnlineStats.jl

Software Authors:   Josh Day; Hua Zhou
Cited in: 0 Publications
Related Software: Julia; DDSketch; ggplot2; Python; tdigest; patchwork; …
Main Fields:

rEMM

Software Authors:   Michael Hahsler, Margaret H. Dunham
Cited in: 0 Publications
Related Software: R; proxy; cluster (R); Rgraphviz; animation; RMOA; …
Main Fields:

River

Software Authors:   Montiel, Jacob; Halford, Max; Mastelini, Saulo Martiello; Bolmier, Geoffrey; Sourty, Raphael; Vaysse, Robin; Zouitine, Adil; Gomes, Heitor Murilo; Read, Jesse; Abdessalem, Talel; Bifet, Albert
Cited in: 1 Publication (2021)
Related Software: Scikit; Scikit-multiflow; creme; Python; TorchDrift; Alibi Detect; …
Main Fields: Computer science (68-XX)

SAMOA

Software Authors:   De Francisci Morales, Gianmarco; Bifet, Albert
Cited in: 0 Publications
Related Software: HPStream; clusfind; StreamKM++; MOA
Main Fields:

streamR

Software Authors:   Pablo Barbera
Cited in: 0 Publications
Related Software: twitteR; R; udpipe; httr; tidytext; stm; …
Main Fields:

Avalanche

Software Authors:   Vincenzo Lomonaco, Lorenzo Pellegrini, Andrea Cossu, Antonio Carta, Gabriele Graffieti, Tyler L. Hayes, Matthias De Lange, Marc Masana, Jary Pomponi, Gido van de Ven, Martin Mundt, Qi She, Keiland Cooper, Jeremy Forest, Eden Belouadah, Simone Calderara, German I. Parisi, Fabio Cuzzolin, Andreas Tolias, Simone Scardapane, Luca Antiga, Subutai Amhad, Adrian Popescu, Christopher Kanan, Joost van de Weijer, Tinne Tuytelaars, Davide Bacciu, Davide Maltoni
Cited in: 0 Publications
Related Software: MNIST; OpenLORIS; Stream-51; Transformers; iCaRL; CORe50; …
Main Fields:

BlendTorch

Software Authors:   Christoph Heindl, Lukas Brunner, Sebastian Zambal, Josef Scharinger
Cited in: 0 Publications
Related Software: CAD2RL; NDDS; Stillleben; ZeroMQ; ImageNet; Adam; …
Main Fields:

D3CAS

Software Authors:   Roberto Molina; Waldo Hasperué; Augusto Villa Monte
Cited in: 0 Publications
Related Software: SciPy; Octave; Matlab; generateData
Main Fields:

DDSketch

Software Authors:   Charles Masson, Jee E. Rim, Homin K. Lee
Cited in: 0 Publications
Related Software: ggplot2; Python; tdigest; patchwork; benchden; microbenchmark; …
Main Fields:

Drive&Act

Software Authors:   Manuel Martin, Alina Roitberg, Monica Haurilet, Matthias Horne, Simon Reiss, Michael Voit, Rainer Stiefelhagen
Cited in: 0 Publications
Related Software: L5Kit; BoundingBoxes; LabelMe; H3D; Waymo; ApolloScape; …
Main Fields:

drums

Software Authors:   Butler, Troy; Hakula, Harri
Cited in: 1 Publication (2020)
Related Software: BayesDA; Mathematica
Main Fields: Measure and integration (28-XX); Probability theory and stochastic processes (60-XX)

EACirc

Software Authors:   Petr Švenda; et al.; Masaryk University, Brno, Czech Republic
Cited in: 1 Publication (2020)
Related Software: CryptoStreams; SWIFFTX; SWIFFT; CUDA
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Embed2detect

Software Authors:   Hettiarachchi, Hansi; Adedoyin-Olowe, Mariam; Bhogal, Jagdev; Gaber, Mohamed Medhat
Cited in: 1 Publication (2022)
Related Software: BOND; TwitterNews; DistilBERT; BERT; Transformers; GloVe; …
Main Fields: Computer science (68-XX)

Equi-Clustream

Software Authors:   Sangam, Ravi Sankar; Om, Hari
Cited in: 1 Publication (2018)
Related Software: FlockStream; AutoClass; StreamKM++; k-means++; SpectralCAT; UCI-ml
Main Fields: Statistics (62-XX)

EventHands

Software Authors:   Rudnev, V., Golyanik, V., Wang, J., Seidel, H.P., Mueller, F., Elgharib, M., Theobalt, C.
Cited in: 0 Publications
Related Software: JGR-P2O; Hand PointNet; Silhouette-Net; MeshTransformer; SolarGest; V2V-PoseNet; …
Main Fields:

factas

Software Authors:   Bar R
Cited in: 0 Publications
Related Software: R; animation; RMOA; rJava; Rlecuyer; quantmod; …
Main Fields:

fitgrid

Software Authors:   Thomas P. Urbach; Andrey S. Portnoy
Cited in: 0 Publications
Related Software: Pymer4; patsy; Scikit; Lmertest; Matplotlib; NumPy; …
Main Fields:

FlockStream

Software Authors:   Forestiero A, Pizzuti C, Spezzano G
Cited in: 1 Publication (2018)
Related Software: Equi-Clustream; AutoClass; StreamKM++; k-means++; SpectralCAT; UCI-ml
Main Fields: Statistics (62-XX)

FLoWS

Software Authors:   Theobald D, Norman J, Peterson EE, Ferraz S, Wade A, Sherburne MR
Cited in: 0 Publications
Related Software: R; GRASS GIS; ArcGIS Desktop; SSN; Arc Hydro; Python; …
Main Fields:

IncDTW

Software Authors:   Maximilian Leodolter
Cited in: 0 Publications
Related Software: reticulate; microbenchmark; RcppArmadillo; Rcpp; dtaidistance; Cython; …
Main Fields:

Loda

Software Authors:   Pevný, Tomáš
Cited in: 1 Publication (2016)
Related Software: IsolationForest; Orca; LOF; FRaC; LIBSVM; UCI-ml
Main Fields: Computer science (68-XX)

mPyPl

Software Authors:   Dmitry Soshnikov, Yana Valieva
Cited in: 0 Publications
Related Software: Pipe; Horovod; Apache Spark; Keras; pandas; Python
Main Fields:

NxTF

Software Authors:   Bodo Rueckauer, Connor Bybee, Ralf Goettsche, Yashwardhan Singh, Joyesh Mishra, Andreas Wild
Cited in: 0 Publications
Related Software: Brian; NEST; SpikeCoding; Pynn; Nengo; MNIST; …
Main Fields:

Pathomic Fusion

Software Authors:   Richard J. Chen, Ming Y. Lu, Jingwen Wang, Drew F. K. Williamson, Scott J. Rodig, Neal I. Lindeman, Faisal Mahmood
Cited in: 1 Publication (2021)
Related Software: Grad-CAM; Microscope; pyjive; GitHub; ImageNet; PyTorch; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

PStream

Software Authors:   Chen, Hanhua; Zhang, Fan; Jin, Hai
Cited in: 1 Publication (2021)
Related Software:
Main Fields: Computer science (68-XX)

QuiXProc

Software Authors:   Zergaoui, M.
Cited in: 0 Publications
Related Software: Calabash; QuiX; X-Fun; XQuery
Main Fields: Computer science (68-XX)

ramidst

Software Authors:   Antonio Salmeron, Dario Ramos-Lopez, Helge Langseth, Thomas D. Nielsen, Anders L. Madsen, Andres Masegosa, Ana M. Martinez, Rafael Cabanas
Cited in: 0 Publications
Related Software: eqtl; R/qtl; qtlnet; AMIDST; HUGIN; gRain; …
Main Fields:

Redis

Software Authors:   Salvatore Sanfilippo
Cited in: 0 Publications
Related Software: Drizzle; MuJoCo; Horovod; ELF; Pregel; GraphLab; …
Main Fields:

Sarcheshmeh

Software Authors:   Dezfuli, Mohammad G.; Haghjoo, Mostafa S.
Cited in: 1 Publication (2012)
Related Software:
Main Fields: Computer science (68-XX)

SPAMS

Software Authors:   Vinceslas, Lionel; Symphor, Jean-Emile; Mancheron, Alban; Poncelet, Pascal
Cited in: 1 Publication (2010)
Related Software: SPADE
Main Fields: Computer science (68-XX)

SSNdesign

Software Authors:   Alan R. Pearse, James M. McGree, Nicholas A. Som, Catherine Leigh, Jay M. Ver Hoef, Paul Maxwell, Erin E. Peterson
Cited in: 0 Publications
Related Software: SSN; geospt; spsurvey; acebayes; R
Main Fields:

Stream Fusion Code

Software Authors:   Andreas Lochbihler; Alexandra Maximova
Cited in: 1 Publication (2015)
Related Software: Stream Fusion; CeTA; Isabelle/HOL; Isabelle
Main Fields: Computer science (68-XX)

Stream-51

Software Authors:   Ryne Roady, Tyler L Hayes, Hitesh Vaidya, Christopher Kanan
Cited in: 0 Publications
Related Software: MNIST; OpenLORIS; Transformers; iCaRL; CORe50; Caffe; …
Main Fields:

Teem

Software Authors:   –
Cited in: 1 Publication (2020)
Related Software: nlpdegm; BlockPDPS.jl; ARock; Julia
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

UDDSketch

Software Authors:   Italo Epicoco, Catiuscia Melle, Massimo Cafaro, Marco Pulimeno, Giuseppe Morleo
Cited in: 0 Publications
Related Software: DDSketch; ggplot2; Python; tdigest; patchwork; benchden; …
Main Fields:

nonmemica

Software Authors:   Tim Bergsma
Cited in: 0 Publications
Related Software:
Main Fields:

simEd

Software Authors:   Barry Lawson, Larry Leemis
Cited in: 0 Publications
Related Software:
Main Fields:

StreamFlex

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

TecDEM

Software Authors:   Faisal Shahzad, Richard Gloaguen
Cited in: 0 Publications
Related Software:
Main Fields: