Data Science and Artificial Intelligence

Filter
Conference contribution

Search results

  • 2019

    Computational Argumentation-based Clinical Decision Support

    Chapman, M., Balatsoukas, P., Ashworth, M., Curcin, V., Kökciyan, N., Essers, K., Sassoon, I., Modgil, S., Parsons, S. & Sklar, E. I., 8 May 2019, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 2345-2347 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Adaptive Gaussian Copula ABC

    Chen, Y. & Gutmann, M., 25 Apr 2019, Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics (AISTATS 2019). Naha, Okinawa, Japan: PMLR, Vol. 89. p. 1584-1592 14 p. (Proceedings of Machine Learning Research; vol. 89).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Efficient Bayesian Experimental Design for Implicit Models

    Kleinegesse, S. & Gutmann, M., 25 Apr 2019, Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics (AISTATS 2019). Naha, Okinawa, Japan: PMLR, Vol. 89. p. 476-485 10 p. (Proceedings of Machine Learning Research; vol. 89).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Variational Noise-Contrastive Estimation

    Rhodes, B. & Gutmann, M., 25 Apr 2019, Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics (AISTATS 2019). Naha, Okinawa, Japan: PMLR, Vol. 89. p. 2741-2750 14 p. (Proceedings of Machine Learning Research; vol. 89).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

    Papapanagiotou, P. & Fleuriot, J., 22 Apr 2019, Logic-Based Program Synthesis and Transformation. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, p. 77-93 17 p. (LNCS; vol. 11408).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Inverting Supervised Representations with Autoregressive Neural Density Models

    Nash, C., Kushman, N. & Williams, C. K. I., 18 Apr 2019, (E-pub ahead of print) Proceedings of the Twenty-Second International Conference on Artificial Intelligence and Statistics. Lawrence, N. & Reid, M. (eds.). PMLR, Vol. 89. 10 p. (Proceedings of Machine Learning Research; vol. 89).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Multi-Task Time Series Analysis applied to Drug Response Modelling

    Bird, A., Williams, C. K. I. & Hawthorne, C., 18 Apr 2019, (E-pub ahead of print) Proceedings of the Twenty-Second International Conference on Artificial Intelligence and Statistics. Lawrence, N. & Reid, M. (eds.). PMLR, Vol. 89. 10 p. (Proceedings of Machine Learning Research; vol. 89).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Sequential Neural Likelihood: Fast Likelihood-free Inference with Autoregressive Flows

    Papamakarios, G., Sterratt, D. C. & Murray, I., 18 Apr 2019, Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics (AISTATS) 2019. Naha, Okinawa, Japan: PMLR, p. 837-848 12 p. (Proceedings of Machine Learning Research; vol. 89).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Structured Disentangled Representations

    Esmaeili, B., Wu, H., Jain, S., Bozkurt, A., Siddharth, N., Paige, B., Brooks, D. H., Dy, J. & van de Meent, J-W., 18 Apr 2019, Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics. Chaudhuri, K. & Sugiyama, M. (eds.). PMLR, Vol. 89. p. 2525-2534 10 p. (Proceedings of Machine Learning Research; vol. 89).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Counting Triangles under Updates in Worst-Case Optimal Time

    Kara, A., Q. Ngo, H., Nikolic, M., Olteanu, D. & Zhang, H., 19 Mar 2019, 22nd International Conference on Database Theory (ICDT 2019). Barcelo, P. & Calautti, M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 4:1-4:18 18 p. 4. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 127).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Delimited Persistent Stochastic Non-Interference

    Hillston, J., Marin, A., Piazza, C. & Rossi, S., 12 Mar 2019, Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools. Palma de Mallorca, Spain: ACM, p. 135-142 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A Conditional Deep Generative Model of People in Natural Images

    de Bem, R., Ghosh, A., Boukhayma, A., Ajanthan, T., Siddharth, N. & Torr, P., 7 Mar 2019, 2019 IEEE Winter Conference on Applications of Computer Vision (WACV). Institute of Electrical and Electronics Engineers, p. 1449-1458 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Application of artificial intelligence in microwave radiometry (MWR)

    Galazis, C., Vesnin, S. & Goryanin, I., 24 Feb 2019, Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 4: BIOINFORMATICS. De Maria, E., Gamboa, H. & Fred, A. (eds.). SCITEPRESS, Vol. 4. p. 112-122 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Agent-based modelling of Pattern Formation in Pluripotent Stem Cells: Initial Experiments and Results

    Wang, M., Robertson, D., Blin, G., Lowell, S. & Tsanas, T., 1 Feb 2019, Proceedings - 2018 11th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, CISP-BMEI 2018. Li, Q., Li, W. & Wang, L. (eds.). Institute of Electrical and Electronics Engineers, 8633048

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A Semi-supervised Deep Generative Model for Human Body Analysis

    de Bem, R., Ghosh, A., Ajanthan, T., Miksik, O., Siddharth, N. & Torr, P., 29 Jan 2019, Computer Vision -- ECCV 2018 Workshops. Leal-Taixé, L. & Roth, S. (eds.). Cham: Springer, p. 500-517 18 p. (Lecture Notes in Computer Science; vol. 11130).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Assessing an Application of Spontaneous Stressed Speech - Emotions Portal

    Palacios-Alonso, D., Lázaro-Carrascosa, C., López-Arribas, A., Meléndez-Morales, G., Gómez-Rodellar, A., Loro-Álavez, A., Nieto-Lluis, V., Rodellar-Biarge, V., Tsanas, A. & Gómez-Vilda, P., 1 Jan 2019, Understanding the Brain Function and Emotions - 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Proceedings. Adeli, H., Ferrández Vicente, J. M., Toledo Moreo, J., Álvarez-Sánchez, J. R. & de la Paz López, F. (eds.). Springer, p. 149-160 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11486 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Patterns of Design

    Corneli, J., Holland, S., Pease, A., Mulholland, P., Murray-Rust, D., Scaltsas, D. & Smaill, A., 2019, 23rd European Conference on Pattern Languages of Programs (EuroPLoP ’18). Irsee, Germany: ACM, p. 22:1-22:11 11 p. 22

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2018

    Context Embedding Networks

    Kim, K. H., Mac Aodha, O. & Perona, P., 17 Dec 2018, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. Institute of Electrical and Electronics Engineers, p. 8679-8687 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • FLIPDIAL: A Generative Model for Two-Way Visual Dialogue

    Massiceti, D., Siddharth, N., Dokania, P. K. & Torr, P. H. S., 17 Dec 2018, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. Institute of Electrical and Electronics Engineers, p. 6097-6105 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Teaching Categories to Human Learners with Visual Explanations

    Mac Aodha, O., Su, S., Chen, Y., Perona, P. & Yue, Y., 17 Dec 2018, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. Institute of Electrical and Electronics Engineers, p. 3820-3828 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • The iNaturalist Species Classification and Detection Dataset

    Van Horn, G., Mac Aodha, O., Song, Y., Cui, Y., Sun, C., Shepard, A., Adam, H., Perona, P. & Belongie, S., 17 Dec 2018, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. Institute of Electrical and Electronics Engineers, p. 8769-8778 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks

    Turner, J., Cano Reyes, J., Radu, V., Crowley, E., O'Boyle, M. & Storkey, A., 13 Dec 2018, Proceedings of the - Workload Characterization (IISWC), 2018 IEEE International Symposium on. Raleigh, North Carolina, USA: Institute of Electrical and Electronics Engineers, p. 101-110 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Understanding the Role of Adaptivity in Machine Teaching: The Case of Version Space Learners

    Chen, Y., Singla, A., Mac Aodha, O., Perona, P. & Yue, Y., 8 Dec 2018, Advances in Neural Information Processing Systems 31. Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N. & Garnett, R. (eds.). Neural Information Processing Systems, Vol. 31. p. 1476-1486 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • The CONSULT System: Demonstration

    Essers, K., Chapman, M., Kokciyan, N., Sassoon, I., Porat, T., Balatsoukas, P., Young, P., Ashworth, M., Curcin, V., Modgil, S., Parsons, S. & Sklar, E. I., 4 Dec 2018, Proceedings of the 6th International Conference on Human-Agent Interaction. New York, NY, USA: Association for Computing Machinery (ACM), p. 385-386 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automating "human-like" example-use in mathematics

    Pease, A. & Martin, U., 2 Dec 2018, CEUR Workshop Proceedings. Vol. 2261. p. 6-12 7 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Calculating Error Bars on Inferences from Web Data

    Nuamah, K. & Bundy, A., 8 Nov 2018, SAI Intelligent Systems Conference (IntelliSys). London, United Kingdom: Springer, p. 618-640 23 p. (Advances in Intelligent Systems and Computing (AISC); vol. 869).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Data-Driven Modelling and Simulation of Urban Transportation Systems Using CARMA

    Zon, N. & Gilmore, S., 31 Oct 2018, Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018). Limassol, Cyprus: Springer, p. 274-287 14 p. (Lecture Notes in Computer Science; vol. 11246)(Theoretical Computer Science and General Issues; vol. 11246).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • SAAMEAT: Active Feature Transformation and Selection Methods for the Recognition of User Eating Conditions

    Haider, F., Pollak, S., Zarogianni, E. & Luz, S., 16 Oct 2018, 20th ACM International Conference on Multimodal Interaction (ICMI 2018). Association for Computing Machinery (ACM), p. 564-568 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Information Flow Security for Stochastic Processes

    Hillston, J., Marin, A., Piazza, C. & Rossi, S., 3 Oct 2018, 15th European Performance Engineering Workshop. Paris, France: Springer, 15 p. (Lecture Notes in Computer Science; vol. 11178)(Programming and Software Engineering; vol. 11178).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Width of Minima Reached by Stochastic Gradient Descent is Influenced by Learning Rate to Batch Size Ratio

    Jastrzębski, S., Kenton, Z., Arpit, D., Ballas, N., Fischer, A., Bengio, Y. & Storkey, A., Oct 2018, Proceedings of 27th International Conference on Artificial Neural Networks. Rhodes, Greece: Springer, p. 392-402 10 p. (Lecture Notes in Computer Science; vol. 11141)(Theoretical Computer Science and General Issues; vol. 11141).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Augmenting Image Classifiers Using Data Augmentation Generative Adversarial Networks

    Antoniou, A., Storkey, A. & Edwards, H., 27 Sept 2018, (E-pub ahead of print) Artificial Neural Networks and Machine Learning – ICANN 2018. Rhodes, Greece, p. 594-603 10 p. (Lecture Notes in Computer Science; vol. 11141).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Instantiating metalevel argumentation frameworks

    Young, A. P., Kokciyan, N., Sassoon, I., Modgil, S. & Parsons, S., 14 Sept 2018, Computational Models of Argument. Modgil, S., Budzynska, K., Lawrence, J. & Budzynska, K. (eds.). IOS Press, p. 97-108 12 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Reasoning with metalevel argumentation frameworks in aspartix

    Kokciyan, N., Sassoon, I., Young, A. P., Modgil, S. & Parsons, S., 14 Sept 2018, Computational Models of Argument - Proceedings of COMMA 2018. Modgil, S., Budzynska, K. & Lawrence, J. (eds.). IOS Press, p. 463-464 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Correct-by-construction Process Composition Using Classical Linear Logic Inference

    Papapanagiotou, P. & Fleuriot, J., 11 Sept 2018, 28th International Symposium on Logic-Based Program Synthesis and Transformation. Frankfurt am Main, Germany: Springer, p. 77-93 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Human Motion Parsing by Hierarchical Dynamic Clustering

    Zhang, Y., Tang, S., Sun, H. & Neumann, H., 3 Sept 2018, Proceedings of the 29th British Machine Vision Conference (BMVC 2018). 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Near-Optimal Machine Teaching via Explanatory Teaching Sets

    Chen, Y., Mac Aodha, O., Su, S., Perona, P. & Yue, Y., 1 Sept 2018, Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics. Storkey, A. & Perez-Cruz, F. (eds.). Playa Blanca, Lanzarote, Canary Islands: PMLR, Vol. 84. p. 1970-1978 9 p. (Proceedings of Machine Learning Research).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • ABC Repair System for Datalog-like Theories

    Li, X., Bundy, A. & Smaill, A., Sept 2018, 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Seville, Spain: SCITEPRESS, Vol. 2. p. 335-342 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Persistent Stochastic Non-Interference

    Hillston, J., Piazza, C. & Rossi, S., 24 Aug 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics . Beijing, China: Open Publishing Association, Vol. 276. p. 53-68 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 276).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Automated Reasoning in the Age of the Internet

    Bundy, A., Nuamah, K. & Lucas, C., 22 Aug 2018, (E-pub ahead of print) 13th International Conference on Artificial Intelligence and Symbolic Computation. Suzhou, China: Springer, Vol. LNCS 11110. p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 11110).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Machine Learning for Automated Inductive Theorem Proving

    Jiang, Y., Papapanagiotou, P. & Fleuriot, J., 22 Aug 2018, (E-pub ahead of print) Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018 : Lecture Notes in Artificial Intelligence, Volume 11110, pages 87-103, 2018. Suzhou, China: Springer, p. 87-103 16 p. (Lecture Notes in Computer Science; vol. 11110)(Lecture Notes in Artificial Intelligence; vol. 11110).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Policy synthesis for collective dynamics

    Piho, P. & Hillston, J., 15 Aug 2018, 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018). McIver, A. & Horvath, A. (eds.). Beijing, China: Springer, p. 356–372 17 p. (Lecture Notes in Computer Science ; vol. 11024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Data Diff: Interpretable, Executable Summaries of Changes in Distributions for Data Wrangling

    Sutton, C., Hobson, T., Geddes, J. & Caruana, R., 19 Jul 2018, Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining. London, United Kingdom: ACM, p. 2279-2288 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Efficient Symbolic Integration for Probabilistic Inference

    Kolb, S., Mladenov, M., Sanner, S., Belle, V. & Kersting, K., 19 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Freiburg, Germany: IJCAI Inc, p. 5031-5037 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Conditional Noise-Contrastive Estimation of Unnormalised Models

    Ceylan, C. & Gutmann, M., 15 Jul 2018, (E-pub ahead of print) Proceedings of 35th International Conference on Machine Learning (ICML 2018). Dy, J. & Krause, A. (eds.). Stockholmsmässan, Stockholm Sweden: PMLR, Vol. 80. p. 725-733 9 p. (Proceedings of Machine Learning Research; vol. 80).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Dynamic Evaluation of Neural Sequence Models

    Krause, B., Kahembwe, E., Murray, I. & Renals, S., 15 Jul 2018, Proceedings of the 35th International Conference on Machine Learning. Dy, J. & Krause, A. (eds.). Stockholmsmässan, Stockholm Sweden: PMLR, p. 2766-2775 10 p. (Proceedings of Machine Learning Research; vol. 80).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Social Machines for All

    Papapanagiotou, P., Davoust, A., Murray-Rust, D., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D., 15 Jul 2018, 17th International Conference on Autonomous Agents and Multiagent Systems . p. 1208-1212 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Privacy-Preserving Intersection Management for Autonomous Vehicles

    Kokciyan, N., Erdogan, M., Meral, T. H. S. & Yolum, P., 14 Jul 2018, Proceedings of the Tenth International Workshop on Agents in Traffic and Transportation (ATT 2018). CEUR Workshop Proceedings (CEUR-WS.org), 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Gas-water two-phase flow pattern recognition based on ERT and ultrasound Doppler

    Shen, Y., Tan, C., Dong, F., Smith, K. & Escudero, J., 12 Jul 2018, 2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC). Institute of Electrical and Electronics Engineers, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • On Plans With Loops and Noise

    Belle, V., 9 Jul 2018, Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018). Stockholm, Sweden: ACM, p. 1310-1317 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Using persona as lenses for a reference model

    Constantin, A., Nieva, A., Hardisty, A. & Atkinson, M., 1 Jul 2018, Proceedings of the 32nd International BCS Human Computer Interaction Conference (HCI 2018): Belfast, UK, 4 - 6 July 2018. BCS, The Chartered Institute for IT, p. 1-5 5 p. (Electronic Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File