Abstract is missing.
- Frontmatter, Table of Contents, Preface, Conference Organization [doi]
- Laws of programming with concurrency (Invited Talk)Tony Hoare. 1-1 [doi]
- Building Better Online Courses (Invited Talk)Peter Norvig. 2-2 [doi]
- A swarm based heuristic for sparse image recoveryTheofanis Apostolopoulos. 3-10 [doi]
- Scalable and Fault-tolerant Stateful Stream ProcessingRaul Castro Fernandez, Matteo Migliavacca, Evangelia Kalyvianaki, Peter Pietzuch. 11-18 [doi]
- Generalizing Multi-Context Systems for Reactive Stream Reasoning ApplicationsStefan Ellmauthaler. 19-26 [doi]
- Conformal Prediction under Hypergraphical ModelsValentina Fedorova, Alex J. Gammerman, Ilia Nouretdinov, Vladimir Vovk. 27-34 [doi]
- Relational Knowledge Extraction from Attribute-Value LearnersManoel V. M. França, Artur S. d'Avila Garcez, Gerson Zaverucha. 35-42 [doi]
- Tools for the implementation of argumentation modelsBas van Gijzel. 43-48 [doi]
- Towards the Development of a Hybrid Parser for Natural LanguagesSardar F. Jaf, Allan Ramsay. 49-56 [doi]
- Improving the quality of APIs through the analysis of software crash reportsMaria Kechagia, Dimitris Mitropoulos, Diomidis Spinellis. 57-64 [doi]
- Fast Implementation of the Scalable Video Coding Extension of the H.264/AVC StandardXin Lu, Graham R. Martin. 65-72 [doi]
- Improved Rate Control Algorithm for Scalable Video CodingXin Lu, Graham R. Martin. 73-81 [doi]
- An Optimal Real-time Pricing Algorithm for the Smart Grid: A Bi-level Programming ApproachFan-Lin Meng, Xiao-Jun Zeng. 81-88 [doi]
- Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agentsLeo de Penning, Artur S. d'Avila Garcez, John-Jules Ch. Meyer. 89-94 [doi]
- Self-composition by Symbolic ExecutionQuoc-Sang Phan. 95-102 [doi]
- Evaluation of Social Personalized Adaptive E-Learning Environments: End-User Point of ViewLei Shi, Malik Shahzad Kaleem Awan, Alexandra I. Cristea. 103-110 [doi]
- Logical Foundations of ServicesIonut Tutu. 111-118 [doi]
- Refactoring BoundaryTim Wood, Sophia Drossopoulou. 119-127 [doi]
- Using Self-learning and Automatic Tuning to Improve the Performance of Sexual Genetic Algorithms for Constraint Satisfaction ProblemsHu Xu, Karen E. Petrie, Iain Murray. 128-135 [doi]
- Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom ComputingAli Mustafa Zaidi, David J. Greaves. 136-143 [doi]
- A Graph based approach for Co-scheduling jobs on Multi-core computersHuanzhou Zhu, Ligang He. 144-151 [doi]