kpthesis.bib

@article{ Ros57,
        author = {Frank Rosenblatt},
        title = {The Perceptron, a perceiving and recognizing automaton},
        journal = {Report: Cornell Aeronautical Laboratory},
        volume = {58},
        number = {460},
        year = {1957}}

@inproceedings{ MGS17,
        author = {Murphy, Charlie and Gray, Patrick and Stewart, Gordon},
        year = 2017,
        title = {Verified perceptron convergence theorem},
        booktitle = {MAPL'17},
        address = {Barcelona}}
        
@article{ ABR64,
        author = {Aizerman, M. A. and Braverman, E. M. and Rozoner, L. I.},
        title = {Theoretical foundations of the potential function method in pattern recognition learning},
        journal = {Automation and Remote Control},
        volume = 25,
        pages = {821-837},
        year = 1964}
        
@inproceedings{ LTS90,
        author = {Levin, Esther and Tishby, Naftali and Solla, S. A.},
        year = 1990,
        title = {A statistical approach to learning and generalization in layered neural networks},
        booktitle = {Proceedings of the IEEE},
        volume = 78,
        pages = {1568-1574}}
        
@article{ CCBG07,
        author = {Cavallanti, Giovanni and Cesa-Bianchi, Nicolo and Gentile, Claudio},
        title = {Tracking the best hyperplane with a simple budget Perceptron},
        journal = {Machine Learning},
        volume = 69,
        number = 23,
        pages = {143-167},
        year = 2007}
        
@article{ DSSS07,
        author = {Dekel, Ofer and Shalev-Shwartz, Shai and Singer, Yoram},
        title = {The Forgetron: a kernel-based Perceptron on a budget},
        journal = {SIAM Journal on Computing},
        volume = 37,
        number = 5,
        pages = {1342-1372},
        year = 2007}
        
@inproceedings{ CKS03,
        author = {Crammer, Koby and Kandola, Jaz and Singer, Yoram},
        title = {Online classification on a budget},
        booktitle = {Advances in Neural Information Processing Systems 16},
        publisher = {Proceedings of NIPS 2003},
        year = 2003}
        
@article{ OKC09,
        author = {Orabona, Francesco and Keshet, Joseph and Caputo, Barbara},
        title = {Bounded kernel-based online learning},
        journal = {Journal of Machine Learning Research},
        volume = 10,
        number = 11,
        pages = {2643-2666},
        year = 2009}
        
@inproceedings{ BS19,
        author = {Bagnall, Alexander and Stewart, Gordon},
        title = {Certifying the true error: machine learning in Coq with verified generalization guarantees},
        booktitle = {Proceedings of AAAI'19},
        pages = {2662-2669},
        address = {Hawaii},
        year = 2019}
        
@inproceedings{ BF16,
        author = {Bibal, Adrien and Fr\'enay, Benoit},
        title = {Interpretability of machine learning models and representations: an introduction},
        booktitle = {ESANN'16 Proceedings},
        address = {Bruges},
        year = 2016}
        
@inproceedings{ TD05,
        author = {Taylor, Brian. J. and Darrah, Marjorie A.},
        title = {Rule extraction as a formal method for the verification and validation of neural networks},
        booktitle = {Proceedings of IEEE International Joint Conference on Neural Networks 2005},
        pages = {2915-2920},
        year = 2005,
        address = {Montreal}}
        
@inproceedings{ LBBH98,
        author = {LeCun, Yann and Bottou, L\'{e}on and Bengio, Yoshua and Haffner, Patrick},
        title = {Gradient-based learning applied to document recognition},
        booktitle = {Proceedings of the IEEE},
        volume = {86(11)},
        pages = {2278-2324},
        year = 1998}
        
@article{ GHHA19,
        author = {Ghani, Norjihan A. and Hamid, Suraya and Hashem, Ibrahim A. T. and Ahmed, Ejaz},
        title = {Social media big data analytics},
        journal = {Computers in Human Behavior},
        volume = 101,
        pages = {417-428},
        year = 2019}
        
@inproceedings{ Var16,
        author = {Varshney, Kush R.},
        title = {Engineering safety in machine learning},
        booktitle = {2016 Information Theory and Applications Workshop},
        address = {La Jolla, California},
        year = 2016}
        
@article{ Ler09,
        author = {Leroy, Xavier},
        title = {Formal verification of a realistic compiler},
        journal = {Communications of the ACM},
        year = 2009}
        
@inproceedings{ WWP15,
        author = {Wilcox, James R. and Woos, Doug and Panchekha, Pavel and Tatlock, Zachary and Wang, Xi and Ernst, Michael D. and Anderson, Thomas},
        title = {Verdi: A Framework for Implementing and Formally Verifying Distributed Systems},
        booktitle = {PLDI'15},
        pages = {357-368},
        address = {Portland, Oregon},
        year = 2015}
        
@inproceedings{ Pap61,
        author = {Papert, Seymour},
        title = {Some mathematical models of learning},
        booktitle = {Proceedings of the Fourth London Symposium on Information Theory},
        year = 1961}
        
@article{ Blo62,
        author = {Block, Hans-Dieter},
        title = {The Perceptron: a model for brain functioning},
        journal = {Reviews of Modern Physics},
        volume = 34,
        number = 1,
        pages = {123},
        year = 1962}
        
@article{ CBCG04,
        author = {Cesa-Bianchi, Nicolo and Conconi, Alex and Gentile, Claudio},
        title = {On the generalization ability of on-line learning algorithms},
        journal = {IEEE Transactions on Information Theory},
        volume = 50,
        number = 9,
        pages = {2050-2057},
        year = 2004}
        
@article{ MR13,
        author = {Mohri, Mehryar and Rostamizadeh, Afshin},
        title = {Perceptron Mistake Bounds},
        journal = {arXiv},
        year = 2013}
        
@misc{ DG17,
author = "Dua, Dheeru and Graff, Casey",
year = "2017",
title = "{UCI} Machine Learning Repository",
url = "http://archive.ics.uci.edu/ml"}

@misc{ Fis36,
author = "Fisher, R. A.",
year = "1936",
title = "Iris Data Set",
url = "https://archive.ics.uci.edu/ml/datasets/iris"}

@misc{ SG88,
author = "Sejnowski, Terry and Gorman, R. Paul",
year = "1988",
title = "Connectionist Bench (Sonar, Mines vs. Rocks) Data Set",
url = "https://archive.ics.uci.edu/ml/datasets/Connectionist+Bench+%28Sonar,+Mines+vs.+Rocks%29"}

@misc{ MLC,
title = "MLCert: Certified Machine Learning",
url = "https://github.com/OUPL/MLCert"}

@book{ MKB17,
        author = {Mohammed, Mohssen and Khan, Muhammad Badruddin and Bashier, Eihab Bashier Mohammed},
        title = "Machine Learning: Algorithms and Applications",
        publisher = "CRC Press",
        year = 2017}
        
@inproceedings{ GSC16,
        author = {Gu, Ronghui and Shao, Zhong and Chen, Hao and Wu, Xiongnan (Newman) and Kim, Jieung and Sjoberg, Vilhelm and Costanzo, David},
        title = {CertiKOS: an extensible architecture for building certified concurrent OS kernels},
        booktitle = {OSDI'16},
        pages = {653-669},
        address = {Savannah, Georgia},
        year = 2016}
        
@book{ MP69,
        author = {Minsky, Marvin and Papert, Seymour},
        title = {Perceptrons: an Introduction to Computational Geometry},
        publisher = "M.I.T. Press",
        year = 1969}