Optimizing business processes is a necessary prerequisite to reduce transactional costs in and between enterprises. Therefore companies spend huge efforts for adapting predefined processes, modeling their value-added business processes and implementing them with IT systems. Several tools are available for modeling the processes and the generation of code, nevertheless changing a sub-process oft...

Amine libraries and their derivatives are important targets for high throughput synthesis because of their versatility as medicinal agents and agrochemicals. As a part of our efforts towards automated chemical library synthesis, a titanium(IV) isopropoxide mediated solution phase reductive amination protocol was successfully translated to automation on the Trident(TM) library synthesizer of Arg...

Register Transfer Level (RTL) synthesis method in clocked designs simplified circuit design and allowed design automation boosting VLSI progress for more than a decade. Shrinking technology and progressive increase in clock frequency is bringing clock to its crisis. Asynchronous circuits, which are believed to replace globally clocked designs in the future, remain out of the competition due to ...

This paper presents a novel method for the automated type synthesis of planar mechanisms and multibody systems. The method explicitly includes topology as a design variable in an optimization framework based on a genetic algorithm (GA). Each binary string genome of the GA represents the concatenation of the upper-right triangular portion of the link adjacency matrix of a mechanism. Different to...

One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the results are usually checked by simulation. In consequence, both the behavioral specification and the HLS results have to be simulated by the same set of test vectors. Due to the HLS and the inherent changes in the cycle-b...

This paper deals with the on-line design of a supervisor to coordinate an automated guided vehicles (AGV) fleet. This supervisor ensures the system safeness (no collision) and a good coordination between vehicles (no blocking situations). It is the least restrictive, and ensures controllability and nonblocking. We propose a compositional procedure to resolve this problem allowing an efficient o...

Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems (MAS). The automated synthesis of norms is a complex problem that remains open. iron (Intelligent Robust On-line Norm synthesis mechanism) is a novel mechanism for the on-line automated synthesis of norms for MASs. iron produces conflict-free norms that characterise necessary conditions for c...

Modifications of the nucleic acid backbone are essential for the development of oligonucleotide-derived bioactive agents. The NAA-modification represents a novel artificial internucleotide linkage which enables the site-specific introduction of positive charges into the otherwise polyanionic backbone of DNA oligonucleotides. Following initial studies with the introduction of the NAA-linkage at ...

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

this research explores the manipulation of biomedical big data and diseases detection using automated computing mechanisms. As efficient and cost effective way to discover disease and drug is important for a society so computer aided automated system is a must. This paper aims to understand the importance of computer aided automated system among the people. The analysis result from collected da...