Towards 213Bi alpha-therapeutics and beyond: unravelling the foundations of efficient BiIII complexation by DOTP

Bismuth isotopes are attracting increasing attention for their potential applications in diagnostics and therapy. The emerging use of 213Bi in targeted alpha-therapy (TAT) is a particularly relevant example because it is available from radionuclide generators. A fast formation of stable BiIII-complexes is important for the safe and efficient preparation of labelled (bio)conjugates. Macrocyclic chelating agents are currently the best choice in terms of stability of the corresponding BiIII-complexes. In this work, a thorough study of the thermodynamics and kinetics of formation of BiIII-DOTP including radio-labelling and the comparison with the congener BiIII-DOTA is undertaken. The BiIII-DOTP complex is characterised by a fast formation kinetics (kBi(H2DOTP) = 0.33 s-1), an outstanding thermodynamic stability (log KBiDOTP = 38.67) and an impressive kinetic inertness (t1/2pH=3 = 47 600 h). The results clearly demonstrate that DOTP is a better chelating agent for BiIII both in terms of thermodynamic stability and in terms of kinetics of formation, with clear advantages in the radiolabelling of short-lived bismuth isotopes

Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs

Software for digital signal processors (DSPs) is traditionally highly hardware-dependent and hence porting it to new processors usually requires significant design effort. In this paper we present Feldspar (Functional Embedded Language for DSP and Parallelism), an embedded, high-level, domain-specific language for DSP algorithm design and the compilation techniques we developed for generating C code from specifications written in Feldspar. While Feldspar allows description of algorithms on specification level, we show that with the right set of abstractions and transformations this high level, functional specification can be transformed into C code that is comparable or better than reference, hand-crafted C language implementations. The Feldspar compiler is highly modular and plugin-based, hence future hardware-specific plugins will enable automatic generation of efficient, hardware-specific code. This approach enables the encapsulation of knowledge of hardware completely in the compiler and thus allows description of algorithms in completely hardware-independent, portable manner

Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs

Software for digital signal processors (DSPs) is traditionally highly hardware-dependent and hence porting it to new processors usually requires significant design effort. In this paper we present Feldspar (Functional Embedded Language for DSP and Parallelism), an embedded, high-level, domain-specific language for DSP algorithm design and the compilation techniques we developed for generating C code from specifications written in Feldspar. While Feldspar allows description of algorithms on specification level, we show that with the right set of abstractions and transformations this high level, functional specification can be transformed into C code that is comparable or better than reference, hand-crafted C language implementations. The Feldspar compiler is highly modular and plugin-based, hence future hardware-specific plugins will enable automatic generation of efficient, hardware-specific code. This approach enables the encapsulation of knowledge of hardware completely in the compiler and thus allows description of algorithms in completely hardware-independent, portable manner