We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to exchange the synthesis paradigm from a linear-time-logic proof based algorithm to a runtime, abductive synthesis implemented in Prolog, that responds directly to situational changes. Both solutions take advantage of ...

In this paper, we propose a methodology for automated mapping of a design onto a partially reconfigurable device. We generate partial bitstream files from behavioral description of the task, that are used to reconfigure the device dynamically. The novelty of this research lies in the application of a Macro Based Synthesis approach that allows elimination of both logic synthesis and technology m...

This paper proposes a novel genetic-based high-level synthesis methodology for ΣΔ modulators. This approach is based on simulation-based optimisation where optimal topology of the ΣΔ modulator is automated explored using a genetic algorithm(GA) under various design constraints, such as SNR(Signalto-Noise Ratio) and hardware complexity. The proposed synthesis technique has been implemented in Sy...

We report a four-step synthesis of 2'-deoxy-2-deuteroadenosine from 2'-deoxyadenosine in 38% overall yield. The more accessible 2'-deoxy-8-deuteroadenosine was also prepared and incorporated into DNA by automated solid phase synthesis (80% deuterium) using N6-benzoyl-2'-deoxy-8-deuteroadenosine-3'-O-(2-cyanoethyl-N,N-diisopropylphosphoramidite) in combination with acetyl-protected deoxycytidine...

ABSTRACT We have developed an efficient route for the synthesis of 15N(7)-labeled adenosine as phosphoramidite building block for site- and atom-specific incorporation into RNA by automated solid-phase synthesis. Such labeled RNA is required for the evaluation of selected non-canonical base pair interactions in folded RNA using NMR spectroscopic methods. GRAPHICAL ABSTRACT

The synthesis of programs as well as other synthetic tasks often end up with an unprovable, partially false conjecture. A successful subsequent synthesis attempt depends on determining why the conjecture is faulty and how it can be corrected. Hence, it is highly desirable to have an automated means for detecting and correcting faulty conjec-

Synthesis by completion is used for a fully automated system for program transformation. In the paper, we present a set of transition rules for a full automation of a sound and terminating synthesis process which preserves orthogonality and termination of a constructor-based rewrite system.

Revolution in organic compound synthesis has been promoted by microwave assisted organic syntheses (MAOS) by which small molecules are built up into large polymers in a fraction of time. The need for different organic compound libraries for drug discovery, biomaterial development, automated library screening; proteomics etc has supported the emergence of innovative technologies for rapid combin...

Safety-catch linkers are useful for solid-phase oligosaccharide synthesis as they are orthogonal to many common protective groups. A new acylsulfonamide safety-catch linker was designed, synthesized and employed during glycosylations using an automated carbohydrate synthesizer. The analysis of the cleavage products revealed shortcomings for oligosaccharide synthesis.

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...