An efficient 11C-labelling method, using [11C]CH3Li for the labelling of a variety PET-tracers via cross-coupling reaction is presented.

Objectives: To determine (i) the extent to which recommended lifestyle healthy behaviors are adopted and the existence of positive attitudes to health; (ii) the relative influence of socio-demographic variables on multiple healthy lifestyle behaviors and positive attitudes to health; (iii) the association between healthy lifestyle behaviors and positive attitudes to health. Design: two distinct...

This paper continues the discussion begun in N1706 [Bro04]. That paper presented introductory rationale, exposition, and examples as a preliminary exploration on the subject of an opaque typedef . In particular, we envisioned to combine the classical typedef with the C++ concepts of public and private inheritance, thereby producing two new constructs that would jointly address the oft-requested...

This paper considers the fundamental problem of self-stabilizing leader election (SSLE) in the model of population protocols. In this model, an unknown number of asynchronous, anonymous and nite state mobile agents interact in pairs over a given communication graph. SSLE has been shown to be impossible in the original model. This impossibility can been circumvented by a modular technique augmen...

Unit testing is an important part of modern software development, where individual code units are tested in isolation. Such tests are typically case-based, checking a likely error scenario or an error that has previously been identified and fixed. Coming up with good test cases is challenging, particularly when testing generic code, and focusing on individual tests can distract from creating te...

Multi-dimensional arrays are among the most fundamental and most useful data structures of all. In C++, excellent template libraries exist for arrays whose dimension is fixed at runtime. Arrays whose dimension can change at runtime have been implemented in C. However, a generic object-oriented C++ implementation of runtime-flexible arrays has so far been missing. In this article, we discuss our...

We present a systematic representation of C++, called IPR, for complete semantic analysis and semantics-based transformations. We describe the ideas and design principles that shaped the IPR. In particular, we describe how general type-based unification is key to minimal compact representation, fast type-safe traversal, and scalability. The IPR is general enough to handle real-world programs in...

In this proceedings we discuss the motivation, implementation details, and performance of a new physics code base called Grid. It is intended to be more performant, more general, but similar in spirit to QDP++[6]. Our approach is to engineer the basic type system to be consistently fast, rather than bolt on a few optimised routines, and we are attempt to write all our optimised routines directl...