@article(baez2017, author = {John C. Baez and Blake S. Pollard}, year = {2017}, title = {A compositional framework for reaction networks}, journal = {Reviews in Mathematical Physics}, volume = {29}, number = {09}, pages = {1750028}, doi = {10.1142/s0129055x17500283}, ) @article(doi:10.1137/141000671, author = {J. Bezanson and A. Edelman and S. Karpinski and V. Shah}, year = {2017}, title = {Julia: A Fresh Approach to Numerical Computing}, journal = {SIAM Review}, volume = {59}, number = {1}, pages = {65--98}, doi = {10.1137/141000671}, ) @article(BOEHM19833, author = {B.W. Boehm}, year = {1983}, title = {Seven basic principles of software engineering}, journal = {Journal of Systems and Software}, volume = {3}, number = {1}, pages = {3 -- 24}, doi = {10.1016/0164-1212(83)90003-1}, ) @inproceedings(Budak:2011:LSM:1963405.1963499, author = {C. Budak and D. Agrawal and El Abbadi, A.}, year = {2011}, title = {Limiting the Spread of Misinformation in Social Networks}, booktitle = {Proceedings of the 20th International Conference on World Wide Web}, series = {WWW '11}, publisher = {ACM}, address = {New York, NY, USA}, pages = {665--674}, doi = {10.1145/1963405.1963499}, ) @article(PhysRevLett.91.247901, author = {R. Cohen and S. Havlin and D. ben Avraham}, year = {2003}, title = {Efficient Immunization Strategies for Computer Networks and Populations}, journal = {Phys. Rev. Lett.}, volume = {91}, pages = {247901}, doi = {10.1103/PhysRevLett.91.247901}, ) @article(deelman2017, author = {Ewa Deelman and Tom Peterka and Ilkay Altintas and Christopher D Carothers and Kerstin Kleese van Dam and Kenneth Moreland and Manish Parashar and Lavanya Ramakrishnan and Michela Taufer and Jeffrey Vetter}, year = {2017}, title = {The future of scientific workflows}, journal = {The International Journal of High Performance Computing Applications}, volume = {32}, number = {1}, pages = {159--175}, doi = {10.1177/1094342017704893}, ) @article(drobot1953, author = {S. Drobot}, year = {1953}, title = {On the foundations of Dimensional Analysis}, journal = {Studia Mathematica}, volume = {14}, number = {1}, pages = {84--99}, doi = {10.4064/sm-14-1-84-99}, ) @inproceedings(dbscan, author = {M. Ester and H. Kriegel and J. Sander and X. Xu}, year = {1996}, title = {A Density-based Algorithm for Discovering Clusters a Density-based Algorithm for Discovering Clusters in Large Spatial Databases with Noise}, booktitle = {Proceedings of the Second International Conference on Knowledge Discovery and Data Mining}, series = {KDD'96}, publisher = {AAAI Press}, pages = {226--231}, url = {https://dl.acm.org/doi/10.5555/3001460.3001507}, ) @book(fong2018, author = {Brendan Fong and David I. Spivak}, year = {2019}, title = {An Invitation to Applied Category Theory}, publisher = {Cambridge University Press}, doi = {10.1017/9781108668804}, ) @misc(epirecipes, author = {Simon Frost and Allyson Walsh and Jade Thompson}, year = {2018}, title = {Epicookbook: A cookbook of epidemiological models}, url = {http://epirecip.es/}, ) @article(Hoare:1969:ABC:363235.363259, author = {C.A.R. Hoare}, year = {1969}, title = {An Axiomatic Basis for Computer Programming}, journal = {Commun. ACM}, volume = {12}, number = {10}, pages = {576--580}, doi = {10.1145/363235.363259}, ) @unpublished(spacy2, author = {M. Honnibal and I. Montani}, year = {2017}, title = {{spaCy 2}: Natural language understanding with Bloom embeddings, convolutional neural networks and incremental parsing}, url = {https://spacy.io/}, ) @misc(scipy, author = {E. Jones and T. Oliphant and P. Peterson}, year = {2001--}, title = {{SciPy}: Open source scientific tools for {Python}}, url = {http://www.scipy.org/}, note = {[Online; accessed on 02/14/2019]}, ) @article(macedo2013, author = {Hugo Daniel Macedo and Jos{\'{e}} Nuno Oliveira}, year = {2013}, title = {Typing linear algebra: A biproduct-oriented approach}, journal = {Science of Computer Programming}, volume = {78}, number = {11}, pages = {2160--2191}, doi = {10.1016/j.scico.2012.07.012}, ) @inproceedings(manzino2014, author = {C. Manzino and A. Pardo}, year = {2014}, title = {A Security Types Preserving Compiler in {H}askell}, editor = {Quint{\~a}o Pereira, F.M.}, booktitle = {Programming Languages: SBLP 2014}, volume = {8771}, publisher = {Springer International Publishing}, address = {Cham}, pages = {16--30}, doi = {10.1007/978-3-319-11863-5\_2}, ) @misc(matlab, author = {MATLAB}, year = {2018}, title = {version 9.5.0 (R2018b)}, url = {https://www.mathworks.com/products/matlab.html}, ) @article(umap, author = {L. McInnes and J. Healy}, year = {2018}, title = {{UMAP:} Uniform Manifold Approximation and Projection for Dimension Reduction}, journal = {CoRR}, volume = {abs/1802.03426}, doi = {10.21105/joss.00861}, url = {https://arxiv.org/abs/1802.03426}, ) @inproceedings(Mikolov:2013:DRW:2999792.2999959, author = {T. Mikolov and I. Sutskever and K. Chen and G. Corrado and J. Dean}, year = {2013}, title = {Distributed Representations of Words and Phrases and Their Compositionality}, booktitle = {Proceedings of the 26th International Conference on Neural Information Processing Systems - Volume 2}, series = {NIPS'13}, publisher = {Curran Associates Inc.}, address = {USA}, pages = {3111--3119}, url = {https://dl.acm.org/doi/10.5555/2999792.2999959}, ) @misc(automates, author = {C. Morrison}, year = {2019}, title = {Automates: Automated Model Assembly from Text, Equations, and Software}, url = {https://ml4ai.github.io/automates/}, note = {(Accessed on 02/15/2019)}, ) @article(DBLP:journals/corr/abs-1807-05691, author = {E. Patterson and I. Baldini and A. Mojsilovic and K.R. Varshney}, year = {2018}, title = {Teaching machines to understand data science code by semantic enrichment of dataflow graphs}, journal = {CoRR}, volume = {abs/1807.05691}, url = {http://arxiv.org/abs/1807.05691}, ) @article(Pedregosa:2011:SML:1953048.2078195, author = {F. Pedregosa and G. Varoquaux and A. Gramfort and V. Michel and B. Thirion and O. Grisel and M. Blondel and P. Prettenhofer and R. Weiss and V. Dubourg and J. Vanderplas and A. Passos and D. Cournapeau and M. Brucher and M. Perrot and \'{E}. Duchesnay}, year = {2011}, title = {Scikit-learn: Machine Learning in Python}, journal = {J. Mach. Learn. Res.}, volume = {12}, pages = {2825--2830}, url = {https://dl.acm.org/doi/10.5555/1953048.2078195}, ) @book(Spivak:2014:CTS:2628001, author = {D.I. Spivak}, year = {2014}, title = {Category Theory for the Sciences}, publisher = {The MIT Press}, url = {https://mitpress.mit.edu/books/category-theory-sciences}, ) @article(10.1371/journal.pone.0024274, author = {D.I. Spivak and R.E. Kent}, year = {2012}, title = {Ologs: A Categorical Framework for Knowledge Representation}, journal = {PLOS ONE}, volume = {7}, number = {1}, pages = {1--1}, doi = {10.1371/journal.pone.0024274}, ) @inproceedings(Wadler:1992:EFP:143165.143169, author = {P. Wadler}, year = {1992}, title = {The Essence of Functional Programming}, booktitle = {Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL '92}, publisher = {ACM}, address = {New York, NY, USA}, pages = {1--14}, doi = {10.1145/143165.143169}, ) @misc(twelve, author = {A. Wiggins}, year = {2017}, title = {The Twelve-Factor App}, url = {https://12factor.net/}, note = {(Accessed on 02/15/2019)}, ) @article(wilson2014, author = {Greg Wilson and D. A. Aruliah and C. Titus Brown and Neil P. Chue Hong and Matt Davis and Richard T. Guy and Steven H. D. Haddock and Kathryn D. Huff and Ian M. Mitchell and Mark D. Plumbley and Ben Waugh and Ethan P. White and Paul Wilson}, year = {2014}, title = {Best Practices for Scientific Computing}, journal = {{PLoS} Biology}, volume = {12}, number = {1}, pages = {e1001745}, doi = {10.1371/journal.pbio.1001745}, )