ICCSW 2014 September 25-26, 2014, London, United Kingdom

2014 Imperial College Computing Student Workshop



Rumyana Neykova and Nicholas Ng (Eds.)
ISBN 978-3-939897-76-7, OASICS Vol. 43 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 7 MB)
Search Publication Server


Authors
  • Bardsley, Ethel
  • Belikov, Evgenij
  • Bisgambiglia, Paul
  • Bisgambiglia, Paul-Antoine
  • Cropper, Andrew
  • Daniel, Jakub
  • Deligiannis, Pantazis
  • Donaldson, Alastair F.
  • Drossopoulou, Sophia
  • Franceschini, Romain
  • Franco, Juliana
  • Hill, David
  • Legg, Shane
  • Neykova, Rumyana
  • Ng, Nicholas
  • PŘhrer, J÷rg
  • ParÝzek, Pavel
  • Phan, Quoc-Sang
  • Shi, Lei
  • Skorski, Maciej
  • Spanring, Christof
  • Touraille, Luc
  • Wadler, Philip
  • Yoshida, Nobuko

  •   
    Frontmatter, Table of Contents, Preface, Workshop Organization
    Authors: Neykova, Rumyana ; Ng, Nicholas

    Abstract | Document (543 KB) | BibTeX

    From academia to industry: The story of Google DeepMind
    Authors: Legg, Shane

    Abstract | Document (355 KB) | BibTeX

    You and Your Research and the Elements of Style
    Authors: Wadler, Philip

    Abstract | Document (355 KB) | BibTeX

    History-Based Adaptive Work Distribution
    Authors: Belikov, Evgenij

    Abstract | Document (985 KB) | BibTeX

    Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrency
    Authors: Bardsley, Ethel

    Abstract | Document (872 KB) | BibTeX

    Identifying and inferring objects from textual descriptions of scenes from books
    Authors: Cropper, Andrew

    Abstract | Document (602 KB) | BibTeX

    Predicate Abstraction in Program Verification: Survey and Current Trends
    Authors: Daniel, Jakub ; ParÝzek, Pavel

    Abstract | Document (559 KB) | BibTeX

    Automatic Verification of Data Race Freedom in Device Drivers
    Authors: Deligiannis, Pantazis ; Donaldson, Alastair F.

    Abstract | Document (508 KB) | BibTeX

    A survey of modelling and simulation software frameworks using Discrete Event System Specification
    Authors: Franceschini, Romain ; Bisgambiglia, Paul-Antoine ; Touraille, Luc ; Bisgambiglia, Paul ; Hill, David

    Abstract | Document (624 KB) | BibTeX

    Calculating communication costs with Sessions Types and Sizes
    Authors: Franco, Juliana ; Drossopoulou, Sophia ; Yoshida, Nobuko

    Abstract | Document (586 KB) | BibTeX

    Symbolic Execution as DPLL Modulo Theories
    Authors: Phan, Quoc-Sang

    Abstract | Document (646 KB) | BibTeX

    Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation
    Authors: PŘhrer, J÷rg

    Abstract | Document (570 KB) | BibTeX

    Defining and Evaluating Learner Experience for Social Adaptive E-Learning
    Authors: Shi, Lei

    Abstract | Document (1,012 KB) | BibTeX

    On Recent Advances in Key Derivation via the Leftover Hash Lemma
    Authors: Skorski, Maciej

    Abstract | Document (643 KB) | BibTeX

    Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games
    Authors: Spanring, Christof

    Abstract | Document (596 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI