6-Deoxy-6-[(18)F]fluoro-D-fructose (6-[(18)F]FDF) is a promising PET radiotracer for imaging GLUT5 in breast cancer. The present work describes GMP synthesis of 6-[(18)F]FDF in an automated synthesis unit (ASU) and dosimetry calculations to determine radiation doses in humans. GMP synthesis and dosimetry calculations are important prerequisites for first-in-human clinical studies of 6-[(18)F]FD...

[(18) F]Fluoroacetaldehyde is a biocompatible prosthetic group that has been implemented pre-clinically using a semi-automated remotely controlled system. Automation of radiosyntheses permits use of higher levels of [(18) F]fluoride whilst minimising radiochemist exposure and enhancing reproducibility. In order to achieve full-automation of [(18) F]fluoroacetaldehyde peptide radiolabelling, a c...

Proof planning is a knowledge-based automated theorem proving t~hnlque. It has been applied to a number of theorem-proving domains, for example: mathematical induction (Bundy et al.1991), and hardware verification (Cantu et a/.1996) (to pick two of the many). In the domain of program synthesis, it has been used to automate the synthesis of logic (Kraan et a/.1993a, Kraan et al.1993b, Basin et a...

Sketching is a new form of localized software synthesis that aims to bridge the gap between a programmer’s high-level insights about a problem and the computer’s ability to manage low-level details. In sketching, the programmer uses partial programs to describe the desired implementation strategy, and leaves the low-level details of the implementation to an automated synthesis procedure. This p...

Sulfur-[ 18 F]fluoride exchange radiochemistry is a rapid and convenient method for incorporating fluorine-18 into biologically active molecules. We report fully automated radiolabelling procedure the synthesis of [ F]SO 3 F-bearing prostate...

modern computerized technology enables more complex visual stimuli and test procedures to be in-corporated into conventional perimetry resulting in several developments in automated perimetry that have contributed to more efficient diagnosis and management of eye diseases. this review will cover a number of advances in automated perimetry including frequency doubling technology perimetry, short...

With the development of Industry 4.0, artificial intelligence (AI) is gaining increasing attention for its performance in solving particularly complex problems industrial chemistry and chemical engineering. Therefore, this review provides an overview application AI techniques, particular machine learning, design, synthesis, process optimization over past years. In review, focus on structure-fun...

Fluorescent or biotin labelling of an oligonucleotide at it's 5'-end usually involves two steps. First, a N-protected aminoalkyl phosphoramidite derivative (as for instance Aminolink 2 from Applied Biosystems) is added to the 5'-end of an oligonucleotide during automated DNA synthesis. After removal of all protecting groups the NHS ester of an appropriate fluorescent dye or biotin is coupled to...

Conceptual innovation in mechanical engineering design has been extremely challenging compared to the wide applications of automated design systems in digital circuits. This paper presents an automated methodology for open-ended synthesis of mechanical vibration absorbers based on genetic programming (GP) and bond graphs (GPBG). It is shown that our automated design system can automatically evo...

dna sequence determination is a tremendous human achievement. dna sequencing includes several methods and technologies in use for determining the order of the nucleotide bases (adenine, guanine, cytosine, and thymine) in a molecule of dna. knowledge of dna sequences has become indispensable for basic biological research, other research branches utilizing dna sequencing, and in numerous applied ...