[(11)C-Carbonyl]-methylcarbamates can be synthesised directly from [(11)C]-CO(2) and primary or secondary amines in a one-pot, two-step reaction. The use of either diazabicyclo[5.4.0]undec-7-ene (DBU) or 2-tert-butylimino-2-diethylamino-1,3-dimethyl-perhydro-1,3,2-diazaphosphorine (BEMP) enables efficient trapping of [(11)C]-CO(2) in small volumes of DMF as [(11)C]-carbamate salts. Subsequent r...

We introduce an expression syntax for the evaluation of matrix-matrix, matrix-vector and vector-vector operations. The implementation is similar to the well-known general concept of expression templates as used, for example, in the C++ linear-algebra libraries Eigen and Blaze. The novelty of the approach that is discussed here lies in the use of new C++11 features like lambda expressions and st...

The C/C++11 concurrency model balances two goals: it is relaxed enough to be efficiently implementable and (leaving aside the “thin-air” problem) it is strong enough to give useful guarantees to programmers. It is mathematically precise and has been used in verification research and compiler testing. However, the model is expressed in an axiomatic style, as predicates on complete candidate exec...