ICCSW 2013 September 26/27, 2013 - London, United Kingdom

2013 Imperial College Computing Student Workshop



Andrew V. Jones and Nicholas Ng (Eds.)
ISBN 978-3-939897-63-7, OASICS Vol. 35 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 11 MB)
Search Publication Server


Authors
  • Apostolopoulos, Theofanis
  • Awan, Malik Shahzad
  • Castro Fernandez, Raul
  • Cristea, Alexandra I.
  • D'Avila Garcez, Artur
  • de Penning, Leo
  • Drossopoulou, Sophia
  • Ellmauthaler, Stefan
  • Fedorova, Valentina
  • França, Manoel V. M.
  • Gammerman, Alex
  • Garcez, Artur S. D.
  • Greaves, David J.
  • He, Ligang
  • Hoare, Tony
  • Jaf, Sardar F.
  • Jones, Andrew V.
  • Kalyvianaki, Evangelia
  • Kechagia, Maria
  • Lu, Xin
  • Martin, Graham R.
  • Meng, Fan-Lin
  • Meyer, John-Jules C.
  • Migliavacca, Matteo
  • Mitropoulos, Dimitris
  • Murray, Iain
  • Ng, Nicholas
  • Norvig, Peter
  • Nouretdinov, Ilia
  • Petrie, Karen
  • Phan, Quoc-Sang
  • Pietzuch, Peter
  • Ramsay, Allan
  • Shi, Lei
  • Spinellis, Diomidis
  • Tutu, Ionut
  • van Gijzel, Bas
  • Vovk, Vladimir
  • Wood, Tim
  • Xu, Hu
  • Zaidi, Ali Mustafa
  • Zaverucha, Gerson
  • Zeng, Xiao-Jun
  • Zhu, Huanzhou

  •   
    Frontmatter, Table of Contents, Preface, Conference Organization
    Authors: Jones, Andrew V. ; Ng, Nicholas

    Abstract | Document (548 KB) | BibTeX

    Laws of programming with concurrency (Invited Talk)
    Authors: Hoare, Tony

    Abstract | Document (354 KB) | BibTeX

    Building Better Online Courses (Invited Talk)
    Authors: Norvig, Peter

    Abstract | Document (353 KB) | BibTeX

    A swarm based heuristic for sparse image recovery
    Authors: Apostolopoulos, Theofanis

    Abstract | Document (760 KB) | BibTeX

    Scalable and Fault-tolerant Stateful Stream Processing
    Authors: Castro Fernandez, Raul ; Migliavacca, Matteo ; Kalyvianaki, Evangelia ; Pietzuch, Peter

    Abstract | Document (1,057 KB) | BibTeX

    Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications
    Authors: Ellmauthaler, Stefan

    Abstract | Document (577 KB) | BibTeX

    Conformal Prediction under Hypergraphical Models
    Authors: Fedorova, Valentina ; Gammerman, Alex ; Nouretdinov, Ilia ; Vovk, Vladimir

    Abstract | Document (724 KB) | BibTeX

    Relational Knowledge Extraction from Attribute-Value Learners
    Authors: França, Manoel V. M. ; Garcez, Artur S. D. ; Zaverucha, Gerson

    Abstract | Document (659 KB) | BibTeX

    Tools for the implementation of argumentation models
    Authors: van Gijzel, Bas

    Abstract | Document (610 KB) | BibTeX

    Towards the Development of a Hybrid Parser for Natural Languages
    Authors: Jaf, Sardar F. ; Ramsay, Allan

    Abstract | Document (535 KB) | BibTeX

    Improving the quality of APIs through the analysis of software crash reports
    Authors: Kechagia, Maria ; Mitropoulos, Dimitris ; Spinellis, Diomidis

    Abstract | Document (631 KB) | BibTeX

    Fast Implementation of the Scalable Video Coding Extension of the H.264/AVC Standard
    Authors: Lu, Xin ; Martin, Graham R.

    Abstract | Document (515 KB) | BibTeX

    Improved Rate Control Algorithm for Scalable Video Coding
    Authors: Lu, Xin ; Martin, Graham R.

    Abstract | Document (1,713 KB) | BibTeX

    An Optimal Real-time Pricing Algorithm for the Smart Grid: A Bi-level Programming Approach
    Authors: Meng, Fan-Lin ; Zeng, Xiao-Jun

    Abstract | Document (558 KB) | BibTeX

    Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents
    Authors: de Penning, Leo ; D'Avila Garcez, Artur ; Meyer, John-Jules C.

    Abstract | Document (688 KB) | BibTeX

    Self-composition by Symbolic Execution
    Authors: Phan, Quoc-Sang

    Abstract | Document (591 KB) | BibTeX

    Evaluation of Social Personalized Adaptive E-Learning Environments: End-User Point of View
    Authors: Shi, Lei ; Awan, Malik Shahzad ; Cristea, Alexandra I.

    Abstract | Document (785 KB) | BibTeX

    Logical Foundations of Services
    Authors: Tutu, Ionut

    Abstract | Document (644 KB) | BibTeX

    Refactoring Boundary
    Authors: Wood, Tim ; Drossopoulou, Sophia

    Abstract | Document (683 KB) | BibTeX

    Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems
    Authors: Xu, Hu ; Petrie, Karen ; Murray, Iain

    Abstract | Document (549 KB) | BibTeX

    Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom Computing
    Authors: Zaidi, Ali Mustafa ; Greaves, David J.

    Abstract | Document (997 KB) | BibTeX

    A Graph based approach for Co-scheduling jobs on Multi-core computers
    Authors: Zhu, Huanzhou ; He, Ligang

    Abstract | Document (593 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI