(TODO: Old, needs to be rewritten.) Securing wireless networks and performing user-friendly seamless wireless authentication are considered mutually conflicting goals. In this paper we describe an architecture that lets typical users easily build a secure wireless network, while allowing user-friendly, seamless and persistent authentication, by making use of user identities and user trust relat...

 Recommender systems are a branch of retrieval systems and information matching, which through identifying the interests and requires of the user, help the users achieve the desired information or service through a massive selection of choices. In recent years, the recommender systems apply describing information in the terms of the user, such as location, time, and task, in order to produce re...

As student numbers on university computing courses increase dramatically, the difficulty of managing the work involved in the submission and assessment of programming assignments rises correspondingly. Spreading the load among several staff can help, but leads to problems of consistency. At Warwick, we have developed a suite of programs to support automated submission and assessment, and which ...

This report presents probability inequalities for sums of adapted sequences of random, self-adjoint matrices. The results frame simple, easily verifiable hypotheses on the summands, and they yield strong conclusions about the large-deviation behavior of the maximum eigenvalue of the sum. The methods also specialize to sums of independent random matrices. 1. Main Results This technical report is...

Recently, it has become evident that submodularity naturally captures widely occurring concepts in machine learning, signal processing and computer vision. Consequently, there is need for efficient optimization procedures for submodular functions, especially for minimization problems. While general submodular minimization is challenging, we propose a new method that exploits existing decomposab...

In this paper, we introduce RockEngine Generic Privacy builder, a Boolean circuit compiler meant to be part of the RockEngine Generic Privacy Engine developed by Rockchain.org. The RockEngine Generic Privacy builder is a complete garbled circuit generator that will be used in particular on the public network of Rockchain.org to perform Secure Function Evaluation on private dAppBoxes nodes. The ...

Quantum chemical workflows can be built up within the science gateway MoSGrid (Molecular Simulation Grid). Complex workflows required by the endusers are dissected into smaller workflows which can be combined freely to larger meta-workflows. General quantum chemical workflows are described here as well as the real use case of a spectroscopic analysis resulting in an enduser desired meta-workflo...

We examine security protocols for the Grid Security Infrastructure (GSI) version 2 and identify a weakness of poor scalability as a result of GSI’s authentication framework requiring heavy interactions between a user-side client machine and resource suppliers. We improve the GSI architecture and protocols by proposing an alternative authentication framework for GSI, which uses dynamic public/pr...

We first present our view of detection and correction of syntactic errors. We then introdnce a new correction method, based on heuristic criteria used to decide which correction should be preferred. Weighting of these criteria leads to a flexible and parametrable system, which can adapt itself to the user. A partitioning of the trees based on linguistic criteria: agreement rules, rather than co...