Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combine two features: 1) a special type of interfaces; and 2) implicit instantiation of implementations of those interfaces. Scala implicits are a GP language mechanism, inspired by type classes, that break with the traditi...

This paper summarises the main outcomes of the Mobile Resource Guarantees (MRG) project, which focused on a proof-carrying-code (PCC) infrastructure for resources to be applied to mobile code. MRG was a three year project funded by the EC under the FET proactive initiative on Global Computing. We give an overview of the projects’ results, discuss the lessons learnt from it and introduce follow-...

In the current phase of the IPv6 transition, it is a typical situation that IPv6-only clients should be enabled to communicate with IPv4-only servers. The DNS64+NAT64 tool suite is an excellent solution to this problem. Although several free software DNS64 implementations exist, we point out that there is room for further high performance and computation efficient multithreaded DNS64 implementa...

2 Radiotracers ......................................................................... 16 2.1 11C-Choline, 18F-Choline .................................................... 16 2.2 11C-Acetate ........................................................................... 16 2.3 18F-Fluorodeoxyglucose (FDG) ........................................... 17 2.4 18F-Fluoride ...............................

A library for the emulation of C++0x concepts developed using the emerging C++11 programming language is presented. The library integrates existing techniques for concept checking and template metaprogramming to provide a uniform interface to defining and using concepts. The purpose of this work is to establishing a concrete foundation for experimentation of design techniques for concepts and t...

The aim of this review is to report on the value of 11C-choline PET imaging as a diagnostic procedure for metastasis-directed therapies. Furthermore, the role of 11C-choline PET/CT as a diagnostic tool for monitoring castration-resistant prostate cancer patients treated with systematic therapy is assessed. Finally, the role of 11C-choline PET/CT in the prediction of survival in both castration-...

This paper proposes an initialization for an agglomerative system applied to speaker diarization in the meeting environment. The initialization is based on a previous clustering of the temporal sequence generated by the estimation of the Time Delay of Arrival (TDOA) among pair of sensors. That initial clustering has the purpose of obtaining initial classes with speaker information from a sole s...

One solution to the integration of additional characteristics, e.g. time and scale, into GIS datasets is to model them as extra geometric dimensions perpendicular to the spatial ones, creating a higher-dimensional model. While this approach has been previously described and advocated, it is scarcely used in practice because of a lack of high-level construction algorithms and accompanying implem...

This report presents a concept design for the algorithms part of the STL and outlines the design of the supporting language mechanism. Both are radical simplifications of what was proposed in the C++0x draft. In particular, this design consists of only 41 concepts (including supporting concepts), does not require concept maps, and (perhaps most importantly) does not resemble template metaprogra...