Data Science and Artificial Intelligence

Filter
Conference contribution

Search results

  • 2016

    The Art of Detection

    Crowley, E. J. & Zisserman, A., 18 Sept 2016, (E-pub ahead of print) Computer Vision -- ECCV 2016 Workshops: Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I. Hua, G. & Jégou, H. (eds.). Cham: Springer, p. 721-737 17 p. (Lecture Notes in Computer Science; vol. 9913).

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

    Open Access
    File

  • Modelo y lecciones aprendidas del proceso de creación de MOOCs para enseñar a programar

    Friss De Kereki, I. & Manataki, A., 15 Sept 2016, Sexta Conferencia de Directores de Tecnología de Información, TICAL 2016 Gestión de las TICs para la Investigación y la Colaboración. p. 171-184 14 p.

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

    Open Access
    File

  • An Experimental Research Design for Evaluating Energy Feedback

    Pullinger, M., Goddard, N. & Webb, J., 9 Sept 2016, The 4th European Conference on Behaviour and Energy Efficiency (Behave 2016). 12 p.

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

    Open Access
    File

  • A Bayesian Network Model for Interesting Itemsets

    Fowkes, J. & Sutton, C., 4 Sept 2016, The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery (ECML-PKDD 2016). Riva del Garda, Italy: Springer, p. 410-425 16 p. (Lecture Notes in Computer Science ; vol. 9852).

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

    Open Access
    File

  • Composite denoising autoencoders

    Geras, K. & Sutton, C., 4 Sept 2016, Machine Learning and Knowledge Discovery in Databases: European Conference on Machine Learning and Knowledge Discovery in Databases ECML PKDD 2016. Springer, p. 681-696 16 p. (Lecture Notes in Computer Science (LNCS); vol. 9851).

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

    Open Access
    File

  • Matching Models Across Abstraction Levels with Gaussian Processes

    Caravagna, G., Bortolussi, L. & Sanguinetti, G., 4 Sept 2016, Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Bartocci, E., Lio, P. & Paoletti, N. (eds.). Cham: Springer, p. 49-66 18 p. (Lecture Notes in Computer Science; vol. 9859).

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

    Open Access
    File

  • Classical Planning with Communicative Actions

    Marques, T. & Rovatsos, M., 2 Sept 2016, ECAI 2016: 22nd European Conference on Artificial Intelligence, 29 August - 2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). The Hague, The Netherlands, Vol. 285. p. 1744-1745 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

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

    Open Access
    File

  • Strategies for Privacy Negotiation in Online Social Networks

    Keküllüoglu, D., Kökciyan, N. & Yolum, P., 2 Sept 2016, European Conference on Artificial Intelligence (ECAI). Kaminka, G. A., Fox, M., Bouquet, P., Hüllermeier, E., Dignum, V., Dignum, F. & van Harmelen, F. (eds.). IOS Press, p. 1608-1609 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

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

    Open Access
    File

  • Diversity-Aware Recommendation for Human Collectives

    Andreadis, P., Ceppi, S., Rovatsos, M. & Ramamoorthy, R., 29 Aug 2016, Proceedings of the 1st International Workshop on Diversity-Aware Artificial Intelligence (DIVERSITY 2016). The Hague, The Netherlands, 10 p.

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

    Open Access
    File

  • Strategies for Privacy Negotiation in Online Social Networks

    Keküllüoglu, D., Kökciyan, N. & Yolum, P., 29 Aug 2016, Proceedings of the 1st International Workshop on AI for Privacy and Security (PrAISe). Association for Computing Machinery (ACM), p. 2:1-2:8 8 p. 2

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

  • Functional Inferences Over Heterogeneous Data

    Nuamah, K., Bundy, A. & Lucas, C., 26 Aug 2016, Web Reasoning and Rule Systems: International Conference on Web Reasoning and Rule Systems (RR 2016). Aberdeen, United Kingdom: Springer, p. 159-166 8 p. (Lecture Notes in Computer Science (LNCS); vol. 9898).

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

    Open Access
    File

  • Input-Output Non-Linear Dynamical Systems applied to Physiological Condition Monitoring

    Georgatzis, K., Williams, C. K. I. & Hawthorne, C., 20 Aug 2016, Proceedings of the 1st Machine Learning for Healthcare Conference 2016. PMLR, 16 p. (Proceedings of Machine Learning Research; vol. 56).

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

    Open Access
    File

  • A Comparison of the Cluster-Span Threshold and the Union of Shortest Paths as objective thresholds of EEG functional connectivity networks from Beta activity in Alzheimer's disease

    Smith, K., Abásolo, D. & Escudero, J., 18 Aug 2016, Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. p. 2826-2829 4 p.

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

    Open Access
    File

  • Inspection of Short-Time Resting-State Electroencephalogram Functional Networks in Alzheimer's Disease

    Escudero, J., Smith, K., Azami, H. & Abásolo, D., 18 Aug 2016, Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. p. 2810-2813 4 p.

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

    Open Access
    File

  • MEMD-enhanced Multivariate Fuzzy Entropy for the Evaluation of Complexity in Biomedical Signals

    Azami, H., Smith, K. & Escudero, J., 18 Aug 2016, Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. p. 3761-3764 4 p.

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

    Open Access
    File

  • A Subsequence Interleaving Model for Sequential Pattern Mining

    Fowkes, J. & Sutton, C., 13 Aug 2016, KDD '16 Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. San Francisco , United States: ACM, p. 835-844 10 p.

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

    Open Access
    File

  • CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems

    Hillston, J. & Loreti, M., 3 Aug 2016, 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). Quebec City, Canada: Springer, p. 167-171 5 p. (Lecture Notes in Computer Science; vol. 9826).

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

    Open Access
    File

  • Moment-based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems

    Feng, C., Hillston, J. & Reijsbergen, D., 3 Aug 2016, Proceedings for the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) : Québec City, Québec, Canada August 23-25 2016. Springer, p. 139-155 16 p. (Lecture Notes In Computer Science; vol. 9826).

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

    Open Access
    File

  • Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent

    Bartocci, E., Bortolussi, L., Brázdil, T., Milios, D. & Sanguinetti, G., 3 Aug 2016, Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Springer, p. 244-259 16 p. (Lecture Notes in Computer Science (LNCS); vol. 9826).

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

    Open Access
    File

  • Property-driven State-Space Coarsening for Continuous Time Markov Chains

    Michaelides, M., Milios, D., Hillston, J. & Sanguinetti, G., 3 Aug 2016, Quantitative Evaluation of Systems: 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). Quebec City, Canada: Springer, p. 3-18 16 p. (Lecture Notes in Computer Science (LNCS); vol. 9826).

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

    Open Access
    File

  • Monte Carlo Simulation for Reliability Estimation of Phased-Mission Systems With Minimum Operational Time Requirement

    Wu, X. & Hillston, J., 28 Jul 2016, (E-pub ahead of print) Proceedings for the 2016 6th International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering : July 25-28 2016 Jiuzhaigou, Sichuan, China. 6 p.

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

    Open Access
    File

  • Clustering with a Reject Option: Interactive Clustering as Bayesian Prior Elicitation

    Srivastava, A., Zou, J. & Sutton, C., 27 Jul 2016, Proceedings of the 2016 ICML Workshop on Human Interpretability in Machine Learning (WHI 2016). p. 16-20 5 p.

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

    Open Access
    File

  • Which Is the Fairest (Rent Division) of Them All?

    Gal, Y., Mash, M., D. Procaccia, A. & Zick, Y., 21 Jul 2016, Proceedings of the 2016 ACM Conference on Economics and Computation. Maastricht, The Netherlands: ACM, p. 67-84 18 p.

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

  • More Semantics More Robust: Improving Android Malware Classifiers

    Chen, W., Aspinall, D., Gordon, A., Sutton, C. & Muttik, I., 18 Jul 2016, 9th ACM Conference on Security and Privacy in Wireless and Mobile Networks. Darmstadt, Germany: ACM, p. 147-158 12 p.

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

    Open Access
    File

  • Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report

    Belle, V., Broeck, G. V. D. & Passerini, A., 15 Jul 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. IJCAI Inc, p. 4115-4119 5 p.

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

    Open Access
    File

  • Typed meta-interpretive learning for proof strategies

    Farquhar, C., Grov, G., Cropper, A., Muggleton, S. & Bundy, A., 13 Jul 2016, Late-breaking papers proceedings of ILP 2015 (LBP-ILP 2015). CEUR Workshop Proceedings (CEUR-WS.org), p. 1-16 16 p.

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

    Open Access
    File

  • Intervention Strategies for Increasing Engagement in Crowdsourcing: Platform, Predictions, and Experiments

    Segal, A., Gal, Y., Kamar, E., Horvitz, E., Bowyer, A. & Miller, G., 9 Jul 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). New York, USA: International Joint Conferences on Artificial Intelligence Organization, p. 3861-3867 7 p.

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

    Open Access

  • Stochastic and Spatial Equivalences for PALOMA

    Piho, P. & Hillston, J., 8 Jul 2016, Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016). Open Publishing Association, p. 69-80 12 p. ( Electronic Proceedings in Theoretical Computer Science; vol. 217).

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

    Open Access
    File

  • Data as processes: introducing measurement data into CARMA models

    Gilmore, S., 7 Jul 2016, Proceedings of the Workshop FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems : FORMCAST 2016. Open Publishing Association, p. 31-42 12 p. (Electronic Proceedings in Theoretical Computer Science; vol. 217).

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

    Open Access
    File

  • Modelling movement for collective adaptive systems with CARMA

    Zon, N., Galpin, V. & Gilmore, S., 7 Jul 2016, Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016). Open Publishing Association, p. 43-52 10 p. (Electronic Proceedings in Theoretical Computer Science; vol. 217).

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

    Open Access
    File

  • Utilising disaggregated energy data in feedback designs – the IDEAL project

    Goddard, N., Pullinger, M., Webb, L., Farrow, E., Farrow, E., Kilgour, J., Morgan, E. & Moore, J., Jul 2016, TEDDINET Energy Feedback Symposium 2016. p. 74-77 4 p.

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

    Open Access
    File

  • How to Win a Hot Dog Eating Contest: Distributed Incremental View Maintenance with Batch Updates

    Nikolic, M., Dashti, M. & Koch, C., 26 Jun 2016, Proceedings of the 2016 International Conference on Management of Data. New York, NY, USA: ACM, p. 511-526 16 p. (SIGMOD '16).

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

  • A Convolutional Attention Network for Extreme Summarization of Source Code

    Allamanis, M., Peng, H. & Sutton, C., 24 Jun 2016, Proceedings of The 33rd International Conference on Machine Learning, PMLR. New York, United States: PMLR, Vol. 48. p. 2091-2100 10 p. (Proceedings of Machine Learning Research; vol. 48).

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

    Open Access
    File

  • Incorporating Student Choice in E-learning

    Segal, A., Guetta, N., Taboul, A., Shani, G. & Gal, Y., 1 Jun 2016, Proceedings of the 13th International Conference on Intelligent Tutoring Systems. Springer, Vol. 9684. p. 443-446 4 p.

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

  • On Robust Malware Classifiers by Verifying Unwanted Behaviours

    Chen, W., Aspinall, D., Gordon, A., Sutton, C. & Muttik, I., Jun 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Springer, p. 326-341 15 p. (Lecture Notes in Computer Science; vol. 9681).

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

    Open Access
    File

  • Quantitative Analysis of Collective Adaptive Systems

    Hillston, J., Jun 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Springer, p. 1-5 5 p. (Lecture Notes in Computer Science; vol. 9609).

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

    Open Access
    File

  • Tracking of Individual Mice in a Social Setting Using Video Tracking Combined with RFID tags

    Armstrong, J. D., Acevedo-Arozena, A., Bains, R. S., Cater, H., Chartsias, A., Nolan, P., Sneddon, D., Sillito, R. & Wells, S., 25 May 2016, (E-pub ahead of print) Proceedings of Measuring Behavior 2016: 10th International Conference on Methods and Techniques in Behavioral Research. Spink, A. J., Riedel, G., Zhou, L., Teekens, L., Albatal, R. & Gurrin, C. (eds.). Dublin, Ireland, p. 413-416 4 p.

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

    Open Access
    File

  • Argumentation for Resolving Privacy Disputes in Online Social Networks

    Kökciyan, N., Yaglikci, N. & Yolum, P., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems (AAMAS). Association for Computing Machinery (ACM), p. 1361-1362 2 p.

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

  • PriGuardTool: A Tool for Monitoring Privacy Violations in Online Social Networks

    Kökciyan, N. & Yolum, P., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems (AAMAS). Association for Computing Machinery (ACM), p. 1496-1497 2 p.

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

  • Sequential Plan Recognition (Extended Abstract)

    Mirsky, R., Gal, Y., Stern, R. & Kalech, M., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. Singapore, Singapore: ACM, p. 1347-1348 2 p.

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

  • Censoring Representations with an Adversary

    Edwards, H. & Storkey, A., 4 May 2016, (E-pub ahead of print) International Conference in Learning Representations (ICLR2016). p. 1-14 14 p.

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

    Open Access
    File

  • The Role of Air Motion for Providing Thermal Comfort in Residential / Mixed Mode Buildings: a Multi-partner Global Innovation Initiative (GII) Project

    Loveday, D. L., Webb, L., Verma, P., Cook, M. J., Rawal, R., Vadodaria, K., Cropper, P., Brager, G., Zhang, H., Foldvary, V., Arens, E., Babich, F., Cobb, R., Ariffin, R., Kaam, S. & Toledo, L., 4 May 2016, Proceedings of 9th Windsor Conference: Making Comfort Relevant. Network for Comfort and Energy Use in Buildings, p. 947-962 16 p.

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

    Open Access
    File

  • Privacy management in agent-based social networks

    Kokciyan, N., 3 May 2016, Proceedings of the AAAI Conference on Artificial Intelligence. 1 ed. Association for the Advancement of Artificial Intelligence, Vol. 30. p. 4299-4300 2 p.

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

    Open Access

  • Pseudo-Marginal Slice Sampling

    Murray, I. & Graham, M., May 2016, Proceedings of the 19th International Conference on Artificial Intelligence and Statistics 2016. Cadiz, Spain: PMLR, Vol. 51. p. 911-919 9 p.

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

    Open Access
    File

  • TASSAL: Autofolding for Source Code Summarization

    Fowkes, J., Chanthirasegaran, P., Ranca, R., Allamanis, M., Lapata, M. & Sutton, C., May 2016, ICSE '16 Proceedings of the 38th International Conference on Software Engineering Companion. ACM, p. 649-652 4 p.

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

    Open Access
    File

  • The ILMT-s2s Corpus ― A Multimodal Interlingual Map Task Corpus

    Hayakawa, A., Luz, S., Cerrato, L. & Campbell, N., May 2016, Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016). Chair), N. C., Choukri, K., Declerck, T., Goggi, S., Grobelnik, M., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). Paris, France: European Language Resources Association (ELRA), p. 605–612

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

    Open Access

  • Sequencing educational content in classrooms using Bayesian knowledge tracing

    Ben David, Y., Segal, A. & Gal, Y., 25 Apr 2016, Proceedings of the Sixth International Conference on Learning Analytics & Knowledge (LAK'16). Edinburgh, United Kingdom : ACM, p. 354-363 10 p.

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

  • Translating network position into performance: Importance of centrality in different network configurations

    Joksimovic, S., Manataki, A., Gasevic, D., Dawson, S., Kovanovic, V. & Friss De Kereki, I., 25 Apr 2016, Proceedings of the Sixth International Conference on Learning Analytics & Knowledge (LAK '16). New York: Association for Computing Machinery (ACM), p. 314-323 10 p.

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

    Open Access
    File

  • A Text-Mining Approach to Explain Unwanted Behaviours

    Chen, W., Aspinall, D., Gordon, A., Sutton, C. & Muttik, I., 18 Apr 2016, EuroSec '16 Proceedings of the 9th European Workshop on System Security . ACM, 6 p. 4

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

    Open Access
    File

  • The Use of Reformation to Repair Faulty Analogical Blends

    Bundy, A. & Maclean, E., 14 Apr 2016, UK Ontology Network 2016. Newcastle, 1 p.

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

    Open Access
    File