@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}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing