@Proceedings{jones_et_al:OASIcs.ICCSW.2013,
  title =	{{OASIcs, Volume 35, ICCSW'13, Complete Volume}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013},
  URN =		{urn:nbn:de:0030-drops-43496},
  doi =		{10.4230/OASIcs.ICCSW.2013},
  annote =	{Keywords: Conference Proceedings}
}
@InProceedings{jones_et_al:OASIcs.ICCSW.2013.i,
  author =	{Jones, Andrew V. and Ng, Nicholas},
  title =	{{Frontmatter, Table of Contents, Preface, Conference Organization}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{i--xi},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.i},
  URN =		{urn:nbn:de:0030-drops-42645},
  doi =		{10.4230/OASIcs.ICCSW.2013.i},
  annote =	{Keywords: Frontmatter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{hoare:OASIcs.ICCSW.2013.1,
  author =	{Hoare, Tony},
  title =	{{Laws of programming with concurrency}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{1--1},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.1},
  URN =		{urn:nbn:de:0030-drops-42843},
  doi =		{10.4230/OASIcs.ICCSW.2013.1},
  annote =	{Keywords: concurrency}
}
@InProceedings{norvig:OASIcs.ICCSW.2013.2,
  author =	{Norvig, Peter},
  title =	{{Building Better Online Courses}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{2--2},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.2},
  URN =		{urn:nbn:de:0030-drops-42859},
  doi =		{10.4230/OASIcs.ICCSW.2013.2},
  annote =	{Keywords: online courses}
}
@InProceedings{apostolopoulos:OASIcs.ICCSW.2013.3,
  author =	{Apostolopoulos, Theofanis},
  title =	{{A swarm based heuristic for sparse image recovery}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{3--10},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.3},
  URN =		{urn:nbn:de:0030-drops-42655},
  doi =		{10.4230/OASIcs.ICCSW.2013.3},
  annote =	{Keywords: Compressive Sampling, sparse image recovery, non-linear programming, sparse repre sentation, linear inverse problems}
}
@InProceedings{castrofernandez_et_al:OASIcs.ICCSW.2013.11,
  author =	{Castro Fernandez, Raul and Migliavacca, Matteo and Kalyvianaki, Evangelia and Pietzuch, Peter},
  title =	{{Scalable and Fault-tolerant Stateful Stream Processing}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{11--18},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.11},
  URN =		{urn:nbn:de:0030-drops-42669},
  doi =		{10.4230/OASIcs.ICCSW.2013.11},
  annote =	{Keywords: Stateful stream processing, scalability, fault tolerance}
}
@InProceedings{ellmauthaler:OASIcs.ICCSW.2013.19,
  author =	{Ellmauthaler, Stefan},
  title =	{{Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{19--26},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.19},
  URN =		{urn:nbn:de:0030-drops-42675},
  doi =		{10.4230/OASIcs.ICCSW.2013.19},
  annote =	{Keywords: Knowledge Representation, Artificial Intelligence}
}
@InProceedings{fedorova_et_al:OASIcs.ICCSW.2013.27,
  author =	{Fedorova, Valentina and Gammerman, Alex and Nouretdinov, Ilia and Vovk, Vladimir},
  title =	{{Conformal Prediction under Hypergraphical Models}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{27--34},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.27},
  URN =		{urn:nbn:de:0030-drops-42685},
  doi =		{10.4230/OASIcs.ICCSW.2013.27},
  annote =	{Keywords: conformal prediction, hypergraphical models, conformity measure}
}
@InProceedings{franca_et_al:OASIcs.ICCSW.2013.35,
  author =	{Fran\c{c}a, Manoel V. M. and Garcez, Artur S. D. and Zaverucha, Gerson},
  title =	{{Relational Knowledge Extraction from Attribute-Value Learners}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{35--42},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.35},
  URN =		{urn:nbn:de:0030-drops-42690},
  doi =		{10.4230/OASIcs.ICCSW.2013.35},
  annote =	{Keywords: Relational Learning, Propositionalization, Knowledge Extraction}
}
@InProceedings{vangijzel:OASIcs.ICCSW.2013.43,
  author =	{van Gijzel, Bas},
  title =	{{Tools for the implementation of argumentation models}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{43--48},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.43},
  URN =		{urn:nbn:de:0030-drops-42706},
  doi =		{10.4230/OASIcs.ICCSW.2013.43},
  annote =	{Keywords: argumentation, implementation, functional programming, Haskell, Carneades}
}
@InProceedings{jaf_et_al:OASIcs.ICCSW.2013.49,
  author =	{Jaf, Sardar F. and Ramsay, Allan},
  title =	{{Towards the Development of a Hybrid Parser for Natural Languages}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{49--56},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.49},
  URN =		{urn:nbn:de:0030-drops-42710},
  doi =		{10.4230/OASIcs.ICCSW.2013.49},
  annote =	{Keywords: Hybrid Parsing, Arabic Parsing, Grammar-Driven Parser, Data-Driven Parser, Natural Language Processing}
}
@InProceedings{kechagia_et_al:OASIcs.ICCSW.2013.57,
  author =	{Kechagia, Maria and Mitropoulos, Dimitris and Spinellis, Diomidis},
  title =	{{Improving the quality of APIs through the analysis of software crash reports}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{57--64},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.57},
  URN =		{urn:nbn:de:0030-drops-42721},
  doi =		{10.4230/OASIcs.ICCSW.2013.57},
  annote =	{Keywords: application programming interfaces, mobile applications, crash reports, stack traces}
}
@InProceedings{lu_et_al:OASIcs.ICCSW.2013.65,
  author =	{Lu, Xin and Martin, Graham R.},
  title =	{{Fast Implementation of the Scalable Video Coding Extension of the H.264/AVC Standard}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{65--72},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.65},
  URN =		{urn:nbn:de:0030-drops-42737},
  doi =		{10.4230/OASIcs.ICCSW.2013.65},
  annote =	{Keywords: Fast mode selection, Inter-layer prediction, Scalable Video Coding (SVC), SVC extension of H.264/AVC.}
}
@InProceedings{lu_et_al:OASIcs.ICCSW.2013.73,
  author =	{Lu, Xin and Martin, Graham R.},
  title =	{{Improved Rate Control Algorithm for Scalable Video Coding}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{73--80},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.73},
  URN =		{urn:nbn:de:0030-drops-42744},
  doi =		{10.4230/OASIcs.ICCSW.2013.73},
  annote =	{Keywords: Inter-layer prediction, MAD prediction, Rate control, Scalable Video Coding (SVC), SVC extension of H.264/AVC}
}
@InProceedings{meng_et_al:OASIcs.ICCSW.2013.81,
  author =	{Meng, Fan-Lin and Zeng, Xiao-Jun},
  title =	{{An Optimal Real-time Pricing Algorithm for the Smart Grid: A Bi-level Programming Approach}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{81--88},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.81},
  URN =		{urn:nbn:de:0030-drops-42752},
  doi =		{10.4230/OASIcs.ICCSW.2013.81},
  annote =	{Keywords: Real-time Pricing, Demand Response, Smart Gird, Bi-level Programming, Branch and Bound Algorithm}
}
@InProceedings{depenning_et_al:OASIcs.ICCSW.2013.89,
  author =	{de Penning, Leo and D'Avila Garcez, Artur and Meyer, John-Jules C.},
  title =	{{Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{89--94},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.89},
  URN =		{urn:nbn:de:0030-drops-42765},
  doi =		{10.4230/OASIcs.ICCSW.2013.89},
  annote =	{Keywords: Multimodal fusion, Deep Boltzmann Machine, Neural-Symbolic Cognitive Agent, Dreaming, Hallucinations}
}
@InProceedings{phan:OASIcs.ICCSW.2013.95,
  author =	{Phan, Quoc-Sang},
  title =	{{Self-composition by Symbolic Execution}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{95--102},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.95},
  URN =		{urn:nbn:de:0030-drops-42770},
  doi =		{10.4230/OASIcs.ICCSW.2013.95},
  annote =	{Keywords: Information Flow, Symbolic Execution, Satisfiability Modulo Theories}
}
@InProceedings{shi_et_al:OASIcs.ICCSW.2013.103,
  author =	{Shi, Lei and Awan, Malik Shahzad and Cristea, Alexandra I.},
  title =	{{Evaluation of Social Personalized Adaptive E-Learning Environments: End-User Point of View}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{103--110},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.103},
  URN =		{urn:nbn:de:0030-drops-42789},
  doi =		{10.4230/OASIcs.ICCSW.2013.103},
  annote =	{Keywords: adaptive educational hypermedia, social e-learning, evaluation}
}
@InProceedings{tutu:OASIcs.ICCSW.2013.111,
  author =	{Tutu, Ionut},
  title =	{{Logical Foundations of Services}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{111--118},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.111},
  URN =		{urn:nbn:de:0030-drops-42793},
  doi =		{10.4230/OASIcs.ICCSW.2013.111},
  annote =	{Keywords: Formal methods, Service-oriented computing, Institution theory}
}
@InProceedings{wood_et_al:OASIcs.ICCSW.2013.119,
  author =	{Wood, Tim and Drossopoulou, Sophia},
  title =	{{Refactoring Boundary}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{119--127},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.119},
  URN =		{urn:nbn:de:0030-drops-42809},
  doi =		{10.4230/OASIcs.ICCSW.2013.119},
  annote =	{Keywords: Refactoring, Object Oriented}
}
@InProceedings{xu_et_al:OASIcs.ICCSW.2013.128,
  author =	{Xu, Hu and Petrie, Karen and Murray, Iain},
  title =	{{Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{128--135},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.128},
  URN =		{urn:nbn:de:0030-drops-42811},
  doi =		{10.4230/OASIcs.ICCSW.2013.128},
  annote =	{Keywords: Self-learning Genetic Algorithm, Sexual Genetic algorithm, Constraint Programming, Parameter Tuning}
}
@InProceedings{zaidi_et_al:OASIcs.ICCSW.2013.136,
  author =	{Zaidi, Ali Mustafa and Greaves, David J.},
  title =	{{Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom Computing}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{136--143},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.136},
  URN =		{urn:nbn:de:0030-drops-42825},
  doi =		{10.4230/OASIcs.ICCSW.2013.136},
  annote =	{Keywords: High-level Synthesis, Instruction Level Parallelism, Custom Computing, Compilers, Dark Silicon}
}
@InProceedings{zhu_et_al:OASIcs.ICCSW.2013.144,
  author =	{Zhu, Huanzhou and He, Ligang},
  title =	{{A Graph based approach for Co-scheduling jobs on Multi-core computers}},
  booktitle =	{2013 Imperial College Computing Student Workshop},
  pages =	{144--151},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-63-7},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{35},
  editor =	{Jones, Andrew V. and Ng, Nicholas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.144},
  URN =		{urn:nbn:de:0030-drops-42837},
  doi =		{10.4230/OASIcs.ICCSW.2013.144},
  annote =	{Keywords: Co-scheduling algorithm, Multicore processor, Cache interference, Parallel Job}
}