OASIcs, Volume 35, ICCSW 2013

• Andrew V. Jones and Nicholas Ng OASIcs, Volume 35, ICCSW'13, Complete Volume 10.4230/OASIcs.ICCSW.2013
• Andrew V. Jones and Nicholas Ng Frontmatter, Table of Contents, Preface, Conference Organization 10.4230/OASIcs.ICCSW.2013.i
• Tony Hoare Laws of programming with concurrency (Invited Talk) 10.4230/OASIcs.ICCSW.2013.1
• Peter Norvig Building Better Online Courses (Invited Talk) 10.4230/OASIcs.ICCSW.2013.2
• Theofanis Apostolopoulos A swarm based heuristic for sparse image recovery 10.4230/OASIcs.ICCSW.2013.3
• Raul Castro Fernandez, Matteo Migliavacca, Evangelia Kalyvianaki, and Peter Pietzuch Scalable and Fault-tolerant Stateful Stream Processing 10.4230/OASIcs.ICCSW.2013.11
• Stefan Ellmauthaler Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications 10.4230/OASIcs.ICCSW.2013.19
• Valentina Fedorova, Alex Gammerman, Ilia Nouretdinov, and Vladimir Vovk Conformal Prediction under Hypergraphical Models 10.4230/OASIcs.ICCSW.2013.27
• Manoel V. M. França, Artur S. D. Garcez, and Gerson Zaverucha Relational Knowledge Extraction from Attribute-Value Learners 10.4230/OASIcs.ICCSW.2013.35
• Bas van Gijzel Tools for the implementation of argumentation models 10.4230/OASIcs.ICCSW.2013.43
• Sardar F. Jaf and Allan Ramsay Towards the Development of a Hybrid Parser for Natural Languages 10.4230/OASIcs.ICCSW.2013.49
• Maria Kechagia, Dimitris Mitropoulos, and Diomidis Spinellis Improving the quality of APIs through the analysis of software crash reports 10.4230/OASIcs.ICCSW.2013.57
• Xin Lu and Graham R. Martin Fast Implementation of the Scalable Video Coding Extension of the H.264/AVC Standard 10.4230/OASIcs.ICCSW.2013.65
• Xin Lu and Graham R. Martin Improved Rate Control Algorithm for Scalable Video Coding 10.4230/OASIcs.ICCSW.2013.73
• Fan-Lin Meng and Xiao-Jun Zeng An Optimal Real-time Pricing Algorithm for the Smart Grid: A Bi-level Programming Approach 10.4230/OASIcs.ICCSW.2013.81
• Leo de Penning, Artur D'Avila Garcez, and John-Jules C. Meyer Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents 10.4230/OASIcs.ICCSW.2013.89
• Quoc-Sang Phan Self-composition by Symbolic Execution 10.4230/OASIcs.ICCSW.2013.95
• Lei Shi, Malik Shahzad Awan, and Alexandra I. Cristea Evaluation of Social Personalized Adaptive E-Learning Environments: End-User Point of View 10.4230/OASIcs.ICCSW.2013.103
• Ionut Tutu Logical Foundations of Services 10.4230/OASIcs.ICCSW.2013.111
• Tim Wood and Sophia Drossopoulou Refactoring Boundary 10.4230/OASIcs.ICCSW.2013.119
• Hu Xu, Karen Petrie, and Iain Murray Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction Problems 10.4230/OASIcs.ICCSW.2013.128
• Ali Mustafa Zaidi and David J. Greaves Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom Computing 10.4230/OASIcs.ICCSW.2013.136
• Huanzhou Zhu and Ligang He A Graph based approach for Co-scheduling jobs on Multi-core computers 10.4230/OASIcs.ICCSW.2013.144