An algebra and conceptual model for semantic tagging of collaborative digital libraries

Cost-effective semantic description and annotation of shared knowledge resources has always been of great importance for digital libraries and large scale information systems in general. With the emergence of the Social Web and Web 2.0 technologies, a more effective semantic description and annotation, e.g., folksonomies, of digital library contents is envisioned to take place in collaborative and personalised environments. However, there is a lack of foundation and mathematical rigour for coping with contextualised management and retrieval of semantic annotations throughout their evolution as well as diversity in users and user communities. In this paper, we propose an ontological foundation for semantic annotations of digital libraries in terms of flexonomies. The proposed theoretical model relies on a high dimensional space with algebraic operators for contextualised access of semantic tags and annotations. The set of the proposed algebraic operators, however, is an adaptation of the set theoretic operators selection, projection, difference, intersection, union in database theory. To this extent, the proposed model is meant to lay the ontological foundation for a Digital Library 2.0 project in terms of geometric spaces rather than logic (description) based formalisms as a more efficient and scalable solution to the semantic annotation problem in large scale.

Internalising the external costs of light and heavy goods vehicle transport in London

Report produced as part of the Green Logistics project (EPSRC and Department for Transport funded). This report provides estimates of the total external costs of LGV and HGV operations in London. In 2006, total LGV and HGV activity imposed external costs of approximately £1.75-£1.8 billion using low, medium and high emission cost values. About 27 per cent of these costs were internalised by duties and taxes paid by LGV operators, compared with 26% in the case of HGVs. If congestion costs are excluded, taxes and duties paid by LGV operators are estimated to be 155% of LGVs' allocated infrastructural and environmental costs, compared with 85% in the case of HGVs. When using the medium emission cost values, LGVs accounted for 56% of these external costs in London and HGVs for 44%.

Internalising the external costs of light and heavy goods vehicles in London

This report provides estimates of the total external costs of LGV and HGV operations in London. In 2006, total LGV and HGV activity imposed external costs of approximately £1.75-£1.8 billion using low, medium and high emission cost values. About 27 per cent of these costs were internalised by duties and taxes paid by LGV operators, compared with 26% in the case of HGVs. If congestion costs are excluded, taxes and duties paid by LGV operators are estimated to be 155% of LGVs' allocated infrastructural and environmental costs, compared with 85% in the case of HGVs. When using the medium emission cost values, LGVs accounted for 56% of these external costs in London and HGVs for 44%.

Specifying and analysing networks of processes in CSPt (or in search of associativity)

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Sustainable freight: impacts of the London congestion charge and low emissions zone

This paper assesses whether two sustainability policies currently in effect in London, a congestion charge zone and a low emission zone, have affected freight operations and reduced vehicle kilometers travelled. It investigates responses by freight operators, including re-timing, re-routing, or reducing the number of trips, or replacing vehicles. Freight traffic trends from 1994 to 2012 were identified using road traffic estimates, cordon counts, and vehicle speed data and supplemented by interviews with freight industry experts and operators. Findings indicate that freight traffic increased throughout London during this timeframe, but declined in the central boroughs partly within the congestion charge zone. The congestion charge may have time-shifted some light goods trips, but most freight trips face a variety of constraints on operators’ delivery window. No evidence was found of re-routing of freight traffic or avoidance traffic around the charged zone. The low emission zone spurred higher levels of operational change than the congestion charge zone, and it was effective at spurring freight vehicle replacement. The paper also discusses freight operators’ perceptions of these policies and how they could be improved.