OBJECTIVES Gallium-68 (Ga-68) is an ideal research and hospital-based PET radioisotope. Currently, the main form of Ga-68 radiopharmaceutical that is being synthesised in-house is Ga-68 conjugated with DOTA based derivatives. The development of automated synthesis systems has increased the reliability, reproducibility and safety of radiopharmaceutical productions. Here we report on our three ye...

Background Fast implementation of positron emission tomography (PET) into clinical and preclinical studies highly demands automated synthesis for the preparation of PET radiopharmaceuticals in a safe and reproducible manner. The aim of this study was to develop automated synthesis methods for these six 18F-labeled radiopharmaceuticals produced on a routine basis at the University of Pennsylvani...

this paper presents a new methodology for the automated inspection of pipes. standard inspection systems are based on closed-circuit television cameras which are mounted on remotely controlled robots and connected to remote video recording devices. the main problems of such camera-based inspection systems are: 1) the lack of visibility in the interior of the pipes and 2) the poor quality of the...

A formal approach to distributed supervisory control synthesis for automated manufacturing systems is presented in this paper. The discrete manufacturing system (plant) is modeled with automata in a modular way and local control specifications are defined for each local subsystem by means of logical equations in order to construct local supervisors. To establish global control, global specifica...

Diverse synthesis methods and text-to-speech (TTS) architectures are being developed and applied almost every day. This tendency raises the need for durable program systems that effectively assist research and development in this area. A flexible development system for multilingual textto-speech and general speech research is introduced. The system was developed for use with the Multivox and Pr...

Human reliability issues in safety-critical systems, in aviation for example, motivated and still motivate the design and use of protections that can be tool-based or organizational. Software and hardware have been developed to overcome human reliability to enable both tolerance and resistance to human errors. Consequently, systems have become more complex and the distance between people and ac...

The total synthesis of TMG-chitotriomycin using an automated electrochemical synthesizer for the assembly of carbohydrate building blocks is demonstrated. We have successfully prepared a precursor of TMG-chitotriomycin, which is a structurally-pure tetrasaccharide with typical protecting groups, through the methodology of automated electrochemical solution-phase synthesis developed by us. The s...

The paper is devoted to approaches designing aircraft control systems based on the robust approach. Such a research of great importance for operated in conditions accompanied by perturbations. structural synthesis chosen as main tool problem solving. mathematical descriptions both deterministic and stochastic are considered. Dryden filter models represented. state-space approach used. H-infinit...

Temporal synthesis is the automated construction of a system from its temporal specification. It is by now realized that requiring the synthesized system to satisfy the specifications against all possible environments may be too demanding, and, dually, allowing all systems may be not demanding enough; systems and environments that are too large may not be feasible in practice. In this work we s...

of the Dissertation Modeling Flow for Automated System Design and Exploration by Andreas Gerstlauer Doctor of Philosophy in Information and Computer Science University of California, Irvine, 2004 Professor Daniel D. Gajski, Chair Raising the level of abstraction is widely seen as the solution for closing the productivity gap in the design of embedded computer systems and systems-on-chip (SoCs)....