Data Science and Artificial Intelligence

Filter
Conference contribution

Search results

  • 2018

    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, Cham, 15 p. (Lecture Notes in Computer Science; vol. 11178)(Programming and Software Engineering; vol. 11178).

    Research output: Chapter in Book/Report/Conference proceedingConference 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, Cham, 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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, Cham, p. 77-93 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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, Cham, Vol. LNCS 11110. p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 11110).

    Research output: Chapter in Book/Report/Conference proceedingConference 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, Cham, 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 (IEEE), 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File
  • Combining Difficulty Ranking with Multi-Armed Bandits to Sequence Educational Content

    Segal, A., Ben David, Y., Jay Williams, J., Gal, Y. & Shalom, Y., 27 Jun 2018, 19th International Conference on Artificial Intelligence in Education 2018. London, UK: Springer, Cham, p. 317-321 5 p. (Lecture Notes in Computer Science; vol. 10948).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Classifying and visualizing students' cognitive engagement in course readings

    Yogev, E., Gal, Y., Karger, D., Facciotti, M. T. & Igo, M., 26 Jun 2018, Proceedings of the Fifth Annual ACM Conference on Learning at Scale . London, United Kingdom : ACM, 10 p. 52

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • ABIBA: An agent-based computing system for behaviour analysis used in human-agent interaction

    Cui, C., Murray-Rust, D., Robertson, D. & Nicodemus, K., 20 Jun 2018, Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection - International Workshops of PAAMS 2018, Proceedings. Toledo; Spain: Springer, Cham, p. 183-195 13 p. (Communications in Computer and Information Science; vol. 887).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Deep Dungeons and Dragons: Learning Character-Action Interactions from Role-Playing Game Transcripts

    Louis, A. & Sutton, C., 6 Jun 2018, The 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. New Orleans, Louisiana : Association for Computational Linguistics, p. 708-713 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • A Method for Analysis of Patient Speech in Dialogue for Dementia Detection

    Luz, S., De La Fuente Garcia, S. & Albert, P., 1 Jun 2018, Resources and ProcessIng of linguistic, para-linguistic and extra-linguistic Data from people with various forms of cognitive impairment. Paris, France: European Language Resources Association (ELRA), p. 35-42

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Incremental View Maintenance with Triple Lock Factorization Benefits

    Nikolic, M. & Olteanu, D., 27 May 2018, Proceedings of the 2018 International Conference on Management of Data. New York, NY, USA: ACM, p. 365-380 16 p. (SIGMOD '18).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Counting Triangles under Updates

    Kara, A., Ngo, H. Q., Nikolic, M., Olteanu, D. & Zhang, H., 25 May 2018, (E-pub ahead of print) Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management: Cali, Colombia, May 21-25, 2018. CEUR Workshop Proceedings (CEUR-WS.org), 4 p. (CEUR-WS.org).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Speech rate calculations with short utterances: A study from a speech-to-speech, machine translation mediated map task

    Akira, H., Vogel, C., Luz, S. & Campbell, N., 12 May 2018, LREC 2018 - 11th International Conference on Language Resources and Evaluation. Isahara, H., Maegaard, B., Piperidis, S., Cieri, C., Declerck, T., Hasida, K., Mazo, H., Choukri, K., Goggi, S., Mariani, J., Moreno, A., Calzolari, N., Odijk, J. & Tokunaga, T. (eds.). European Language Resources Association (ELRA), p. 3176-3183 8 p. (LREC 2018 - 11th International Conference on Language Resources and Evaluation).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • The metalogue debate trainee corpus: Data collection and annotations

    Petukhova, V., Malchanau, A., Oualil, Y., Klakow, D., Luz, S., Haider, F., Campbell, N., Koryzis, D., Spiliotopoulos, D., Albert, P., Linz, N. & Alexandersson, J., 7 May 2018, LREC 2018 - 11th International Conference on Language Resources and Evaluation. Isahara, H., Maegaard, B., Piperidis, S., Cieri, C., Declerck, T., Hasida, K., Mazo, H., Choukri, K., Goggi, S., Mariani, J., Moreno, A., Calzolari, N., Odijk, J. & Tokunaga, T. (eds.). European Language Resources Association (ELRA), p. 749-755 7 p. (LREC 2018 - 11th International Conference on Language Resources and Evaluation).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • The Metalogue Debate Trainee Corpus: Data Collection and Annotation

    Petukhova, V., Malchanau, A., Oualil, Y., Klakow, D., Luz, S., Haider, F., Campbell, N., Koryzis, D., Spiliotopoulos, D., Albert, P., Linz, N. & Alexandersson, J., 7 May 2018, Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018). chair), N. C., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Hasida, K., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J., Piperidis, S. & Tokunaga, T. (eds.). Miyazaki, Japan: European Language Resources Association (ELRA)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • A Framework for the Quantitative Evaluation of Disentangled Representations

    Eastwood, C. & Williams, C. K. I., 3 May 2018, (E-pub ahead of print) Sixth International Conference on Learning Representations (ICLR 2018). 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Synthesizing realistic neural population activity patterns using Generative Adversarial Networks

    Molano-Mazon, M., Onken, A., Piasini, E. & Panzeri, S., 3 May 2018, International Conference on Learning Representations 2018. 24 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • COMFRE: A visualization for comparing word frequencies in linguistic tasks

    Sheehan, S., Masoodian, M. & Luz, S., May 2018, AVI 2018 - Proceedings of the 2018 International Conference on Advanced Visual Interfaces. ACM Association for Computing Machinery, p. 1-5 a42

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A sensor data collection environment for clinical trials investigating health effects of airborne pollution

    Arvind, D. K., Bates, C. A., Fischer, D. J. & Mann, J., 9 Apr 2018, 2018 IEEE EMBS International Conference on Biomedical Health Informatics (BHI). p. 88-91 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Spatially-resolved estimation of personal dosage of airborne particulates for ambulatory subjects using wearable sensors

    Arvind, D. K., Bates, C. A., Fischer, D. J. & Mann, J., 9 Apr 2018, 2018 IEEE EMBS International Conference on Biomedical Health Informatics (BHI). p. 29-32 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Optimizing Interventions via Offline Policy Evaluation: Studies in Citizen Science

    Segal, A., Gal, Y., Kamar, E., Horvitz, E. & Miller, G., 7 Feb 2018, Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) . New Orleans, Louisiana, USA: AAAI Press, p. 1536-1544 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Sequence-to-Point Learning with Neural Networks for Non-Intrusive Load Monitoring

    Zhang, C., Zhong, M., Wang, Z., Goddard, N. & Sutton, C., 7 Feb 2018, Proceedings for Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18). New Orleans, Louisiana, USA: AAAI Press, p. 2604-2611 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Towards an Argumentation System for Supporting Patients in Self-Managing their Chronic Conditions

    Kokciyan, N., Sassoon, I., Young, A. P., Chapman, M., Porat, T., Ashworth, M., Curcin, V., Modgil, S., Parsons, S. & Sklar, E., 3 Feb 2018, The Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence. The AAAI Press, p. 455-462 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Perception changes with and without a video channel: A study from a speech-to-speech, machine translation mediated map task

    Akira, H., Vogel, C., Campbell, N. & Luz, S., 25 Jan 2018, 8th IEEE International Conference on Cognitive Infocommunications, Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. 000401

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Vision-as-Inverse-Graphics: Obtaining a Rich 3D Explanation of a Scene from a Single Image

    Romaszko, L., Williams, C. K. I., Moreno, P. & Kohli, P., 23 Jan 2018, ICCV 2017 Workshop on Geometry Meets Deep Learning. Institute of Electrical and Electronics Engineers (IEEE), p. 940-948 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • ASAR Database: An R Tool for Visual Analysis and Storage of Metagenomes

    Orakov, A., Sakenova, N., Goryanin, I. & Sorokin, A., 21 Jan 2018, (E-pub ahead of print) Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 4: BIOINFORMATICS. Madeira, Portugal, p. 196-200 5 p. (Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies; vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • HOUDINI: Lifelong Learning as Program Synthesis

    Valkov, L., Chaudhari, D., Srivastava, A., Sutton, C. & Chaudhuri, S., 2018, Thirty-second Conference on Neural Information Processing Systems (NIPS 2018). Montreal, Canada, p. 1-12 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Moonshine: Distilling with Cheap Convolutions

    Crowley, E., Gray, G. & Storkey, A., 2018, Thirty-second Conference on Neural Information Processing Systems (NIPS 2018). Montreal, Canada, 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference

    Milios, D., Sanguinetti, G. & Schnoerr, D., 2018, 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018). Beijing, China: Springer, Cham, p. 289-305 17 p. (Lecture Notes in Computer Science ; vol. 11024).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Summarizing Software API Usage Examples using Clustering Techniques

    Katirtzis, N., Diamantopoulos, T. & Sutton, C., 2018, Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering. Thessaloniki, Greece: Springer, Cham, Vol. 10802. p. 189-206 17 p. (Lecture Notes in Computer Science (LNCS); vol. 10802).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Towards Executable Representations of Social Machines

    Murray-Rust, D., Davoust, A., Papapanagiotou, P., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D., 2018, Diagrammatic Representation and Inference: Diagrams 2018. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). SpringerLink, p. 765-769 4 p. (Lecture Notes in Computer Science; vol. 10871).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Wrattler: Reproducible, live and polyglot notebooks

    Petricek, T., Geddes, J. & Sutton, C., 2018, 10th USENIX Workshop on Theory and Practice of Provenance (TaPP 2018). London, UK: Usenix, p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2017

    Learning Disentangled Representations with Semi-Supervised Deep Generative Models

    Siddharth, N., Paige, B., van de Meent, J-W., Desmaison, A., Goodman, N., Kohli, P., Wood, F. & Torr, P. H. S., 9 Dec 2017, Advances in Neural Information Processing Systems. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). Neural Information Processing Systems, p. 5925-5935 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File