publications.bib

@inproceedings{slowick-bottou-holden-jamnik-2022,
  author = {Agnieszka S\l{}owik and L\'{e}on Bottou and Sean
                  B. Holden and Mateja Jamnik},
  title = {On the Relation Between Distributionally Robust
                  Optimization and Data Curation},
  booktitle = {Proceedings of the AAAI Conference on Artificial
                  Intelligence},
  year = {2022},
  publisher = {AAAI Press},
  numpages = {2}
}
@book{fnt-2021,
  author = {Sean B. Holden},
  title = {Machine Learning for Automated Theorem Proving: Learning
                  to Solve {SAT} and {QSAT}},
  publisher = {{now publishers}},
  year = {2021},
  series = {Foundations and Trends$^{\text{\textregistered}}$ in
                  Machine Learning},
  volume = {14},
  number = {6},
  pages = {807--989},
  url = {https://www.nowpublishers.com/article/Details/MAL-081},
  doi = {10.1561/2200000081},
  isbn = {978-1-68083-898-5},
  issn = {1935-8237},
  address = {Boston, Delft}
}
@unpublished{chaitanya1,
  author = {Chaitanya Mangla and Sean B. Holden and Lawrence Paulson},
  title = {Bayesian Ranking for Strategy Scheduling in Automated
                  Theorem Provers},
  note = {Submitted to AAAI 2022}
}
@inproceedings{slowick-gupta-hamilton-jamnik-holden-pal-2021,
  author = {Agnieszka S\l{}owik and Abhinav Gupta and
                  William L. Hamilton and Mateja Jamnik and
		  Sean B. Holden and Christopher Pal},
  title = {Exploring Structural Inductive Biases in
                  Emergent Communication},
  booktitle = {Proceedings of the 43rd Annual Meeting of the Cognitive
                  Science Society},
  volume = {43},
  issn = {1069-7977},
  url = {https://escholarship.org/uc/item/09b496t7},
  year = {2021},
  pages = {3156},
  numpages = {1},
  month = {July},
  note = {arXiv:2002.01335v4}
}
@inproceedings{slowick-mangla-jamnik-holden-paulson-2020a,
  author = {Agnieszka S\l{}owik and Chaitanya Mangla and Mateja Jamnik
                  and Sean B. Holden and Lawrence C. Paulson},
  title = {Bayesian Optimisation for Premise Selection in Automated
                  Theorem Proving (Student Abstract)},
  booktitle = {Proceedings of the AAAI Conference on Artificial
                  Intelligence},
  year = {2020},
  volume = {34},
  month = {February},
  publisher = {AAAI Press},
  issn = {2159-5399},
  isbn = {978-1-57735-835-0},
  pages = {13919--13920},
  numpages = {2},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/7232/7086},
  doi = {https://doi.org/10.1609/aaai.v34i10.7232}
}
@inproceedings{mangla-holden-paulson-2020,
  author = {Chaitanya Mangla and Sean B. Holden and Lawrence Paulson},
  title = {Bayesian Optimisation of Solver Parameters in {CBMC}},
  booktitle = {Proceedings of the 18th International Workshop on
                  Satisfiability Modulo Theories (SMT)},
  year = {2020},
  issn = {1613-0073},
  editor = {Fran\c{c}ois Bobot and Tjark Weber},
  pages = {37--47},
  numpages = {11},
  month = {July},
  volume = {2854},
  url = {http://ceur-ws.org/Vol-2854/},
  publisher = {CEUR Workshop Proceedings}
}
@inproceedings{gupta-slowick-hamilton-jamnik-holden-pal-2020,
  author = {Abhinav Gupta and Agnieszka S\l{}owik and William
                  L. Hamilton and Mateja Jamnik and Sean B. Holden and
                  Christopher Pal},
  title = {Analyzing structural priors in multi-agent communication},
  booktitle = {Workshop on Adaptive and Learning Agents (ALA), International
                  Conference on Autonomous Agents and Multi-Agent
                  Systems (AAMAS)},
  year = {2020},
  month = {May},
  numpages = {7},
  url = {https://ala2020.vub.ac.be/papers/ALA2020_paper_33.pdf}
}
@inproceedings{slowick-gupta-hamilton-jamnik-holden-2020,
  author = {Agnieszka S\l{}owik and Abhinav Gupta and William L.
                  Hamilton and Mateja Jamnik and Sean B. Holden},
  title = {Towards Graph Representation Learning in Emergent
                  Communication},
  booktitle = {AAAI-20 Workshop on Reinforcement Learning in Games},
  numpages = {5},
  year = {2020},
  url = {http://aaai-rlg.mlanctot.info/papers/AAAI20-RLG_paper_27.pdf},
  note = {arXiv:2001.09063v2}
}
@inproceedings{slowick-mangka-jamnik-holden-paulson-2020b,
  author = {Agnieszka S\l{}owik and Chaitanya Mangla and Mateja
                  Jamnik and Sean B. Holden and Lawrence Paulson},
  title = {Bayesian Optimisation for Heuristic Configuration in
                  Automated Theorem Proving},
  editor = {Laura Kov\'{a}cs and Andrei Voronkov},
  booktitle = {Vampire 2018 and Vampire 2019, The 5th and 6th
                  Vampire Workshops},
  year = {2020},
  volume = {71},
  url = {https://easychair.org/publications/paper/K7Zd},
  doi = {https://doi.org/10.29007/q91g},
  series = {EPiC Series in Computing},
  month = {March},
  pages = {45--51},
  issn = {2398--7340},
  publisher = {EasyChair},
  numpages = {7}
}
@article{armean-lilley-trotter-pilkington-holden-2018,
  author = {Irina M. Armean Kathryn S. Lilley and Matthew
                  W. B. Trotter and Nicholas C. V. Pilkington and Sean
                  B. Holden},
  title = {Co-complex protein membership evaluation using Maximum
                  Entropy on GO ontology and InterPro annotation},
  journal = {Bioinformatics},
  volume = {34},
  number = {11},
  pages = {1884-1892},
  numpages = {9},
  year = {2018},
  month = {June},
  publisher = {Oxford University Press},
  issn = {1367-4803},
  doi = {10.1093/bioinformatics/btx803},
  url = {https://academic.oup.com/bioinformatics/article/34/11/1884/4829752}
}
@article{breckels-et-al-2016,
  author = {Lisa M. Breckels and Sean B. Holden and David Wojnar and
                  Claire M. Mulvey and Andy Christoforou and Arnoud
                  Groen and Matthew W. B. Trotter and Oliver
                  Kohlbacher and Kathryn S. Lilley and Laurent Gatto},
  journal = {PLOS Computational Biology},
  publisher = {Public Library of Science},
  title = {Learning from Heterogeneous Data Sources: An Application
                  in Spatial Proteomics},
  year = {2016},
  issn = {1553-7358},
  month = {May},
  volume = {12},
  url = {https://journals.plos.org/ploscompbiol/article?id=10.1371\%2Fjournal.pcbi.1004920},
  pages = {1-26},
  numpages = {26},
  number = {5},
  doi = {10.1371/journal.pcbi.1004920}
}
@techreport{UCAM-CL-TR-885,
  author = {Holden, Sean B.},
  title = {{HasGP: A Haskell library for Gaussian process inference}},
  year = 2016,
  month = {April},
  url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-885.pdf},
  institution = {University of Cambridge, Computer Laboratory},
  doi = {10.48456/tr-885},
  issn = {1476-2986},
  number = {UCAM-CL-TR-885}
}
@techreport{UCAM-CL-TR-883,
  author = {Russell, Richard and Holden, Sean B.},
  title = {{Survey propagation applied to weighted partial maximum
         	   satisfiability}},
  year = 2016,
  month = {March},
  url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-883.pdf},
  institution = {University of Cambridge, Computer Laboratory},
  doi = {10.48456/tr-883},
  issn = {1476-2986},
  number = {UCAM-CL-TR-883}
}
@inproceedings{rachuri-hossman-mascolo-holden-2015,
  author = {K. K. Rachuri and T. Hossmann and C. Mascolo and Sean
                  B. Holden},
  booktitle = {Proceedings of the IEEE International Conference on
                  Pervasive Computing and Communications (PerCom)},
  title = {Beyond location check-ins: Exploring physical and soft sensing
                  to augment social check-in apps},
  url = {https://ieeexplore.ieee.org/document/7146518},
  year = {2015},
  pages = {123--130},
  numpages = {8},
  doi = {10.1109/PERCOM.2015.7146518},
  isbn = {78-1-4799-8033-8},
  publisher = {IEEE},
  month = {March}
}
@inproceedings{timoteo-holden-2015,
  author = {Ivo J. P. M. Timoteo and Sean B. Holden},
  year = {2015},
  pages = {324--332},
  numpages = {9},
  month = {January},
  editor = {Maria De Marsico and M\'{a}rio Figueiredo and Ana Fred},
  title = {Learning Dynamic Systems From Time-Series Data - An
                  Application to Gene Regulatory Networks},
  volume = {2},
  isbn = {978-989-758-077-2},
  doi = {10.5220/0005282303240332},
  issn = {2184-4313},
  url = {https://www.scitepress.org/PublicationsDetail.aspx?ID=B1E7REC/Bdg=&t=1},
  publisher = {SciTePress},
  booktitle = {Proceedings of the 4th International
                  Conference on Pattern Recognition Applications and
                  Methods (ICPRAM)}
}
@article{bridge-holden-paulson-2014,
  author = {James P. Bridge and Sean B. Holden and Lawrence C. Paulson},
  title = {Machine Learning for First-Order Theorem Proving},
  journal = {Journal of Automated Reasoning},
  year = {2014},
  month = {August},
  volume = {53},
  number = {2},
  pages = {141--172},
  numpages = {32},
  issn = {1573-0670},
  publisher = {Springer},
  doi = {10.1007/s10817-014-9301-5},
  url = {https://link.springer.com/article/10.1007/s10817-014-9301-5}
}
@article{pilkington-trotter-holden-2012,
  author = {Nicholas C. V. Pilkington and Matthew W. B. Trotter and
              Sean B. Holden},
  title = {Multiple Kernel Learning for Drug Discovery},
  journal = {Molecular Informatics},
  volume = {31},
  number = {3-4},
  pages = {313--322},
  numpages = {10},
  month = {April},
  doi = {10.1002/minf.201100146},
  url = {https://onlinelibrary.wiley.com/doi/full/10.1002/minf.201100146},
  year = {2012}
}
@techreport{UCAM-CL-TR-804,
  author = {Holden, Sean B.},
  title = {{The HasGP user manual}},
  year = 2011,
  month = {September},
  url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-804.pdf},
  institution = {University of Cambridge, Computer Laboratory},
  doi = {10.48456/tr-804},
  issn = {1476-2986},
  number = {UCAM-CL-TR-804}
}
@inproceedings{russell-holden-2010,
  author = {Richard Russell and Sean B. Holden},
  title = {Handling Goal Utility Dependencies in a Satisfiability Framework},
  booktitle = {Proceedings of the Twentieth International Conference on
                  Automated Planning and Scheduling (ICAPS)},
  year = {2010},
  pages = {145--152},
  numpages = {8},
  month = {May},
  editor = {Ronen I. Brafman and H\'{e}ctor Geffner and J\"{o}rg Hoffmann
            and Henry Kautz},
  url = {https://dl.acm.org/doi/abs/10.5555/3037334.3037354},
  publisher = {AAAI Press}
}
@inproceedings{fothergill-harle-holden-2008,
  author = {Simon Fothergill and Robert Harle and Sean B. Holden},
  editor = {Niels da Vitoria Lobo and Takis Kasparis and Fabio Roli
                  and James T. Kwok and Michael Georgiopoulos and
                  Georgios C. Anagnostopoulos and Marco Loog},
  title = {Modeling the Model Athlete: Automatic Coaching of Rowing
                  Technique},
  booktitle = {Proceedings of the Joint AIPR International Workshop on
                  Structural, Syntactic, and Statistical Pattern
                  Recognition},
  year = {2008},
  month = {December},
  issn = {0302-9743},
  publisher = {Springer, Berlin, Heidelberg},
  pages = {372--381},
  numpages = {10},
  isbn = {978-3-540-89689-0},
  series = {Lecture Notes in Computer Science},
  volume = {5342},
  doi = {https://doi.org/10.1007/978-3-540-89689-0},
  url = {https://link.springer.com/chapter/10.1007/978-3-540-89689-0_41}
}
@incollection{naish-guzman-holden-2007-a,
  title = {Robust Regression with Twinned {G}aussian Processes},
  author = {Andrew Naish-Guzman and Sean B. Holden},
  booktitle = {Advances in Neural Information Processing Systems:
                  Proceedings of the 20th International Conference on
                  Neural Information Processing Systems (NIPS)},
  volume = {20},
  editor = {J. C. Platt and D. Koller and Y. Singer and S. T. Roweis},
  pages = {1065--1072},
  numpages = {8},
  month = {December},
  year = {2007},
  isbn = {978-1-60560-352-0},
  publisher = {Curran Associates, Inc.},
  url = {http://papers.nips.cc/paper/3346-robust-regression-with-twinned-gaussian-processes.pdf}
}
@incollection{naish-guzman-holden-2007-b,
  title = {The Generalized {FITC} Approximation},
  author = {Andrew Naish-Guzman and Sean B. Holden},
  booktitle = {Advances in Neural Information Processing Systems:
                  Proceedings of the 20th International Conference on
                  Neural Information Processing Systems (NIPS)},
  volume = {20},
  editor = {J. C. Platt and D. Koller and Y. Singer and S. T. Roweis},
  pages = {1057--1064},
  numpages = {8},
  month = {December},
  year = {2007},
  isbn = {978-1-60560-352-0},
  publisher = {Curran Associates, Inc.},
  url = {http://papers.nips.cc/paper/3351-the-generalized-fitc-approximation.pdf}
}
@inproceedings{naish-guzman-holden-paquet-2005,
  author = {Andrew Naish-Guzman and Sean B. Holden and Ulrich Paquet},
  editor = {W\l{}odzis\l{}aw Duch and Janusz Kacprzyk and Erkki Oja
                  and S\l{}awomir Zadro{\.{z}}ny},
  title = {On the Explicit Use of Example Weights in the Construction
                  of Classifiers},
  booktitle = {Proceedings of the 15th International Conference on
                  Neural Networks: Formal Models and Their
                  Applications (ICANN)},
  year = {2005},
  month = {September},
  series = {Lecture Notes in Computer Science},
  volume = {3697},
  publisher = {Springer, Berlin, Heidelberg},
  pages = {307--312},
  numpages = {6},
  url = {https://link.springer.com/chapter/10.1007\%2F11550907_49},
  issn = {0302-9743},
  doi = {https://doi.org/10.1007/11550907},
  isbn = {978-3-540-28756-8}
}
@inproceedings{paquet-holden-naish-guzman-2005,
  author = {Ulrich Paquet and Sean B. Holden and Andrew Naish-Guzman},
  editor = {W\l{}odzis\l{}aw Duch and Janusz Kacprzyk and Erkki Oja
                  and S\l{}awomir Zadro{\.{z}}ny},
  title = {Bayesian Hierarchical Ordinal Regression},
  booktitle = {Proceedings of the 15th International
		  Conference on Neural Networks: Formal Models and Their
                  Applications (ICANN)},
  month = {September},
  series = {Lecture Notes in Computer Science},
  volume = {3697},
  year = {2005},
  publisher = {Springer, Berlin, Heidelberg},
  pages = {267--272},
  numpages = {6},
  url = {https://link.springer.com/chapter/10.1007/11550907_42},
  issn = {0302-9743},
  doi = {https://doi.org/10.1007/11550907},
  isbn = {978-3-540-28756-8}
}
@article{hammond-hutton-et-al-2004,
  author = {Peter Hammond and Tim J. Hutton and Judith E. Allanson and
                  Linda E. Campbell and Raoul C. M. Hennekam and Sean
                  B. Holden and Michael A. Patton and Adam Shaw and
                  I. Karen Temple and Matthew Trotter and Kieran
                  C. Murphy and Robin M. Winter},
  title = {{3D} analysis of facial morphology},
  journal = {American Journal of Medical Genetics Part A},
  volume = {126A},
  number = {4},
  pages = {339-348},
  numpages = {10},
  month = {April},
  issn = {1552-4833},
  doi = {10.1002/ajmg.a.20665},
  url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/ajmg.a.20665},
  year = {2004}
}
@article{trotter-holden-2003,
  author = {Matthew W. B. Trotter and Sean B. Holden},
  title = {Support Vector Machines for {ADME} Property Classification},
  journal = {QSAR \& Combinatorial Science},
  volume = {22},
  number = {5},
  pages = {533-548},
  doi = {10.1002/qsar.200310006},
  issn = {1868-1751},
  url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/qsar.200310006},
  year = {2003},
  month = {July}
}
@article{trotter-buxton-holden-2001,
  author = {Matthew Trotter and B. F. Buxton and Sean B. Holden},
  year = {2001},
  month = {October},
  pages = {235-239},
  numpages = {5},
  title = {Support Vector Machines in Combinatorial Chemistry},
  volume = {34},
  number = {8},
  journal = {Measurement and Control},
  editor = {Qing-Ping Yang},
  note = {Special Feature on Signal Processing},
  doi = {10.1177/002029400103400803},
  url = {https://journals.sagepub.com/doi/10.1177/002029400103400803}
}
@inproceedings{burbidge-trotter-buxton-holden-2001a,
  author = {Robert Burbidge and Matthew Trotter and Bernard Buxton and
                  Sean B. Holden},
  editor = {Jos\'{e} Mira and Alberto Prieto},
  title = {{STAR} - Sparsity through Automated Rejection},
  month = {June},
  booktitle = {Connectionist Models of Neurons, Learning Processes,
                  and Artificial Intelligence: Proceedings of the 6th
                  International Work-Conference on Artificial and
                  Natural Neural Networks (IWANN)},
  year = {2001},
  publisher = {Springer, Berlin, Heidelberg},
  pages = {653--660},
  numpages = {8},
  url = {https://link.springer.com/chapter/10.1007\%2F3-540-45720-8_78},
  isbn = {978-3-540-45720-6},
  series = {Lecture Notes in Computer Science},
  volume = {2084}
}
@article{burbidge-trotter-buxton-holden-2001b,
  title = {Drug design by machine learning: support vector machines
                  for pharmaceutical data analysis},
  journal = {Computers \& Chemistry},
  volume = {26},
  number = {1},
  pages = {5--14},
  numpages = {10},
  year = {2001},
  month = {December},
  note = {Special Issue on Artificial Intelligence in Bioinformatics},
  issn = {0097-8485},
  editor = {Dave W. Corne and Andrew C. R. Martin},
  url = {https://doi.org/10.1016/S0097-8485(01)00094-8},
  author = {R. Burbidge and M. Trotter and B. Buxton and Sean B. Holden}
}
@inproceedings{wickramaratna-holden-buxton-2001,
  author = {Jeevani Wickramaratna and Sean B. Holden and Bernard F. Buxton},
  title = {Performance Degradation in Boosting},
  booktitle = {Proceedings of the Second International Workshop on
                  Multiple Classifier Systems (MCS)},
  year = {2001},
  volume = {2096},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-540-48219-2},
  pages = {11--21},
  numpages = {11},
  month = {July},
  editor = {Josef Kittler and Fabio Roli},
  url = {https://link.springer.com/book/10.1007/3-540-48219-9},
  publisher = {Springer, Berlin, Heidelberg},
  issn = {0302-9743}
}
@inproceedings{burbidge-trotter-buxton-holden-2000,
  author = {R. Burbidge and M. Trotter and B. Buxton and Sean B. Holden},
  title = {Drug Design by Machine Learning: Support Vector
                  Machines for Pharmaceutical Data Analysis},
  booktitle = {Proceedings of the Society for the Study of
                  Artificial Intelligence and Simulation of Behaviour
                  (AISB) Symposium on Artificial Intelligence in
                  Bioinformatics},
  year = {2000},
  month = {April},
  isbn = {1 902956 12 X},
  pages = {1--4},
  numpages = {4},
  note = {Final version in Computers \& Chemistry (full
                  details above)}
}
@inproceedings{wickramaratna-holden-buxton-2000,
  author = {J. Wickramaratna and Sean B. Holden and B. Buxton},
  title = {Effects of the Strength of the Weak Learner on
                  Boosting Kernel Machines},
  booktitle = {Neural Information Processing Systems (NIPS)
                  Workshop on New Perspectives in Kernel-Based
                  Learning Methods},
  year = {2000},
  note = {No proceedings,
                  details of published version above}
}
@article{holden-1998,
  author = {Sean B. Holden},
  title = {Generalization},
  journal = {Statistics and Computing},
  year = {1998},
  month = {March},
  volume = {8},
  number = {1},
  pages = {3--4},
  numpages = {2},
  issn = {0960-3174},
  note = {Guest editorial for the Special Issue of the journal
                  on Generalization}
}
@inproceedings{anthony-holden-1998,
  author = {Martin Anthony and Sean B. Holden},
  title = {Cross-validation for Binary Classification by Real-valued
                  Functions: Theoretical Analysis},
  booktitle = {Proceedings of the Eleventh Annual Conference on
                  Computational Learning Theory (COLT)},
  year = {1998},
  month = {July},
  isbn = {978-1-58113-057-7},
  pages = {218--229},
  numpages = {12},
  url = {https://dl.acm.org/doi/10.1145/279943.279987},
  doi = {10.1145/279943.279987},
  publisher = {Association for Computing Machinery}
}
@techreport{holden-1998-b,
  author = {Sean B. Holden},
  title = {On Algorithmic Stability and the Analysis of the
                  Cross-Validation and Holdout Estimates},
  institution = {Department of Computer Science, University College London.},
  year = {1998},
  number = {RN/97/73}
}
@article{holden-niranjan-1997,
  author = {Sean B. Holden and Mahesan Niranjan},
  title = {Average-Case Learning Curves for Radial Basis Function Networks},
  journal = {Neural Computation},
  volume = {9},
  number = {2},
  pages = {441-460},
  month = {February},
  year = {1997},
  issn = {0899-7667},
  numpages = {20},
  publisher = {MIT Press},
  doi = {10.1162/neco.1997.9.2.441},
  url = {https://doi.org/10.1162/neco.1997.9.2.441}
}
@article{price-holden-sandler-1996,
  author = {M. Price and Sean B. Holden and M. Sandler},
  title = {Accurate Parallel Form Filter Synthesis},
  journal = {Electronics Letters},
  issue = {22},
  volume = {32},
  year = {1996},
  month = {October},
  pages = {2066-2067},
  numpages = {2},
  publisher = {The Institution of Engineering and Technology},
  issn = {0013-5194},
  doi = {10.1049/el:19961374},
  url = {https://digital-library.theiet.org/content/journals/10.1049/el_19961374}
}
@techreport{holden-1996-a,
  author = {Sean B. Holden},
  title = {Cross-Validation and the {PAC} Learning Model},
  institution = {Department of Computer Science, University College London},
  year = {1996},
  number = {RN/96/64},
  month = {December}
}
@inproceedings{holden-1996-b,
  author = {Sean B. Holden},
  title = {{PAC}-Like Upper Bounds for the Sample Complexity of
              Leave-one-Out Cross-Validation},
  booktitle = {Proceedings of the Ninth Annual Conference on
                  Computational Learning Theory (COLT)},
  pages = {41--50},
  numpages = {10},
  year = {1996},
  publisher = {Association for Computing Machinary},
  url = {https://dl.acm.org/doi/10.1145/238061.238067},
  doi = {10.1145/238061.238067},
  isbn = {978-0-89791-811-4}
}
@article{holden-niranjan-1995-a,
  author = {Sean B. Holden and Mahesan Niranjan},
  title = {On the Practical Applicability of {VC} Dimension Bounds},
  journal = {Neural Computation},
  volume = {7},
  number = {6},
  month = {November},
  pages = {1265-1288},
  numpages = {24},
  year = {1995},
  issn = {0899-7667},
  publisher = {MIT Press},
  doi = {10.1162/neco.1995.7.6.1265},
  url = {https://doi.org/10.1162/neco.1995.7.6.1265}
}
@article{holden-niranjan-1995-b,
  author = {Sean B. Holden and Mahesan Niranjan},
  title = {On the Statistical Physics of Radial Basis Function Networks},
  journal = {Neural Processing Letters},
  year = {1995},
  month = {July},
  day = {1},
  volume = {2},
  number = {4},
  numpages = {4},
  pages = {16--19},
  issn = {1370-4621},
  publisher = {Springer, Berlin, Heidelberg},
  doi = {10.1007/BF02279933},
  url = {https://link.springer.com/article/10.1007/BF02279933}
}
@article{holden-rayner-1995,
  author = {Sean B. Holden and Peter J. W. Rayner},
  journal = {IEEE Transactions on Neural Networks},
  title = {Generalization and {PAC} Learning: Some New Results for the
           Class of Generalized Single-Layer Networks},
  year = {1995},
  volume = {6},
  number = {2},
  pages = {368-380},
  numpages = {13},
  url = {https://ieeexplore.ieee.org/document/363472},
  doi = {10.1109/72.363472},
  issn = {1045-9227},
  publisher = {IEEE},
  month = {March}
}
@inproceedings{holden-1994-a,
  author = {Sean B. Holden},
  title = {How Practical are {VC} Dimension Bounds?},
  volume = {1},
  booktitle = {Proceedings of the IEEE International Conference on
                  Neural Networks},
  url = {https://ieeexplore.ieee.org/document/374184},
  year = {1994},
  publisher = {IEEE},
  isbn = {0-7803-1901-X},
  doi = {10.1109/ICNN.1994.374184},
  numpages = {6},
  pages = {327--332}
}
@inproceedings{holden-1994-b,
  author = {Sean B. Holden},
  title = {Neural Networks and the {VC} Dimension},
  booktitle = {Proceedings of the Third IMA International
                  Conference on Mathematics and Signal Processing},
  year = {1994},
  pages = {73--84},
  numpages = {12},
  publisher = {Oxford University Press}
}
@article{anthony-holden-1994,
  author = {Martin Anthony and Sean B. Holden},
  title = {Quantifying Generalization in Linearly Weighted Neural Networks},
  journal = {Complex Systems},
  publisher = {Complex Systems Publications, Inc.},
  year = {1994},
  pages = {91--114},
  numpages = {24},
  volume = {8},
  url = {https://www.complex-systems.com/abstracts/v08_i02_a02/},
  number = {2}
}
@phdthesis{holden-thesis-1994,
  author = {Sean B. Holden},
  title = {On the Theory of Generalization and Self-Structuring
                  in Linearly Weighted Connectionist Networks},
  school = {Cambridge University Engineering Department},
  year = {1994},
  address = {Trumpington Street, Cambridge CB2 1PZ, U.K},
  note = {Technical Report CUED/F-INFENG/TR.161}
}
@inproceedings{anthony-holden-1993-a,
  author = {Martin Anthony and Sean B. Holden},
  editor = {Lenny Pitt},
  title = {On the Power of Polynomial Discriminators and Radial Basis
                  Function Networks},
  booktitle = {Proceedings of the Sixth Annual Conference on
                  Computational Learning Theory (COLT)},
  pages = {158--164},
  numpages = {7},
  year = {1993},
  month = {August},
  publisher = {Association for Computing Machinery},
  isbn = {0-89791-611-5},
  url = {https://doi.org/10.1145/168304.168324},
  doi = {10.1145/168304.168324}
}
@inproceedings{holden-1993-a,
  author = {Sean B. Holden},
  title = {Valid Generalization in Radial Basis Function
                  Networks and Modified {K}anerva Models},
  booktitle = {Proceedings of the IEE Third International
                  Conference on Artificial Neural Networks},
  year = {1993},
  pages = {100--104},
  numpages = {5},
  isbn = {0-85296-573-7},
  publisher = {IET},
  url = {https://ieeexplore.ieee.org/document/263248},
  month = {May}
}
@techreport{holden-1993-b,
  author = {Sean B. Holden},
  title = {High Order Filter Design and Implementation Project:
                  Initial Report and Four Month Plan},
  institution = {King's College London},
  year = {1993},
  number = {108/SCS/93},
  month = {March}
}
@techreport{holden-1993-c,
  author = {Sean B. Holden},
  title = {High Order Filter Design and Implementation Project:
                  Summary of Present Position},
  institution = {King's College London},
  year = {1993},
  number = {108/SCS/93},
  month = {March}
}
@inproceedings{anthony-holden-1993-b,
  author = {Martin Anthony and Sean B. Holden},
  editor = {Stan Gielen and Bert Kappen},
  title = {On The Power of Linearly Weighted Neural Networks},
  booktitle = {Proceedings of the International Conference on Artificial
                  Neural Networks ({ICANN})},
  year = {1993},
  month = {September},
  publisher = {Springer, Berlin, Heidelberg},
  pages = {738--743},
  numpages = {6},
  url = {https://link.springer.com/chapter/10.1007/978-1-4471-2063-6_207},
  isbn = {978-1-4471-2063-6}
}
@inproceedings{holden-rayner-1992,
  author = {Sean B. Holden and Peter J. W. Rayner},
  title = {Generalization and Learning in {V}olterra and Radial
                  Basis Function Networks: A Theoretical Analysis},
  booktitle = {Proceedings of the IEEE International Conference on
                  Acoustics, Speech and Signal Processing (ICASSP)},
  year = {1992},
  volume = {2},
  pages = {II-273--II-276},
  month = {March},
  numpages = {4},
  isbn = {0-7803-0532-9},
  issn = {1520-6149},
  doi = {10.1109/ICASSP.1992.226067},
  url = {https://ieeexplore.ieee.org/document/226067},
  publisher = {IEEE}
}
@inproceedings{lynch-rayner-holden-1991,
  author = {M. R. Lynch and Peter J. W. Rayner and Sean B. Holden},
  title = {Removal of Degeneracy in Adaptive {V}olterra Networks
                  by Dynamic Structuring},
  booktitle = {Proceedings of the IEEE International Conference on
                  Acoustics, Speech and Signal Processing (ICASSP)},
  year = {1991},
  volume = {3},
  numpages = {4},
  pages = {2069--2072},
  month = {April},
  isbn = {0-7803-0003-3},
  issn = {1520-6149},
  doi = {10.1109/ICASSP.1991.150812},
  url = {https://ieeexplore.ieee.org/document/150812},
  publisher = {IEEE}
}
@inproceedings{lynch-holden-rayner-1991,
  author = {M. R. Lynch and Sean B. Holden and Peter J. W. Rayner},
  title = {Complexity Reduction in {V}olterra Connectionist
                  Networks using a Self-Structuring {LMS} Algorithm},
  booktitle = {Proceedings of the IEE Second International
                  Conference on Artificial Neural Networks},
  year = {1991},
  numpages = {5},
  pages = {44--48},
  publisher = {IET},
  month = {November},
  url = {https://ieeexplore.ieee.org/document/140282},
  isbn = {0-85296-531-1}
}

This file was generated by bibtex2html 1.99.